In the area of mathematics known as functional analysis, James' space is an important example in the theory of Banach spaces and commonly serves as useful counterexample to general statements concerning the structure of general Banach spaces. The space was first introduced in 1950 in a short paper by Robert C. James.[1]

James' space serves as an example of a space that is isometrically isomorphic to its double dual, while not being reflexive. Furthermore, James' space has a basis, while having no unconditional basis.

Definition

edit

Let   denote the family of all finite increasing sequences of integers of odd length. For any sequence of real numbers   and   we define the quantity

 

James' space, denoted by J, is defined to be all elements x from c0 satisfying  , endowed with the norm  .

Properties

edit

Source:[2]

  • James' space is a Banach space.
  • The canonical basis {en} is a (conditional) Schauder basis for J. Furthermore, this basis is both monotone and shrinking.
  • J has no unconditional basis.
  • James' space is not reflexive. Its image into its double dual under the canonical embedding has codimension one.
  • James' space is however isometrically isomorphic to its double dual.
  • James' space is somewhat reflexive, meaning every closed infinite-dimensional subspace contains an infinite dimensional reflexive subspace. In particular, every closed infinite-dimensional subspace contains an isomorphic copy of 2.

See also

edit

References

edit
  1. ^ James, Robert C. A Non-Reflexive Banach Space Isometric With Its Second Conjugate Space. Proceedings of the National Academy of Sciences of the United States of America 37, no. 3 (March 1951): 174–77.
  2. ^ Morrison, T.J. Functional Analysis: An introduction to Banach space theory. Wiley. (2001)