In functional analysis and related areas of mathematics, stereotype spaces are topological vector spaces defined by a special variant of reflexivity condition. They form a class of spaces with a series of remarkable properties, in particular, this class is very wide (for instance, it contains all Fréchet spaces and thus, all Banach spaces), it consists of spaces satisfying a natural condition of completeness, and it forms a *-autonomous category with the standard analytical tools for constructing new spaces, like taking dual space, space of operators, tensor products, and in addition, immediate subspace, immediate quotient space, products and coproducts, limits and colimits, etc.
- 1 Definition
- 2 Examples
- 3 History
- 4 Pseudocompletion and pseudosaturation
- 5 Immediate subspaces and immediate quotient spaces
- 6 Category Ste of stereotype spaces
- 7 Applications
- 8 See also
- 9 Notes
- 10 External links
- 11 References
is an isomorphism of topological vector spaces (i.e. a linear and a homeomorphic map). Here the dual space is defined as the space of all linear continuous functionals endowed with the topology of uniform convergence on totally bounded sets in , and the second dual space is the space dual to in the same sense.
The property of being pseudocomplete is a weakening of the usual notion of completeness, while the property of being pseudosaturated is a weakening of the notion of barreledness of a topological vector space.
The class Ste of stereotype spaces is extremely wide, so that it will not be a serious exaggeration to say that all topological vector spaces really used in analysis are stereotype. Each pseudocomplete barreled space (in particular, each Banach space and each Fréchet space) is stereotype. Its dual space (which is not barreled, unless is a Montel space) is stereotype as well. There exist stereotype spaces which are not Mackey spaces.
Some simple connections between the properties of a stereotype space and those of its dual space are expressed in the following list of regularities:
- is quasi-barreled in if a set is absorbed by each barrel, then is totally bounded;
- is a Mackey space in every -weakly compact set is compact;
- is a space with a weak topology in every compact set is finite-dimensional;
- is separable in there is a sequence of closed subspaces of finite co-dimension with trivial intersection: .
- is a Pták space in a subspace is closed if it has the closed intersection with each compact set ;
- is hypercomplete in an absolutely convex set is closed if it has the closed intersection with each compact set .
- If a metrizable locally convex space is not complete, then it is not stereotype.
- Each infinite dimensional normed space considered with the -weak topology is not stereotype.
The first results on this type of reflexivity of topological vector spaces were obtained by M. F. Smith in 1952. Further investigations were conducted by B. S. Brudovskii,  W. C. Waterhouse, K. Brauner, S. S. Akbarov, and E. T. Shavgulidze. The term "stereotype space" was introduced by S. S. Akbarov in 1995. The main properties of the category of stereotype spaces were described by S. S. Akbarov in his series of works of 1995-2017.
Pseudocompletion and pseudosaturation
1. With any locally convex space , one can associate a linear continuous map into some pseudocomplete locally convex space , called pseudocompletion of , in such a way that the following conditions are fulfilled:
- is pseudocomplete if and only if is an isomorphism;
- for any linear continuous map of locally convex spaces, there exists a unique linear continuous map such that .
One can imagine the pseudocompletion of as the "nearest to from the outside" pseudocomplete locally convex space, so that the operation adds to some supplementary elements, but does not change the topology of (like the usual operation of completion).
2. With any locally convex space , one can associate a linear continuous map from some pseudosaturated locally convex space , called pseudosaturation of , in such a way that the following conditions are fulfilled:
- is pseudosaturated if and only if is an isomorphism;
- for any linear continuous map of locally convex spaces, there exists a unique linear continuous map such that .
The pseudosaturation of can be imagined as the "nearest to from the inside" pseudosaturated locally convex space, so that the operation strengthens the topology of , but does not change the elements of .
If is a pseudocomplete locally convex space, then its pseudosaturation is stereotype. Dually, if is a pseudosaturated locally convex space, then its pseudocompletion is stereotype. For arbitrary locally convex space the spaces and are stereotype.
Immediate subspaces and immediate quotient spaces
The idea of subspace (and of quotient space) in stereotype theory leads to more complicated results than in the theory of locally convex spaces.
Immediate subspaces and envelopes
The notion of immediate subspace gives a "concrete description" of the abstract notion of immediate monomorphism, or, what is equivalent in this situation, strong monomorphism in the category Ste. Surprisingly, this description does not coincide with the construction of closed subspace in the category LocConv of locally convex spaces.
- Suppose is a subset in a stereotype space endowed with a structure of a stereotype space in such a way that the set-theoretic inclusion is a morphism of stereotype spaces (i.e. a continuous linear map). Then is called a subspace of the stereotype space , with the notation
- Suppose we have a chain of stereotype subspaces
- and the first mapping is a bimorphism of stereotype spaces. Then the space is called a mediator of the subspace in the space .
- A subspace in a stereotype space is called an immediate subspace in , with the notation
- if it has no non-trivial mediators, i.e. for any mediator of in the inclusion is an isomorphism.
- An immediate subspace in a stereotype space is said to be closed, if (as a set) is closed in (as a topological space). If is a closed subspace in a stereotype space (as in a locally convex space), then its pseudosaturation is a closed immediate subspace in . All closed immediate subspaces have this form.
- There are stereotype spaces with closed immediate subspaces whose topology is not inherited from  (this is one of the qualitative differences with the category LocConv of locally convex spaces).
- In contrast to the category LocConv of locally convex spaces in the category Ste the immediate subspaces are not always closed.
Theorem. For any set in a stereotype space there is a minimal immediate subspace in , containing :
- (ii) ,
and this subspace is an immediate subspace in each immediate subspace, containing :
- (iii) ,
- The subspace is called an envelope of the set in the stereotype space .
If denotes the space of all functions with finite support, endowed with the strongest locally convex topology, and the mapping acts by the formula , then the envelope coincides with the abstract categorical envelope of the space in the class of all epimorphisms in the category Ste with respect to the morphism :
Immediate quotient spaces and refinements
Dually, the notion of immediate quotient space gives a "concrete description" of the abstract notion of immediate epimorphism, or, what is equivalent here, strong epimorphism in the category Ste. Like in the situation with monomorphisms, this description does not coincide with the construction of quotient space in the category LocConv of locally convex spaces.
- Let be a closed subspace (in the usual sense) in a stereotype space . Consider a topology on the quotient space , which is majorized by the usual quotient topology of . Let be a completion of with respect to the topology . Suppose is a subset in the locally convex space which contains and at the same time is a stereotype space. Then is called a quotient space of the stereotype space , with the notation
- Suppose we have two quotient spaces and . It is said that the subordinates (notation: ) if there is a morphism such that (where and are the natural mappings).
- Suppose that the quotient space subordinates the quotient space (i.e. ) and the corresponding morphism is a bimorphism. Then the quotient space is called a mediator of the quotient space of the space .
- A quotient space of a stereotype space is called an immediate quotient space of , with the notation
- if it has no non-trivial mediators, i.e. for any mediator of the morphism is an isomorphism.
- An immediate quotient space of a stereotype space is said to be open, if the corresponding map is open. If is a closed subspace in a stereotype space , then the pseudocompletion of the (locally convex) quotient space is an open immediate quotient space of . All open immediate quotient spaces have this form.
- There are stereotype spaces with immediate quotient spaces which cannot be represented in the form .
- In contrast to the category LocConv of locally convex spaces in the category Ste immediate quotient spaces are not always open.
Theorem. For any set of linear continuous functionals on a stereotype space there is a minimal immediate quotient space of to which all functionals can be extended:
- (ii) ,
and this quotient space is (up to an isomorphism) an immediate quotient space of each immediate quotient space, to which the functionals are extended:
- (iii) .
- The quotient space is called a refinement of the set on the stereotype space .
If denotes the space of all functions , endowed with the topology of pointwise convergence, and the mapping acts by the formula , then the refinement coincides with the abstract categorical refinement of the space in the class of all monomorphisms in the category Ste by means of the morphism :
Category Ste of stereotype spaces
The class Ste of stereotype spaces forms a category with linear continuous maps as morphisms and possesses the following properties:
Kernel and cokernel in the category Ste
and a cokernel
As a corollary, has an image and a coimage as well. The following natural identities hold:
where denotes the pseudosaturation of the annihilator of the subspace in the dual space :
Ste as a *-autonomous category
For any two stereotype spaces and the stereotype space of operators from into , is defined as the pseudosaturation of the space of all linear continuous maps endowed with the topology of uniform convergeance on totally bounded sets. The space is stereotype. It defines two natural tensor products
In particular, Ste is a symmetric monoidal category with respect to the bifunctor , a symmetric closed monoidal category with respect to the bifunctor and the internal hom-functor , and a *-autonomous category:
Limits and colimits in the category Ste
and a colimit, , which coincides with the pseudosaturation of the corresponding colimit in LocConv
If and are stereotype spaces then for each elements and the formula
defines an elementary tensor , and the formula
defines an elementary tensor
Theorem. For each stereotype spaces and there is a unique linear continuous map which turns elementary tensors into elementary tensors :
The family of maps defines a natural transformation of the bifunctor into the bifunctor .
- The map is called the Grothendieck transformation.
Stereotype approximation property
A stereotype space is said to have the stereotype approximation property, if each linear continuous map can be approximated in the stereotype space of operators by the linear continuous maps of finite rank. This condition is weaker than the existence of the Schauder basis, but formally stronger than the classical approximation property (however, it is not clear (2017) whether the stereotype approximation property coincides with the classical one, or not).
Theorem. For a stereotype space the following conditions are equivalent:
- (i) has the stereotype approximation property;
- (ii) the Grothendieck transformation is a monomorphism (in the category Ste);
- (iii) the Grothendieck transformation is an epimorphism (in the category Ste);
- (iv) for any stereotype space the Grothendieck transformation is a monomorphism (in the category Ste);
- (v) for any stereotype space the Grothendieck transformation is an epimorphism (in the category Ste).
Theorem. If two stereotype spaces and have the stereotype approximation property, then the spaces , and have the stereotype approximation property as well.
In particular, if has the stereotype approximation property, then the same is true for and for .
Being a symmetric monoidal category, Ste generates the notions of a stereotype algebra (as a monoid in Ste) and a stereotype module (as a module in Ste over such a monoid), and for each stereotype algebra the categories Ste and Ste of left and right stereotype modules over are enriched categories over Ste. This distinguishes the category Ste from the other known categories of locally convex spaces, since up to the recent time only the category Ban of Banach spaces and the category Fin of finite-dimensional spaces had been known to possess this property. On the other hand, the category Ste is so wide, and the tools for creating new spaces in Ste are so diverse, that this suggests the idea that all the results of functional analysis can be reformulated inside the stereotype theory without essential losses. On this way one can even try to completely replace the category of locally convex spaces in analysis (and in related areas) by the category Ste of stereotype spaces with the view of possible simplifications – this program was announced by S. Akbarov in 2005 and the following results can be considered as evidences of its reasonableness:
- In the theory of stereotype spaces the approximation property is inherited by the spaces of operators and by tensor products. This allows to reduce the list of counterexamples in comparison with the Banach theory, where as is known the space of operators does not inherit the approximation property.
- The arising theory of stereotype algebras allows to simplify constructions in the duality theories for non-commutative groups. In particular, the group algebras (and their envelopes in the necessary cases) in these theories become Hopf algebras in the standard algebraic sense.
- This in its turn leads to a family of generalizations of the Pontryagin duality based on the notion of envelope: the holomorphic, the smooth and the continuous envelopes of stereotype algebras give rise respectively to the holomorphic, the smooth and the continuous dualities in big geometric disciplines – complex geometry, differential geometry, and topology – for certain classes of (not necessarily commutative) topological groups considered in these disciplines (affine algebraic groups, and some classes of Lie groups and Moore groups).
- Stereotype algebra
- Stereotype group algebra
- Reflexive space
- Duality (mathematics)
- Pontryagin duality
- Envelope (category theory)
- Refinement (category theory)
- Brauner space
- Smith space
- Akbarov 2003, p. 219.
- ...or over the field of real numbers, with the similar definition.
- Akbarov 2003, p. 219, 220.
- A set is said to be capacious if for each totally bounded set there is a finite set such that .
- Akbarov 2005.
- Of course, this is a general fact: if is stereotype then is also stereotype.
- Akbarov 2003, p. 221.
- A locally convex space is called co-complete if each linear functional which is continuous on every totally bounded set , is automatically continuous on the whole space .
- A locally convex space is said to be saturated if for an absolutely convex set being a neighbourhood of zero in is equivalent to the following: for each totally bounded set there is a closed neighbourhood of zero in such that .
- A locally convex space is called a Pták space, or a fully complete space, if in its dual space a subspace is -weakly closed when it has -weakly closed intersection with the polar of each neighbourhood of zero .
- A locally convex space is said to be hypercomplete if in its dual space every absolutely convex space is -weakly closed if it has -weakly closed intersection with the polar of each neighbourhood of zero .
- Smith 1952.
- Onishchik 1984.
- Brudovski 1967.
- Waterhouse 1968.
- Brauner 1973.
- Akbarov 2003.
- Akbarov 2009.
- Akbarov 2016.
- Akbarov 2017.
- Akbarov & Shavgulidze 2003.
- Akbarov 1995.
- Akbarov 2003, p. 197, 200.
- It is not clear (2017) whether and coincide.
- A monomorphism is said to be immediate if in each representation , where is a monomorphism and is an epimorphism, the morphism is automatically an isomorphism.
- Akbarov 2016, p. 39.
- In other words, in this case the topology of inherited from is not pseudosaturated.
- Akbarov 2016, p. 128.
- Akbarov 2016, p. 134.
- Akbarov 2016, p. 131.
- I.e. the linear span of is dense in (as in a locally convex space).
- Akbarov 2016, p. 144.
- An epimorphism is said to be immediate if in each representation , where is a monomorphism and is an epimorphism, the morphism is automatically an isomorphism.
- A linear map is said to be open, if for each neighborhood of zero there is a neighborhood of zero such that .
- Akbarov 2016, p. 138.
- Akbarov 2016, p. 140.
- This proposition is dual to the corresponding theorem on envelopes in stereotype spaces.
- I.e. if , then there exists such that .
- Akbarov 2003, p. 224.
- Akbarov 2003, p. 226.
- Akbarov 2003, p. 220.
- Akbarov 2016, p. 142.
- Akbarov 2003, p. 245.
- Akbarov 2017, p. 581.
- Akbarov 2003, p. 246.
- Akbarov 2003, p. 264.
- Akbarov 2003, p. 265.
- Akbarov 2003, p. 289.
- Szankowski 1981.
- Akbarov 2003, p. 278.
- Akbarov 2009, p. 507.
- Kuznetsova 2013.
- Onishchik, A.L. (1984). "Pontrjagin duality". Encyclopedia of Mathematics. 4: 481–482. ISBN 1402006098.
- Smith, M.F. (1952). "The Pontrjagin duality theorem in linear spaces". Annals of Mathematics. 56 (2): 248–253. doi:10.2307/1969798. JSTOR 1969798.
- Brudovski, B.S. (1967). "On k- and c-reflexivity of locally convex vector spaces". Lithuanian Mathematical Journal. 7 (1): 17–21.
- Waterhouse, W.C. (1968). "Dual groups of vector spaces". Pac. J. Math. 26 (1): 193–196. doi:10.2140/pjm.1968.26.193.
- Brauner, K. (1973). "Duals of Fréchet spaces and a generalization of the Banach–Dieudonné theorem". Duke Math. Jour. 40 (4): 845–855. doi:10.1215/S0012-7094-73-04078-7.
- Akbarov, S.S. (1995). "Pontryagin duality in the theory of topological vector spaces". Mathematical Notes. 57 (3): 319–322. doi:10.1007/BF02303980.
- Akbarov, S.S. (2003). "Pontryagin duality in the theory of topological vector spaces and in topological algebra". Journal of Mathematical Sciences. 113 (2): 179–349. doi:10.1023/A:1020929201133.
- Akbarov, S.S. (2009). "Holomorphic functions of exponential type and duality for Stein groups with algebraic connected component of identity". Journal of Mathematical Sciences. 162 (4): 459–586. arXiv: . doi:10.1007/s10958-009-9646-1.
- Akbarov, S.S. (2016). "Envelopes and refinements in categories, with applications to functional analysis". Dissertationes Mathematicae. 513: 1–188. arXiv: . doi:10.4064/dm702-12-2015.
- Akbarov, S.S.; Shavgulidze, E.T. (2003). "On two classes of spaces reflexive in the sense of Pontryagin". Mat. Sbornik. 194 (10): 3–26.
- Akbarov, S.S. (2017). "Continuous and smooth envelopes of topological algebras. Part 1". Journal of Mathematical Sciences. 227 (5): 531–668. arXiv: . doi:10.1007/s10958-017-3599-6.
- Akbarov, S.S. (2017). "Continuous and smooth envelopes of topological algebras. Part 2". Journal of Mathematical Sciences. 227 (6): 669–789. arXiv: . doi:10.1007/s10958-017-3600-4.
- Kuznetsova, Y. (2013). "A duality for Moore groups". Journal of Operator Theory. 69 (2): 101–130. arXiv: . Bibcode:2009arXiv0907.1409K. doi:10.7900/jot.2011mar17.1920.
- Akbarov, S.S. (2005). "Pontryagin duality and topological algebras". Banach Center Publications. 67: 55–71. doi:10.4064/bc67-0-5.
- Szankowski, A. (1981). "B(H) does not have the approximation property". Acta Math. 147: 89–108. doi:10.1007/bf02392870.