Real number system — ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ

The symbol ⊂ means "proper subset" — every natural number IS an integer, every integer IS a rational, every rational IS a real, but not vice versa.

Natural Numbers (ℕ)

Properties:

• WHY these properties? Because counting objects has these behaviors naturally.
• Closed under addition and multiplication: add or multiply two naturals → get another natural
• NOT closed under subtraction: 3 - 5 = -2 ∉ ℕ (this motivates integers!)
• NOT closed under division: 7 ÷ 2 = 3.5 ∉ ℕ (this motivates rationals!)
• Has a smallest element (1 or 0 depending on definition)
• No largest element (infinity is not a number)

Integers (ℤ)

How did we construct integers from naturals? We wanted to solve equations like $x + 5 = 3$. In ℕ, this has no solution. We create negative numbers by defining them as solutions to such equations.

Formally: Define pairs (a, b) where a, b ∈ ℕ, and say (a, b) represents the integer a - b.

• (5, 2) represents 3
• (2, 5) represents -3
• (5, 5) represents 0

Properties:

• Closed under addition, subtraction, and multiplication
• NOT closed under division: 5 ÷ 2 ∉ ℤ (motivates rationals!)
• Forms a ring with unity (algebraic structure)

Rational Numbers (ℚ)

How do we construct rationals from integers? We want to solve $qx = p$ for any integers p, q (q ≠ 0). Define the rational p/q as the solution.

Key insight: Different fractions can be equal! $\frac{p}{q} = \frac{r}{s} \iff ps = qr$

WHY? Because $\frac{2}{3}$ and $\frac{4}{6}$ represent the same quantity (cross-multiply: 2×6 = 3×4).

Properties:

• Closed under addition, subtraction, multiplication, AND division (except by zero)
• Forms a field (most complete algebraic structure before reals)
• Dense in ℝ: Between any two rationals, there's another rational $\text{Between } a \text{ and } b:\ \text{take } \frac{a+b}{2}$
• Countably infinite: Can be listed in a sequence using a zig–zag (pairing) enumeration of ℕ×ℕ

Construction: Let $c = \frac{a + b}{2}$ (the average).

Why does this work?

• Since $a < b$, we have $2a < a + b < 2b$
• Dividing by 2: $a < \frac{a+b}{2} < b$
• Since sum and division of rationals is rational, $c \in \mathbb{Q}$

WHAT does density mean? The rationals have no "gaps" in the sense that you can always zoom in further. BUT this doesn't mean they fill the entire number line — that's where irrationals come in!

Verify: $\frac{1}{3} = \frac{4}{12} < \frac{5}{12} < \frac{6}{12} = \frac{1}{2}$ ✓

Why this step? Convert to common denominator (12) to compare.

Can we find another? Yes! Between 1/3 and 5/12: $\frac{\frac{4}{12} + \frac{5}{12}}{2} = \frac{9}{24} = \frac{3}{8}$. This process never ends — infinitely many rationals between any two rationals!

Irrational Numbers and Real Numbers (ℝ)

Real numbers ℝ = ℚ ∪ (irrationals) — the complete number line with NO gaps.

WHY do irrationals exist? The rationals have "holes" — there are limits that rational sequences approach but never reach.

Goal: Show $\sqrt{2} \notin \mathbb{Q}$

Method: Proof by contradiction.

Assume $\sqrt{2}$ is rational. Then we can write: $\sqrt{2} = \frac{p}{q}$ where p, q ∈ ℤ, q ≠ 0, and the fraction is in lowest terms (gcd(p,q) = 1).

Step 1: Square both sides. $2 = \frac{p^2}{q^2}$ WHY? To eliminate the square root and work with integers.

Step 2: Multiply by $q^2$. $2q^2 = p^2$ WHAT does this tell us? $p^2$ is even (it equals 2 times something).

Step 3: If $p^2$ is even, then p is even. WHY? If p were odd, then p = 2k+1 for some integer k, so: $p^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$ which is odd. Contradiction! So p must be even.

Step 4: Since p is even, write p = 2m for some integer m. Substitute into $2q^2 = p^2$: $2q^2 = (2m)^2 = 4m^2$ $q^2 = 2m^2$ WHAT does this tell us? $q^2$ is even, so q is even (same reasoning as Step 3).

Step 5: The contradiction! We've shown both p and q are even, meaning they share a common factor of 2. But we assumed gcd(p,q) = 1 (lowest terms). Contradiction!

Conclusion: Our assumption was false. $\sqrt{2}$ cannot be written as p/q, so √2 is irrational. □

Solution:

• 7: Natural ✓, Integer ✓, Rational ✓ (7/1), Real ✓
• -3/4: Integer ✗, Rational ✓, Real ✓
• 0: Natural ✗ (usually), Integer ✓, Rational ✓ (0/1), Real ✓
• √9 = 3: Natural ✓, Integer ✓, Rational ✓, Real ✓ WHY? Simplify first! √9 = 3, which IS rational.
• √7 ≈ 2.645...: Rational ✗ (no perfect square), Irrational ✓, Real ✓
• π ≈ 3.14159...: Irrational ✓, Real ✓
• 0.666... = 2/3: Rational ✓! (Repeating decimals are rational), Real ✓ How to convert: Let x = 0.666..., then 10x = 6.666..., so 10x - x = 6, giving x = 6/9 = 2/3.

