Mathematics

The Uniform Boundedness Principle: A Cornerstone of Functional Analysis

We prove the Uniform Boundedness Principle (Banach-Steinhaus theorem) — that a pointwise bounded family of bounded linear operators on a Banach space is uniformly bounded — and explore its far-reaching consequences in functional analysis.

Functional Analysis

The Theorem

Uniform Boundedness Principle (Banach-Steinhaus, 1927)

Let $X$ be a Banach space, $Y$ a normed space, and $\{T_\alpha\}_{\alpha \in A}$ a family of bounded linear operators $T_\alpha: X \to Y$ . If the family is pointwise bounded:

$\sup_{\alpha \in A} \|T_\alpha x\| < \infty \qquad \text{for every } x \in X$

then it is uniformly bounded:

$\sup_{\alpha \in A} \|T_\alpha\| < \infty$

The passage from pointwise to uniform — from "bounded at each point" to "bounded as operators" — is remarkable. It requires completeness of $X$ , which enters through the Baire category theorem.

Why It's Surprising

Consider the contrapositive: if $\sup_\alpha \|T_\alpha\| = \infty$ (the operators are not uniformly bounded), then there exists a single $x \in X$ such that $\sup_\alpha \|T_\alpha x\| = \infty$ . In fact, the set of such "bad" points is generic — it is a dense $G_\delta$ set. A pointwise unbounded family must be unbounded at "most" points.

This is often called the principle of condensation of singularities: if things go wrong, they go wrong everywhere (in the topological sense).

The Baire Category Theorem

The proof of the Uniform Boundedness Principle relies on the Baire Category Theorem, one of the most powerful tools in analysis.

Baire Category Theorem

In a complete metric space, the countable intersection of open dense sets is dense. Equivalently, a complete metric space is not a countable union of nowhere dense sets.

A set is nowhere dense if its closure has empty interior. A set is meager (first category) if it is a countable union of nowhere dense sets. The Baire theorem says a complete metric space is non-meager — it cannot be "small" in the topological sense.

Proof of the Uniform Boundedness Principle

Proof.

For each $n \in \mathbb{N}$ , define:

$F_n = \{x \in X : \sup_{\alpha \in A} \|T_\alpha x\| \leq n\}$

Step 1 — The $F_n$ cover $X$ . Since the family is pointwise bounded, for every $x \in X$ there exists $n$ with $\sup_\alpha \|T_\alpha x\| \leq n$ , so $x \in F_n$ . Therefore:

$X = \bigcup_{n=1}^{\infty} F_n$

Step 2 — Each $F_n$ is closed. If $x_k \in F_n$ and $x_k \to x$ , then for each $\alpha$ : $\|T_\alpha x\| = \lim_k \|T_\alpha x_k\| \leq n$ . So $x \in F_n$ .

Step 3 — Apply Baire's theorem. Since $X$ is a Banach space (complete), it is not a countable union of nowhere dense sets. Since $X = \bigcup F_n$ and each $F_n$ is closed, at least one $F_N$ has nonempty interior: there exist $x_0 \in X$ and $r > 0$ with $B(x_0, r) \subset F_N$ .

Step 4 — Extract the uniform bound. For any $x$ with $\|x\| \leq 1$ , we have $x_0 + rx/2 \in B(x_0, r) \subset F_N$ , so:

$\|T_\alpha(x_0 + rx/2)\| \leq N \quad \text{for all } \alpha$

Since $T_\alpha$ is linear:

$\frac{r}{2}\|T_\alpha x\| \leq \|T_\alpha(x_0 + rx/2)\| + \|T_\alpha x_0\| \leq N + N = 2N$

Therefore $\|T_\alpha x\| \leq 4N/r$ for all $\|x\| \leq 1$ , giving:

$\sup_{\alpha \in A} \|T_\alpha\| \leq \frac{4N}{r} < \infty \qquad \square$

Necessity of Completeness

The completeness of $X$ is essential. On the incomplete space $X = c_{00}$ (sequences with finitely many nonzero terms, with the sup norm), define $T_n: c_{00} \to \mathbb{R}$ by:

$T_n(x) = \sum_{k=1}^{n} k \cdot x_k$

Each $T_n$ is bounded ( $\|T_n\| = n(n+1)/2$ ), and the family is pointwise bounded on $c_{00}$ : for each $x$ with finitely many nonzero terms, $T_n(x)$ stabilizes. But $\sup_n \|T_n\| = \infty$ — the uniform bound fails.

Applications

Convergence of Fourier Series

Theorem (du Bois-Reymond). There exists a continuous function $f$ on $[0, 2\pi]$ whose Fourier series diverges at a point.

Proof via UBP. The $N$ -th partial sum of the Fourier series at $x = 0$ is:

$S_N f(0) = \int_0^{2\pi} f(t) D_N(t)\, dt$

where $D_N$ is the Dirichlet kernel. The functionals $T_N(f) = S_N f(0)$ are bounded linear functionals on $C[0, 2\pi]$ , and $\|T_N\| = \|D_N\|_{L^1} \to \infty$ .

By the UBP, there exists $f \in C[0, 2\pi]$ with $\sup_N |S_N f(0)| = \infty$ — the Fourier series diverges at $0$ . $\square$

Bounded Limits of Operators

If $T_n: X \to Y$ are bounded linear operators on a Banach space and $T_n x \to Tx$ for all $x$ , then:

$\sup_n \|T_n\| < \infty$ (by UBP).
$T$ is bounded with $\|T\| \leq \liminf_n \|T_n\|$ .

This is used constantly in PDE theory and approximation theory.

Resonance Phenomena

The UBP explains resonance in physics and engineering: if a family of forced responses is pointwise bounded, it must be uniformly bounded. If the system becomes uniformly unbounded, there exist inputs that cause unbounded responses — resonance.

The Three Pillars of Functional Analysis

The Uniform Boundedness Principle is one of three foundational theorems:

Uniform Boundedness

Pointwise bounded $\implies$ uniformly bounded

Open Mapping

Surjective bounded linear maps are open

Closed Graph

Closed graph $\implies$ bounded operator

All three are consequences of the Baire Category Theorem and require completeness.

Historical Notes

The theorem was proved by Stefan Banach and Hugo Steinhaus in 1927. It appeared in Banach's 1932 monograph Théorie des opérations linéaires, which laid the foundations of functional analysis.

The name "Banach-Steinhaus theorem" usually refers specifically to the uniform boundedness principle, though in some texts it refers to the corollary about limits of operators.

Summary

\begin{aligned} &\sup_\alpha \|T_\alpha x\| < \infty \;\;\forall x \in X \\[6pt] &\Downarrow \text{ (Baire category theorem, completeness of } X\text{)} \\[6pt] &\sup_\alpha \|T_\alpha\| < \infty \\[8pt] &\text{Contrapositive: } \sup_\alpha \|T_\alpha\| = \infty \implies \\[4pt] &\quad \exists\, x \text{ with } \sup_\alpha \|T_\alpha x\| = \infty \text{ (generic)} \end{aligned}

References

Rudin, W., Functional Analysis, 2nd edition, McGraw-Hill, 1991.
Conway, J. B., A Course in Functional Analysis, 2nd edition, Springer, 1990.
Brezis, H., Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, 2011.
Wikipedia — Uniform boundedness principle
Wikipedia — Baire category theorem
MIT OpenCourseWare — Functional Analysis

Back to all posts