Main Page

encyclopedia.codeboy.net

 

List of theorems

This is a list of theorems, by Wikipedia page. See also\n*list of mathematical theorems\n*list of fundamental theorems\n*list of lemmas\n*list of conjectures\n*list of mathematical proofs\nIn some fields, theorem can be considered as a courtesy title, given to major results, although with a content that would not satisfy a mathematician. No attempt is made here to comment on that aspect of usage: this is a list of results known as theorems. Most of the results do come from mathematics, but there are others from theoretical physics, economics and so on. \n

A

\n*
Abel-Ruffini theorem (polynomial equations, Galois theory)\n*Arrow's impossibility theorem (Game theory)\n*Artin-Wedderburn theorem (abstract algebra)\n*Arzelŕ-Ascoli theorem (functional analysis)\n*Atiyah-Singer index theorem (differential operators, harmonic analysis)

B

\n*
Baire category theorem (topology, metric spaces)\n*Banach-Alaoglu theorem (functional analysis)\n*Banach fixed point theorem (metric spaces, differential equations)\n*Banach-Steinhaus theorem (functional analysis)\n*Barbier's theorem (geometry)\n*Bass's theorem (group theory)\n*Bayes' theorem (probability)\n*Beatty's theorem (diophantine approximation)\n*Bell's theorem (quantum theory - physics)\n*Bendixson-Dulac theorem (dynamical systems)\n*Bezout's theorem (algebraic curves)\n*Binomial theorem (algebra, combinatorics)\n*Bohr-Mollerup theorem (gamma function)\n*Bolyai-Gerwien theorem (geometry)\n*Bolzano-Weierstrass theorem (real analysis, calculus)\n*Boolean prime ideal theorem (mathematical logic)\n*Borel-Bott-Weil theorem (representation theory)\n*Borsuk-Ulam theorem (topology)\n*Brouwer fixed point theorem (topology)\n*Bruck-Chowla-Ryser theorem (combinatorics)\n*Buckingham Pi theorem (dimensional analysis)

C

\n*
Cantor-Bernstein-Schroeder theorem (Set theory, cardinal numbers)\n*Cantor's theorem (Set theory, Cantor's diagonal argument)\n*Cartan's theorem (Lie group)\n*Cartan's theorems A and B (several complex variables)\n*Cauchy integral theorem (Complex analysis)\n*Cayley-Hamilton theorem (Linear algebra)\n*Cayley's theorem (group theory)\n*Central limit theorem (probability)\n*Ceva's theorem (geometry)\n*Chebotarev's density theorem (number theory)\n*Chinese remainder theorem (number theory)\n*Chowla-Mordell theorem (number theory)\n*Church-Rosser theorem (lambda calculus)\n*Closed graph theorem (functional analysis)\n*Coase theorem (economics)\n*Cochran's theorem (statistics)\n*Compactness theorem (mathematical logic)\n*Convolution theorem (Fourier transforms)\n*Cook's theorem (computational complexity theory)\n*Cox's theorem (probability foundations)

D

\n*
Dandelin's theorem (geometry)\n*De Finetti's theorem (probability)\n*Desargues' theorem (geometry)\n*Descartes' theorem (geometry)\n*Dilworth's theorem (combinatorics, order theory)\n*Dimension theorem for vector spaces (vector spaces, linear algebra)\n*Dirichlet's theorem on arithmetic progressions (number theory)\n*Dirichlet's unit theorem (algebraic number theory)\n*Divergence theorem (vector calculus)\n*Dominated convergence theorem (Lebesgue integration)

E

\n*
Earnshaw's theorem (electrostatics)\n*Equipartition theorem (ergodic theory)\n*Erdös-Ko-Rado theorem (combinatorics)\n*Euler's theorem (number theory)\n*Euler's theorem on homogeneous functions (multivariate calculus)

F

