Reflexivity is a term from functional analysis and algebra . A space is reflexive when the natural embedding in its dual space is an isomorphism , as explained below. A reflective space can thus be identified with the dual space of its dual space.
In functional analysis, reflexivity is a property of standardized vector spaces .
By the mapping rule
- Every finite-dimensional Banach space is reflexive.
- According to the Fréchet-Riesz theorem , every Hilbert space is reflexive.
- Closed sub-spaces of reflexive spaces are reflexive.
- For everyone and everyone , the Lebesgue spaces as well as all Sobolev spaces are reflexive for all open subsets .
- For those who are sequence spaces with reflexive.
- The Banach spaces are not reflexive.
- In 1951, Robert C. James constructed the James Room named after him . This is not reflexive but isometrically isomorphic to its bidual, that is, the canonical embedding of the room in its bidual is not surjective, but there is still another isometric isomorphism of the space on its bidual.
A Banach space is reflexive if and only if
- (Kakutani's theorem) the unit sphere is compact in the weak topology.
- ( Eberlein – Šmulian Theorem ) every bounded sequence has a weakly convergent subsequence.
- ( James Theorem ) every continuous linear functional assumes its norm on the unit sphere.
- (Šmulian, 1939) every descending sequence of non-empty, bounded, closed, and convex sets has a non-empty intersection.
The last characterization is noteworthy because it exclusively uses the Banach space itself, i.e. in particular makes no reference to the dual space (see definition) or the dual space (use of the weak topology or James theorem).
Properties of reflective spaces
Every reflexive normalized space is a Banach space, because by definition it is isomorphic to the complete bidual space. In reflexive Banach spaces the closed unit sphere (more generally any bounded and weakly closed subset) is weakly compact, i.e. H. compact with respect to the weak topology (this follows directly from the Banach-Alaoğlu theorem about the weak * -compactness of the unit sphere of the dual space of a reflexive Banach space).
This property characterizes the reflexive spaces: A Banach space is reflexive if and only if its unit sphere is weakly compact.
In particular, every constrained network in a reflexive space has a weakly convergent subnet. With the Eberlein – Šmulian theorem it follows that every bounded sequence in a reflexive Banach space has a weakly convergent subsequence . The following statements about permanence also apply:
- is reflexive if and only if is reflexive and complete.
- If reflexive and a closed subspace, then and are reflexive.
Together with Sobolev's embedding theorems , the existence of weakly convergent partial sequences of bounded sequences often provides solutions to variational problems and thus partial differential equations .
Reflexive locally convex spaces
If one provides the dual space of a locally convex space X with the strong topology , one obtains an injective, continuous, linear mapping . is called reflexive when is a topological isomorphism and semi-reflexive when is surjective. In contrast to the case of normalized spaces, a topological isomorphism is not automatically in the semi-reflective case. The following rates apply:
- A locally convex space is semi-reflective if and only if every weakly closed bounded set is weakly compact .
- A locally convex space is reflexive if and only if it is semi-reflexive and quasitonneliert .
which is generally neither injective nor surjective. If it is an isomorphism, it is called reflexive.