List of theorems

From Wikipedia, the free encyclopedia

This is a list of theorems, by Wikipedia page. See also

• list of fundamental theorems
• list of lemmas
• list of conjectures
• list of inequalities
• list of mathematical proofs
• list of misnamed theorems
• Existence theorem
• Classification of finite simple groups

Most of the results below come from pure mathematics, but some are from theoretical physics, economics, and other applied fields.

Contents:	Top - 0–9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

[edit] 0–9

• 15 theorem (number theory)

[edit] A

• Abel's theorem (mathematical analysis)
• Abelian and tauberian theorems (mathematical analysis)
• Abel-Ruffini theorem (theory of equations, Galois theory)
• Abouabdillah's theorem (geometry,number theory)
• Alperin-Brauer-Gorenstein theorem (finite groups)
• Ankeny-Artin-Chowla theorem (number theory)
• Apéry's theorem (number theory)
• Apollonius' theorem (plane geometry)
• Aronszajn-Smith theorem (functional analysis)
• Arrow's impossibility theorem (game theory)
• Artin-Schreier theorem (real closed fields)
• Artin-Wedderburn theorem (abstract algebra)
• Arzelà-Ascoli theorem (functional analysis)
• Atiyah-Singer index theorem (elliptic differential operators, harmonic analysis)
• Atkinson's theorem (operator theory)

[edit] B

• Baire category theorem (topology, metric spaces)
• Balian-Low theorem (Fourier analysis)
• Banach-Alaoglu theorem (functional analysis)
• Banach fixed point theorem (metric spaces, differential equations)
• Banach-Steinhaus theorem (functional analysis)
• Barbier's theorem (geometry)
• Bass's theorem (group theory)
• Bayes' theorem (probability)
• Beatty's theorem (diophantine approximation)
• Beck's monadicity theorem (category theory)
• Beck's theorem (incidence geometry)
• Bell's theorem (quantum theory - physics)
• Bendixson-Dulac theorem (dynamical systems)
• Bernstein's theorem (functional analysis)
• Berry-Esséen theorem (probability theory)
• Bertrand's ballot theorem (probability theory, combinatorics)
• Bertrand's postulate (prime numbers)
• Bézout's theorem (algebraic curves)
• Bing metrization theorem(general topology)
• Binomial theorem (algebra, combinatorics)
• Birkhoff's theorem (ergodic theory)
• Bohr-Mollerup theorem (gamma function)
• Bolyai-Gerwien theorem (geometry)
• Bolzano's theorem (real analysis, calculus)
• Bolzano-Weierstrass theorem (real analysis, calculus)
• Bombieri's theorem (number theory)
• Bombieri–Friedlander–Iwaniec theorem (number theory)
• Bondy-Chvátal theorem (graph theory)
• Boolean prime ideal theorem (mathematical logic)
• Borel-Bott-Weil theorem (representation theory)
• Bott periodicity theorem (homotopy theory)
• Borsuk-Ulam theorem (topology)
• Bourbaki–Witt theorem (order theory)
• Branching theorem (complex manifold)
• Brauer–Suzuki theorem (finite groups)
• Brouwer fixed point theorem (topology)
• Brown's representability theorem (homotopy theory)
• Bruck-Chowla-Ryser theorem (combinatorics)
• Brun's theorem (number theory)
• Brunn-Minkowski theorem (Riemannian geometry)
• Buckingham π theorem (dimensional analysis)

[edit] C

• Cantor–Bernstein–Schroeder theorem (Set theory, cardinal numbers)
• Cantor's theorem (Set theory, Cantor's diagonal argument)
• Carathéodory-Jacobi-Lie theorem (symplectic topology)
• Carathéodory's theorem (conformal mapping)
• Carathéodory's theorem (convex hull)
• Carathéodory's theorem (measure theory)
• Carmichael's theorem (Fibonacci numbers)
• Carnot's theorem (geometry)
• Carnot's theorem (thermodynamics)
• Cartan's theorem (Lie group)
• Cartan's theorems A and B (several complex variables)
• Castigliano's first and second theorems (structural analysis)
• Cauchy integral theorem (Complex analysis)
• Cayley-Hamilton theorem (Linear algebra)
• Cayley's theorem (group theory)
• Central limit theorem (probability)
• Ceva's theorem (geometry)
• Chebotarev's density theorem (number theory)
• Chen's theorem (number theory)
• Chern-Gauss-Bonnet theorem (differential geometry)
• Chinese remainder theorem (number theory)
• Chowla-Mordell theorem (number theory)
• Church-Rosser theorem (lambda calculus)
• Classification of finite simple groups (group theory)
• Closed graph theorem (functional analysis)
• Cluster decomposition theorem (quantum field theory)
• Coase theorem (economics)
• Cochran's theorem (statistics)
• Cohn's irreducibility criterion (polynomials)
• Compactness theorem (mathematical logic)
• Conservativity theorem (mathematical logic)
• Convolution theorem (Fourier transforms)
• Cook's theorem (computational complexity theory)
• Corona theorem (Complex analysis)
• Cox's theorem (probability foundations)
• Crystallographic restriction theorem (group theory, crystallography)
• Cut-elimination theorem (proof theory)

