Skip to content

Mathematics - Wyatt's Notes

Welcome to the mathematics notes. These notes cover proof-based undergraduate mathematics, from foundational algebraic structures to advanced analysis and geometry.

Mathematics is the language of science and engineering. Abstract algebra provides the algebraic foundations (groups, rings, fields), real analysis builds rigorous calculus, linear algebra handles vector spaces and transformations, and topology generalises continuity and convergence. These subjects interconnect deeply — linear algebra appears in functional analysis, group theory underpins symmetry in physics, and measure theory extends integration beyond Riemann’s limitations. Understanding these connections is what transforms computation into understanding.

  • Abstract Algebra: Groups, rings, fields, and their homomorphisms — the algebraic structures underlying symmetry and number theory. From the cyclic group ℤ/nℤ to the Monster group, abstract algebra reveals the architecture of mathematical objects.
  • Real Analysis: Rigorous treatment of limits, continuity, differentiation, and integration on the real line. The ε-δ framework provides the logical foundation for all of calculus.
  • Linear Algebra: Vector spaces, linear maps, eigenvalues, and inner product spaces. Linear algebra is the most widely applied area of mathematics, from data science to quantum mechanics.
  • Multivariable Calculus: Partial derivatives, gradient, multiple integrals, and vector calculus theorems. Green’s, Stokes’, and Gauss’ theorems unify differential and integral calculus.
  • Complex Analysis: Analytic functions, contour integration, and the residue theorem. Complex analysis is the most elegant branch of analysis — differentiability once implies infinite differentiability.
  • Differential Geometry: Manifolds, curvature, and geometric structures on smooth spaces. Differential geometry connects calculus to geometry, enabling the study of curved spaces.
  • Functional Analysis: Infinite-dimensional vector spaces, bounded operators, and spectral theory. Functional analysis extends linear algebra to function spaces, underpinning quantum mechanics and PDE theory.
AreaCentral ObjectKey ResultApplication
Abstract AlgebraGroup (G,)(G, \cdot)Lagrange’s TheoremSymmetry, cryptography
Real Analysisε\varepsilon-δ\delta limitBolzano-WeierstrassRigorous calculus
Linear AlgebraVector space VVSpectral TheoremData science, quantum
Complex AnalysisAnalytic function f:CCf: \mathbb{C} \to \mathbb{C}Cauchy’s Integral TheoremContour integration
Differential GeometrySmooth manifold MMGauss-Bonnet TheoremGeneral relativity
Functional AnalysisBanach/Hilbert spaceHahn-Banach TheoremPDE theory, quantum
TechniqueWhen to UseExample
Direct proofImplication PQP \Rightarrow Q“If nn is even, then n2n^2 is even”
ContrapositiveEasier to prove ¬Q¬P\neg Q \Rightarrow \neg P“If n2n^2 is odd, then nn is odd”
ContradictionAssume ¬P\neg P, derive contradictionIrrationality of 2\sqrt{2}
InductionStatement about natural numbersi=1ni=n(n+1)2\sum_{i=1}^n i = \frac{n(n+1)}{2}
ConstructionExistence proof”There exist infinitely many primes”

Start with the introductory pages for each topic. Each section includes:

  • Detailed definitions and theorems
  • Worked examples with step-by-step solutions
  • Practice problems with answers
  • Common pitfalls and how to avoid them
  • Connections to other areas of mathematics

Mathematics is cumulative — each topic builds on previous ones. If you encounter unfamiliar material, check the prerequisites and review foundational concepts first.

Assuming mathematics is about memorising formulas: These notes are proof-based — understanding why a theorem is true matters more than knowing the statement. Memorising the spectral theorem without understanding its proof leaves you unable to apply it in novel situations.

Confusing “obvious” with “proven”: In proof-based mathematics, intuition can be misleading. The statement “every continuous function is differentiable” seems plausible until you encounter the Weierstrass function. Always write out the full proof rather than relying on intuition alone.

Neglecting the role of counterexamples: A single counterexample disproves a universal claim. Knowing classic counterexamples (the topologist’s sine curve, the Cantor set, pathological algebraic structures) is as important as knowing theorems. They sharpen your understanding of where definitions and theorems apply.

Mathematics is not about memorising formulas or computing answers — it’s about building a network of ideas that connect to each other in logically airtight ways. The reason proof-based mathematics feels fundamentally different from computational mathematics is that it’s asking a different question. Computational maths asks “what is the answer?” Proof-based maths asks “why must this be true, and what would have to change for it to be false?” This shift in perspective is what transforms a collection of facts into genuine understanding. When you prove a theorem, you’re not just verifying a result — you’re building a bridge between what you already know and something new, and that bridge must hold weight from every possible direction.

The interconnectedness of mathematical subjects is not a coincidence — it reflects deep structural parallels. Groups describe symmetry, vector spaces describe linear structure, topological spaces describe continuity, and measure spaces describe size. These aren’t separate topics; they’re different lenses on the same fundamental questions about mathematical objects and their relationships. Understanding why the spectral theorem matters in linear algebra, why compactness matters in analysis, and why the isomorphism theorems matter in algebra — and how they all connect — is what transforms computation into mathematical maturity.

The proof techniques themselves are not arbitrary logical exercises. Direct proof builds a chain from assumptions to conclusion. Proof by contradiction exploits the fact that if a statement isn’t true, assuming it’s true must create a logical impossibility. Induction captures the idea that if something holds for a base case and each step preserves it, it holds for all natural numbers. Each technique is a tool for attacking a different kind of problem, and learning to recognise which technique to reach for is the core skill of mathematical reasoning.

This topic covers the fundamental principles and applications in depth. Each concept is explained with clear definitions, worked examples, and practice problems to reinforce understanding.

Understanding these core concepts is essential for mastering this topic. They form the foundation for more advanced study and are frequently examined.

Worked examples demonstrate how to apply the concepts to solve problems. Each example is broken down into clear steps with explanations.

  • Rushing through foundational material
  • Not practising problems after reading
  • Failing to connect concepts across topics

Consult the recommended textbooks and additional resources for deeper understanding of this topic.

This topic covers the fundamental principles and applications in depth. Each concept is explained with clear definitions, worked examples, and practice problems to reinforce understanding.

Understanding these core concepts is essential for mastering this topic. They form the foundation for more advanced study and are frequently examined.

Worked examples demonstrate how to apply the concepts to solve problems. Each example is broken down into clear steps with explanations.

  • Rushing through foundational material
  • Not practising problems after reading
  • Failing to connect concepts across topics

Consult the recommended textbooks and additional resources for deeper understanding of this topic.