🔶Intro to Abstract Math

Important Number Sets

Study smarter with Fiveable

Get study guides, practice questions, and cheatsheets for all your subjects. Join 500,000+ students with a 96% pass rate.

Why This Matters

In abstract mathematics, number sets aren't just collections to memorize—they're the scaffolding for understanding algebraic structure, closure properties, and mathematical completeness. When you're asked to prove something about integers or explain why certain equations have no rational solutions, you're really being tested on how these sets nest inside each other and what operations each set can handle. The hierarchy from natural numbers to complex numbers represents humanity's progressive need to solve increasingly sophisticated problems.

Think of each number set as an answer to a limitation in the previous one. Can't subtract 5 from 3 in the naturals? You need integers. Can't divide 1 by 2 in the integers? You need rationals. This pattern of algebraic closure—extending sets to accommodate new operations—is fundamental to how mathematicians construct and analyze mathematical systems. Don't just memorize which numbers belong where; understand why each extension was necessary and what properties each set preserves or gains.

The Counting Foundation: Discrete Number Sets

These sets form the backbone of arithmetic and number theory. They're discrete, meaning there are gaps between consecutive elements—you can always identify a "next" number.

Natural Numbers ( $\mathbb{N}$ )

The counting numbers $\{1, 2, 3, ...\}$ —the most intuitive set, used for enumeration and ordering
Closed under addition and multiplication—add or multiply any two naturals and you stay in $\mathbb{N}$
Not closed under subtraction or division—this limitation motivates extending to larger sets (What is $3 - 5$ ? What is $1 \div 2$ ?)

Whole Numbers ( $\mathbb{W}$ )

Natural numbers plus zero: $\{0, 1, 2, 3, ...\}$ —essential when counting can yield "none"
Zero serves as the additive identity—the element where $a + 0 = a$ for all $a$
Still not closed under subtraction—you can't compute $3 - 7$ within this set

Integers ( $\mathbb{Z}$ )

All whole numbers and their negatives: $\{..., -2, -1, 0, 1, 2, ...\}$ —the "Z" comes from German Zahlen (numbers)
Closed under addition, subtraction, and multiplication—finally, subtraction always works
Forms a ring structure—a key algebraic concept you'll encounter in abstract algebra

Compare: $\mathbb{N}$ vs. $\mathbb{Z}$ —both are discrete and countably infinite, but $\mathbb{Z}$ achieves closure under subtraction by including negatives. If an exam asks about the "smallest set closed under subtraction," integers is your answer.

The Division Problem: Introducing Density

The jump from integers to rationals solves the division problem and introduces a fundamentally new property: density. Between any two rationals, there's always another rational.

Rational Numbers ( $\mathbb{Q}$ )

Numbers expressible as $\frac{a}{b}$ where $a, b \in \mathbb{Z}$ and $b \neq 0$ —the "Q" stands for "quotient"
Closed under all four basic operations (excluding division by zero)—this is a field
Decimal representations either terminate or repeat—this is actually an equivalent definition of rationality

Irrational Numbers

Real numbers that cannot be expressed as $\frac{a}{b}$ —their decimals neither terminate nor repeat
Classic examples include $\sqrt{2}$ , $\pi$ , and $e$ —proving $\sqrt{2}$ is irrational is a standard proof technique exercise
Not closed under any operation— $\sqrt{2} \times \sqrt{2} = 2$ , which is rational

Compare: Rationals vs. Irrationals—both are dense in $\mathbb{R}$ , but rationals are countable while irrationals are uncountable. This cardinality difference is a major topic in set theory and analysis.

Completeness and Continuity: The Real Numbers

The reals fill in all the "holes" left by the rationals, giving us a complete ordered field—essential for calculus and analysis.

Real Numbers ( $\mathbb{R}$ )

The union of all rational and irrational numbers—represents every point on the number line
Complete ordered field—every Cauchy sequence converges, and the least upper bound property holds
Uncountably infinite—Cantor's diagonal argument proves $|\mathbb{R}| > |\mathbb{Q}|$

