Uniform Boundedness Principle — Mathematics Knowledge System

Overview

The uniform boundedness principle (also called the Banach-Steinhaus theorem) is one of the three fundamental theorems of functional analysis. It states: if a family of bounded linear operators is pointwise bounded (bounded at each individual input), then the operators are uniformly bounded (bounded as a whole, in operator norm). This 'resonance theorem' rules out the possibility that pointwise bounds can go to infinity in a non-uniform way on a Banach space.

Intuition

Imagine measuring the height of a crowd from many different directions — if from every direction the crowd appears bounded in height, can the crowd be unbounded? In infinite dimensions, individual pointwise bounds do not immediately force a uniform operator norm bound. The Banach-Steinhaus theorem says they do, for operators on a Banach domain. The Baire category argument shows that if the operators were not uniformly bounded, then for a 'generic' (residual) set of inputs, some operators would be arbitrarily large — contradicting pointwise boundedness.

Formal Definition

Definition

Let X be a Banach space and Y a normed space. Suppose {T_alpha} is a family of bounded linear operators from X to Y. If for every x in X we have sup_alpha ||T_alpha x|| < infinity (pointwise boundedness), then sup_alpha ||T_alpha|| < infinity (uniform boundedness in operator norm).

\forall x \in X:\; \sup_\alpha \|T_\alpha x\|_Y < \infty \implies \sup_\alpha \|T_\alpha\| < \infty

Banach-Steinhaus theorem

\sup_\alpha \|T_\alpha\| = \sup_\alpha \sup_{\|x\|=1} \|T_\alpha x\|

Uniform operator norm bound

Notation

Notation	Meaning
$\{T_\alpha\}_{\alpha \in I}$	A family of bounded linear operators indexed by I
$\sup_\alpha \\|T_\alpha\\|$	Supremum of operator norms over the family

Theorems

Theorem 8.1: Uniform Boundedness Principle (Banach-Steinhaus Theorem)

Let X be a Banach space, Y a normed space, and { T_alpha : alpha in I } a family of bounded linear operators from X to Y. If sup_alpha ||T_alpha x|| < infinity for every x in X, then sup_alpha ||T_alpha|| < infinity.

Theorem 8.2: Condensation of Singularities

Let { T_n } be a sequence of bounded operators on a Banach space X with sup_n ||T_n|| = infinity. Then the set of x in X for which sup_n ||T_n x|| = infinity is a dense G-delta set in X (a 'large' set in the Baire category sense).

Theorem 8.3: Pointwise Convergence and Limit Operators

Let X be a Banach space, Y a Banach space, and (T_n) a sequence in B(X,Y) such that Tx = lim T_n x exists for every x in X. Then T is a bounded linear operator and ||T|| <= liminf ||T_n||.

Worked Examples

1
Let S_n: C(T) -> R be the n-th Fourier partial sum evaluation at 0: S_n(f) = sum_{k=-n}^n hat{f}(k).
2
Compute ||S_n|| = integral_T |D_n(t)| dt where D_n is the Dirichlet kernel. This equals (4/pi^2) log n + O(1) -> infinity.
$\|S_n\| = \int_{-\pi}^{\pi} |D_n(t)|\,\frac{dt}{2\pi} \sim \frac{4}{\pi^2}\log n \to \infty$
3
Since sup_n ||S_n|| = infinity, by the uniform boundedness principle (contrapositively), there exists f in C(T) such that sup_n |S_n(f)| = infinity.
4
This means the Fourier partial sums of f diverge at 0.

✓ Answer

The norms ||S_n|| -> infinity, so by Banach-Steinhaus, there exists f with divergent Fourier series at 0.

Practice Problems

Mediumproof writing

Prove the Banach-Steinhaus theorem using the Baire category theorem.

Mediumfree response

Give an example showing the Banach-Steinhaus theorem fails if X is only a normed space (not complete).

EasyMultiple choice

The Banach-Steinhaus theorem says: if a family of bounded operators is pointwise bounded on a Banach space, then it is:

EquicontinuousUniformly bounded in operator normConvergent pointwiseCompact

Common Mistakes

Common Mistake

Assuming pointwise convergence of operators implies convergence in operator norm.

Pointwise convergence (T_n x -> Tx for all x) does NOT imply ||T_n - T|| -> 0 (convergence in operator norm). The latter is much stronger.

Common Mistake

Forgetting that the domain must be complete.

Banach-Steinhaus requires the domain to be a Banach space. Without completeness (using Baire's theorem), the conclusion fails. See the c_00 counterexample.

Quiz

Historical Background

Stefan Banach and Hugo Steinhaus proved the uniform boundedness principle in 1927. Steinhaus had observed the resonance phenomenon in Fourier series: the Fourier partial sums of a continuous function can diverge at a point, and the principle explains why. The theorem was recognised immediately as fundamental and was included as one of the three cornerstones in Banach's 1932 monograph. The Baire category theorem is the key ingredient in the proof.

1927
Banach and Steinhaus prove the uniform boundedness principle
Stefan Banach, Hugo Steinhaus
1929
Hahn gives an independent proof
Hans Hahn
1932
The theorem appears as a cornerstone in Banach's monograph
Stefan Banach

Summary

Banach-Steinhaus theorem: pointwise bounded families of operators on a Banach space are uniformly bounded in operator norm.
The proof uses the Baire category theorem to find a ball where all operators are simultaneously bounded.
Condensation of singularities: unbounded operator families are 'bad' on a Baire-large set of inputs.
Corollary: pointwise limits of bounded operators form a bounded operator.
Application: divergence of Fourier series — there exist continuous functions with divergent Fourier partial sums.

References

BookRudin, W. — Functional Analysis (2nd ed.), Chapter 2
BookBrezis, H. — Functional Analysis, Sobolev Spaces and PDEs, Chapter 2
WebsiteWikipedia: Uniform boundedness principle