[edit] D

• Dandelin's theorem (geometry)
• Darboux's theorem (real analysis)
• Darboux's theorem (symplectic topology)
• De Branges' theorem (complex analysis)
• De Finetti's theorem (probability)
• De Gua's theorem (geometry)
• De Moivre's theorem (complex analysis)
• De Rham's theorem (differential topology)
• Deduction theorem (logic)
• Desargues' theorem (geometry)
• Descartes' theorem (geometry)
• Dilworth's theorem (combinatorics, order theory)
• Dimension theorem for vector spaces (vector spaces, linear algebra)
• Dini's theorem (analysis)
• Dirichlet's theorem on arithmetic progressions (number theory)
• Dirichlet's unit theorem (algebraic number theory)
• Divergence theorem (vector calculus)
• Dominated convergence theorem (Lebesgue integration)

[edit] E

• Earnshaw's theorem (electrostatics)
• Ehresmann's theorem (differential topology)
• Eilenberg–Zilber theorem (algebraic topology)
• Envelope theorem (calculus of variations)
• Equidistribution theorem (ergodic theory)
• Equipartition theorem (ergodic theory)
• Erdős-Kac theorem (number theory)
• Erdős-Ko-Rado theorem (combinatorics)
• Euclid-Euler Theorem (number theory)
• Euler's rotation theorem (geometry)
• Euler's theorem (number theory)
• Euler's theorem on homogeneous functions (multivariate calculus)
• Extreme value theorem

[edit] F

• Faltings' theorem (diophantine geometry)
• Fary-Milnor theorem (knot theory)
• Fatou-Lebesgue theorem (real analysis)
• Feit-Thompson theorem (finite groups)
• Fermat's last theorem (number theory)
• Fermat's little theorem (number theory)
• Fermat polygonal number theorem (number theory)
• Fisher separation theorem (economics)
• Fitting's theorem (group theory)
• Five color theorem (graph theory)
• Fixed point theorems in infinite-dimensional spaces
• Fluctuation dissipation theorem (physics)
• Fluctuation theorem
• Four color theorem (graph theory)
• Fourier inversion theorem (harmonic analysis)
• Fourier theorem (harmonic analysis)
• Freudenthal suspension theorem (homotopy theory)
• Frobenius reciprocity theorem (group representations)
• Frobenius theorem (foliations)
• Fubini's theorem (integration)
• Fuglede's theorem (functional analysis)
• Fundamental theorem of algebra (complex analysis)
• Fundamental theorem of arbitrage-free pricing (financial mathematics)
• Fundamental theorem of arithmetic (number theory)
• Fundamental theorem of calculus (calculus)
• Fundamental theorem on homomorphisms (abstract algebra)

[edit] G

• Gauss theorem (vector calculus)
• Gauss's Theorema Egregium (differential geometry)
• Gauss-Bonnet theorem (differential geometry)
• Gauss-Lucas theorem (complex analysis)
• Gauss-Markov theorem (statistics)
• Gauss-Wantzel theorem (geometry)
• Gelfand–Naimark theorem (functional analysis)
• Gelfond-Schneider theorem (transcendence theory)
• Gibbard-Satterthwaite theorem (voting methods)
• Girsanov's theorem (stochastic processes)
• Goddard-Thorn theorem (vertex algebras)
• Gödel's completeness theorem (mathematical logic)
• Gödel's incompleteness theorem (mathematical logic)
• Going-up and going-down theorems (commutative algebra)
• Goodstein's theorem (mathematical logic)
• Green-Tao theorem (number theory)
• Green's theorem (vector calculus)
• Gromov's compactness theorem (Riemannian geometry)
• Gromov's theorem (group theory)
• Gromov-Ruh theorem (differential geometry)

