2. Number Systems

From naturals to reals — building the number systems from axioms, and telling countable infinities from uncountable ones.

• Natural Numbers and Induction — Watch the natural numbers being born from axioms. Line up dominoes to see induction start. Induction proves infinitely many statements at once. Check the first case. Then show each case hands truth to the next. The chain never ends, so everything holds. For example, stand on the first 🪜 stair and know how to climb one more. The first step plus the climbing rule reaches the top. Dominoes fall the same way.
• The Binomial Theorem — See the triangle made by the coefficients of expanded powers. Follow one whole row being computed. A binomial coefficient counts ways to choose. Each entry in the triangle is the sum of the two above it. That addition rule is the heart of the induction step. A whole row adds up to a power of two. For example, toss two coins and count the heads: zero, one, or two. The counts go one way, two ways, one way. That is the triangle's second row, exactly.
• Integers and Rationals — Build negative numbers and fractions by bundling pairs. Pairs naming the same number form one bundle. Integers are bundles of pairs of naturals. Fractions are bundles of pairs of integers. Different pairs can name the same number. This bundle trick returns when the reals are built. For example, think of 💰 money and debt. Five coins in hand and three owed is a net of two. Seven in hand and five owed is also two. Different pairs, same value.
• Complex Numbers — See a complex number as a point in the plane. The real part runs sideways, the imaginary part runs up. The modulus is the distance from the origin to that point. Adding two complex numbers draws the diagonal of a parallelogram. That diagonal is never longer than the two sides added together. This is the triangle inequality. For example, walk 3 steps east with a 🧭 compass, then turn and walk 4 more. The straight-line distance back is shorter than the bent path. The modulus measures exactly that straight line.
• √2 is Irrational — Plot fractions ever more densely and watch one hole never fill. That spot is the square root of two. Rationals alone do not complete the number line. No fraction squares to exactly two. However fine the denominators, that spot stays empty. Numbers beyond the rationals are needed. For example, measure a length with a 📏 ruler. However fine the marks, some lengths never match one. A square's diagonal is such a length. Fraction marks never catch it.
• Density of the Rationals — See that every interval, however narrow, hides a rational. Bigger denominators make the ticks denser. Between any two numbers sits a fraction. Narrower gaps need bigger denominators. Chop the scale finely enough and some tick lands in every gap. The same trick works around irrationals. For example, keep cutting a 🍰 cake in half, again and again. The pieces shrink without end. Pick any thin gap, and a thinner piece exists. That piece is the fraction landing inside.
• Sets and Functions — Overlap sets in pictures to see unions and intersections. Judge by eye whether a map is injective or surjective. A union takes anything in at least one set. An intersection needs both. A complement is everything outside. Colliding or missing arrows decide injective versus surjective. For example, some 🧑 classmates love 📚 books, while others love ⚽ soccer. Friends loving both stand in the overlap. Loving at least one puts you in the union.
• The Axiom of Choice — Pick one dot from each row of a table. See why finite collections and infinite ones differ. The question is whether picking can be made into a function. Finitely many sets: just pick, one by one. Infinitely many: the picking rule itself needs a guarantee. That guarantee is the axiom of choice. For example, every 📦 box holds some 🍬 candies. With three boxes, just reach in and pick. With endless boxes, you need the rule 'one from each box'. Nobody can check them all by eye.
• Zorn's Lemma — Stand the divisors of twelve in divisibility order. Climb a chain and see what sits at the top. A chain is a line of mutually comparable elements. If every chain has an upper bound, a maximal element exists. You never construct it; existence is guaranteed. The guarantee matches the axiom of choice. For example, the top of a 🪜 staircase has no next step. Every way up ends somewhere. Knowing every climb ends proves a top exists.
• The Supremum Axiom — Find the smallest ceiling over a bounded set. That ceiling, missing in the rationals, completes the reals. The supremum is the least of all upper bounds. Ceilings are many, but the lowest one is unique. Rationals sometimes lack that lowest ceiling. The reals are the world where it always exists. For example, measure every 🧑 classmate's height. The smallest line above them all is the supremum. It touches the tallest height exactly. Everyone fits underneath.
• Existence of n-th Roots — Locate the point whose power hits the target, using a supremum. Watch the gap-filling axiom manufacture a root. Collect every number whose power stays below the target. The supremum of that set is the root. Below it, powers fall short; above it, they overshoot. So the supremum's power equals the target exactly. For example, find the side of a square with area two. Side one gives too little area; side two gives too much. One borderline length fits exactly. That length is the square root of two.
• Countable vs Uncountable — See the rationals numbered in a single list. Then see the same attempt fail for the reals. Countable means pairing off with the natural numbers. Fractions tile a grid, and a zigzag count numbers them all. Reals refuse. Every proposed list misses some real. Changing digits along the diagonal proves it. For example, hand number tickets to every 🧑 classmate. However long the line, one ticket each means countable. If every roster still misses someone, the crowd cannot be counted.
• Cantor's Theorem — See that any set is smaller than the collection of all its subsets. Flip a list's diagonal to build a new element. The power set collects all subsets. One extra element doubles the subsets. So any attempted pairing leaves leftovers. The diagonal-flipped set is exactly such a leftover. For example, three 🧑 classmates have eight subsets. Subsets already outnumber the friends. More people only widens the gap. Even infinity keeps the gap.
• Groups vs Fields — Check the rules of reversible moves in a table. Compare with a world where all four operations work. A group rests on three promises. Grouping must not change results. A do-nothing element must exist. Every move needs an undoing move. A field adds division on top of that. For example, pedaling a bicycle forward can be undone by pedaling back. Staying still counts as a move too. Chaining moves gives another move. A set of moves obeying these rules is a group.
• Vector Spaces and Isomorphism — Move the coefficients and watch a line and a point move together. Spaces with different looks share one structure. A vector space supports adding and scaling. Pairs of numbers, polynomials, and functions all obey the same rules. Same rules means essentially the same world. Calculations transfer from one side to the other. For example, write a recipe on a card. The card's numbers rebuild the dish exactly. A line, too, is captured by two numbers: slope and intercept. Card and line move as one.
• Dimension and Rank — Watch a grid get squeezed flat by a matrix. Count the dimensions that vanish and those that survive. Dimension counts independent directions. A matrix can squash directions together. Directions crushed to nothing form the kernel's dimension. Directions still spanning room form the rank. The two add up to the original dimension. For example, sunlight presses a solid object into a flat shadow. The height direction vanishes in the shadow. Only the flat directions survive. Lost plus surviving equals the original dimension.