Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 2778
- Definitions 2634
- Statements 1926
- Conjectures 38
- Problems 54
- Examples 213
- Counterexamples 52
- Objects 99
- Proofs 10
- Computations 1
- Topics 1
Ideas 1501–1650 of 1926.
| Name | Kind | Subject |
|---|---|---|
| Dvoretzky–Rogers theorem | Theorem | Functional analysis |
| Berry–Esseen theorem | Theorem | Probability theory and stochastic processes |
| Annulus theorem | Theorem | Manifolds and cell complexes |
| Gromov's systolic inequality | Theorem | Differential geometry |
| Urysohn metrization theorem | Theorem | General topology |
| Continuity of measure from below and above | Proposition | Measure and integration |
| Capelli's theorem | Theorem | Field theory and polynomials |
| Zariski's main theorem | Theorem | Commutative algebra |
| Structure theorem for Artinian rings | Theorem | Commutative algebra |
| Lie product formula | Theorem | Linear and multilinear algebra; matrix theory |
| Thom's cobordism theorem | Theorem | Manifolds and cell complexes |
| Kronecker's lemma | Lemma | Sequences, series, summability |
| Hilbert–Serre theorem | Theorem | Commutative algebra |
| Sperner's lemma | Lemma | Combinatorics |
| Freedman's classification of simply connected 4-manifolds | Theorem | Manifolds and cell complexes |
| Path lifting property | Theorem | Manifolds and cell complexes |
| Kronecker's approximation theorem | Theorem | Number theory |
| Erdős–Ginzburg–Ziv theorem | Theorem | Number theory |
| Tait conjectures | Theorem | Manifolds and cell complexes |
| Janson inequality | Theorem | Combinatorics |
| Quasi-compactness of the spectrum | Proposition | Algebraic geometry |
| Hilbert projection theorem | Theorem | Functional analysis |
| Sierpiński's theorem on non-atomic measures | Theorem | Measure and integration |
| Mori–Nagata theorem | Theorem | Commutative algebra |
| Prékopa–Leindler inequality | Theorem | Real functions |
| Schauder's theorem on adjoints of compact operators | Theorem | Operator theory |
| Kojima–Schur theorem | Theorem | Sequences, series, summability |
| Riesz's subsequence theorem | Theorem | Measure and integration |
| Carathéodory's criterion | Theorem | Measure and integration |
| Lomonosov's invariant subspace theorem | Theorem | Operator theory |
| Spectral theory of compact operators | Theorem | Operator theory |
| Catalan's conjecture | Theorem | Number theory |
| Eckart–Young theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Little's law | Theorem | Probability theory and stochastic processes |
| Skorokhod's representation theorem | Theorem | Probability theory and stochastic processes |
| Hölder's inequality | Theorem | Real functions |
| Hewitt–Savage zero–one law | Theorem | Probability theory and stochastic processes |
| Lindström–Gessel–Viennot lemma | Lemma | Combinatorics |
| Young's convolution inequality | Theorem | Integral transforms, operational calculus |
| Jensen's inequality for integrals | Theorem | Real functions |
| Kontsevich quantization formula | Theorem | Differential geometry |
| Calderón–Zygmund lemma | Lemma | Harmonic analysis on Euclidean spaces |
| Goldstine theorem | Theorem | Functional analysis |
| Brauer–Fowler theorem | Theorem | Group theory and generalizations |
| Reflection principle | Theorem | Probability theory and stochastic processes |
| de Rham theorem | Theorem | Global analysis, analysis on manifolds |
| Nagata–Smirnov metrization theorem | Theorem | General topology |
| Existence and uniqueness of Haar measure | Theorem | Measure and integration |
| Isoperimetric inequality | Theorem | Convex and discrete geometry |
| Van Vleck's theorem | Theorem | Sequences, series, summability |
| Sphere eversion | Theorem | Manifolds and cell complexes |
| Jordan decomposition of a function of bounded variation | Theorem | Real functions |
| Freiman's theorem | Theorem | Number theory |
| Differentiable dependence on parameters | Theorem | Ordinary differential equations |
| Lie–Trotter product formula | Theorem | Operator theory |
| Routh–Hurwitz stability criterion | Theorem | Real functions |
| Alexander duality | Theorem | Algebraic topology |
| Kuratowski embedding | Theorem | General topology |
| Hermite–Minkowski theorem | Theorem | Number theory |
| Wiener–Ikehara theorem | Theorem | Number theory |
| Regular value theorem | Theorem | Manifolds and cell complexes |
| Denjoy–Carleman theorem | Theorem | Real functions |
| Bloch's theorem | Theorem | Functions of a complex variable |
| Dimension theorem for local rings | Theorem | Commutative algebra |
| Stanley–Wilf conjecture | Theorem | Combinatorics |
| Thom transversality theorem | Theorem | Manifolds and cell complexes |
| Toponogov's theorem | Theorem | Differential geometry |
| Spectral radius formula | Theorem | Operator theory |
| Hadamard factorization theorem | Theorem | Functions of a complex variable |
| Borel's lemma | Lemma | Real functions |
| Stark–Heegner theorem | Theorem | Number theory |
| Viète's formula | Theorem | Sequences, series, summability |
| Jordan–Hölder theorem for modules | Theorem | Associative rings and algebras |
| Inverse function theorem in Banach spaces | Theorem | Global analysis, analysis on manifolds |
| Rogers–Ramanujan identities | Theorem | Number theory |
| Ax–Grothendieck theorem | Theorem | Mathematical logic and foundations |
| Higher homotopy groups are abelian | Proposition | Algebraic topology |
| Fisher's inequality | Theorem | Combinatorics |
| Duality of Lp spaces | Theorem | Functional analysis |
| Grötzsch's theorem | Theorem | Combinatorics |
| Nested intervals theorem | Theorem | Real functions |
| Strong perfect graph theorem | Theorem | Combinatorics |
| Morse inequalities | Theorem | Manifolds and cell complexes |
| Casus irreducibilis | Theorem | Field theory and polynomials |
| Ekeland's variational principle | Theorem | Global analysis, analysis on manifolds |
| Galois group of a finite field extension | Theorem | Field theory and polynomials |
| Pólya enumeration theorem | Theorem | Combinatorics |
| Bounded inverse theorem | Theorem | Functional analysis |
| Baer's criterion | Theorem | Associative rings and algebras |
| Doob's martingale convergence theorems | Theorem | Probability theory and stochastic processes |
| Galois correspondence for coverings | Theorem | Manifolds and cell complexes |
| Smith normal form | Theorem | Linear and multilinear algebra; matrix theory |
| McShane–Whitney extension | Theorem | Real functions |
| Bockstein spectral sequence | Theorem | Algebraic topology |
| Bernstein inequalities | Theorem | Probability theory and stochastic processes |
| Interchange of summation order | Corollary | Sequences, series, summability |
| Vitali–Hahn–Saks theorem | Theorem | Measure and integration |
| Hilbert's irreducibility theorem | Theorem | Field theory and polynomials |
| Killing–Hopf theorem | Theorem | Differential geometry |
| Cohen structure theorem | Theorem | Commutative algebra |
| Hardy–Littlewood Tauberian theorem | Theorem | Sequences, series, summability |
| Dedekind's lemma on independence of characters | Lemma | Field theory and polynomials |
| Minkowski inequality | Theorem | Real functions |
| Thom isomorphism | Theorem | Algebraic topology |
| Sunflower lemma | Lemma | Combinatorics |
| Disintegration theorem | Theorem | Measure and integration |
| Brauer's main theorems | Theorem | Group theory and generalizations |
| Osgood's lemma | Lemma | Several complex variables and analytic spaces |
| Wiener's lemma | Theorem | Harmonic analysis on Euclidean spaces |
| Equidistribution theorem | Theorem | Number theory |
| Śleszyński–Pringsheim theorem | Theorem | Sequences, series, summability |
| Dulac's theorem on finiteness of limit cycles | Theorem | Ordinary differential equations |
| Orlicz–Pettis theorem | Theorem | Functional analysis |
| Functional equation of the Riemann zeta function | Theorem | Number theory |
| Steinhaus theorem on regular methods | Theorem | Sequences, series, summability |
| Alexander subbase theorem | Theorem | General topology |
| Douglas' lemma | Lemma | Operator theory |
| Eilenberg–Moore spectral sequence | Theorem | Algebraic topology |
| Completion is flat | Theorem | Commutative algebra |
| Szemerédi–Trotter theorem | Theorem | Convex and discrete geometry |
| Riemann's existence theorem | Theorem | Functions of a complex variable |
| Dvoretzky's theorem | Theorem | Functional analysis |
| Commutative Gelfand–Naimark theorem | Theorem | Functional analysis |
| Švarc–Milnor lemma | Theorem | Group theory and generalizations |
| Browder–Minty theorem | Theorem | Operator theory |
| Lefschetz duality | Theorem | Algebraic topology |
| Grothendieck inequality | Theorem | Functional analysis |
| Caristi fixed-point theorem | Theorem | Operator theory |
| Real spectrum of self-adjoint operators | Theorem | Operator theory |
| Post's theorem | Theorem | Mathematical logic and foundations |
| Krein–Smulian theorem | Theorem | Functional analysis |
| Schwarz reflection principle | Theorem | Functions of a complex variable |
| Harnack's principle | Theorem | Potential theory |
| Wirtinger presentation | Theorem | Manifolds and cell complexes |
| Characterizations of Galois extensions | Theorem | Field theory and polynomials |
| Higman embedding theorem | Theorem | Group theory and generalizations |
| Lorentz's characterization of almost convergence | Theorem | Sequences, series, summability |
| Löwner's theorem | Theorem | Operator theory |
| Tucker's lemma | Lemma | Combinatorics |
| Frobenius reciprocity | Theorem | Group theory and generalizations |
| Muirhead's inequality | Theorem | Real functions |
| CW approximation | Theorem | Algebraic topology |
| Bishop–Phelps theorem | Theorem | Functional analysis |
| Kneser's theorem on solution sets | Theorem | Ordinary differential equations |
| Ax–Kochen theorem | Theorem | Field theory and polynomials |
| Petersen's theorem | Theorem | Combinatorics |
| Littlewood subordination theorem | Theorem | Functions of a complex variable |
| Pentagonal number theorem | Theorem | Number theory |
| Alexander's theorem on closed braids | Theorem | Manifolds and cell complexes |
| Levy–Desplanques theorem | Theorem | Linear and multilinear algebra; matrix theory |