[edit] H

• H-theorem (thermodynamics)
• Haag's theorem (quantum field theory)
• Haboush's theorem (algebraic groups, representation theory, invariant theory)
• Hadamard three-circle theorem (complex analysis)
• Hadwiger's theorem (geometry, measure theory)
• Hahn embedding theorem (ordered groups)
• Hairy ball theorem (algebraic topology)
• Hahn-Banach theorem (functional analysis)
• Hales-Jewett theorem (combinatorics)
• Ham sandwich theorem (topology)
• Hartogs' theorem (complex analysis)
• Hasse–Minkowski theorem
• Heine-Borel theorem (real analysis)
• Heine–Cantor theorem (metric geometry)
• Hellinger-Toeplitz theorem (functional analysis)
• Helly's theorem (convex sets)
• Herbrand-Ribet theorem (cyclotomic fields)
• Higman's embedding theorem (group theory)
• Hilbert's basis theorem (commutative algebra,invariant theory)
• Hilbert's Nullstellensatz (theorem of zeroes) (commutative algebra, algebraic geometry)
• Hilbert-Speiser theorem (cyclotomic fields)
• Hinge theorem (geometry)
• Hironaka theorem (algebraic geometry)
• Hopf-Rinow theorem (differential geometry)
• Hurewicz theorem (algebraic topology)
• Hurwitz's automorphisms theorem (algebraic curves)

[edit] I

• Intermediate value theorem (calculus)
• Implicit function theorem (vector calculus)
• Infinite monkey theorem (probability)
• Inverse function theorem (vector calculus)
• Isomorphism theorem (abstract algebra)
• Isoperimetric theorem (curves, calculus of variations)

[edit] J

• Jacobson density theorem (ring theory)
• Japanese theorem (geometry)
• Jordan curve theorem (topology)
• Jordan-Hölder theorem (group theory)
• Jordan-Schönflies theorem (geometric topology)
• Jung's theorem (geometry)

[edit] K

• Kantorovich theorem (functional analysis)
• Kirchhoff's theorem (graph theory)
• Kirszbraun theorem (Lipschitz continuity)
• Kleene's recursion theorem (recursion theory)
• Knaster-Tarski theorem (order theory)
• Kneser theorem (differential equations)
• Kodaira embedding theorem (algebraic geometry)
• Kolmogorov-Arnold-Moser theorem (dynamical systems)
• Kolmogorov extension theorem
• König's theorem (mathematical logic)
• Kronecker's theorem (diophantine approximation)
• Kronecker-Weber theorem (number theory)
• Krull's principal ideal theorem (commutative algebra)
• Krylov-Bogolyubov theorem (dynamical systems)
• Künneth theorem (algebraic topology)

[edit] L

• Ladner's theorem (computational complexity theory)
• Lagrange's theorem (group theory)
• Lagrange's theorem (number theory)
• Lagrange's four-square theorem (number theory)
• Lagrange inversion theorem (mathematical analysis, combinatorics)
• Lagrange reversion theorem (mathematical analysis, combinatorics)
• Lami's theorem (statics)
• Lasker–Noether theorem (commutative algebra)
• Laurent expansion theorem (complex analysis)
• Lebesgue covering dimension (dimension theory)
• Lebesgue's decomposition theorem (dimension theory)
• Lebesgue's density theorem (dimension theory)
• Lebesgue differentiation theorem (real analysis)
• Lefschetz fixed point theorem (algebraic topology)
• Lehmann-Scheffé theorem (statistics)
• Lindemann-Weierstrass theorem (transcendence theory)
• Lie-Kolchin theorem (algebraic groups, representation theory)
• Liénard's theorem (dynamical systems)
• Linear congruence theorem (number theory, modular arithmetic)
• Linear speedup theorem (computational complexity theory)
• Linnik's theorem (number theory)
• Liouville's theorem (complex analysis) (entire functions)
• Liouville's theorem (Hamiltonian) (Hamiltonian mechanics)
• Löb's theorem (mathematical logic)
• Löwenheim-Skolem theorem (mathematical logic)
• Lyapunov's central limit theorem (probability theory)

[edit] M