\n*
Fermat's last theorem (number theory)\n*Fermat's little theorem (number theory)\n*Fixed point theorems in infinite-dimensional spaces\n*Fluctuation dissipation theorem (physics)\n*Four color theorem (graph theory)\n*Fourier inversion theorem (harmonic analysis)\n*Frobenius reciprocity theorem (group representations)\n*Frobenius theorem (foliations)\n*Fubini's theorem (integration)\n*Fuglede's theorem (functional analysis)\n*Fundamental theorem of algebra (complex analysis)\n*Fundamental theorem of arbitrage-free pricing (financial mathematics)\n*Fundamental theorem of arithmetic (number theory)\n*Fundamental theorem of calculus (calculus)\n*Fundamental theorem of poker (poker)\n*Fundamental theorem on homomorphisms (abstract algebra)

G

\n*
Gauss theorem (vector calculus)\n*Gauss's Theorema Egregium (differential geometry)\n*Gauss-Bonnet theorem (differential geometry)\n*Gauss-Markov theorem (statistics)\n*Gelfand-Naimark theorem (functional analysis)\n*Gelfond-Schneider theorem (transcendence theory)\n*Gibbard-Satterthwaite theorem (voting methods)\n*Girsanov's theorem (stochastic processes)\n*Goddard-Thorn theorem (vertex algebras)\n*Gödel's completeness theorem (mathematical logic)\n*Gödel's incompleteness theorem (mathematical logic)\n*Goodstein's theorem (mathematical logic)\n*Green's theorem (vector calculus)\n*Gromov's compactness theorem (Riemannian geometry)\n*Gromov's theorem (group theory)

H

\n*
H-theorem (thermodynamics)\n*Hadwiger's theorem (geometry, measure theory)\n*Hairy ball theorem (algebraic topology)\n*Hahn-Banach theorem (functional analysis)\n*Hales-Jewett theorem (combinatorics)\n*Ham sandwich theorem (topology)\n*Heine-Borel theorem (real analysis)\n*Hellinger-Toeplitz theorem (functional analysis)\n*Hilbert's basis theorem (commutative algebra,invariant theory)\n*Hilbert's Nullstellensatz (theorem of zeroes) (commutative algebra, algebraic geometry)\n*Hopf-Rinow theorem (differential geometry)\n*Hurewicz theorem (algebraic topology)

I

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

J

\n*
Jordan curve theorem (topology)\n*Jordan-Schönflies theorem (geometric topology)

K

\n*
Kirszbraun theorem (Lipschitz continuity)\n*Knaster-Tarski theorem (order theory)\n*Kolmogorov-Arnold-Moser theorem (dynamical systems)\n*König's theorem (mathematical logic)\n*Kronecker's theorem (diophantine approximation)\n*Krull's principal ideal theorem (commutative algebra)

L

\n*
Lagrange's theorem (group theory)\n*Lagrange inversion theorem (mathematical analysis, combinatorics)\n*Lefschetz fixed point theorem (algebraic topology)\n*Lehmann-Scheffé theorem (statistics)\n*Lindemann-Weierstrass theorem (transcendence thoery)\n*Linear congruence theorem (number theory, modular arithmetic)\n*Linear speedup theorem (computational complexity theory)\n*Linnik's theorem (number theory)\n*Liouville's theorem (complex analysis) (entire functions)\n*Liouville's theorem (Hamiltonian) (Hamiltonian mechanics)\n*Löb's theorem (mathematical logic)\n*Löwenheim-Skolem theorem (mathematical logic'')

M

\n*
Mahler's compactness theorem (geometry of numbers)\n*Marriage theorem (combinatorics)\n*Master theorem (recurrence relations, asymptotic analysis)\n*Maschke's theorem (group representations)\n*Matiyasevich's theorem (mathematical logic)\n*Max flow min cut theorem (graph theory)\n*Maximum power theorem (electrical circuits)\n*Maxwell's theorem (probability theory)\n*Mean value theorem (calculus)\n*Mercer's theorem (functional analysis)\n*Metrization theorems (topological spaces)\n*Min-max theorem (functional analysis)\n*Minkowski's theorem (geometry of numbers)\n*Mitchell's embedding theorem (category theory)\n*Monotone convergence theorem (mathematical analysis)\n*Mordell-Weil theorem (number theory)\n*Morera's theorem (complex analysis)\n*Multinomial theorem (algebra, combinatorics)\n*Myhill-Nerode theorem (formal languages)

N

