theorem
in mathematics, a statement that has been proved
Rosser's theorem
theorem
Apollonius' theorem
theorem
tennis racket theorem
theorem that, in a 3d rigid body with 3 principal axes, rotation around 1st and 3rd principal axes is stable, but rotation around 2nd principal axis is not
consensus theorem
theorem
maximum modulus principle
theorem that a holomorphic function’s absolute value cannot reach a strict local maximum at the interior of its domain
Gaussian integral
theorem
Jacobi identity
Property of some binary operations, such as the cross product and any ring's commutator
deduction theorem
theorem
fundamental theorem of calculus
calculus theorem describing the duality of differentiation and integration
Dirichlet conditions
theorem
Vitali's convergence theorem
theorem
Nash embedding theorem
theorem
Tietze extension theorem
theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary
Descartes' rule of signs
theorem
fixed-point theorem
one of several theorems stating that, under certain conditions, a function f will have an argument x for which f(x) = x
fixed-point theorem
one of several theorems stating that, under certain conditions, a function f will have an argument x for which f(x) = x
well-ordering theorem
set-theoretic theorem or principle, equivalent to the axiom of choice
Plotkin bound
limit on the number of codewords in binary codes of given length and minimum distance
Runge's theorem
theorem
Marden's theorem
Geometric relationship between the zeros of a cubic polynomial and of its derivative
Jacobi's theorem
plane geometry theorem by Karl Friedrich Andreas Jacobi
law of total probability
formula expressing the probability of an event in terms of its conditional probabilities over a partition of the sample space
Laplace expansion
n×n determinant as sum of n minors weighted by cofactor from row and column not in minor
Shannon's expansion
theorem in Boolean algebra
Carnot's theorem
principle regarding the maximum efficiency of heat engines
structured program theorem
theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration
no-go theorem
theorem that states that a particular situation is not physically possible
Baker's theorem
lower bound for absolute value of linear combinations of logarithms of algebraic numbers
Picone identity
mathematical theorem about homogeneous linear second order differential equations
Carmichael's theorem
On prime divisors Fibonacci numbers and Lucas sequences, more generally
Final value theorem
relation between frequency- and time-domain behavior at large time
Jackson's inequality
inequality on approximations of a function by algebraic or trigonometric polynomials
standard part function
In non-standard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers.
Bloch theorem
Fundamental theorem in condensed matter physics
asymptotic equipartition property
mathematical property used extensively in information theory
Bochner identity
an identity concerning harmonic maps between Riemannian manifolds
Branching theorem
Theorem about the local representation of holomorphic maps between Riemann surfaces
C-theorem
theorem that, under renormalisation flow of 2-dimensional quantum field theories, a quantity called C never increases
Commutation theorem
identifies the commutant of a specific von Neumann algebra acting on a Hilbert space