In functional analysis, a Banach space (or more generally a locally convex topological vector space) is called reflexive if it coincides with the continuous dual of its continuous dual space, both as linear space and as topological space. Reflexive Banach spaces are often characterized by their geometric properties.
Reflexive Banach spaces
Suppose is a normed vector space over the number field or (the real or complex numbers), with a norm . Consider its dual normed space , that consists of all continuous linear functionals and is equipped with the dual norm defined by
The dual is a normed space (a Banach space to be precise), and its dual normed space is called bidual space for . The bidual consists of all continuous linear functionals and is equipped with the norm dual to . Each vector generates a scalar function by the formula:
and is a continuous linear functional on , i.e., . One obtains in this way a map
called evaluation map, that is linear. It follows from the Hahn–Banach theorem that is injective and preserves norms:
i.e., maps isometrically onto its image in . The image need not be equal to .
A normed space is called reflexive if it satisfies the following equivalent conditions:
- (i) the evaluation map is surjective,
- (ii) the evaluation map is an isometric isomorphism of normed spaces,
- (iii) the evaluation map is an isomorphism of normed spaces.
A reflexive space is a Banach space, since is then isometric to the Banach space .
A Banach space X is reflexive if it is linearly isometric to its bidual under this canonical embedding J, but it has been shown that there exists a non-reflexive space X which is linearly isometric to X ′′. Furthermore, the image J(X) of this space has codimension one in its bidual.  A Banach space X is called quasi-reflexive (of order d) if the quotient X ′′ / J(X) has finite dimension d.
1) Every finite-dimensional normed space is reflexive, simply because in this case, the space, its dual and bidual all have the same linear dimension, hence the linear injection J from the definition is bijective, by the rank-nullity theorem.
2) The Banach space c0 of scalar sequences tending to 0 at infinity, equipped with the supremum norm, is not reflexive. It follows from the general properties below that ℓ1 and ℓ∞ are not reflexive, because ℓ1 is isomorphic to the dual of c0, and ℓ∞ is isomorphic to the dual of ℓ1.
3) All Hilbert spaces are reflexive, as are the Lp spaces for 1 < p < ∞. More generally: all uniformly convex Banach spaces are reflexive according to the Milman–Pettis theorem. The L1(μ) and L∞(μ) spaces are not reflexive (unless they are finite dimensional, which happens for example when μ is a measure on a finite set). Likewise, the Banach space C([0, 1]) of continuous functions on [0, 1] is not reflexive.
4) The spaces Sp(H) of operators in the Schatten class on a Hilbert space H are uniformly convex, hence reflexive, when 1 < p < ∞. When the dimension of H is infinite, then S1(H) (the trace class) is not reflexive, because it contains a subspace isomorphic to ℓ1, and S∞(H) = L(H) (the bounded linear operators on H) is not reflexive, because it contains a subspace isomorphic to ℓ∞. In both cases, the subspace can be chosen to be the operators diagonal with respect to a given orthonormal basis of H.
In this section, dual means continuous dual.
If a Banach space Y is isomorphic to a reflexive Banach space X, then Y is reflexive.
Let X be a Banach space. The following are equivalent.
- The space X is reflexive.
- The dual of X is reflexive.
- The closed unit ball of X is compact in the weak topology. (This is known as Kakutani's Theorem.)
- Every bounded sequence in X has a weakly convergent subsequence.
- Every continuous linear functional on X attains its maximum on the closed unit ball in X. (James' theorem)
Since norm-closed convex subsets in a Banach space are weakly closed, it follows from the third property that closed bounded convex subsets of a reflexive space X are weakly compact. Thus, for every decreasing sequence of non-empty closed bounded convex subsets of X, the intersection is non-empty. As a consequence, every continuous convex function f on a closed convex subset C of X, such that the set
is non-empty and bounded for some real number t, attains its minimum value on C.
The promised geometric property of reflexive Banach spaces is the following: if C is a closed non-empty convex subset of the reflexive space X, then for every x in X there exists a c in C such that ǁx − cǁ minimizes the distance between x and points of C. This follows from the preceding result for convex functions, applied to f(y) = ǁy − xǁ. Note that while the minimal distance between x and C is uniquely defined by x, the point c is not. The closest point c is unique when X is uniformly convex.
Informally, a super-reflexive Banach space X has the following property: given an arbitrary Banach space Y, if all finite-dimensional subspaces of Y have a very similar copy sitting somewhere in X, then Y must be reflexive. By this definition, the space X itself must be reflexive. As an elementary example, every Banach space Y whose two dimensional subspaces are isometric to subspaces of X = ℓ2 satisfies the parallelogram law, hence Y is a Hilbert space, therefore Y is reflexive. So ℓ2 is super-reflexive.
The formal definition does not use isometries, but almost isometries. A Banach space Y is finitely representable in a Banach space X if for every finite-dimensional subspace Y0 of Y and every ε > 0, there is a subspace X0 of X such that the multiplicative Banach–Mazur distance between X0 and Y0 satisfies
A Banach space finitely representable in ℓ2 is a Hilbert space. Every Banach space is finitely representable in c0. The space Lp([0, 1]) is finitely representable in ℓp.
A Banach space X is super-reflexive if all Banach spaces Y finitely representable in X are reflexive, or, in other words, if no non-reflexive space Y is finitely representable in X. The notion of ultraproduct of a family of Banach spaces allows for a concise definition: the Banach space X is super-reflexive when its ultrapowers are reflexive.
James proved that a space is super-reflexive if and only if its dual is super-reflexive.
Finite trees in Banach spaces
One of James' characterizations of super-reflexivity uses the growth of separated trees. The description of a vectorial binary tree begins with a rooted binary tree labeled by vectors: a tree of height n in a Banach space X is a family of 2n + 1 − 1 vectors of X, that can be organized in successive levels, starting with level 0 that consists of a single vector x∅, the root of the tree, followed, for k = 1, …, n, by a family of 2k vectors forming level k:
that are the children of vertices of level k − 1. In addition to the tree structure, it is required here that each vector that is an internal vertex of the tree be the midpoint between its two children:
Given a positive real number t, the tree is said to be t-separated if for every internal vertex, the two children are t-separated in the given space norm:
Theorem. The Banach space X is super-reflexive if and only if for every t ∈ (0, 2], there is a number n(t) such that every t-separated tree contained in the unit ball of X has height less than n(t).
Uniformly convex spaces are super-reflexive. Let X be uniformly convex, with modulus of convexity δX and let t be a real number in (0, 2]. By the properties of the modulus of convexity, a t-separated tree of height n, contained in the unit ball, must have all points of level n − 1 contained in the ball of radius 1 − δX(t) < 1. By induction, it follows that all points of level n − j are contained in the ball of radius
If the height n was so large that
then the two points x1, x−1 of the first level could not be t-separated, contrary to the assumption. This gives the required bound n(t), function of δX(t) only.
Using the tree-characterization, Enflo proved that super-reflexive Banach spaces admit an equivalent uniformly convex norm. Trees in a Banach space are a special instance of vector-valued martingales. Adding techniques from scalar martingale theory, Pisier improved Enflo's result by showing that a super-reflexive space X admits an equivalent uniformly convex norm for which the modulus of convexity satisfies, for some constant c > 0 and some real number q ≥ 2,
Reflexive locally convex spaces
The notion of reflexive Banach space can be generalized to topological vector spaces in the following way.
Let be a topological vector space over a number field ( or ). Consider its strong dual space , which consists of all continuous linear functionals and is equipped with the strong topology , i.e., the topology of uniform convergence on bounded subsets in . The space is a topological vector space (to be more precise, a locally convex space), so one can consider its strong dual space , which is called the strong bidual space for . It consists of all continuous linear functionals and is equipped with the strong topology . Each vector generates a map by the following formula:
This is a continuous linear functional on , i.e., . One obtains a map called evaluation map:
This map is linear. If is locally convex, from the Hahn-Banach theorem it follows that is injective and open (i.e., for each neighbourhood of zero in there is a neighbourhood of zero in such that ). But it can be non-surjective and/or discontinuous.
A locally convex space is called
- - semi-reflexive if the evaluation map is surjective,
- - reflexive if the evaluation map is surjective and continuous (in this case is an isomorphism of topological vector spaces).
1) Every finite-dimensional Hausdorff topological vector space is reflexive, because J is bijective by linear algebra, and because there is a unique Hausdorff vector space topology on a finite dimensional vector space.
2) A normed space is reflexive as a normed space if and only if it is reflexive as a locally convex space. This follows from the fact that for a normed space its dual normed space coincides as a topological vector space with the strong dual space . As a corollary, the evaluation map coincides with the evaluation map , and the following conditions become equivalent:
- (i) is a reflexive normed space (i.e. is an isomorphism of normed spaces),
- (ii) is a reflexive locally convex space (i.e. is an isomorphism of topological vector spaces),
- (iii) is a semi-reflexive locally convex space (i.e. is surjective).
3) A (somewhat artificial) example of a semi-reflexive space that is not reflexive is obtained as follows: let Y be an infinite dimensional reflexive Banach space, and let X be the topological vector space (Y, σ(Y, Y ′)), that is, the vector space Y equipped with the weak topology. Then the continuous dual of X and Y ′ are the same set of functionals, and bounded subsets of X (i.e., weakly bounded subsets of Y) are norm-bounded, hence the Banach space Y ′ is the strong dual of X. Since Y is reflexive, the continuous dual of X ′ = Y ′ is equal to the image J(X) of X under the canonical embedding J, but the topology on X (the weak topology of Y) is not the strong topology β(X, X ′), that is equal to the norm topology of Y.
- the space of smooth functions on arbitrary (real) smooth manifold , and its strong dual space of distributions with compact support on ,
- the space of smooth functions with compact support on arbitrary (real) smooth manifold , and its strong dual space of distributions on ,
- the space of holomorphic functions on arbitrary complex manifold , and its strong dual space of analytic functionals on ,
- the Schwartz space on , and its strong dual space of tempered distributions on .
Stereotype spaces and other versions of reflexivity
Among all locally convex spaces (even among all Banach spaces) used in functional analysis the class of reflexive spaces is too narrow to represent a self-sufficient category in any sense. On the other hand, the idea of duality reflected in this notion is so natural that it gives rise to intuitive expectations that appropriate changes in the definition of reflexivity can lead to another notion, more convenient for some goals of mathematics. One of such goals is the idea of approaching analysis to the other parts of mathematics, like algebra and geometry, by reformulating its results in the purely algebraic language of category theory.
This program is being worked out in the theory of stereotype spaces, which are defined as topological vector spaces satisfying a similar condition of reflexivity, but with the topology of uniform convergence on totally bounded subsets (instead of bounded subsets) in the definition of dual space X’. More precisely, a topological vector space is called stereotype if the evaluation map into the stereotype second dual space
is an isomorphism of topological vector spaces. Here the stereotype dual space is defined as the space of continuous linear functionls endowed with the topology of uniform convergence totally bounded sets in (and the stereotype second dual space is the space dual to in the same sense).
In contrast to the classical reflexive spaces the class Ste of stereotype spaces is very wide (it contains, in particular, all Fréchet spaces and thus, all Banach spaces), it forms a closed monoidal category, and it admits standard operations (defined inside of Ste) of constructing new spaces, like taking closed subspaces, quotient spaces, projective and injective limits, the space of operators, tensor products, etc. The category Ste have applications in duality theory for non-commutative groups.
Similarly, one can replace the class of bounded (and totally bounded) subsets in X in the definition of dual space X’, by other classes of subsets, for example, by the class of compact subsets in X -- the spaces defined by the corresponding reflexivity condition are called reflective, and they form an even wider class than Ste, but it is not clear (2012), whether this class forms a category with properties similar to those of Ste.
- A generalization which has some of the properties of reflexive spaces and includes many spaces of practical importance is the concept of Grothendieck space.
- Reflexive operator algebra
- R. C. James (1951). "A non-reflexive Banach space isometric with its second conjugate space". Proc. Natl. Acad. Sci. U.S.A. 37: 174–177.
- Proposition 1.11.8, p. 99 in Megginson (1998).
- pp. 104–105 in Megginson (1998).
- Corollary 1.11.17, p. 104 in Megginson (1998).
- Conway, Theorem V.4.2, p. 135.
- Since weak compactness and weak sequential compactness coincide by the Eberlein–Šmulian theorem.
- Theorem 1.13.11, p. 125 in Megginson (1998).
- Theorem 2.5.16, p. 216 in Megginson (1998).
- Theorem 1.12.11, p. 112 and Corollary 1.12.12, p. 113 in Megginson (1998).
- see this characterization of Hilbert space among Banach spaces
- James, Robert C. (1972), "Super-reflexive Banach spaces", Canad. J. Math. 24:896–904.
- Dacunha-Castelle, Didier; Krivine, Jean-Louis (1972), "Applications des ultraproduits à l'étude des espaces et des algèbres de Banach" (in French), Studia Math. 41:315–334.
- see James (1972).
- Enflo, Per (1973), "Banach spaces which can be given an equivalent uniformly convex norm", Israel J. Math. 13:281–288.
- Pisier, Gilles (1975), "Martingales with values in uniformly convex spaces", Israel J. Math. 20:326–350.
- Schaefer (1966, 5.6, 5.5)
- Edwards (1965, 8.4.7).
- Garibay Bonales, F.; Trigos-Arrieta, F.J., Vera Mendoza, R. (2002). "A characterization of Pontryagin-van Kampen duality for locally convex spaces". Topology and its Applications 121: 75–89.
- Akbarov, S. S.; Shavgulidze, E. T. (2003). "On two classes of spaces reflexive in the sense of Pontryagin". Mat. Sbornik 194 (10): 3–26.
- J.B. Conway, A Course in Functional Analysis, Springer, 1985.
- James, Robert C. (1972), Some self-dual properties of normed linear spaces. Symposium on Infinite-Dimensional Topology (Louisiana State Univ., Baton Rouge, La., 1967), Ann. of Math. Studies 69, Princeton, N.J.: Princeton Univ. Press, pp. 159–175.
- Megginson, Robert E. (1998), An introduction to Banach space theory, Graduate Texts in Mathematics 183, New York: Springer-Verlag, pp. xx+596, ISBN 0-387-98431-3.
- Schaefer, Helmuth H. (1966), Topological vector spaces, New York: The MacMillan Company, ISBN 0-387-98726-6
- Kolmogorov, A.N.; Fomin, S.V. (1957). Elements of the Theory of Functions and Functional Analysis, Volume 1: Metric and Normed Spaces. Rochester: Graylock Press.
- Rudin, Walter (1991), Functional analysis, McGraw-Hill Science, ISBN 978-0-07-054236-5
- Edwards, R.E. (1965), Functional analysis. Theory and applications, New York: Holt, Rinehart and Winston