James's theorem

In mathematics, particularly functional analysis, James' theorem, named for Robert C. James, states that a Banach space [math]\displaystyle{ X }[/math] is reflexive if and only if every continuous linear functional's norm on [math]\displaystyle{ X }[/math] attains its supremum on the closed unit ball in [math]\displaystyle{ X. }[/math] A stronger version of the theorem states that a weakly closed subset [math]\displaystyle{ C }[/math] of a Banach space [math]\displaystyle{ X }[/math] is weakly compact if and only if the dual norm each continuous linear functional on [math]\displaystyle{ X }[/math] attains a maximum on [math]\displaystyle{ C. }[/math]

The hypothesis of completeness in the theorem cannot be dropped.

Statements

The space [math]\displaystyle{ X }[/math] considered can be a real or complex Banach space. Its continuous dual space is denoted by [math]\displaystyle{ X^{\prime}. }[/math] The topological dual of ℝ-Banach space deduced from [math]\displaystyle{ X }[/math] by any restriction scalar will be denoted [math]\displaystyle{ X^{\prime}_{\R}. }[/math] (It is of interest only if [math]\displaystyle{ X }[/math] is a complex space because if [math]\displaystyle{ X }[/math] is a [math]\displaystyle{ \R }[/math]-space then [math]\displaystyle{ X^{\prime}_{\R} = X^{\prime}. }[/math])

James compactness criterion — Let [math]\displaystyle{ X }[/math] be a Banach space and [math]\displaystyle{ A }[/math] a weakly closed nonempty subset of [math]\displaystyle{ X. }[/math] The following conditions are equivalent:

• [math]\displaystyle{ A }[/math] is weakly compact.
• For every [math]\displaystyle{ f \in X^{\prime}, }[/math] there exists an element [math]\displaystyle{ a_0 \in A }[/math] such that [math]\displaystyle{ \left|f\left(a_0\right)\right| = \sup_{a \in A} |f(a)|. }[/math]
• For any [math]\displaystyle{ f \in X^{\prime}_{\R}, }[/math] there exists an element [math]\displaystyle{ a_0 \in A }[/math] such that [math]\displaystyle{ f\left(a_0\right) = \sup_{a \in A} |f(a)|. }[/math]
• For any [math]\displaystyle{ f \in X^{\prime}_{\R}, }[/math] there exists an element [math]\displaystyle{ a_0 \in A }[/math] such that [math]\displaystyle{ f\left(a_0\right) = \sup_{a \in A} f(a). }[/math]

A Banach space being reflexive if and only if its closed unit ball is weakly compact one deduces from this, since the norm of a continuous linear form is the upper bound of its modulus on this ball:

James' theorem — A Banach space [math]\displaystyle{ X }[/math] is reflexive if and only if for all [math]\displaystyle{ f \in X^{\prime}, }[/math] there exists an element [math]\displaystyle{ a \in X }[/math] of norm [math]\displaystyle{ \|a\| \leq 1 }[/math] such that [math]\displaystyle{ f(a) = \|f\|. }[/math]

History

Historically, these sentences were proved in reverse order. In 1957, James had proved the reflexivity criterion for separable Banach spaces and 1964 for general Banach spaces. Since the reflexivity is equivalent to the weak compactness of the unit sphere, Victor L. Klee reformulated this as a compactness criterion for the unit sphere in 1962 and assumes that this criterion characterizes any weakly compact quantities. This was then actually proved by James in 1964.

See also

• Banach–Alaoglu theorem – Theorem in functional analysis
• Bishop–Phelps theorem
• Dual norm – Measurement on a normed vector space
• Eberlein–Šmulian theorem – Relates three different kinds of weak compactness in a Banach space
• Goldstine theorem
• Mazur's lemma – On strongly convergent combinations of a weakly convergent sequence in a Banach space
• Operator norm – Measure of the "size" of linear operators

References

• James, Robert C. (1957), "Reflexivity and the supremum of linear functionals", Annals of Mathematics 66 (1): 159–169, doi:10.2307/1970122 
• Klee, Victor (1962), "A conjecture on weak compactness", Transactions of the American Mathematical Society 104 (3): 398–402, doi:10.1090/S0002-9947-1962-0139918-7 .
• James, Robert C. (1964), "Weakly compact sets", Transactions of the American Mathematical Society 113 (1): 129–140, doi:10.2307/1994094 .
• James, Robert C. (1971), "A counterexample for a sup theorem in normed space", Israel Journal of Mathematics 9 (4): 511–512, doi:10.1007/BF02771466 .
• James, Robert C. (1972), "Reflexivity and the sup of linear functionals", Israel Journal of Mathematics 13 (3–4): 289–300, doi:10.1007/BF02762803 .
• Megginson, Robert E. (1998), An introduction to Banach space theory, Graduate Texts in Mathematics, 183, Springer-Verlag, ISBN 0-387-98431-3