In
mathematics, a classification theorem answers the classification problem "What are the objects of a given type, up to some equivalence?". It gives a non-redundant enumeration: each object is equivalent to exactly one class.
A few issues related to classification are the following.
*The equivalence problem is "given two objects, determine if they are equivalent".
*A
complete set of invariants In mathematics, a complete set of invariants for a classification problem is a collection of maps
:f_i : X \to Y_i
(where X is the collection of objects being classified, up to some equivalence relation \sim, and the Y_i are some sets), such tha ...
, together with which invariants are solves the classification problem, and is often a step in solving it.
*A (together with which invariants are realizable) solves both the classification problem and the equivalence problem.
* A
canonical form
In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an ...
solves the classification problem, and is more data: it not only classifies every class, but provides a distinguished (canonical) element of each class.
There exist many classification theorems in
mathematics, as described below.
Geometry
*
Classification of Euclidean plane isometries
* Classification theorems of surfaces
**
Classification of two-dimensional closed manifolds
In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as g ...
**
Enriques–Kodaira classification
In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli ...
of
algebraic surfaces
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dim ...
(complex dimension two, real dimension four)
**
Nielsen–Thurston classification
In mathematics, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by .
Given a homeomorphism ''f'' : ''S'' → ''S'', ther ...
which characterizes homeomorphisms of a compact surface
* Thurston's eight model geometries, and the
geometrization conjecture
In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimens ...
*
Berger classification
*
Classification of Riemannian symmetric spaces
*
Classification of 3-dimensional lens spaces
*
Classification of manifolds
Algebra
*
Classification of finite simple groups
In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite class called the groups of Lie type, or else i ...
**
Classification of Abelian groups
**
Classification of Finitely generated abelian group
**
Classification of Rank 3 permutation group
**
Classification of 2-transitive permutation groups
*
Artin–Wedderburn theorem — a classification theorem for semisimple rings
*
Classification of Clifford algebras
In abstract algebra, in particular in the theory of nondegenerate quadratic forms on vector spaces, the structures of finite-dimensional real and complex Clifford algebras for a nondegenerate quadratic form have been completely classified. In ea ...
*
Classification of low-dimensional real Lie algebras
*
Bianchi classification In mathematics, the Bianchi classification provides a list of all real 3-dimensional Lie algebras ( up to isomorphism). The classification contains 11 classes, 9 of which contain a single Lie algebra and two of which contain a continuum-sized fam ...
*
ADE classification
In mathematics, the ADE classification (originally ''A-D-E'' classifications) is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, r ...
*
Langlands classification In mathematics, the Langlands classification is a description of the irreducible representations of a reductive Lie group ''G'', suggested by Robert Langlands (1973). There are two slightly different versions of the Langlands classification. One ...
Linear algebra
*
Finite-dimensional vector space
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to di ...
s (by dimension)
*
Rank–nullity theorem
The rank–nullity theorem is a theorem in linear algebra, which asserts that the dimension of the domain of a linear map is the sum of its rank (the dimension of its image) and its ''nullity'' (the dimension of its kernel). p. 70, §2.1, Theo ...
(by rank and nullity)
*
Structure theorem for finitely generated modules over a principal ideal domain
*
Jordan normal form
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),
is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to so ...
*
Sylvester's law of inertia
Sylvester's law of inertia is a theorem in matrix algebra about certain properties of the coefficient matrix of a real quadratic form that remain invariant under a change of basis. Namely, if ''A'' is the symmetric matrix that defines the quadra ...
Analysis
*
Classification of discontinuities
Complex analysis
*
Classification of Fatou components In mathematics, Fatou components are components of the Fatou set. They were named after Pierre Fatou.
Rational case
If f is a rational function
:f = \frac
defined in the extended complex plane, and if it is a nonlinear function (degree > 1)
: ...
Mathematical physics
*
Classification of electromagnetic fields In differential geometry and theoretical physics, the classification of electromagnetic fields is a pointwise classification of bivectors at each point of a Lorentzian manifold. It is used in the study of solutions of Maxwell's equations and has ap ...
*
Petrov classification
*
Segre classification
*
Wigner's classification
In mathematics and theoretical physics, Wigner's classification
is a classification of the nonnegative ~ (~E \ge 0~)~ energy irreducible unitary representations of the Poincaré group which have either finite or zero mass eigenvalues. (Since thi ...
See also
*
Representation theorem
In mathematics, a representation theorem is a theorem that states that every abstract structure with certain properties is isomorphic to another (abstract or concrete) structure.
Examples
Algebra
* Cayley's theorem states that every group i ...
*
List of manifolds
This is a list of particular manifolds, by Wikipedia page. See also list of geometric topology topics. For categorical listings see :Manifolds and its subcategories.
Generic families of manifolds
* Euclidean space, R''n''
* ''n''-sphere, ''S ...
{{DEFAULTSORT:Classification Theorem
Mathematical theorems
Mathematical classification systems