• Mahler's compactness theorem (geometry of numbers)
• Mahler's theorem (p-adic analysis)
• Marcinkiewicz theorem (functional analysis)
• Marriage theorem (combinatorics)
• Master theorem (recurrence relations, asymptotic analysis)
• Maschke's theorem (group representations)
• Matiyasevich's theorem (mathematical logic)
• Max flow min cut theorem (graph theory)
• Maximum power theorem (electrical circuits)
• Maxwell's theorem (probability theory)
• May's theorem (game theory)
• Mazur's torsion theorem (algebraic geometry)
• Mean value theorem (calculus)
• Menelaus' theorem (geometry)
• Menger's theorem (graph theory)
• Mercer's theorem (functional analysis)
• Mertens' theorems (number theory)
• Metrization theorems (topological spaces)
• Midy's theorem (number theory)
• Mihăilescu's theorem (number theory)
• Min-max theorem (functional analysis)
• Minimax theorem
• Minkowski's theorem (geometry of numbers)
• Minkowski-Hlawka theorem (geometry of numbers)
• Mitchell's embedding theorem (category theory)
• Mittag-Leffler's theorem (complex analysis)
• Modigliani-Miller theorem (finance theory)
• Modularity theorem (number theory)
• Mohr-Mascheroni theorem (geometry)
• Monotone convergence theorem (mathematical analysis)
• Mordell-Weil theorem (number theory)
• Morera's theorem (complex analysis)
• Morley's categoricity theorem (model theory)
• Morley's trisector theorem (geometry)
• Mountain pass theorem (calculus of variations)
• Multinomial theorem (algebra, combinatorics)
• Myers theorem (differential geometry)
• Myhill-Nerode theorem (formal languages)

[edit] N

• Nagata-Smirnov metrization theorem(general topology)
• Nagell-Lutz theorem (elliptic curves)
• Nash embedding theorem (differential geometry)
• Newlander-Niremberg theorem (differential geometry)
• Nielsen-Schreier theorem (free groups)
• No cloning theorem (quantum computation)
• No wandering domain theorem (ergodic theory)
• Noether's theorem (Lie groups, calculus of variations, differential invariants, physics)
• No-ghost theorem (vertex algebras)
• Norton's theorem (electrical networks)
• Nyquist-Shannon sampling theorem (information theory)

[edit] O

• Open mapping theorem (functional analysis)
• Oseledec theorem (ergodic theory)
• Ostrowski's theorem (number theory)

[edit] P

• Paley's theorem (algebra)
• Paley-Wiener theorem (Fourier transforms)
• Pappus's centroid theorem (geometry)
• Pappus's hexagon theorem (geometry)
• Paris–Harrington theorem (mathematical logic)
• Parseval's theorem (Fourier analysis)
• Pascal's theorem (conics)
• Pentagonal number theorem (number theory)
• Perfect graph theorem (graph theory)
• Peter-Weyl theorem (representation theory)
• Picard theorem (complex analysis)
• Picard-Lindelöf theorem (ordinary differential equations)
• Pick's theorem (geometry)
• Pitman-Koopman-Darmois theorem (statistics)
• Plancherel theorem (Fourier analysis)
• Poincaré-Bendixson theorem (dynamical systems)
• Poincaré-Birkhoff-Witt theorem (universal enveloping algebras)
• Poincaré duality theorem (algebraic topology of manifolds)
• Pompeiu's theorem (Euclidean geometry)
• Poncelet-Steiner theorem (geometry)
• Post's theorem (mathematical logic)
• Prime number theorem (number theory)
• Primitive element theorem (field theory)
• Proth's theorem (number theory)
• Ptolemaios' theorem (geometry)
• Pythagorean theorem (geometry)

[edit] Q

• Quillen–Suslin theorem (abstract algebra)

[edit] R

• Radon's theorem (convex sets)
• Radon-Nikodym theorem (measure theory)]
• Ramanujan-Skolem's theorem (diophantine equations)]
• Ramsey's theorem (graph theory,combinatorics)
• Rank-nullity theorem (linear algebra)
• Rao-Blackwell theorem (statistics)
• Rational root theorem (algebra,polynomials)
• Reeh-Schlieder theorem (local quantum field theory)
• Residue theorem (complex analysis)
• Reynolds transport theorem (fluid dynamics)
• Rice's theorem (recursion theory, computer science)
• Riemann mapping theorem (complex analysis)
• Riemann-Roch theorem (Riemann surfaces, algebraic curves)
• Riesz representation theorem (functional analysis,Hilbert space)
• Riesz-Thorin theorem (functional analysis)
• Robertson-Seymour theorem (graph theory)
• Rolle's theorem (calculus)
• Rosser's theorem (number theory)
• Roth's theorem (diophantine approximation)
• Rouché's theorem (complex analysis)
• Routh–Hurwitz theorem (polynomials)
• Runge's theorem (complex analysis)

