THE PATH_
The full march in dependency order. 0/69 conquered.
▞ BEDROCK
0/8Numbers, rebuilt from raw counting. You think you know this. You don't.
- 1What Is a Number?Counting, the successor idea, and why ℕ exists before notation.
- 2The Laws of ArithmeticCommutativity, associativity, distributivity — the axioms you've been using blind.
- 3Zero & the NegativesAdditive identity and inverses; the integers ℤ and signed arithmetic.
- 4Fractions & the RationalsMultiplicative inverses, equivalent fractions, and arithmetic in ℚ.
- 5Exponents & RootsPowers as repeated multiplication; exponent laws derived; roots as the inverse question.
- 6Order & InequalityThe number line as an ordered structure; rules for manipulating inequalities.
- 7Irrationals & the Real Line√2 is not a fraction; the reals ℝ as the completed continuum.
- 8Absolute Value & Distance|x| as distance from zero; solving equations and inequalities with |·|.
▞ LOGIC & PROOF
0/8The machinery of certainty. Learn to argue so well reality has to agree.
- 1Propositions & ConnectivesStatements, AND/OR/NOT, and truth tables.
- 2ImplicationIf–then statements, converse, contrapositive, and vacuous truth.
- 3Quantifiers∀ and ∃, nested quantifiers, and how to negate them.
- 4Direct ProofYour first real proofs: definitions in, logic through, QED out.
- 5Contrapositive & Iff ProofsProving P→Q via ¬Q→¬P, and proving 'if and only if' both ways.
- 6Proof by ContradictionAssume the opposite, watch the universe break: √2 irrational, infinitude of primes.
- 7InductionThe domino principle: prove it for 1, prove each step passes it on, own all of ℕ.
- 8Strong Induction & Well-OrderingUse every previous domino; every nonempty set of naturals has a least element.
▞ SET THEORY
0/9Everything is a set. EVERYTHING. The periodic table of mathematics.
- 1Sets & MembershipSets, ∈, ⊆, set-builder notation, the empty set, and power sets.
- 2Set OperationsUnion, intersection, difference, complement — and Venn diagrams done honestly.
- 3Set Identities & Element ProofsDe Morgan's laws for sets; proving A=B by double inclusion.
- 4Ordered Pairs & Cartesian Products(a,b) where order matters; A×B and why the plane is ℝ².
- 5Relations & EquivalenceRelations as subsets of A×B; reflexive/symmetric/transitive; equivalence classes and partitions.
- 6Functions as MappingsFunctions defined set-theoretically: domain, codomain, image, well-definedness.
- 7Injections, Surjections, BijectionsOne-to-one, onto, and perfect pairings — with proofs of each.
- 8Composition & Inverse Functionsg∘f, why composition order matters, and when an inverse exists.
- 9Cardinality & InfinitySame size = bijection exists; ℕ, ℤ, ℚ are countable; ℝ is not. Cantor's diagonal.
▞ ALGEBRA CORE
0/10Arithmetic with the masks on. Solve for the unknown, every time.
- 1Variables & ExpressionsLetters as placeholders; building, evaluating, and simplifying expressions.
- 2Linear EquationsSolving ax+b=c and friends by doing the same crime to both sides.
- 3Linear InequalitiesSolving and graphing inequalities; compound inequalities.
- 4The Coordinate PlanePlotting in ℝ²; distance and midpoint formulas.
- 5Lines & SlopeSlope as rate; point-slope, slope-intercept, parallel and perpendicular.
- 6Systems of Linear EquationsTwo equations, two unknowns: substitution, elimination, and the geometry of solutions.
- 7Polynomial ArithmeticAdding, subtracting, multiplying polynomials; degree; special products.
- 8FactoringRunning distributivity backwards: GCF, trinomials, difference of squares, grouping.
- 9Quadratic EquationsCompleting the square, deriving the quadratic formula, and the discriminant.
- 10Rational Expressions & EquationsAlgebraic fractions: simplifying, combining, solving — and domain landmines.
▞ FUNCTIONS & GROWTH
0/8Machines that eat numbers. Curves, growth, and the art of the inverse.
- 1Functions & Their Graphsf(x) notation meets the plane: reading graphs, domain/range, transformations.
- 2Quadratic Functions & ParabolasVertex form, axis of symmetry, max/min, and graphs of y=ax²+bx+c.
- 3Polynomial FunctionsEnd behavior, zeros and multiplicity, the Factor Theorem.
- 4Exponential Functionsy=a·bˣ: growth and decay, the shape, and why exponentials beat polynomials.
- 5Logarithmslog_b(x) as the inverse exponent question; log laws derived from exponent laws.
- 6Inverse Functionsf⁻¹ in the wild: which functions are invertible, finding inverses, mirror graphs.
- 7Sequences & SeriesArithmetic and geometric sequences, Σ-notation, and closed-form sums.
- 8Counting & the Binomial TheoremPermutations, combinations, Pascal's triangle, and expanding (a+b)ⁿ.
▞ GEOMETRY & TRIG
0/6Triangles and circles — the load-bearing shapes of the universe.
- 1Angles, Triangles & SimilarityAngle facts, triangle angle sum, congruence vs similarity, and proportional sides.
- 2The Pythagorean Theorema²+b²=c², proved at least twice, plus its converse and the distance formula payoff.
- 3Trig Ratiossin, cos, tan as similarity invariants of right triangles; solving triangles.
- 4The Unit Circle & RadiansAngles as arc length; sin and cos as coordinates; trig beyond 90°.
- 5Trig IdentitiesPythagorean identity, sum/difference formulas, double angle — derived and deployed.
- 6Circles in the Plane(x−h)²+(y−k)²=r² and completing the square to find centers.
▞ VECTORS & MATRICES
0/8Arrows and grids of numbers that move entire planes around.
- 1VectorsArrows and tuples; addition, scalar multiplication, and length.
- 2The Dot Productv·w two ways: components and ‖v‖‖w‖cos θ; orthogonality and projection.
- 3Matrices & Their ArithmeticMatrices as data grids; addition, scalar multiplication, transpose.
- 4Matrix MultiplicationRow-times-column: why THAT rule, and why AB ≠ BA.
- 5Linear Transformations of the PlaneMatrices as machines that move ℝ²: rotations, scalings, shears — read from the columns.
- 6Determinantsdet as area-scaling factor; 2×2 and 3×3 computation; det(AB)=det(A)det(B).
- 7Matrix InversesA⁻¹ as the undo machine; the 2×2 formula; solving Ax=b.
- 8Gaussian EliminationRow reduction to (R)REF: the industrial-strength solver for any size system.
▞ VECTOR SPACES
0/12Linear algebra with proofs. The cathedral. The spectral theorem lives at the top.
- 1Vector SpacesThe axioms: any set with a +, a scalar ·, and ten laws is a vector space.
- 2SubspacesSubsets that are spaces in their own right; the three-condition test.
- 3Span & Linear CombinationsEverything reachable by scaling and adding; span as the smallest subspace containing your set.
- 4Linear IndependenceNo vector in the list is a combination of the others; the c₁v₁+⋯+cₖvₖ=0 test.
- 5Basis & DimensionIndependent spanning sets; every basis has the same size; coordinates.
- 6Linear MapsStructure-preserving functions between spaces; kernel and image.
- 7Rank–Nullitydim(ker) + dim(im) = dim(domain): the conservation law of linear algebra.
- 8Change of BasisSame vector, different coordinates; similarity A ↦ P⁻¹AP.
- 9Eigenvalues & EigenvectorsAv = λv: the directions a transformation merely stretches.
- 10DiagonalizationA = PDP⁻¹: rewriting a transformation in its own favorite basis.
- 11Orthogonality & Gram–SchmidtOrthonormal bases, orthogonal projection onto subspaces, and the Gram–Schmidt machine.
- 12The Spectral TheoremSymmetric matrices diagonalize orthogonally: A = QDQᵀ. The summit.