map of math
**Map of Mathematics**
A comprehensive overview of mathematical fields, their connections, and foundational structures.
**1. Foundations of Mathematics**
At the deepest level, mathematics rests on questions about its own nature and structure.
**1.1 Logic**
- **Propositional Logic**: Studies logical connectives $\land$ (and), $\lor$ (or), $
eg$ (not), $\rightarrow$ (implies)
- **Predicate Logic**: Introduces quantifiers $\forall$ (for all) and $\exists$ (there exists)
- **Key Result**: Gödel's Incompleteness Theorems
- First: Any consistent formal system $F$ capable of expressing arithmetic contains statements that are true but unprovable in $F$
- Second: Such a system cannot prove its own consistency
**1.2 Set Theory**
- **Zermelo-Fraenkel Axioms with Choice (ZFC)**: The standard foundation
- **Key Concepts**:
- Empty set: $\emptyset$
- Union: $A \cup B = \{x : x \in A \text{ or } x \in B\}$
- Intersection: $A \cap B = \{x : x \in A \text{ and } x \in B\}$
- Power set: $\mathcal{P}(A) = \{B : B \subseteq A\}$
- Cardinality: $|A|$, with $|\mathbb{N}| = \aleph_0$ (countable infinity)
- **Continuum Hypothesis**: Is there a set with cardinality strictly between $|\mathbb{N}|$ and $|\mathbb{R}|$?
**1.3 Category Theory**
- **Objects and Morphisms**: Abstract structures and structure-preserving maps
- **Key Concepts**:
- Functors: $F: \mathcal{C} \to \mathcal{D}$ (maps between categories)
- Natural transformations: $\eta: F \Rightarrow G$
- Universal properties and limits
- **Philosophy**: "It's all about the arrows" — relationships matter more than objects
**1.4 Type Theory**
- **Dependent Types**: Types that depend on values
- **Curry-Howard Correspondence**:
$$\text{Propositions} \cong \text{Types}, \quad \text{Proofs} \cong \text{Programs}$$
- **Applications**: Proof assistants (Coq, Lean, Agda)
**2. Algebra**
The study of structure, operations, and their properties.
**2.1 Linear Algebra**
- **Vector Spaces**: A set $V$ over field $F$ with addition and scalar multiplication
- **Key Structures**:
- Linear transformation: $T: V \to W$ where $T(\alpha u + \beta v) = \alpha T(u) + \beta T(v)$
- Matrix representation: $[T]_{\mathcal{B}}$
- Eigenvalue equation: $Av = \lambda v$
- **Fundamental Theorem**: Every matrix $A$ has a Jordan normal form
- **Singular Value Decomposition**:
$$A = U \Sigma V^*$$
**2.2 Group Theory**
- **Definition**: A group $(G, \cdot)$ satisfies:
- Closure: $a, b \in G \Rightarrow a \cdot b \in G$
- Associativity: $(a \cdot b) \cdot c = a \cdot (b \cdot c)$
- Identity: $\exists e \in G$ such that $e \cdot a = a \cdot e = a$
- Inverses: $\forall a \in G, \exists a^{-1}$ such that $a \cdot a^{-1} = e$
- **Key Examples**:
- Symmetric group $S_n$ (all permutations of $n$ elements)
- Cyclic group $\mathbb{Z}/n\mathbb{Z}$
- General linear group $GL_n(\mathbb{R})$ (invertible $n \times n$ matrices)
- **Lagrange's Theorem**: If $H \leq G$, then $|H|$ divides $|G|$
- **Classification of Finite Simple Groups**: Completed in 2004 (~10,000 pages)
**2.3 Ring Theory**
- **Definition**: A ring $(R, +, \cdot)$ has:
- $(R, +)$ is an abelian group
- Multiplication is associative
- Distributivity: $a(b + c) = ab + ac$
- **Key Examples**:
- Integers $\mathbb{Z}$
- Polynomials $R[x]$
- Matrices $M_n(R)$
- **Ideals**: $I \subseteq R$ is an ideal if $RI \subseteq I$ and $IR \subseteq I$
- **Quotient Rings**: $R/I$
**2.4 Field Theory**
- **Definition**: A field is a commutative ring where every nonzero element has a multiplicative inverse
- **Examples**: $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$, $\mathbb{F}_p$ (finite fields)
- **Field Extensions**: $L/K$ where $K \subseteq L$
- **Galois Theory**: Studies field extensions via their automorphism groups
- **Fundamental Theorem**: There is a correspondence between intermediate fields of $L/K$ and subgroups of $\text{Gal}(L/K)$
**2.5 Representation Theory**
- **Definition**: A representation of group $G$ is a homomorphism $\rho: G \to GL(V)$
- **Characters**: $\chi_\rho(g) = \text{Tr}(\rho(g))$
- **Key Result**: Characters of irreducible representations form an orthonormal basis
$$\langle \chi_\rho, \chi_\sigma \rangle = \frac{1}{|G|} \sum_{g \in G} \chi_\rho(g) \overline{\chi_\sigma(g)} = \delta_{\rho\sigma}$$
**3. Analysis**
The rigorous study of continuous change, limits, and infinity.
**3.1 Real Analysis**
- **Limits**: $\lim_{x \to a} f(x) = L$ iff $\forall \varepsilon > 0, \exists \delta > 0$ such that $0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon$
- **Continuity**: $f$ is continuous at $a$ if $\lim_{x \to a} f(x) = f(a)$
- **Differentiation**:
$$f'(x) = \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}$$
- **Integration** (Riemann):
$$\int_a^b f(x) \, dx = \lim_{n \to \infty} \sum_{i=1}^n f(x_i^*) \Delta x_i$$
- **Fundamental Theorem of Calculus**:
$$\frac{d}{dx} \int_a^x f(t) \, dt = f(x)$$
**3.2 Measure Theory**
- **$\sigma$-Algebra**: Collection of sets closed under complements and countable unions
- **Measure**: $\mu: \Sigma \to [0, \infty]$ with:
- $\mu(\emptyset) = 0$
- Countable additivity: $\mu\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \mu(A_i)$ for disjoint $A_i$
- **Lebesgue Integral**:
$$\int f \, d\mu = \sup \left\{ \int \phi \, d\mu : \phi \leq f, \phi \text{ simple} \right\}$$
**3.3 Complex Analysis**
- **Holomorphic Functions**: $f: \mathbb{C} \to \mathbb{C}$ is holomorphic if $f'(z)$ exists
- **Cauchy-Riemann Equations**: If $f = u + iv$, then
$$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$
- **Cauchy's Integral Formula**:
$$f(z_0) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z - z_0} \, dz$$
- **Residue Theorem**:
$$\oint_\gamma f(z) \, dz = 2\pi i \sum_{k} \text{Res}(f, z_k)$$
**3.4 Functional Analysis**
- **Banach Spaces**: Complete normed vector spaces
- **Hilbert Spaces**: Complete inner product spaces
- Inner product: $\langle \cdot, \cdot \rangle: V \times V \to \mathbb{C}$
- Norm: $\|v\| = \sqrt{\langle v, v \rangle}$
- **Key Theorems**:
- Hahn-Banach (extension of linear functionals)
- Open Mapping Theorem
- Closed Graph Theorem
- Spectral Theorem: Normal operators on Hilbert spaces have spectral decompositions
**3.5 Differential Equations**
- **Ordinary Differential Equations (ODEs)**:
- First order: $\frac{dy}{dx} = f(x, y)$
- Linear: $y^{(n)} + a_{n-1}y^{(n-1)} + \cdots + a_0 y = g(x)$
- **Partial Differential Equations (PDEs)**:
- Heat equation: $\frac{\partial u}{\partial t} = \alpha
abla^2 u$
- Wave equation: $\frac{\partial^2 u}{\partial t^2} = c^2
abla^2 u$
- Laplace equation: $
abla^2 u = 0$
- Schrödinger equation: $i\hbar \frac{\partial \psi}{\partial t} = \hat{H}\psi$
**4. Geometry and Topology**
The study of space, shape, and structure.
**4.1 Euclidean Geometry**
- **Euclid's Postulates**: Five axioms defining flat space
- **Key Results**:
- Pythagorean theorem: $a^2 + b^2 = c^2$
- Sum of angles in triangle: $180°$
- Parallel postulate: Given a line and a point not on it, exactly one parallel exists
**4.2 Non-Euclidean Geometries**
- **Hyperbolic Geometry** (negative curvature):
- Multiple parallels through a point
- Sum of angles in triangle: $< 180°$
- Model: Poincaré disk with metric $ds^2 = \frac{4(dx^2 + dy^2)}{(1 - x^2 - y^2)^2}$
- **Elliptic/Spherical Geometry** (positive curvature):
- No parallels
- Sum of angles in triangle: $> 180°$
**4.3 Differential Geometry**
- **Manifolds**: Spaces locally homeomorphic to $\mathbb{R}^n$
- **Tangent Spaces**: $T_p M$ at each point $p$
- **Riemannian Metric**: $g_{ij}$ defining distances and angles
$$ds^2 = g_{ij} \, dx^i \, dx^j$$
- **Curvature**:
- Gaussian curvature: $K = \kappa_1 \kappa_2$ (product of principal curvatures)
- Riemann curvature tensor: $R^i_{\ jkl}$
- Ricci curvature: $R_{ij} = R^k_{\ ikj}$
- Scalar curvature: $R = g^{ij} R_{ij}$
- **Gauss-Bonnet Theorem**:
$$\int_M K \, dA = 2\pi \chi(M)$$
where $\chi(M)$ is the Euler characteristic
**4.4 Topology**
- **Topological Space**: $(X, \tau)$ where $\tau$ is a collection of "open sets"
- **Homeomorphism**: Continuous bijection with continuous inverse
- **Key Invariants**:
- Connectedness
- Compactness
- Euler characteristic: $\chi = V - E + F$
**4.5 Algebraic Topology**
- **Fundamental Group**: $\pi_1(X, x_0)$ — loops up to homotopy
- $\pi_1(S^1) = \mathbb{Z}$
- $\pi_1(\mathbb{R}^n) = 0$
- **Higher Homotopy Groups**: $\pi_n(X)$
- **Homology Groups**: $H_n(X)$ — "holes" in dimension $n$
- $H_0$ counts connected components
- $H_1$ counts 1-dimensional holes (loops)
- $H_2$ counts 2-dimensional holes (voids)
- **Cohomology**: Dual theory with cup product structure
**4.6 Algebraic Geometry**
- **Affine Variety**: Zero set of polynomials
$$V(f_1, \ldots, f_k) = \{x \in k^n : f_i(x) = 0 \text{ for all } i\}$$
- **Projective Variety**: Variety in projective space $\mathbb{P}^n$
- **Schemes**: Generalization using commutative algebra
- **Sheaves**: Local-to-global data structures
- **Key Results**:
- Bézout's Theorem: Degree $m$ and $n$ curves intersect in $mn$ points (counting multiplicities)
- Riemann-Roch Theorem (for curves):
$$\ell(D) - \ell(K - D) = \deg(D) - g + 1$$
**5. Number Theory**
The study of integers and their generalizations.
**5.1 Elementary Number Theory**
- **Divisibility**: $a | b$ iff $\exists k$ such that $b = ka$
- **Prime Numbers**: $p > 1$ with only divisors $1$ and $p$
- **Fundamental Theorem of Arithmetic**: Every integer $> 1$ factors uniquely into primes
$$n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$$
- **Modular Arithmetic**: $a \equiv b \pmod{n}$ iff $n | (a - b)$
- **Euler's Theorem**: If $\gcd(a, n) = 1$, then $a^{\phi(n)} \equiv 1 \pmod{n}$
- **Fermat's Little Theorem**: If $p$ is prime and $p
mid a$, then $a^{p-1} \equiv 1 \pmod{p}$
**5.2 Analytic Number Theory**
- **Prime Number Theorem**:
$$\pi(x) \sim \frac{x}{\ln x}$$
where $\pi(x)$ counts primes $\leq x$
- **Riemann Zeta Function**:
$$\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_p \frac{1}{1 - p^{-s}}$$
- **Riemann Hypothesis**: All non-trivial zeros of $\zeta(s)$ have real part $\frac{1}{2}$
- **Dirichlet L-Functions**: Generalization for arithmetic progressions
**5.3 Algebraic Number Theory**
- **Number Fields**: Finite extensions of $\mathbb{Q}$
- **Ring of Integers**: $\mathcal{O}_K$ — algebraic integers in $K$
- **Unique Factorization Failure**: $\mathcal{O}_K$ may not be a UFD
- Example: In $\mathbb{Z}[\sqrt{-5}]$: $6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})$
- **Ideal Class Group**: Measures failure of unique factorization
- **Class Number Formula**:
$$h_K = \frac{w_K \sqrt{|d_K|}}{2^{r_1}(2\pi)^{r_2} R_K} \cdot \lim_{s \to 1} (s-1) \zeta_K(s)$$
**5.4 Famous Conjectures and Theorems**
- **Fermat's Last Theorem** (proved by Wiles, 1995):
$$x^n + y^n = z^n \text{ has no positive integer solutions for } n > 2$$
- **Goldbach's Conjecture** (open): Every even integer $> 2$ is the sum of two primes
- **Twin Prime Conjecture** (open): Infinitely many primes $p$ where $p + 2$ is also prime
- **ABC Conjecture**: For coprime $a + b = c$, $\text{rad}(abc)^{1+\varepsilon} > c$ for almost all triples
**6. Combinatorics**
The study of discrete structures and counting.
**6.1 Enumerative Combinatorics**
- **Counting Principles**:
- Permutations: $P(n, k) = \frac{n!}{(n-k)!}$
- Combinations: $\binom{n}{k} = \frac{n!}{k!(n-k)!}$
- **Binomial Theorem**:
$$(x + y)^n = \sum_{k=0}^{n} \binom{n}{k} x^{n-k} y^k$$
- **Generating Functions**:
- Ordinary: $F(x) = \sum_{n=0}^{\infty} a_n x^n$
- Exponential: $F(x) = \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}$
**6.2 Graph Theory**
- **Definitions**:
- Graph $G = (V, E)$: vertices and edges
- Degree: $\deg(v) = |\{e \in E : v \in e\}|$
- **Handshaking Lemma**: $\sum_{v \in V} \deg(v) = 2|E|$
- **Euler's Formula** (planar graphs): $V - E + F = 2$
- **Key Problems**:
- Graph coloring: $\chi(G)$ = chromatic number
- Four Color Theorem: Every planar graph is 4-colorable
- Hamiltonian cycles
**6.3 Ramsey Theory**
- **Principle**: "Complete disorder is impossible"
- **Ramsey Numbers**: $R(m, n)$ = minimum $N$ such that any 2-coloring of $K_N$ contains monochromatic $K_m$ or $K_n$
- $R(3, 3) = 6$
- $R(4, 4) = 18$
- $43 \leq R(5, 5) \leq 48$ (exact value unknown)
**7. Probability and Statistics**
**7.1 Probability Theory**
- **Kolmogorov Axioms**:
1. $P(A) \geq 0$
2. $P(\Omega) = 1$
3. Countable additivity: $P\left(\bigcup_{i} A_i\right) = \sum_{i} P(A_i)$ for disjoint $A_i$
- **Conditional Probability**: $P(A|B) = \frac{P(A \cap B)}{P(B)}$
- **Bayes' Theorem**:
$$P(A|B) = \frac{P(B|A) P(A)}{P(B)}$$
- **Expectation**: $E[X] = \int x \, dF(x)$
- **Variance**: $\text{Var}(X) = E[(X - E[X])^2] = E[X^2] - (E[X])^2$
**7.2 Key Distributions**
| Distribution | PMF/PDF | Mean | Variance |
|-------------|---------|------|----------|
| Binomial | $\binom{n}{k} p^k (1-p)^{n-k}$ | $np$ | $np(1-p)$ |
| Poisson | $\frac{\lambda^k e^{-\lambda}}{k!}$ | $\lambda$ | $\lambda$ |
| Normal | $\frac{1}{\sigma\sqrt{2\pi}} e^{-\frac{(x-\mu)^2}{2\sigma^2}}$ | $\mu$ | $\sigma^2$ |
| Exponential | $\lambda e^{-\lambda x}$ | $\frac{1}{\lambda}$ | $\frac{1}{\lambda^2}$ |
**7.3 Limit Theorems**
- **Law of Large Numbers**:
$$\bar{X}_n = \frac{1}{n} \sum_{i=1}^n X_i \xrightarrow{p} \mu$$
- **Central Limit Theorem**:
$$\frac{\bar{X}_n - \mu}{\sigma / \sqrt{n}} \xrightarrow{d} N(0, 1)$$
**8. Applied Mathematics**
**8.1 Numerical Analysis**
- **Root Finding**: Newton's method: $x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}$
- **Interpolation**: Lagrange, splines
- **Numerical Integration**: Simpson's rule, Gaussian quadrature
- **Linear Systems**: LU decomposition, iterative methods
**8.2 Optimization**
- **Unconstrained**: Find $\min_x f(x)$
- Gradient descent: $x_{k+1} = x_k - \alpha
abla f(x_k)$
- **Constrained**: Lagrange multipliers
$$
abla f = \lambda
abla g \quad \text{at optimum}$$
- **Linear Programming**: Simplex method, interior point methods
- **Convex Optimization**: Global optimum = local optimum
**8.3 Mathematical Physics**
- **Classical Mechanics**: Lagrangian $L = T - V$, Euler-Lagrange equations
$$\frac{d}{dt} \frac{\partial L}{\partial \dot{q}} - \frac{\partial L}{\partial q} = 0$$
- **Electromagnetism**: Maxwell's equations
- **General Relativity**: Einstein field equations
$$R_{\mu
u} - \frac{1}{2} R g_{\mu
u} + \Lambda g_{\mu
u} = \frac{8\pi G}{c^4} T_{\mu
u}$$
- **Quantum Mechanics**: Schrödinger equation, Hilbert space formalism
**9. The Grand Connections**
**9.1 Langlands Program**
A web of conjectures connecting:
- Number theory (Galois representations)
- Representation theory (automorphic forms)
- Algebraic geometry
- Harmonic analysis
**Central idea**: $L$-functions from different sources are the same:
$$L(s, \rho) = L(s, \pi)$$
where $\rho$ is a Galois representation and $\pi$ is an automorphic representation.
**9.2 Mirror Symmetry**
- **Physics Origin**: String theory on Calabi-Yau manifolds
- **Mathematical Content**: Pairs $(X, \check{X})$ where:
- Complex geometry of $X$ $\leftrightarrow$ Symplectic geometry of $\check{X}$
- $h^{1,1}(X) = h^{2,1}(\check{X})$
**9.3 Topological Quantum Field Theory**
- **Axioms** (Atiyah): Functor from cobordism category to vector spaces
- **Examples**: Chern-Simons theory, topological string theory
- **Connections**: Knot invariants, 3-manifold invariants, quantum groups
**10. Summary Diagram**
**Interactive Visual Map of Mathematics**
An interactive diagram showing the hierarchical relationships between mathematical fields is available at:
The ASCII diagram below is retained for reference:
```svg
```