List of lemmas

Last updated

This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures.

Contents

Algebra

Algebraic geometry

Category theory

A commutative diagram that illustrates the five lemma 5 lemma.svg
A commutative diagram that illustrates the five lemma

Linear algebra

Group theory

Polynomials

Ring theory and commutative algebra

Universal algebra

Analysis

Complex analysis

Fourier analysis

Differential equations

Differential forms

Functional analysis

Mathematical series

Numerical analysis

Applied mathematics

diagram of a length-8 fast Fourier transform DIT-FFT-butterfly-coloured.svg
diagram of a length-8 fast Fourier transform

Control theory

Computational complexity theory

Cryptography

Formal languages

Microeconomics

Combinatorics

Graph theory

Order theory

Dynamical systems

Geometry

Euclidean geometry

Hyperbolic geometry

Metric spaces

Riemannian geometry

Mathematical logic

Set theory

Number theory

Analytic number theory

Diophantine equations

Sieve theory

Probability theory

Statistics

Measure theory

Topology

Differential topology

Fixed-point theory

An example of a covering described by the Knaster-Kuratowski-Mazurkiewicz lemma KKM example.png
An example of a covering described by the Knaster–Kuratowski–Mazurkiewicz lemma

Geometric topology

Topological groups and semigroups

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

<span class="mw-page-title-main">Mathematical analysis</span> Branch of mathematics

Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions.

<span class="mw-page-title-main">Henri Lebesgue</span> French mathematician

Henri Léon Lebesgue was a French mathematician known for his theory of integration, which was a generalization of the 17th-century concept of integration—summing the area between an axis and the curve of a function defined for that axis. His theory was published originally in his dissertation Intégrale, longueur, aire at the University of Nancy during 1902.

Synthetic geometry is geometry without the use of coordinates. It relies on the axiomatic method for proving all results from a few basic properties initially called postulate, and at present called axioms.

Probability is a measure of the likeliness that an event will occur. Probability is used to quantify an attitude of mind towards some proposition whose truth is not certain. The proposition of interest is usually of the form "A specific event will occur." The attitude of mind is of the form "How certain is it that the event will occur?" The certainty that is adopted can be described in terms of a numerical measure, and this number, between 0 and 1 is called the probability. Probability theory is used extensively in statistics, mathematics, science and philosophy to draw conclusions about the likelihood of potential events and the underlying mechanics of complex systems.

Continuation of the Séminaire Nicolas Bourbaki programme, for the 1950s.

This is a timeline of pure and applied mathematics history. It is divided here into three stages, corresponding to stages in the development of mathematical notation: a "rhetorical" stage in which calculations are described purely by words, a "syncopated" stage in which quantities and common algebraic operations are beginning to be represented by symbolic abbreviations, and finally a "symbolic" stage, in which comprehensive notational systems for formulas are the norm.

This page lists articles related to probability theory. In particular, it lists many articles corresponding to specific probability distributions. Such articles are marked here by a code of the form (X:Y), which refers to number of random variables involved and the type of the distribution. For example (2:DC) indicates a distribution with two random variables, discrete or continuous. Other codes are just abbreviations for topics. The list of codes can be found in the table of contents.