James's theorem
= James's theorem
{c}
{wiki}
= James reflexivity criterion
{c}
{synonym}
James's theorem says that a Banach space is reflexive exactly when every continuous linear functional attains its supremum on the closed unit ball. Its separation proof also yields the equivalent convex-block criterion: nonreflexivity produces a bounded sequence whose initial and tail convex hulls remain uniformly separated.