Bounded Linear Operators - Applications

The Banach-Alaoglu Theorem establishes the compactness properties of the unit ball in the dual space, providing a fundamental tool for existence proofs in functional analysis.

TheoremBanach-Alaoglu Theorem

Let $X$ be a normed space. Then the closed unit ball in the dual space $X^*$ , $B^* = \{\phi \in X^* : \|\phi\| \leq 1\}$ is compact in the weak* topology.

The weak* topology on $X^*$ is the weakest topology making all evaluation functionals $\phi \mapsto \phi(x)$ continuous for $x \in X$ . A net $(\phi_\alpha)$ converges weak* to $\phi$ if $\phi_\alpha(x) \to \phi(x)$ for all $x \in X$ .

Proof

For each $x \in X$ , let $D_x = \{\lambda \in \mathbb{K} : |\lambda| \leq \|x\|\}$ be a compact disk. Consider the product space $P = \prod_{x \in X} D_x$

By Tychonoff's Theorem, $P$ is compact in the product topology.

Define $\Phi : B^* \to P$ by $\Phi(\phi) = (\phi(x))_{x \in X}$ . The map $\Phi$ is injective (if $\phi(x) = \psi(x)$ for all $x$ , then $\phi = \psi$ ).

The image $\Phi(B^*)$ is closed in $P$ : if a net $(\phi_\alpha)$ in $B^*$ satisfies $\phi_\alpha(x) \to f(x)$ for all $x$ , then $f$ defines a linear functional. We verify:

Linearity: $f(\alpha x + \beta y) = \lim \phi_\alpha(\alpha x + \beta y) = \alpha f(x) + \beta f(y)$
Boundedness: $|f(x)| = \lim |\phi_\alpha(x)| \leq \liminf \|\phi_\alpha\| \|x\| \leq \|x\|$

Thus $\Phi(B^*)$ is a closed subset of the compact space $P$ , hence compact. The weak* topology on $B^*$ coincides with the subspace topology from $P$ .

■

ExampleApplications

Existence of Weak Limits*: Every bounded sequence in $X^*$ has a weak* convergent subsequence (if $X$ is separable)
Alaoglu-Birkhoff: If $X$ is reflexive, the closed unit ball in $X$ is weakly compact
Variational Problems: Minimizing sequences for convex functionals have weak* convergent subsequences, enabling existence proofs for minimizers
Weak Solutions to PDEs: The Banach-Alaoglu Theorem guarantees the existence of weak solutions to many elliptic equations

Remark

If $X$ is not separable, the conclusion uses nets rather than sequences. However, when $X$ is separable, we can work with sequences: every bounded sequence in $X^*$ has a weak* convergent subsequence.

ExampleConcrete Application

Consider minimizing $J(\phi) = \int_\Omega |\nabla \phi|^2 \, dx$ over $\phi \in H_0^1(\Omega)$ with $\|\phi\|_{L^2} = 1$ .

A minimizing sequence $(\phi_n)$ is bounded in $H_0^1(\Omega)$ . By Banach-Alaoglu (applied to the dual of $H^{-1}$ ), there exists a subsequence converging weakly to some $\phi_0$ . Using lower semicontinuity of the norm, $J(\phi_0) \leq \liminf J(\phi_n)$ , proving existence of a minimizer.

The Banach-Alaoglu Theorem is indispensable in modern analysis, particularly in the calculus of variations and PDE theory.