Semi-reflexive space

Last updated

In the area of mathematics known as functional analysis, a semi-reflexive space is a locally convex topological vector space (TVS) X such that the canonical evaluation map from X into its bidual (which is the strong dual of X) is bijective. If this map is also an isomorphism of TVSs then it is called reflexive .

Contents

Semi-reflexive spaces play an important role in the general theory of locally convex TVSs. Since a normable TVS is semi-reflexive if and only if it is reflexive, the concept of semi-reflexivity is primarily used with TVSs that are not normable.

Definition and notation

Brief definition

Suppose that X is a topological vector space (TVS) over the field (which is either the real or complex numbers) whose continuous dual space, , separates points on X (i.e. for any there exists some such that ). Let and both denote the strong dual of X, which is the vector space of continuous linear functionals on X endowed with the topology of uniform convergence on bounded subsets of 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 is a normed space, then the strong dual of X is the continuous dual space with its usual norm topology. The bidual of X, denoted by , is the strong dual of ; that is, it is the space . [1]

For any let be defined by , where is called the evaluation map at x; since is necessarily continuous, it follows that . Since separates points on X, the map defined by is injective where this map is called the evaluation map or the canonical map. This map was introduced by Hans Hahn in 1927. [2]

We call Xsemireflexive if is bijective (or equivalently, surjective) and we call X reflexive if in addition is an isomorphism of TVSs. [1] If X is a normed space then J is a TVS-embedding as well as an isometry onto its range; furthermore, by Goldstine's theorem (proved in 1938), the range of J is a dense subset of the bidual . [2] A normable space is reflexive if and only if it is semi-reflexive. A Banach space is reflexive if and only if its closed unit ball is -compact. [2]

Detailed definition

Let X be a topological vector space over a number field (of real numbers or complex numbers ). Consider its strong dual space , which consists of all continuous linear functionals and is equipped with the strong topology , that is, the topology of uniform convergence on bounded subsets in X. 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 X. 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 , that is, . One obtains a map called the evaluation map or the canonical injection:

which is a linear map. If X is locally convex, from the Hahn–Banach theorem it follows that J is injective and open (that is, for each neighbourhood of zero in X there is a neighbourhood of zero V 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 (hence bijective); it is called reflexive if the evaluation map is surjective and continuous, in which case J will be an isomorphism of TVSs).

Characterizations of semi-reflexive spaces

If X is a Hausdorff locally convex space then the following are equivalent:

  1. X is semireflexive;
  2. the weak topology on X had the Heine-Borel property (that is, for the weak topology , every closed and bounded subset of is weakly compact). [1]
  3. If linear form on that continuous when has the strong dual topology, then it is continuous when has the weak topology; [3]
  4. is barrelled, where the indicates the Mackey topology on ; [3]
  5. X weak the weak topology is quasi-complete. [3]

Theorem [4]   A locally convex Hausdorff space is semi-reflexive if and only if with the -topology has the Heine–Borel property (i.e. weakly closed and bounded subsets of are weakly compact).

Sufficient conditions

Every semi-Montel space is semi-reflexive and every Montel space is reflexive.

Properties

If is a Hausdorff locally convex space then the canonical injection from into its bidual is a topological embedding if and only if is infrabarrelled. [5]

The strong dual of a semireflexive space is barrelled. Every semi-reflexive space is quasi-complete. [3] Every semi-reflexive normed space is a reflexive Banach space. [6] The strong dual of a semireflexive space is barrelled. [7]

Reflexive spaces

If X is a Hausdorff locally convex space then the following are equivalent:

  1. X is reflexive;
  2. X is semireflexive and barrelled;
  3. X is barrelled and the weak topology on X had the Heine-Borel property (which means that for the weak topology , every closed and bounded subset of is weakly compact). [1]
  4. X is semireflexive and quasibarrelled. [8]

If X is a normed space then the following are equivalent:

  1. X is reflexive;
  2. the closed unit ball is compact when X has the weak topology . [9]
  3. X is a Banach space and is reflexive. [10]

Examples

