In finite-dimensional analysis, compactness is available essentially for free: the Heine-Borel theorem guarantees that every closed and bounded subset of $\mathbb{R}^n$ is compact, and the Bolzano-Weierstrass theorem ensures that every bounded sequence has a convergent subsequence. These facts underpin the entire machinery of optimisation, existence theory, and variational methods in finite dimensions.

In infinite-dimensional [Banach spaces](/page/Banach%20Space), this machinery breaks down completely. The closed unit ball $\overline{B}_X := \{x \in X : \|x\|_X \le 1\}$ is **never** compact in the norm topology when $X$ is infinite-dimensional. Riesz's Lemma provides the obstruction: given any proper closed subspace $Y \subsetneq X$ and any $\varepsilon > 0$, there exists a unit vector $x \in X$ with $\operatorname{dist}(x, Y) > 1 - \varepsilon$. Iterating this construction produces a sequence of unit vectors $\{e_n\}_{n=1}^\infty$ with $\|e_m - e_n\|_X > 1/2$ for all $m \neq n$ — a bounded sequence with no Cauchy subsequence. Compactness fails, and with it the straightforward extraction of convergent subsequences.

This is not an exotic pathology — it is the rule. Every $L^p$ space on a domain of positive measure, every [Sobolev space](/page/Sobolev%20Space), every space of continuous functions on a compact set, is infinite-dimensional. The existence theory for partial differential equations, the [calculus of variations](/page/Calculus%20of%20Variations), and optimisation in function spaces all depend on extracting limits from bounded sequences, and the norm topology cannot deliver.

The Banach-Alaoglu theorem resolves this impasse by changing the topology. It asserts that the closed unit ball of the [dual space](/page/Dual%20Space) $X^*$ is compact — not in the norm topology, but in the [weak* topology](/page/Weak*%20Topology). This is the coarsest topology making every evaluation map $\operatorname{ev}_x: f \mapsto f(x)$ continuous, and it has far fewer open sets than the norm topology. The price of weak* convergence — requiring $f_n(x) \to f(x)$ for every $x \in X$, rather than $\|f_n - f\|_{X^*} \to 0$ — is exactly what buys back compactness.

[example: Non-Compactness of the Unit Ball in $\ell^2$] Consider $X = \ell^2(\mathbb{N})$ and the standard basis $\{e_n\}_{n=1}^\infty$, where $e_n$ is the sequence with $1$ in position $n$ and $0$ elsewhere. Each $e_n$ lies in the closed unit ball: $\|e_n\|_{\ell^2} = 1$. However, for $m \neq n$: \begin{align*} \|e_m - e_n\|_{\ell^2}^2 = \|e_m\|_{\ell^2}^2 + \|e_n\|_{\ell^2}^2 = 2, \end{align*} so $\|e_m - e_n\|_{\ell^2} = \sqrt{2}$ for all $m \neq n$. No subsequence can be Cauchy, and the unit ball is not sequentially compact. Yet the same sequence $\{e_n\}_{n=1}^\infty$, viewed as elements of $(\ell^2)^* \cong \ell^2$ (via the Riesz representation), converges weak* to $0$: for any $x = (x_1, x_2, \ldots) \in \ell^2$, \begin{align*} e_n(x) = x_n \to 0 \quad \text{as } n \to \infty, \end{align*} since $\sum_{n=1}^\infty |x_n|^2 < \infty$ forces $x_n \to 0$. The sequence that is hopelessly spread out in the norm topology converges in the weak* topology. Banach-Alaoglu guarantees this phenomenon is not special to $\ell^2$ — it occurs in every dual space. [/example]

The theorem is the starting point for a chain of results that governs compactness in infinite-dimensional analysis. Combined with separability, it yields the Sequential Banach-Alaoglu theorem: every bounded sequence in the dual of a separable space has a weak* convergent subsequence — the directly usable form for PDE existence proofs. Combined with [reflexivity](/page/Reflexive%20Space), it yields weak compactness of the unit ball of the original space (Kakutani's theorem), which is the foundation of the direct method in the calculus of variations. This page develops the theorem, its sequential form, its proof mechanism, and its consequences.

## Definition

The Banach-Alaoglu theorem concerns compactness in the weak* topology on a dual space. The key definitions are the dual space and the weak* topology, both of which are treated in detail on their own pages. We record the essential structure here.

[definition: Weak-Star Topology on the Dual Space] Let $X$ be a [normed vector space](/page/Normed%20Vector%20Space) over $\mathbb{R}$ with norm $\|\cdot\|_X$, and let $X^* := \mathcal{L}(X, \mathbb{R})$ denote the [dual space](/page/Dual%20Space) of bounded linear functionals on $X$. The **weak* topology** on $X^*$, denoted $\sigma(X^*, X)$, is the coarsest [topology](/page/Topology) on $X^*$ making every evaluation map \begin{align*} \operatorname{ev}_x: X^* &\to \mathbb{R} \\ f &\mapsto f(x) \end{align*} continuous, for each $x \in X$. A net $(f_\alpha)$ in $X^*$ converges to $f \in X^*$ in the weak* topology if and only if $f_\alpha(x) \to f(x)$ for every $x \in X$. [/definition]

The weak* topology is an [initial topology](/page/Product%20Topology): it is generated by the family of maps $\{\operatorname{ev}_x\}_{x \in X}$. A subbasis consists of sets of the form $\{f \in X^* : |f(x) - f_0(x)| < \varepsilon\}$ for fixed $x \in X$, $f_0 \in X^*$, and $\varepsilon > 0$. This is strictly coarser than the weak topology $\sigma(X^*, X^{**})$ on $X^*$ — which uses all of $X^{**}$ as test functionals — unless $X$ is [reflexive](/page/Reflexive%20Space), in which case the canonical embedding $J: X \to X^{**}$ is surjective and the two topologies on $X^*$ coincide.

The norm topology, the weak topology, and the weak* topology on $X^*$ form a hierarchy:

\begin{align*} \sigma(X^*, X) \subset \sigma(X^*, X^{**}) \subset \tau_{\|\cdot\|_{X^*}}, \end{align*}

where each inclusion denotes "coarser than or equal to." Making a topology coarser adds no new open sets and therefore makes it *easier* for a set to be compact (there are fewer open covers to worry about). This is the geometric reason that the weak* unit ball can be compact even when the norm unit ball is not.

## The Banach-Alaoglu Theorem

The central difficulty in infinite-dimensional analysis is that the closed unit ball fails to be compact. The Banach-Alaoglu theorem overcomes this by identifying the dual ball as a closed subset of a product of compact intervals — and products of compact spaces are compact by [Tychonoff's theorem](/theorems/953).

[quotetheorem:212]

More generally, for any $R > 0$, the closed ball $\{f \in X^* : \|f\|_{X^*} \le R\}$ is weak* compact. This follows by rescaling: the map $f \mapsto f/R$ is a weak*-homeomorphism from the ball of radius $R$ to the unit ball.

### The Proof Strategy: Embedding into a Product

The proof of Banach-Alaoglu is a masterclass in converting a functional-analytic question into a topological one. The idea is to realise $B_{X^*}$ as a closed subset of a product of compact intervals, then invoke Tychonoff's theorem.

For each $x \in X$, the operator norm bound $\|f\|_{X^*} \le 1$ forces $|f(x)| \le \|x\|_X$, so the value $f(x)$ is confined to the compact interval $D_x := [-\|x\|_X, \|x\|_X]$. The evaluation map