Compare: $\mathbb{Q}$ vs. $\mathbb{R}$ —both are fields, but only $\mathbb{R}$ is complete. The sequence $1, 1.4, 1.41, 1.414, ...$ converges in $\mathbb{R}$ (to $\sqrt{2}$ ) but has no limit in $\mathbb{Q}$ . This distinction is fundamental for understanding limits.

Beyond the Real Line: Algebraic Extensions

These sets extend our number concept in different directions—one by solving polynomial equations, the other by defining what "algebraic" even means.

Complex Numbers ( $\mathbb{C}$ )

Numbers of the form $a + bi$ where $i = \sqrt{-1}$ —extends $\mathbb{R}$ to solve equations like $x^2 + 1 = 0$
Algebraically closed field—every non-constant polynomial has a root in $\mathbb{C}$ (Fundamental Theorem of Algebra)
Cannot be ordered—there's no way to define $>$ that preserves field properties, unlike $\mathbb{R}$

Algebraic Numbers

Roots of polynomial equations with rational coefficients—includes all rationals plus numbers like $\sqrt{2}$ and $\sqrt[3]{5}$
Countably infinite—despite seeming "larger" than $\mathbb{Q}$ , they have the same cardinality
Forms a field—sums, products, and quotients of algebraic numbers are algebraic

Transcendental Numbers

Real or complex numbers that are not algebraic—cannot satisfy any polynomial equation with rational coefficients
Examples: $\pi$ and $e$ —proving transcendence is notoriously difficult (Lindemann proved $\pi$ transcendental in 1882)
Uncountably infinite—"almost all" real numbers are transcendental, even though we can name very few

Compare: Algebraic vs. Transcendental—both can be irrational, but algebraic numbers are "constructible" via polynomials while transcendentals are not. If asked why we can't square the circle with compass and straightedge, the answer involves $\pi$ being transcendental.

The Nested Hierarchy

Understanding how these sets contain each other is critical for proofs and problem-solving. Each extension adds elements to handle operations or equations the previous set couldn't.

$\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$

Compare: The entire hierarchy—notice that closure properties accumulate: $\mathbb{Z}$ gains subtraction, $\mathbb{Q}$ gains division, $\mathbb{R}$ gains completeness, $\mathbb{C}$ gains algebraic closure. Each step sacrifices something too: $\mathbb{C}$ loses ordering, and the jump from $\mathbb{Q}$ to $\mathbb{R}$ loses countability.

Quick Reference Table

Concept	Best Examples
Closure under subtraction	$\mathbb{Z}$ , $\mathbb{Q}$ , $\mathbb{R}$ , $\mathbb{C}$
Closure under division (except 0)	$\mathbb{Q}$ , $\mathbb{R}$ , $\mathbb{C}$
Discrete (has "next element")	$\mathbb{N}$ , $\mathbb{W}$ , $\mathbb{Z}$
Dense (no "next element")	$\mathbb{Q}$ , $\mathbb{R}$ , $\mathbb{C}$
Countably infinite	$\mathbb{N}$ , $\mathbb{Z}$ , $\mathbb{Q}$ , Algebraic numbers
Uncountably infinite	$\mathbb{R}$ , $\mathbb{C}$ , Irrationals, Transcendentals
Complete (Cauchy sequences converge)	$\mathbb{R}$ , $\mathbb{C}$
Algebraically closed	$\mathbb{C}$ only

Self-Check Questions

Which is the smallest number set that is closed under all four arithmetic operations (excluding division by zero)?
Both $\mathbb{Q}$ and the irrationals are dense in $\mathbb{R}$ . What property distinguishes their "sizes," and which set is larger?
Compare and contrast $\mathbb{R}$ and $\mathbb{C}$ : What does $\mathbb{C}$ gain by including imaginary numbers, and what property does it lose?
Give an example of an irrational number that is algebraic and one that is transcendental. What distinguishes these two categories?
If a proof requires showing that a sequence of rational approximations converges to a specific value, why might you need to work in $\mathbb{R}$ rather than $\mathbb{Q}$ ?

2,589 studying →