# James's theorem

In mathematics, particularly functional analysis, **James' theorem**, named for Robert C. James, states that a Banach space *B* is reflexive if and only if every continuous linear functional on *B* attains its supremum on the closed unit ball in *B*.

A stronger version of the theorem states that a weakly closed subset *C* of a Banach space *B* is weakly compact if and only if each continuous linear functional on *B* attains a maximum on *C*.

The hypothesis of completeness in the theorem cannot be dropped (James 1971).

## Contents

## StatementsEdit

The space *X* considered can be a real or complex Banach space. Its topological dual is denoted by *X '* . The topological dual of ℝ-Banach space deduced from *X* by any restriction scalar will be denoted *X ' *_{ℝ} . (It is of interest only if *X* is a space car because if *X* is a ℝ-space then *X ' *_{ℝ} = *X'* .)

James compactness criterion- LetXbe a Banach space andAa weakly closed nonempty subset ofX. The following conditions are equivalent: *Ais weakly compact. * For everyf∈X ', there exists an elementaofAsuch thatf(a) = sup {|F(x) | ;X∈A}. * For anyf∈X '_{ℝ}, there exists an elementaofAsuch thatf(a) = sup {|F(x) | ;X∈A}. * For anyf∈X '_{ℝ}, there exists an elementaofAsuch thatf(a) = sup {f(x);X∈A}.

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 module on this ball:

James' theorem- A Banach spaceXis reflexive if and only if for allf∈X', there exists an elementaofXas ║a║ ≤ 1 andf(a) = ║f║.

## HistoryEdit

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 RC James in 1964.

## See alsoEdit

## ReferencesEdit

- James, Robert C. (1957), "Reflexivity and the supremum of linear functionals",
*Ann. of Math.*,**66**(1): 159–169, doi:10.2307/1970122, JSTOR 1970122, MR 0090019 - James, Robert C. (1964), "Weakly compact sets",
*Trans. Amer. Math. Soc.*, American Mathematical Society,**113**(1): 129–140, doi:10.2307/1994094, JSTOR 1994094, MR 0165344. - James, Robert C. (1971), "A counterexample for a sup theorem in normed space",
*Israel J. Math.*,**9**(4): 511–512, doi:10.1007/BF02771466. - James, Robert C. (1972), "Reflexivity and the sup of linear functionals",
*Israel J. Math.*,**13**(3–4): 289–300, doi:10.1007/BF02762803, MR 0338742. - Megginson, Robert E. (1998),
*An introduction to Banach space theory*, Graduate Texts in Mathematics,**183**, Springer-Verlag, ISBN 0-387-98431-3