\n*
Nagell-Lutz theorem (elliptic curves)\n*Nash embedding theorem (differential geometry)\n*Nielsen-Schreier theorem (free groups)\n*No cloning theorem (quantum computation)\n*Noether's theorem (Lie groups, calculus of variations, differential invariants, physics)\n*No-ghost theorem (vertex algebras)\n*Norton's theorem (electrical networks)\n*Nyquist-Shannon sampling theorem (information theory)

O

\n*
Open mapping theorem (functional analysis)

P

\n*
Paley-Wiener theorem (Fourier transforms)\n*Pappus's centroid theorem (geometry)\n*Parseval's theorem (Fourier analysis)\n*Pascal's theorem (conics)\n*Perfect graph theorem (graph theory)\n*Peter-Weyl theorem (representation theory)\n*Picard theorem (complex analysis)\n*Picard-Lindelöf theorem (ordinary differential equations)\n*Pick's theorem (geometry)\n*Poincaré-Birkhoff-Witt theorem (universal enveloping algebras)\n*Poincaré duality theorem (algebraic topology of manifolds)\n*Poncelet-Steiner theorem (geometry)\n*Prime number theorem (number theory)\n*Pythagorean theorem (geometry'')

R

\n*
Radon-Nikodym theorem (measure theory)\n*Ramsey's theorem (graph theory,combinatorics)\n*Rank-nullity theorem (linear algebra)\n*Rao-Blackwell theorem (statistics)\n*Rational root theorem (algebra,polynomials)\n*Reeh-Schlieder theorem (local quantum field theory)\n*Residue theorem (complex analysis)\n*Rice's theorem (recursion theory, computer science)\n*Riemann mapping theorem (complex analysis)\n*Riemann-Roch theorem (Riemann surfaces, algebraic curves)\n*Riesz representation theorem (functional analysis,Hilbert space)\n*Robertson-Seymour theorem (graph theory)\n*Rolle's theorem (calculus)\n*Roth's theorem (diophantine approximation'')

S

\n*
Sarkovskii's theorem (dynamical systems)\n*Savitch's theorem (computational complexity theory)\n*Schauder fixed point theorem (functional analysis)\n*Seifert-van Kampen theorem (algebraic topology)\n*Shannon's theorem (information theory)\n*Simplicial approximation theorem (algebraic topology)\n*Skolem-Noether theorem (simple algebras)\n*Soundness theorem (mathematical logic)\n*Space hierarchy theorem (computational complexity theory)\n*Spectral theorem (functional analysis)\n*Speedup theorem (computational complexity theory)\n*Spin-statistics theorem (physics)\n*Sprague-Grundy theorem (combinatorial game theory)\n*Squeeze theorem (mathematical analysis)\n*Stokes' theorem (vector calculus, differential topology)\n*Stone's representation theorem for Boolean algebras (mathematical logic)\n*Stone-Tukey theorem (topology)\n*Stone-von Neumann theorem (functional analysis, representation theory of the Heisenberg group, quantum mechanics)\n*Stone-Weierstrass theorem (functional analysis)\n*Swan's theorem (module theory)\n*Sylow theorem (group theory)\n*Szemerédi's theorem (combinatorics)

T

\n*
Tarski's indefinability theorem (mathematical logic)\n*Taylor's theorem (calculus)\n*Thales' theorem (geometry)\n*Thevenin's theorem (electrical circuits)\n*Thue-Siegel-Roth theorem (diophantine approximation)\n*Tietze extension theorem (general topology)\n*Tikhonov fixed point theorem (functional analysis)\n*Time hierarchy theorem (computational complexity theory)\n*Turán's theorem (graph theory)\n*Tychonoff's theorem (general topology)

U

\n*
Uniformization theorem (complex analysis, differential geometry)

V

\n*
Virial theorem (classical mechanics)\n*Vitali theorem (measure theory)\n*Von Neumann bicommutant theorem (functional analysis)

W

\n*
Weierstrass-Casorati theorem (complex analysis)\n*Weierstrass preparation theorem (several complex variables,commutative algebra) \n*Well-ordering theorem (mathematical logic)\n*Wilson's theorem (number theory) Category:Theorems\nCategory:Topic lists

"Success usually comes to those who are too busy to be looking for it" - Henry David Thoreau (1817-1862)