The Subset Structure

WHAT does ⊂ mean exactly? $A \subset B$ means:

1. Every element of A is in B (A ⊆ B)
2. B contains at least one element NOT in A (A ≠ B)

WHY proper subsets?

• Every natural number is an integer: 5 ∈ ℕ → 5 ∈ ℤ
• But some integers aren't natural: -3 ∈ ℤ but -3 ∉ ℕ
• Every integer is rational: 5 = 5/1
• But some rationals aren't integers: 1/2 ∈ ℚ but 1/2 ∉ ℤ
• Every rational is real: 3/4 ∈ ℝ
• But some reals aren't rational: √2 ∈ ℝ but √2 ∉ ℚ

HOW MANY numbers in each set?

• ℕ: Countably infinite (ℵ₀)
• ℤ: Countably infinite (same "size" as ℕ!)
• ℚ: Countably infinite (still ℵ₀)
• ℝ: Uncountably infinite — its cardinality is $2^{\aleph_0}$ (the cardinality of the continuum), strictly larger than ℵ₀

WHY are the rationals the same size as naturals? Because ℚ can be put in one-to-one correspondence with ℕ using a zig–zag (pairing) enumeration of ℕ×ℕ, so ℚ is countable. WHY are reals bigger? Cantor's diagonal argument proves that ℝ CANNOT be listed in any such sequence, so ℝ is uncountable, with $|\mathbb{R}| = 2^{\aleph_0} > \aleph_0$.

Note on ℵ₁: Whether $2^{\aleph_0} = \aleph_1$ is the Continuum Hypothesis, which is independent of the standard ZFC axioms (Gödel & Cohen). So we write $|\mathbb{R}| = 2^{\aleph_0}$, not "$\aleph_1$".

The steel-man: Density is a powerful property. In a practical sense, for finite precision (computers, measurements), rationals DO suffice. Any real can be approximated arbitrarily well by rationals.

The fix: Density ≠ completeness. Yes, rationals are dense, BUT there are still infinitely many "holes" where irrationals live.

• Example: The sequence 1, 1.4, 1.41, 1.414, 1.4142, ... (decimal approximations of √2) consists of rationals, but the limit √2 is NOT rational.
• The rationals are countable, but the reals are uncountable — the "holes" are infinitely more numerous than the rationals!

Think of it like: rational numbers are stars in the sky (dense — everywhere you look you see stars), but the darkness (irrationals) fills infinitely more space.

The steel-man: Pattern recognition in digits is hard. π does have streaks like "999" that appear (Feynman point). Looks like repetition!

The fix: The distinction is eventually periodic vs. never periodic:

• Rational: 0.333... (repeats 3), 0.142857142857... (repeats 142857), even 2.0 = 2.000... (repeats 0)
• Irrational: √2 = 1.41421356... (never settles into a repeating cycle, PROVEN to never repeat)

Theorem: A decimal is eventually periodic ⟺ the number is rational.

WHY? If x = 0.abc̄ (bar means repeat), multiply by 10ⁿ to shift the repeat, then subtract to get a rational equation.

Each set asks: "Am I enough?" and the next set answers: "No, here's what you're missing!"

Natural numbers (ℕ): You start by just counting: "I have 1 coin, 2 coins, 3 coins..." Great for counting!

Integers (ℤ): But then the game adds "debt" — you can borrow coins and go negative. Now you need -1, -2, -3 to track what you owe. Integers = all counting numbers PLUS zero PLUS negative numbers.

Rational numbers (ℚ): Then you want to split coins with friends. Half a coin = 1/2. Three friends share 7 coins = 7/3 each. Any fraction (like 5/2, -3/4) is rational. If you can write it as "number over number," it's rational.

Irrational numbers: Here's the weird part — some numbers CAN'T be written as fractions! Like if you have a perfect square (a square where each side is 1 coin long), the diagonal is √2 coins long. But √2 can't be written as ANY fraction — it's 1.41421356... and the digits go on FOREVER without repeating. That's irrational.

Real numbers (ℝ): Put all rationals and irrationals together, you get the complete number line with no gaps — that's the reals. Every point on an infinite ruler.

The symbol ⊂ means "fits inside": naturals fit inside integers, integers fit inside rationals, rationals fit inside reals. Each step adds something the previous set was missing!

Connections

• Number Theory Fundamentals — this is the foundation
• Properties of Operations — closure, commutativity, associativity for each set
• Decimal Representations — every real has a decimal, rationals are eventually periodic
• Cardinality and Infinity — comparing sizes of infinite sets
• Field Axioms — ℚ and ℝ are fields, ℕ and ℤ are not
• Dedekind Cuts — one way to construct ℝ from ℚ rigorously
• Completeness Axiom — what makes ℝ "complete" but ℚ incomplete
• Algebraic vs. Transcendental Numbers — another way to classify reals
• Cantor's Diagonal Argument — proof that ℝ is uncountable
• Continuum Hypothesis — is $2^{\aleph_0} = \aleph_1$? (independent of ZFC)

#flashcards/maths

Concept Map

Hinglish (regional understanding)