In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space for which the canonical evaluation map from X {\displaystyle X} into its bidual (which is the strong dual of the strong dual of X {\displaystyle X} ) is a homeomorphism (or equivalently, a TVS isomorphism). A normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this (always linear) evaluation map is an isometric isomorphism and the normed space is a Banach space. Those spaces for which the canonical evaluation map is surjective are called semi-reflexive spaces. In 1951, R. C. James discovered a Banach space, now known as James' space, that is not reflexive (meaning that the canonical evaluation map is not an isomorphism) but is nevertheless isometrically isomorphic to its bidual (any such isometric isomorphism is necessarily not the canonical evaluation map). So importantly, for a Banach space to be reflexive, it is not enough for it to be isometrically isomorphic to its bidual; it is the canonical evaluation map in particular that has to be a homeomorphism. Reflexive spaces play an important role in the general theory of locally convex TVSs and in the theory of Banach spaces in particular. Hilbert spaces are prominent examples of reflexive Banach spaces. Reflexive Banach spaces are often characterized by their geometric properties.
Definition Definition of the bidual
Suppose that X {\displaystyle X} is a topological vector space (TVS) over the field F {\displaystyle \mathbb {F} } (which is either the real or complex numbers) whose continuous dual space, X ′ , {\displaystyle X^{\prime },} separates points on X {\displaystyle X} (that is, for any x ∈ X , x ≠ 0 {\displaystyle x\in X,x\neq 0} there exists some x ′ ∈ X ′ {\displaystyle x^{\prime }\in X^{\prime }} such that x ′ ( x ) ≠ 0 {\displaystyle x^{\prime }(x)\neq 0} ). Let X b ′ {\displaystyle X_{b}^{\prime }} (some texts write X β ′ {\displaystyle X_{\beta }^{\prime }} ) denote the strong dual of X , {\displaystyle X,} which is the vector space X ′ {\displaystyle X^{\prime }} of continuous linear functionals on X {\displaystyle X} endowed with the topology of uniform convergence on bounded subsets of X {\displaystyle X} ; this topology is also called the strong dual topology and it is the "default" topology placed on a continuous dual space (unless another topology is specified). If X {\displaystyle X} is a normed space, then the strong dual of X {\displaystyle X} is the continuous dual space X ′ {\displaystyle X^{\prime }} with its usual norm topology. The bidual of X , {\displaystyle X,} denoted by X ′ ′ , {\displaystyle X^{\prime \prime },} is the strong dual of X b ′ {\displaystyle X_{b}^{\prime }} ; that is, it is the space ( X b ′ ) b ′ . {\displaystyle \left(X_{b}^{\prime }\right)_{b}^{\prime }.} If X {\displaystyle X} is a normed space, then X ′ ′ {\displaystyle X^{\prime \prime }} is the continuous dual space of the Banach space X b ′ {\displaystyle X_{b}^{\prime }} with its usual norm topology.
… excerpt ends here. Continue reading the full article.
