Hahn-Banach and Dual Spaces - Applications

James' Theorem provides a remarkable characterization of reflexivity in terms of norm-attaining functionals, connecting geometric and topological properties of Banach spaces.

TheoremJames' Theorem

A Banach space $X$ is reflexive if and only if every $\phi \in X^*$ attains its norm, i.e., for every $\phi \in X^*$ with $\|\phi\| = 1$ , there exists $x \in X$ with $\|x\| = 1$ such that $|\phi(x)| = 1$ .

This theorem is surprising because it characterizes a property about the bidual (reflexivity) using only information about how functionals behave on the original space.

Proof

Forward Direction ( $\Rightarrow$ ): If $X$ is reflexive and $\phi \in X^*$ with $\|\phi\| = 1$ , consider the set $K = \{x \in X : \|x\| \leq 1\}$ Since $X$ is reflexive, $K$ is weakly compact. The functional $x \mapsto |\phi(x)|$ is weakly upper semicontinuous, so it attains its maximum on $K$ . Thus there exists $x_0 \in K$ with $|\phi(x_0)| = \sup_{\|x\| \leq 1} |\phi(x)| = \|\phi\| = 1$ .

Reverse Direction ( $\Leftarrow$ ): This direction is more involved and uses the fact that if $X$ is not reflexive, one can construct a functional in $X^*$ that does not attain its norm, contradicting the hypothesis.

■

ExampleApplications

Testing Reflexivity: To show a space is not reflexive, it suffices to find one functional that doesn't attain its norm
$c_0$ is not reflexive: The functional $\phi : c_0 \to \mathbb{K}$ defined by $\phi((x_n)) = \sum_{n=1}^\infty x_n/2^n$ has $\|\phi\| = 1$ but never achieves this value
$L^p$ Reflexivity: For $1 < p < \infty$ , every functional on $L^p$ attains its norm, providing another proof that $L^p$ is reflexive
Optimization: In reflexive spaces, constrained minimization problems have solutions under mild conditions

Remark

James' Theorem shows that reflexivity is intimately connected to the existence of optimal solutions. In applications to variational problems and optimal control, reflexivity ensures that minimizing sequences have weakly convergent subsequences whose limits are solutions.

ExampleBishop-Phelps Theorem

A related result states that for any Banach space $X$ , the set of norm-attaining functionals is dense in $X^*$ . This shows that while not every functional may attain its norm (unless $X$ is reflexive), functionals that do attain their norms are abundant.

This theorem is fundamental to the geometric theory of Banach spaces and has deep connections to optimization and approximation theory.