[edit] S

• Sahlqvist correspondence theorem (modal logic)
• Sarkovskii's theorem (dynamical systems)
• Savitch's theorem (computational complexity theory)
• Schauder fixed point theorem (functional analysis)
• Schreier refinement theorem (group theory)
• Schur's lemma (representation theory)
• Schur's theorem (Ramsey theory)
• Seifert-van Kampen theorem (algebraic topology)
• Shannon's theorem (information theory)
• Simplicial approximation theorem (algebraic topology)
• Skoda-El Mir theorem (complex geometry)
• Skolem-Noether theorem (simple algebras)
• Soundness theorem (mathematical logic)
• Space hierarchy theorem (computational complexity theory)
• Spectral theorem (functional analysis)
• Speedup theorem (computational complexity theory)
• Sperner's theorem (combinatorics)
• Spin-statistics theorem (physics)
• Sprague-Grundy theorem (combinatorial game theory)
• Squeeze theorem (mathematical analysis)
• Stanley's reciprocity theorem (combinatorics)
• Stark-Heegner theorem (number theory)
• Stewart's theorem (plane geometry)
• Stirling's theorem (mathematical analysis)
• Stokes' theorem (vector calculus, differential topology)
• Stolper-Samuelson theorem (economics)
• Stone's representation theorem for Boolean algebras (mathematical logic)
• Stone's theorem on one-parameter unitary groups (functional analysis)
• Stone-Tukey theorem (topology)
• Stone-von Neumann theorem (functional analysis, representation theory of the Heisenberg group, quantum mechanics)
• Stone-Weierstrass theorem (functional analysis)
• Sturm's theorem (theory of equations)
• Sturm-Picone comparison theorem (differential equations)
• Subspace theorem (Diophantine approximation)
• Supporting hyperplane theorem (convex geometry)
• Swan's theorem (module theory)
• Sylow theorems (group theory)
• Sylvester's theorem (number theory)
• Sylvester-Gallai theorem (plane geometry)
• Sz.-Nagy's dilation theorem (operator theory)
• Szemerédi's theorem (combinatorics)
• Szemerédi-Trotter theorem (combinatorics)

[edit] T

• Takagi existence theorem (number theory)
• Tarski's indefinability theorem (mathematical logic)
• Taylor's theorem (calculus)
• Thales' theorem (geometry)
• Thébault's theorem (geometry)
• Thevenin's theorem (electrical circuits)
• Thue's theorem
• Thue-Siegel-Roth theorem (diophantine approximation)
• Tietze extension theorem (general topology)
• Tijdeman's theorem (diophantine equations)
• Tikhonov fixed point theorem (functional analysis)
• Time hierarchy theorem (computational complexity theory)
• Tsen's theorem (algebraic geometry)
• Tunnell's theorem (number theory)
• Tutte theorem (graph theory)
• Turán's theorem (graph theory)
• Tychonoff's theorem (general topology)

[edit] U

• Uniformization theorem (complex analysis, differential geometry)
• Universal coefficient theorem (algebraic topology)
• Unmixedness theorem (algebraic geometry)

[edit] V

• Van der Waerden's theorem (combinatorics)
• Vinogradov's theorem (number theory)
• Virial theorem (classical mechanics)
• Vitali theorem (measure theory)
• Vitali-Hahn-Saks theorem (measure theory)
• Viviani's theorem (Euclidean geometry)
• Von Neumann bicommutant theorem (functional analysis)

[edit] W

• Weierstrass-Casorati theorem (complex analysis)
• Weierstrass preparation theorem (several complex variables,commutative algebra)
• Well-ordering theorem (mathematical logic)
• Whitehead theorem (homotopy theory)
• Whitney embedding theorem (differential manifolds)
• Wiener's tauberian theorem (real analysis)
• Wiener-Ikehara theorem (number theory)
• Wigner-Eckart theorem (Clebsch-Gordan coefficients)
• Wilson's theorem (number theory)
• Wolstenholme's theorem (number theory)

[edit] Z

• Z* theorem (finite groups)
• ZJ theorem (finite groups)
• Zeckendorf's theorem
• Zermelo's theorem[1] (game theory)