 Uniform boundedness principle

In mathematics, the uniform boundedness principle or Banach–Steinhaus theorem is one of the fundamental results in functional analysis. Together with the Hahn–Banach theorem and the open mapping theorem, it is considered one of the cornerstones of the field. In its basic form, it asserts that for a family of continuous linear operators (and thus bounded operators) whose domain is a Banach space, pointwise boundedness is equivalent to uniform boundedness in operator norm.
The theorem was first published in 1927 by Stefan Banach and Hugo Steinhaus but it was also proven independently by Hans Hahn.
Contents
Uniform boundedness principle
The precise statement of the result is:
Theorem. Let X be a Banach space and Y be a normed vector space. Suppose that F is a collection of continuous linear operators from X to Y. The uniform boundedness principle states that if for all x in X we have
then
The completeness of X enables the following short proof, using the Baire category theorem:
Proof.
 Define the closed sets X_{n} with n = 1, 2, 3, … by
 By hypothesis, the union of all the X_{n} is X. Since X is a Baire space, one of the X_{n}, say X_{m}, has an interior point (X_{n} are closed sets), i.e., there exists a δ > 0 and a y in X such that all x ∈ X with x − y < δ are elements of X_{m}. Now, choose an arbitrary z in X with z < δ. Then, y and y + z are elements of X_{m} and hence, for every operator T in the family F, T(z) ≤ T(y + z) + T(y) ≤ m + m = 2m. Since z is arbitrary in the ball of radius δ, it follows that T ≤ 2m / δ for all T in F, which proves the theorem.
A direct consequence is:
Corollary. If a sequence of bounded operators (T_{n}) converges pointwise, that is, lim T_{n}(x) exists for all x in X, then these pointwise limits define a bounded operator T.
Note it is not claimed above that T_{n} converges to T in operator norm, i.e. uniformly on bounded sets. (However, since {T_{n}} is bounded in operator norm, and the limit operator T is continuous, a standard Hahn–Banach theorem.
Let L(X, Y) denote the continuous operators from X to Y, with the operator norm. If the collection F is unbounded in L(X, Y), then by the uniform boundedness principle, the set
is not empty. In fact, it is dense in X. The complement of R in X is the countable union of closed sets ∪X_{n}. By the argument used in proving the theorem, each X_{n} is nowhere dense, i.e. the subset ∪X_{n} is of first category. Therefore R is the complement of a subset of first category in a Baire space. By definition of a Baire space, such sets (called residual sets) are dense. Such reasoning leads to the principle of condensation of singularities, which can be formulated as follows:
Theorem. Let X be a Banach space, {Y_{n}} a sequence of normed vector spaces, and F_{n} a unbounded family in L(X, Y_{n}). Then the set
is dense in X.
Proof.
 The complement of R is the countable union
 of sets of first category. Therefore its residual set R is dense.
An example: pointwise convergence of Fourier series
Let T be the circle, and let C(T) be the Banach space of continuous functions on T, with the uniform norm. Using the uniform boundedness principle, one can show that the Fourier series, "typically", does not converge pointwise for elements in C(T).
For ƒ in C(T), its Fourier series is defined by
and the Nth symmetric partial sum is
where D_{N} is the Nth Dirichlet kernel. Fix x in T and consider the convergence of {S_{N}(ƒ)(x)}. The functional φ_{N, x} : C(T) → C defined by
is bounded. The norm of φ_{N, x}, in the dual of C(T), is the norm of the signed measure (2π)^{−1}D_{N}(x−t) dt, namely
One can verify that
So the collection {φ_{N, x}} is unbounded in C(T)^{∗}, the dual of C(T). Therefore by the uniform boundedness principle, for any x in T, the set of continuous functions whose Fourier series diverges at x is dense in C(T).
More can be concluded by applying the principle of condensation of singularities. Let {x_{m}} be a dense sequence in T. Define
in the similar way as above. The principle of condensation of singularities then says that the set of continuous functions whose Fourier series diverges at each x_{m} is dense in C(T) (however, the Fourier series of a continuous function ƒ converges to ƒ(x) for almost every x ∈ T, by Carleson's theorem).
Generalizations
The least restrictive setting for the uniform boundedness principle is a barrelled space where the following generalized version of the theorem holds (Bourbaki 1987, Theorem III.2.1):
 Given a barrelled space X and a locally convex space Y, then any family of pointwise bounded continuous linear mappings from X to Y is equicontinuous (even uniformly equicontinuous).
Alternatively, the statement also holds whenever X is a Baire space and Y is a locally convex space (Shtern 2001).
Dieudonné (1970) proves a weaker form of this theorem with Fréchet spaces rather than the usual Banach spaces. Specifically,
 Let X be a Fréchet space, Y a normed space, and H a set of continuous linear mappings of X into Y. If for every x∈X, then the family H is equicontinuous.
See also
 Barrelled space, a topological vector space with minimum requirements for the Banach Steinhaus theorem to hold
References
 Banach, Stefan; Steinhaus, Hugo (1927), "Sur le principe de la condensation de singularités", Fundamenta Mathematicae 9: 50–61, http://matwbn.icm.edu.pl/ksiazki/fm/fm9/fm918.pdf. (French)
 Bourbaki, Nicolas (1987), Topological vector spaces, Elements of mathematics, Springer, ISBN 9783540423386
 Dieudonné, Jean (1970), Treatise on analysis, Volume 2, Academic Press.
 Rudin, Walter (1966), Real and complex analysis, McGrawHill.
 Shtern, A.I. (2001), "Uniform boundedness principle", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 9781556080104, http://eom.springer.de/b/b015200.htm.
Categories: Functional analysis
 Mathematical principles
 Theorems in functional analysis
Wikimedia Foundation. 2010.
Look at other dictionaries:
Uniform boundedness — In mathematics, bounded functions are functions for which there exists a lower bound and an upper bound, in other words, a constant which is larger than the absolute value of any value of this function. If we consider a family of bounded… … Wikipedia
Convergence of Fourier series — In mathematics, the question of whether the Fourier series of a periodic function converges to the given function is researched by a field known as classical harmonic analysis, a branch of pure mathematics. Convergence is not necessarily a given… … Wikipedia
List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… … Wikipedia
Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… … Wikipedia
Functional analysis — For functional analysis as used in psychology, see the functional analysis (psychology) article. Functional analysis is the branch of mathematics, and specifically of analysis, concerned with the study of vector spaces and operators acting upon… … Wikipedia
Fourier series — Fourier transforms Continuous Fourier transform Fourier series Discrete Fourier transform Discrete time Fourier transform Related transforms … Wikipedia
Dirichlet kernel — In mathematical analysis, the Dirichlet kernel is the collection of functions It is named after Johann Peter Gustav Lejeune Dirichlet. The importance of the Dirichlet kernel comes from its relation to Fourier series. The convolution of Dn(x) with … Wikipedia
List of functional analysis topics — This is a list of functional analysis topics, by Wikipedia page. Contents 1 Hilbert space 2 Functional analysis, classic results 3 Operator theory 4 Banach space examples … Wikipedia
Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… … Wikipedia
Baire category theorem — The Baire category theorem is an important tool in general topology and functional analysis. The theorem has two forms, each of which gives sufficient conditions for a topological space to be a Baire space. Statement of the theorem *(BCT1) Every… … Wikipedia