# Category: Theorems in real analysis

Śleszyński–Pringsheim theorem
In mathematics, the Śleszyński–Pringsheim theorem is a statement about convergence of certain continued fractions. It was discovered by Ivan Śleszyński and Alfred Pringsheim in the late 19th century.
Kirszbraun theorem
In mathematics, specifically real analysis and functional analysis, the Kirszbraun theorem states that if U is a subset of some Hilbert space H1, and H2 is another Hilbert space, and is a Lipschitz-co
Discontinuities of monotone functions
In the mathematical field of analysis, a well-known theorem describes the set of discontinuities of a monotone real-valued function of a real variable; all discontinuities of such a (monotone) functio
Heine–Borel theorem
In real analysis the Heine–Borel theorem, named after Eduard Heine and Émile Borel, states: For a subset S of Euclidean space Rn, the following two statements are equivalent: * S is closed and bounde
Vitali–Carathéodory theorem
In mathematics, the Vitali–Carathéodory theorem is a result in real analysis that shows that, under the conditions stated below, integrable functions can be approximated in L1 from above and below by
Abel's theorem
In mathematics, Abel's theorem for power series relates a limit of a power series to the sum of its coefficients. It is named after Norwegian mathematician Niels Henrik Abel.
Caristi fixed-point theorem
In mathematics, the Caristi fixed-point theorem (also known as the Caristi–Kirk fixed-point theorem) generalizes the Banach fixed-point theorem for maps of a complete metric space into itself. Caristi
Steinhaus theorem
In the mathematical field of real analysis, the Steinhaus theorem states that the difference set of a set of positive measure contains an open neighbourhood of zero. It was first proved by Hugo Steinh
Intermediate value theorem
In mathematical analysis, the intermediate value theorem states that if is a continuous function whose domain contains the interval [a, b], then it takes on any given value between and at some point w
Riesz–Fischer theorem
In mathematics, the Riesz–Fischer theorem in real analysis is any of a number of closely related results concerning the properties of the space L2 of square integrable functions. The theorem was prove
Watson's lemma
In mathematics, Watson's lemma, proved by G. N. Watson (1918, p. 133), has significant application within the theory on the asymptotic behavior of integrals.
Kolmogorov–Arnold representation theorem
In real analysis and approximation theory, the Kolmogorov-Arnold representation theorem (or superposition theorem) states that every multivariate continuous function can be represented as a superposit
Taylor's theorem
In calculus, Taylor's theorem gives an approximation of a k-times differentiable function around a given point by a polynomial of degree k, called the kth-order Taylor polynomial. For a smooth functio
Fermat's theorem (stationary points)
In mathematics, Fermat's theorem (also known as interior extremum theorem) is a method to find local maxima and minima of differentiable functions on open sets by showing that every local extremum of
Titchmarsh convolution theorem
The Titchmarsh convolution theorem describes the properties of the support of the convolution of two functions. It was proven by Edward Charles Titchmarsh in 1926.
Inverse function theorem
In mathematics, specifically differential calculus, the inverse function theorem gives a sufficient condition for a function to be invertible in a neighborhood of a point in its domain: namely, that i
Lusin's theorem
In the mathematical field of real analysis, Lusin's theorem (or Luzin's theorem, named for Nikolai Luzin) or Lusin's criterion states that an almost-everywhere finite function is measurable if and onl
Glaeser's composition theorem
In mathematics, Glaeser's theorem, introduced by Georges Glaeser, is a theorem giving conditions for a smooth function to be a composition of F and θ for some given smooth function θ. One consequence
Bolzano–Weierstrass theorem
In mathematics, specifically in real analysis, the Bolzano–Weierstrass theorem, named after Bernard Bolzano and Karl Weierstrass, is a fundamental result about convergence in a finite-dimensional Eucl
Extreme value theorem
In calculus, the extreme value theorem states that if a real-valued function is continuous on the closed interval , then must attain a maximum and a minimum, each at least once. That is, there exist n
Lebesgue differentiation theorem
In mathematics, the Lebesgue differentiation theorem is a theorem of real analysis, which states that for almost every point, the value of an integrable function is the limit of infinitesimal averages
Hardy's inequality
Hardy's inequality is an inequality in mathematics, named after G. H. Hardy. It states that if is a sequence of non-negative real numbers, then for every real number p > 1 one has If the right-hand si
Implicit function theorem
In mathematics, more specifically in multivariable calculus, the implicit function theorem is a tool that allows relations to be converted to functions of several real variables. It does so by represe
Mean value theorem
In mathematics, the mean value theorem (or Lagrange theorem) states, roughly, that for a given planar arc between two endpoints, there is at least one point at which the tangent to the arc is parallel
Identity theorem
In real analysis and complex analysis, branches of mathematics, the identity theorem for analytic functions states: given functions f and g analytic on a domain D (open and connected subset of or ), i
Stolz–Cesàro theorem
In mathematics, the Stolz–Cesàro theorem is a criterion for proving the convergence of a sequence. The theorem is named after mathematicians Otto Stolz and Ernesto Cesàro, who stated and proved it for
Darboux's theorem (analysis)
In mathematics, Darboux's theorem is a theorem in real analysis, named after Jean Gaston Darboux. It states that every function that results from the differentiation of another function has the interm
Lagrange inversion theorem
In mathematical analysis, the Lagrange inversion theorem, also known as the Lagrange–Bürmann formula, gives the Taylor series expansion of the inverse function of an analytic function.
Dini's theorem
In the mathematical field of analysis, Dini's theorem says that if a monotone sequence of continuous functions converges pointwise on a compact space and if the limit function is also continuous, then
Monotone convergence theorem
In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the convergence of monotonic sequences (sequences that are non-decreasing or
Squeeze theorem
In calculus, the squeeze theorem (also known as the sandwich theorem, among other names) is a theorem regarding the limit of a function that is trapped between two other functions. The squeeze theorem
Bernstein's theorem on monotone functions
In real analysis, a branch of mathematics, Bernstein's theorem states that every real-valued function on the half-line [0, ∞) that is totally monotone is a mixture of exponential functions. In one imp
Fatou–Lebesgue theorem
In mathematics, the Fatou–Lebesgue theorem establishes a chain of inequalities relating the integrals (in the sense of Lebesgue) of the limit inferior and the limit superior of a sequence of functions
Nested intervals
In mathematics, a sequence of nested intervals can be intuitively understood as an ordered collection of intervals on the real number line with natural numbers as an index. In order for a sequence of
Routh–Hurwitz theorem
In mathematics, the Routh–Hurwitz theorem gives a test to determine whether all roots of a given polynomial lie in the left half-plane. Polynomials with this property are called Hurwitz stable polynom
L'Hôpital's rule
In calculus, L'Hôpital's rule or L'Hospital's rule (French: [lopital], English: /ˌloʊpiːˈtɑːl/, loh-pee-TAHL), also known as Bernoulli's rule, is a theorem which provides a technique to evaluate limit
Blumberg theorem
In mathematics, the Blumberg theorem states that for any real function there is a dense subset of such that the restriction of to is continuous. For instance, the restriction of the Dirichlet function
Fubini's theorem on differentiation
In mathematics, Fubini's theorem on differentiation, named after Guido Fubini, is a result in real analysis concerning the differentiation of series of monotonic functions. It can be proven by using F
Zahorski theorem
In mathematics, Zahorski's theorem is a theorem of real analysis. It states that a necessary and sufficient condition for a subset of the real line to be the set of points of non-differentiability of
Fundamental theorem of calculus
The fundamental theorem of calculus is a theorem that links the concept of differentiating a function (calculating its slopes, or rate of change at each time) with the concept of integrating a functio
Sturm's theorem
In mathematics, the Sturm sequence of a univariate polynomial p is a sequence of polynomials associated with p and its derivative by a variant of Euclid's algorithm for polynomials. Sturm's theorem ex
Uniform limit theorem
In mathematics, the uniform limit theorem states that the uniform limit of any sequence of continuous functions is continuous.
Dominated convergence theorem
In measure theory, Lebesgue's dominated convergence theorem provides sufficient conditions under which almost everywhere convergence of a sequence of functions implies convergence in the L1 norm. Its
Rolle's theorem
In calculus, Rolle's theorem or Rolle's lemma essentially states that any real-valued differentiable function that attains equal values at two distinct points must have at least one stationary point s
Arzelà–Ascoli theorem
The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous funct
Anderson's theorem
In mathematics, Anderson's theorem is a result in real analysis and geometry which says that the integral of an integrable, symmetric, unimodal, non-negative function f over an n-dimensional convex bo