Every non-reflexive infinite-dimensional Banach space is a distinguished space that is not semi-reflexive. [11] If is a dense proper vector subspace of a reflexive Banach space then is a normed space that not semi-reflexive but its strong dual space is a reflexive Banach space. [11] There exists a semi-reflexive countably barrelled space that is not barrelled. [11]

See also

Citations

    Bibliography

    Related Research Articles

    In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

    <span class="mw-page-title-main">Normed vector space</span> Vector space on which a distance is defined

    In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined. A norm is a generalization of the intuitive notion of "length" in the physical world. If is a vector space over , where is a field equal to or to , then a norm on is a map , typically denoted by , satisfying the following four axioms:

    1. Non-negativity: for every ,.
    2. Positive definiteness: for every , if and only if is the zero vector.
    3. Absolute homogeneity: for every and ,
    4. Triangle inequality: for every and ,

    In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

    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 into its bidual is a homeomorphism. A normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this 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 functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

    In the mathematical field of functional analysis there are several standard topologies which are given to the algebra B(X) of bounded linear operators on a Banach space X.

    In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak-* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

    In functional analysis and related areas of mathematics, a barrelled space is a topological vector space (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector. A barrelled set or a barrel in a topological vector space is a set that is convex, balanced, absorbing, and closed. Barrelled spaces are studied because a form of the Banach–Steinhaus theorem still holds for them. Barrelled spaces were introduced by Bourbaki.

    In functional and convex analysis, and related disciplines of mathematics, the polar set is a special convex set associated to any subset of a vector space lying in the dual space The bipolar of a subset is the polar of but lies in .

    In mathematics, an LF-space, also written (LF)-space, is a topological vector space (TVS) X that is a locally convex inductive limit of a countable inductive system of Fréchet spaces. This means that X is a direct limit of a direct system in the category of locally convex topological vector spaces and each is a Fréchet space. The name LF stands for Limit of Fréchet spaces.

    In mathematics, nuclear spaces are topological vector spaces that can be viewed as a generalization of finite-dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite different from Hilbert spaces, another generalization of finite-dimensional Euclidean spaces. They were introduced by Alexander Grothendieck.

    In mathematics, particularly functional analysis, spaces of linear maps between two vector spaces can be endowed with a variety of topologies. Studying space of linear maps and these topologies can give insight into the spaces themselves.

    The theorem on the surjection of Fréchet spaces is an important theorem, due to Stefan Banach, that characterizes when a continuous linear operator between Fréchet spaces is surjective.

    In functional analysis, an area of mathematics, the projective tensor product of two locally convex topological vector spaces is a natural topological vector space structure on their tensor product. Namely, given locally convex topological vector spaces and , the projective topology, or π-topology, on is the strongest topology which makes a locally convex topological vector space such that the canonical map is continuous. When equipped with this topology, is denoted and called the projective tensor product of and .

    In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS without any need to extend definitions from real/complex-valued functions to -valued functions.

    In mathematics, nuclear operators are an important class of linear operators introduced by Alexander Grothendieck in his doctoral dissertation. Nuclear operators are intimately tied to the projective tensor product of two topological vector spaces (TVSs).

    In mathematics, a dual system, dual pair or a duality over a field is a triple consisting of two vector spaces and over and a non-degenerate bilinear map .

    In functional analysis and related areas of mathematics, the strong dual space of a topological vector space (TVS) is the continuous dual space of equipped with the strong (dual) topology or the topology of uniform convergence on bounded subsets of where this topology is denoted by or The coarsest polar topology is called weak topology. The strong dual space plays such an important role in modern functional analysis, that the continuous dual space is usually assumed to have the strong dual topology unless indicated otherwise. To emphasize that the continuous dual space, has the strong dual topology, or may be written.

    In mathematics, specifically in order theory and functional analysis, a locally convex vector lattice (LCVL) is a topological vector lattice that is also a locally convex space. LCVLs are important in the theory of topological vector lattices.

    In functional analysis and related areas of mathematics, distinguished spaces are topological vector spaces (TVSs) having the property that weak-* bounded subsets of their biduals are contained in the weak-* closure of some bounded subset of the bidual.