Misplaced Pages

Grothendieck space

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematics, a Grothendieck space, named after Alexander Grothendieck, is a Banach space X {\displaystyle X} in which every sequence in its continuous dual space X {\displaystyle X^{\prime }} that converges in the weak-* topology σ ( X , X ) {\displaystyle \sigma \left(X^{\prime },X\right)} (also known as the topology of pointwise convergence) will also converge when X {\displaystyle X^{\prime }} is endowed with σ ( X , X ) , {\displaystyle \sigma \left(X^{\prime },X^{\prime \prime }\right),} which is the weak topology induced on X {\displaystyle X^{\prime }} by its bidual. Said differently, a Grothendieck space is a Banach space for which a sequence in its dual space converges weak-* if and only if it converges weakly.

Characterizations

Let X {\displaystyle X} be a Banach space. Then the following conditions are equivalent:

  1. X {\displaystyle X} is a Grothendieck space,
  2. for every separable Banach space Y , {\displaystyle Y,} every bounded linear operator from X {\displaystyle X} to Y {\displaystyle Y} is weakly compact, that is, the image of a bounded subset of X {\displaystyle X} is a weakly compact subset of Y . {\displaystyle Y.}
  3. for every weakly compactly generated Banach space Y , {\displaystyle Y,} every bounded linear operator from X {\displaystyle X} to Y {\displaystyle Y} is weakly compact.
  4. every weak*-continuous function on the dual X {\displaystyle X^{\prime }} is weakly Riemann integrable.

Examples

  • Every reflexive Banach space is a Grothendieck space. Conversely, it is a consequence of the Eberlein–Šmulian theorem that a separable Grothendieck space X {\displaystyle X} must be reflexive, since the identity from X X {\displaystyle X\to X} is weakly compact in this case.
  • Grothendieck spaces which are not reflexive include the space C ( K ) {\displaystyle C(K)} of all continuous functions on a Stonean compact space K , {\displaystyle K,} and the space L ( μ ) {\displaystyle L^{\infty }(\mu )} for a positive measure μ {\displaystyle \mu } (a Stonean compact space is a Hausdorff compact space in which the closure of every open set is open).
  • Jean Bourgain proved that the space H {\displaystyle H^{\infty }} of bounded holomorphic functions on the disk is a Grothendieck space.

See also

References

  1. J. Bourgain, H {\displaystyle H^{\infty }} is a Grothendieck space, Studia Math., 75 (1983), 193–216.
Banach space topics
Types of Banach spaces
Banach spaces are:
Function space Topologies
Linear operators
Operator theory
Theorems
Analysis
Types of sets
Subsets / set operations
Examples
Applications
Functional analysis (topicsglossary)
Spaces
Properties
Theorems
Operators
Algebras
Open problems
Applications
Advanced topics
Topological vector spaces (TVSs)
Basic concepts
Main results
Maps
Types of sets
Set operations
Types of TVSs
Stub icon

This mathematical analysis–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: