# Stereotype space

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.

Mutual embeddings of the main classes of locally convex spaces.

## Definition

A stereotype space[1] is a topological vector space ${\displaystyle X}$ over the field ${\displaystyle \mathbb {C} }$ of complex numbers[2] such that the natural map into the second dual space

${\displaystyle i:X\to X^{\star \star },\quad i(x)(f)=f(x),\quad x\in X,\quad f\in X^{\star }}$

is an isomorphism of topological vector spaces (i.e. a linear and a homeomorphic map). Here the dual space ${\displaystyle X^{\star }}$ is defined as the space of all linear continuous functionals ${\displaystyle f:X\to \mathbb {C} }$ endowed with the topology of uniform convergence on totally bounded sets in ${\displaystyle X}$, and the second dual space ${\displaystyle X^{\star \star }}$ is the space dual to ${\displaystyle X^{\star }}$ in the same sense.

The following criterion holds:[3] a topological vector space ${\displaystyle X}$ is stereotype if and only if it is locally convex and satisfies the following two conditions:

• pseudocompleteness: each totally bounded Cauchy net in ${\displaystyle X}$ converges,
• pseudosaturateness: each closed convex balanced capacious[4] set ${\displaystyle D}$ in ${\displaystyle X}$ is a neighborhood of zero in ${\displaystyle X}$.

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.

## Examples

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.[5] Each pseudocomplete barreled space ${\displaystyle X}$ (in particular, each Banach space and each Fréchet space) is stereotype. Its dual space ${\displaystyle X^{\star }}$ (which is not barreled, unless ${\displaystyle X}$ is a Montel space) is stereotype as well[6]. There exist stereotype spaces which are not Mackey spaces.

Some simple connections between the properties of a stereotype space ${\displaystyle X}$ and those of its dual space ${\displaystyle X^{\star }}$ are expressed in the following list of regularities:[7]

• ${\displaystyle X}$ is a normed space ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X}$ is a Banach space ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ is a Smith space;
• ${\displaystyle X}$ is metrizable ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X}$ is a Fréchet space ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ is a Brauner space;
• ${\displaystyle X}$ is barreled ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ has the Heine-Borel property;
• ${\displaystyle X}$ is quasi-barreled ${\displaystyle \Longleftrightarrow }$ in ${\displaystyle X^{\star }}$ if a set ${\displaystyle T}$ is absorbed by each barrel, then ${\displaystyle T}$ is totally bounded;
• ${\displaystyle X}$ is a Mackey space ${\displaystyle \Longleftrightarrow }$ in ${\displaystyle X^{\star }}$ every ${\displaystyle X}$-weakly compact set is compact;
• ${\displaystyle X}$ is a Montel space ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X}$ is barreled and has the Heine-Borel property ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ is a Montel space;
• ${\displaystyle X}$ is a space with a weak topology ${\displaystyle \Longleftrightarrow }$ in ${\displaystyle X^{\star }}$ every compact set ${\displaystyle T}$ is finite-dimensional;
• ${\displaystyle X}$ is separable ${\displaystyle \Longleftrightarrow }$ in ${\displaystyle X^{\star }}$ there is a sequence of closed subspaces ${\displaystyle L_{n}}$ of finite co-dimension with trivial intersection: ${\displaystyle \bigcap _{n=1}^{\infty }L_{n}=\{0\}}$.
• ${\displaystyle X}$ has the (classical) approximation property ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ has the (classical) approximation property;
• ${\displaystyle X}$ is complete ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ is co-complete[8] ${\displaystyle \Longleftrightarrow }$ ${\displaystyle X^{\star }}$ is saturated;[9]
• ${\displaystyle X}$ is a Pták space[10] ${\displaystyle \Longleftrightarrow }$ in ${\displaystyle X^{\star }}$ a subspace ${\displaystyle L}$ is closed if it has the closed intersection ${\displaystyle L\cap K}$ with each compact set ${\displaystyle K\subseteq X^{\star }}$;
• ${\displaystyle X}$ is hypercomplete[11] ${\displaystyle \Longleftrightarrow }$ in ${\displaystyle X^{\star }}$ an absolutely convex set ${\displaystyle B}$ is closed if it has the closed intersection ${\displaystyle B\cap K}$ with each compact set ${\displaystyle K\subseteq X^{\star }}$.

Counterexamples:

1. If a metrizable locally convex space ${\displaystyle X}$ is not complete, then it is not stereotype.
2. Each infinite dimensional normed space ${\displaystyle X}$ considered with the ${\displaystyle X^{\star }}$-weak topology is not stereotype.

## History

The first results on this type of reflexivity of topological vector spaces were obtained by M. F. Smith[12][13] in 1952. Further investigations were conducted by B. S. Brudovskii, [14] W. C. Waterhouse,[15] K. Brauner,[16] S. S. Akbarov,[17][18][19][20] and E. T. Shavgulidze.[21] The term "stereotype space" was introduced by S. S. Akbarov in 1995[22]. 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

Each locally convex space ${\displaystyle X}$ can be transformed into a stereotype space with the help of two standard operations, pseudocompletion and pseudosaturation, defined by the following two propositions.[23]

1. With any locally convex space ${\displaystyle X}$, one can associate a linear continuous map ${\displaystyle \triangledown _{X}:X\to X^{\triangledown }}$ into some pseudocomplete locally convex space ${\displaystyle X^{\triangledown }}$, called pseudocompletion of ${\displaystyle X}$, in such a way that the following conditions are fulfilled:

• ${\displaystyle X}$ is pseudocomplete if and only if ${\displaystyle \triangledown _{X}:X\to X^{\triangledown }}$ is an isomorphism;
• for any linear continuous map ${\displaystyle \varphi :X\to Y}$ of locally convex spaces, there exists a unique linear continuous map ${\displaystyle \varphi ^{\triangledown }:X^{\triangledown }\to Y^{\triangledown }}$ such that ${\displaystyle \triangledown _{Y}\circ \varphi =\varphi ^{\triangledown }\circ \triangledown _{X}}$.

One can imagine the pseudocompletion of ${\displaystyle X}$ as the "nearest to ${\displaystyle X}$ from the outside" pseudocomplete locally convex space, so that the operation ${\displaystyle X\mapsto X^{\triangledown }}$ adds to ${\displaystyle X}$ some supplementary elements, but does not change the topology of ${\displaystyle X}$ (like the usual operation of completion).

2. With any locally convex space ${\displaystyle X}$, one can associate a linear continuous map ${\displaystyle \vartriangle _{X}:X^{\vartriangle }\to X}$ from some pseudosaturated locally convex space ${\displaystyle X^{\vartriangle }}$, called pseudosaturation of ${\displaystyle X}$, in such a way that the following conditions are fulfilled:

• ${\displaystyle X}$ is pseudosaturated if and only if ${\displaystyle \vartriangle _{X}:X^{\vartriangle }\to X}$ is an isomorphism;
• for any linear continuous map ${\displaystyle \varphi :X\to Y}$ of locally convex spaces, there exists a unique linear continuous map ${\displaystyle \varphi ^{\vartriangle }:X^{\vartriangle }\to Y^{\vartriangle }}$ such that ${\displaystyle \varphi \circ \vartriangle _{X}=\vartriangle _{Y}\circ \varphi ^{\vartriangle }}$.

The pseudosaturation of ${\displaystyle X}$ can be imagined as the "nearest to ${\displaystyle X}$ from the inside" pseudosaturated locally convex space, so that the operation ${\displaystyle X\mapsto X^{\vartriangle }}$ strengthens the topology of ${\displaystyle X}$, but does not change the elements of ${\displaystyle X}$.

If ${\displaystyle X}$ is a pseudocomplete locally convex space, then its pseudosaturation ${\displaystyle X^{\vartriangle }}$ is stereotype. Dually, if ${\displaystyle X}$ is a pseudosaturated locally convex space, then its pseudocompletion ${\displaystyle X^{\triangledown }}$ is stereotype. For arbitrary locally convex space ${\displaystyle X}$ the spaces ${\displaystyle X^{\vartriangle \triangledown }}$ and ${\displaystyle X^{\triangledown \vartriangle }}$ are stereotype.[24]

## 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[25], or, what is equivalent in this situation[26], 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 ${\displaystyle Y}$ is a subset in a stereotype space ${\displaystyle X}$ endowed with a structure of a stereotype space in such a way that the set-theoretic inclusion ${\displaystyle Y\subseteq X}$ is a morphism of stereotype spaces (i.e. a continuous linear map). Then ${\displaystyle Y}$ is called a subspace of the stereotype space ${\displaystyle X}$, with the notation
${\displaystyle Y\hookrightarrow X}$.
• Suppose we have a chain of stereotype subspaces
${\displaystyle Z\hookrightarrow Y\hookrightarrow X}$,
and the first mapping ${\displaystyle Z\hookrightarrow Y}$ is a bimorphism of stereotype spaces. Then the space ${\displaystyle Y}$ is called a mediator of the subspace ${\displaystyle Z}$ in the space ${\displaystyle X}$.
• A subspace ${\displaystyle Z}$ in a stereotype space ${\displaystyle X}$ is called an immediate subspace in ${\displaystyle X}$, with the notation
${\displaystyle Z{\overset {\circ }{\hookrightarrow }}X}$,
if it has no non-trivial mediators, i.e. for any mediator ${\displaystyle Y}$ of ${\displaystyle Z}$ in ${\displaystyle X}$ the inclusion ${\displaystyle Z\hookrightarrow Y}$ is an isomorphism.

Examples:

1. An immediate subspace ${\displaystyle Z}$ in a stereotype space ${\displaystyle X}$ is said to be closed, if ${\displaystyle Z}$ (as a set) is closed in ${\displaystyle X}$ (as a topological space). If ${\displaystyle Y}$ is a closed subspace in a stereotype space ${\displaystyle X}$ (as in a locally convex space), then its pseudosaturation ${\displaystyle Z=Y^{\vartriangle }}$ is a closed immediate subspace in ${\displaystyle X}$. All closed immediate subspaces have this form.
2. There are stereotype spaces ${\displaystyle X}$ with closed immediate subspaces ${\displaystyle Z=Y^{\vartriangle }}$ whose topology is not inherited from ${\displaystyle X}$[27] (this is one of the qualitative differences with the category LocConv of locally convex spaces).[28]
3. In contrast to the category LocConv of locally convex spaces in the category Ste the immediate subspaces are not always closed.[28]

Theorem.[29] For any set ${\displaystyle M}$ in a stereotype space ${\displaystyle X}$ there is a minimal immediate subspace ${\displaystyle \operatorname {Env} ^{X}M}$ in ${\displaystyle X}$, containing ${\displaystyle M}$:

(i) ${\displaystyle M\subseteq \operatorname {Env} ^{X}M{\overset {\circ }{\hookrightarrow }}X}$
(ii) ${\displaystyle \forall Z\quad (M\subseteq Z{\overset {\circ }{\hookrightarrow }}X\ \Rightarrow \ \operatorname {Env} ^{X}M\subseteq Z)}$,

and this subspace ${\displaystyle \operatorname {Env} ^{X}M}$ is an immediate subspace in each immediate subspace, containing ${\displaystyle M}$:

(iii) ${\displaystyle \forall Z\quad (M\subseteq Z{\overset {\circ }{\hookrightarrow }}X\ \Rightarrow \ \operatorname {Env} ^{X}M{\overset {\circ }{\hookrightarrow }}Z)}$,
• The subspace ${\displaystyle \operatorname {Env} ^{X}M}$ is called an envelope of the set ${\displaystyle M}$ in the stereotype space ${\displaystyle X}$.

Theorem.[30] Each set ${\displaystyle M}$ in a stereotype space ${\displaystyle X}$ is a total set[31] in its envelope ${\displaystyle \operatorname {Env} ^{X}M}$.

If ${\displaystyle {\mathbb {C} }_{M}}$ denotes the space of all functions ${\displaystyle \alpha :M\to {\mathbb {C} }}$ with finite support, endowed with the strongest locally convex topology, and the mapping ${\displaystyle \varphi :{\mathbb {C} }_{M}\to X}$ acts by the formula ${\displaystyle \varphi (\alpha )=\sum _{x\in M}\alpha (x)\cdot x}$, then the envelope ${\displaystyle \operatorname {Env} ^{X}M}$ coincides with the abstract categorical envelope of the space ${\displaystyle {\mathbb {C} }_{M}}$ in the class ${\displaystyle \operatorname {Epi} }$ of all epimorphisms in the category Ste with respect to the morphism ${\displaystyle \varphi }$:[32]

${\displaystyle \operatorname {Env} ^{X}M=\operatorname {Env} _{\varphi }^{\operatorname {Epi} }{\mathbb {C} }_{M}}$

### Immediate quotient spaces and refinements

Dually, the notion of immediate quotient space gives a "concrete description" of the abstract notion of immediate epimorphism[33], or, what is equivalent here[26], 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 ${\displaystyle E}$ be a closed subspace (in the usual sense) in a stereotype space ${\displaystyle X}$. Consider a topology ${\displaystyle \tau }$ on the quotient space ${\displaystyle X/E}$, which is majorized by the usual quotient topology of ${\displaystyle X/E}$. Let ${\displaystyle (X/E)^{\blacktriangledown }}$ be a completion of ${\displaystyle X/E}$ with respect to the topology ${\displaystyle \tau }$. Suppose ${\displaystyle Y}$ is a subset in the locally convex space ${\displaystyle (X/E)^{\blacktriangledown }}$ which contains ${\displaystyle X/E}$ and at the same time is a stereotype space. Then ${\displaystyle Y}$ is called a quotient space of the stereotype space ${\displaystyle X}$, with the notation
${\displaystyle X\rightarrowtail Y}$.
• Suppose we have two quotient spaces ${\displaystyle X\rightarrowtail Y}$ and ${\displaystyle X\rightarrowtail Z}$. It is said that the ${\displaystyle Y}$ subordinates ${\displaystyle Z}$ (notation: ${\displaystyle Y\geq Z}$) if there is a morphism ${\displaystyle \varkappa :Y\to Z}$ such that ${\displaystyle \upsilon _{Z}=\varkappa \circ \upsilon _{Y}}$ (where ${\displaystyle \upsilon _{Z}:X\to Z}$ and ${\displaystyle \upsilon _{Y}:X\to Y}$ are the natural mappings).
• Suppose that the quotient space ${\displaystyle X\rightarrowtail Y}$ subordinates the quotient space ${\displaystyle X\rightarrowtail Z}$ (i.e. ${\displaystyle Y\geq Z}$) and the corresponding morphism ${\displaystyle \varkappa :Y\to Z}$ is a bimorphism. Then the quotient space ${\displaystyle Y}$ is called a mediator of the quotient space ${\displaystyle Z}$ of the space ${\displaystyle X}$.
• A quotient space ${\displaystyle Z}$ of a stereotype space ${\displaystyle X}$ is called an immediate quotient space of ${\displaystyle X}$, with the notation
${\displaystyle X{\overset {\circ }{\rightarrowtail }}Z}$,
if it has no non-trivial mediators, i.e. for any mediator ${\displaystyle Y}$ of ${\displaystyle Z}$ the morphism ${\displaystyle \varkappa :Y\to Z}$ is an isomorphism.

Examples:

1. An immediate quotient space ${\displaystyle Z}$ of a stereotype space ${\displaystyle X}$ is said to be open, if the corresponding map ${\displaystyle X\to Z}$ is open[34]. If ${\displaystyle E}$ is a closed subspace in a stereotype space ${\displaystyle X}$, then the pseudocompletion ${\displaystyle Z=(X/E)^{\triangledown }}$ of the (locally convex) quotient space ${\displaystyle X/E}$ is an open immediate quotient space of ${\displaystyle X}$. All open immediate quotient spaces have this form.
2. There are stereotype spaces ${\displaystyle X}$ with immediate quotient spaces ${\displaystyle Z}$ which cannot be represented in the form ${\displaystyle Z=X/E}$.[35]
3. In contrast to the category LocConv of locally convex spaces in the category Ste immediate quotient spaces are not always open.[35]

Theorem.[36] For any set ${\displaystyle F}$ of linear continuous functionals on a stereotype space ${\displaystyle X}$ there is a minimal immediate quotient space ${\displaystyle \operatorname {Ref} ^{X}F}$ of ${\displaystyle X}$ to which all functionals ${\displaystyle F}$ can be extended:

(i) ${\displaystyle X{\overset {\circ }{\rightarrowtail }}\operatorname {Ref} ^{X}F\ \&\ (\operatorname {Ref} ^{X}F)^{\star }\supseteq F}$
(ii) ${\displaystyle \forall Z\quad {\big (}(X{\overset {\circ }{\rightarrowtail }}Z\ \&\ Z^{\star }\supseteq F)\ \Rightarrow \ Z\geq \operatorname {Ref} ^{X}F{\big )}}$,

and this quotient space ${\displaystyle \operatorname {Ref} ^{X}F}$ is (up to an isomorphism) an immediate quotient space of each immediate quotient space, to which the functionals ${\displaystyle F}$ are extended:

(iii) ${\displaystyle \forall Z\quad {\big (}(X{\overset {\circ }{\rightarrowtail }}Z\ \&\ Z^{\star }\supseteq F)\ \Rightarrow \ Z{\overset {\circ }{\rightarrowtail }}\operatorname {Ref} ^{X}F{\big )}}$.
• The quotient space ${\displaystyle \operatorname {Ref} ^{X}F}$ is called a refinement of the set ${\displaystyle F}$ on the stereotype space ${\displaystyle X}$.

Theorem.[37] Each set ${\displaystyle F}$ of linear continuous functionals on a stereotype space ${\displaystyle X}$ is a total set[38] on its refinement ${\displaystyle \operatorname {Ref} ^{X}F}$.

If ${\displaystyle {\mathbb {C} }^{F}}$ denotes the space of all functions ${\displaystyle f:M\to {\mathbb {C} }}$, endowed with the topology of pointwise convergence, and the mapping ${\displaystyle \varphi :X\to {\mathbb {C} }^{F}}$ acts by the formula ${\displaystyle \varphi (x)(f)=f(x)}$, then the refinement ${\displaystyle \operatorname {Ref} ^{X}F}$ coincides with the abstract categorical refinement of the space ${\displaystyle {\mathbb {C} }^{F}}$ in the class ${\displaystyle \operatorname {Mono} }$ of all monomorphisms in the category Ste by means of the morphism ${\displaystyle \varphi }$:[32]

${\displaystyle \operatorname {Ref} ^{X}F=\operatorname {Ref} _{\varphi }^{\operatorname {Mono} }{\mathbb {C} }^{F}}$

## 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

Ste is a pre-abelian category: each morphism ${\displaystyle \varphi :X\to Y}$ in the category Ste has a kernel

${\displaystyle \operatorname {Ker} \varphi =\{x\in X:\varphi (x)=0\}^{\vartriangle }=\operatorname {Env} ^{X}\{x\in X:\varphi (x)=0\}}$

and a cokernel

${\displaystyle \operatorname {Coker} \varphi ={\Big (}Y{\Big /}{\overline {\varphi (X)}}{\Big )}^{\triangledown }}$

As a corollary, ${\displaystyle \varphi }$ has an image ${\displaystyle \operatorname {Im} \varphi }$ and a coimage ${\displaystyle \operatorname {Coim} \varphi }$ as well. The following natural identities hold:[39]

{\displaystyle {\begin{aligned}&(\operatorname {Ker} \varphi )^{\star }=\operatorname {Coker} (\varphi ^{\star }),&&(\operatorname {Coker} \varphi )^{\star }=\operatorname {Ker} (\varphi ^{\star }),\\[5pt]&(\operatorname {Im} \varphi )^{\star }=\operatorname {Coim} (\varphi ^{\star }),&&(\operatorname {Coim} \varphi )^{\star }=\operatorname {Im} (\varphi ^{\star }),\\[5pt]&(\operatorname {Ker} \varphi )^{\perp }=\operatorname {Im} (\varphi ^{\star }),&&(\operatorname {Im} \varphi )^{\perp }=\operatorname {Ker} (\varphi ^{\star }),\\[5pt]&\operatorname {Ker} \varphi =(\operatorname {Im} (\varphi ^{\star }))^{\perp },&&\operatorname {Im} \varphi =(\operatorname {Ker} (\varphi ^{\star }))^{\perp },\end{aligned}}}

where ${\displaystyle Q^{\perp }}$ denotes the pseudosaturation of the annihilator of the subspace ${\displaystyle Q\subseteq P}$ in the dual space ${\displaystyle P^{\star }}$:

${\displaystyle Q^{\perp }=\{f\in P^{\star }:\ f|_{Q}=0\}^{\vartriangle }=\operatorname {Env} ^{P^{\star }}\{f\in P^{\star }:\ f|_{Q}=0\}}$.

### Ste as a *-autonomous category

For any two stereotype spaces ${\displaystyle X}$ and ${\displaystyle Y}$ the stereotype space of operators ${\displaystyle Y\oslash X}$ from ${\displaystyle X}$ into ${\displaystyle Y}$, is defined as the pseudosaturation of the space ${\displaystyle \operatorname {L} (X,Y)}$ of all linear continuous maps ${\displaystyle \varphi :X\to Y}$ endowed with the topology of uniform convergeance on totally bounded sets. The space ${\displaystyle Y\oslash X}$ is stereotype. It defines two natural tensor products

${\displaystyle X\circledast Y:=(X^{\star }\oslash Y)^{\star },}$
${\displaystyle X\odot Y:=Y\oslash X^{\star }.}$

Theorem. In the category Ste the following natural identities hold:[43][44]:

${\displaystyle \mathbb {C} \circledast X\cong X\cong X\circledast \mathbb {C} ,}$
${\displaystyle \mathbb {C} \odot X\cong X\cong X\odot \mathbb {C} ,}$
${\displaystyle X\circledast Y\cong Y\circledast X,}$
${\displaystyle X\odot Y\cong Y\odot X,}$
${\displaystyle (X\circledast Y)\circledast Z\cong X\circledast (Y\circledast Z),}$
${\displaystyle (X\odot Y)\odot Z\cong X\odot (Y\odot Z),}$
${\displaystyle (X\circledast Y)^{\star }\cong Y^{\star }\odot X^{\star },}$
${\displaystyle (X\odot Y)^{\star }\cong Y^{\star }\circledast X^{\star },}$
${\displaystyle X\oslash Y\cong Y^{\star }\oslash X^{\star },}$
${\displaystyle X\oslash (Y\circledast Z)\cong (X\oslash Y)\oslash Z,}$
${\displaystyle (X\odot Y)\oslash Z\cong X\odot (Y\oslash Z).}$

In particular, Ste is a symmetric monoidal category with respect to the bifunctor ${\displaystyle \odot }$, a symmetric closed monoidal category with respect to the bifunctor ${\displaystyle \circledast }$ and the internal hom-functor ${\displaystyle \oslash }$, and a *-autonomous category:

${\displaystyle X^{\star }\oslash (Y\circledast Z)\cong (X\circledast Y)^{\star }\oslash Z.}$

### Limits and colimits in the category Ste

Ste is a bicomplete category: each small diagram ${\displaystyle F:J\to \,}$Ste has a limit, ${\displaystyle \lim _{j\to \infty }F_{j}}$, which coincides with the pseudocompletion of the corresponding limit in the category LocConv of locally convex spaces

${\displaystyle \lim _{j\to \infty }F_{j}={\Big (}{\overset {\operatorname {\bf {LocConv}} }{\lim _{j\to \infty }}}F_{j}{\Big )}^{\triangledown }}$,

and a colimit, ${\displaystyle \lim _{\infty \gets j}F_{j}}$, which coincides with the pseudosaturation of the corresponding colimit in LocConv

${\displaystyle \lim _{\infty \gets j}F_{j}={\Big (}{\overset {\operatorname {\bf {LocConv}} }{\lim _{\infty \gets j}}}F_{j}{\Big )}^{\vartriangle }}$.

However, the direct sum and the direct product in Ste coincide with the corresponding constructions in LocConv:

${\displaystyle \bigoplus _{i\in I}X_{i}={\overset {\operatorname {\bf {LocConv}} }{\bigoplus _{i\in I}}}X_{i},\quad \prod _{i\in I}X_{i}={\overset {\operatorname {\bf {LocConv}} }{\prod _{i\in I}X_{i}}}.}$

The following natural identities hold:[43][44]

${\displaystyle {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}^{\star }\cong \prod _{i\in I}X_{i}^{\star }}$
${\displaystyle {\Big (}\prod _{i\in I}X_{i}{\Big )}^{\star }\cong \bigoplus _{i\in I}X_{i}^{\star }}$
${\displaystyle Y\oslash {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}\cong \prod _{i\in I}(Y\oslash X_{i})}$
${\displaystyle {\Big (}\prod _{j\in J}Y_{j}{\Big )}\oslash X\cong \prod _{j\in J}(Y_{j}\oslash X)}$
${\displaystyle {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}\circledast {\Big (}\bigoplus _{j\in J}Y_{j}{\Big )}\cong \bigoplus _{i\in I,j\in J}(X_{i}\circledast Y_{j})}$
${\displaystyle {\Big (}\prod _{i\in I}X_{i}{\Big )}\odot {\Big (}\prod _{j\in J}Y_{j}{\Big )}\cong \prod _{i\in I,j\in J}(X_{i}\odot Y_{j})}$
${\displaystyle {\Big (}\lim _{i\to \infty }X_{i}{\Big )}^{\star }\cong \lim _{\infty \gets i}X_{i}^{\star }}$
${\displaystyle {\Big (}\lim _{\infty \gets i}X_{i}{\Big )}^{\star }\cong \lim _{i\to \infty }X_{i}^{\star }}$
${\displaystyle Y\oslash {\Big (}\lim _{i\to \infty }X_{i}{\Big )}\cong \lim _{\infty \gets i}(Y\oslash X_{i})}$
${\displaystyle {\Big (}\lim _{\infty \gets j}Y_{j}{\Big )}\oslash X\cong \lim _{\infty \gets j}(Y_{j}\oslash X)}$
${\displaystyle {\Big (}\lim _{i\to \infty }X_{i}{\Big )}\circledast {\Big (}\lim _{j\to \infty }Y_{j}{\Big )}\cong \lim _{i,j\to \infty }(X_{i}\circledast Y_{j})}$
${\displaystyle {\Big (}\lim _{\infty \gets i}X_{i}{\Big )}\odot {\Big (}\lim _{\infty \gets j}Y_{j}{\Big )}\cong \lim _{\infty \gets i,j}(X_{i}\odot Y_{j})}$

### Grothendieck transformation

If ${\displaystyle X}$ and ${\displaystyle Y}$ are stereotype spaces then for each elements ${\displaystyle x\in X}$ and ${\displaystyle y\in Y}$ the formula

${\displaystyle (x\circledast y)(\varphi )=\varphi (y)(x),\qquad \varphi \in X^{\star }\oslash Y}$

defines an elementary tensor ${\displaystyle x\circledast y\in X\circledast Y=(X^{\star }\oslash Y)^{\star }}$, and the formula

${\displaystyle (x\odot y)(f)=f(x)\cdot y,\qquad f\in X^{\star }}$

defines an elementary tensor ${\displaystyle x\odot y\in X\odot Y=Y\oslash X^{\star }}$

Theorem.[45] For each stereotype spaces ${\displaystyle X}$ and ${\displaystyle Y}$ there is a unique linear continuous map ${\displaystyle \Gamma _{X,Y}:X\circledast Y\to X\odot Y}$ which turns elementary tensors ${\displaystyle x\circledast y}$ into elementary tensors ${\displaystyle x\odot y}$:

${\displaystyle \Gamma _{X,Y}(x\circledast y)=x\odot y,\qquad x\in X,\ y\in Y.}$

The family of maps ${\displaystyle \Gamma _{X,Y}:X\circledast Y\to X\odot Y}$ defines a natural transformation of the bifunctor ${\displaystyle \circledast }$ into the bifunctor ${\displaystyle \odot }$.

• The map ${\displaystyle \Gamma _{X,Y}}$ is called the Grothendieck transformation.

### Stereotype approximation property

A stereotype space ${\displaystyle X}$ is said to have the stereotype approximation property, if each linear continuous map ${\displaystyle \varphi :X\to X}$ can be approximated in the stereotype space of operators ${\displaystyle X\oslash X}$ 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.[46] For a stereotype space ${\displaystyle X}$ the following conditions are equivalent:

(i) ${\displaystyle X}$ has the stereotype approximation property;
(ii) the Grothendieck transformation ${\displaystyle \Gamma _{X,X^{\star }}:X\circledast X^{\star }\to X\odot X^{\star }}$ is a monomorphism (in the category Ste);
(iii) the Grothendieck transformation ${\displaystyle \Gamma _{X,X^{\star }}:X\circledast X^{\star }\to X\odot X^{\star }}$ is an epimorphism (in the category Ste);
(iv) for any stereotype space ${\displaystyle Y}$ the Grothendieck transformation ${\displaystyle \Gamma _{X,Y}:X\circledast Y\to X\odot Y}$ is a monomorphism (in the category Ste);
(v) for any stereotype space ${\displaystyle Y}$ the Grothendieck transformation ${\displaystyle \Gamma _{X,Y}:X\circledast Y\to X\odot Y}$ is an epimorphism (in the category Ste).

Theorem.[47] If two stereotype spaces ${\displaystyle X}$ and ${\displaystyle Y}$ have the stereotype approximation property, then the spaces ${\displaystyle X\oslash Y}$, ${\displaystyle X\circledast Y}$ and ${\displaystyle X\odot Y}$ have the stereotype approximation property as well.

In particular, if ${\displaystyle X}$ has the stereotype approximation property, then the same is true for ${\displaystyle X^{\star }}$ and for ${\displaystyle X\oslash X}$.

## Applications

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 ${\displaystyle A}$ the categories ${\displaystyle A}$Ste and Ste${\displaystyle A}$ of left and right stereotype modules over ${\displaystyle A}$ are enriched categories over Ste.[48] 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[5] 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.[49]
• 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.[50][51][52][20]
• 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 disciplinescomplex 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).[18][19][20][52]

## Notes

1. ^ Akbarov 2003, p. 219.
2. ^ ...or over the field ${\displaystyle \mathbb {R} }$ of real numbers, with the similar definition.
3. ^ Akbarov 2003, p. 219, 220.
4. ^ A set ${\displaystyle D\subseteq X}$ is said to be capacious if for each totally bounded set ${\displaystyle A\subseteq X}$ there is a finite set ${\displaystyle F\subseteq X}$ such that ${\displaystyle A\subseteq D+F}$.
5. ^ a b
6. ^ Of course, this is a general fact: if ${\displaystyle X}$ is stereotype then ${\displaystyle X^{\star }}$ is also stereotype.
7. ^ Akbarov 2003, p. 221.
8. ^ A locally convex space ${\displaystyle X}$ is called co-complete if each linear functional ${\displaystyle f:X\to \mathbb {C} }$ which is continuous on every totally bounded set ${\displaystyle S\subseteq X}$, is automatically continuous on the whole space ${\displaystyle X}$.
9. ^ A locally convex space ${\displaystyle X}$ is said to be saturated if for an absolutely convex set ${\displaystyle B\subseteq X}$ being a neighbourhood of zero in ${\displaystyle X}$ is equivalent to the following: for each totally bounded set ${\displaystyle S\subseteq X}$ there is a closed neighbourhood of zero ${\displaystyle U}$ in ${\displaystyle X}$ such that ${\displaystyle B\cap S=U}$.
10. ^ A locally convex space ${\displaystyle X}$ is called a Pták space, or a fully complete space, if in its dual space ${\displaystyle X^{\star }}$ a subspace ${\displaystyle Q\subseteq X^{\star }}$ is ${\displaystyle X}$-weakly closed when it has ${\displaystyle X}$-weakly closed intersection with the polar ${\displaystyle U^{\circ }}$ of each neighbourhood of zero ${\displaystyle U\subseteq X}$.
11. ^ A locally convex space ${\displaystyle X}$ is said to be hypercomplete if in its dual space ${\displaystyle X^{\star }}$ every absolutely convex space ${\displaystyle Q\subseteq X^{\star }}$ is ${\displaystyle X}$-weakly closed if it has ${\displaystyle X}$-weakly closed intersection with the polar ${\displaystyle U^{\circ }}$ of each neighbourhood of zero ${\displaystyle U\subseteq X}$.
12. ^
13. ^
14. ^
15. ^
16. ^
17. ^
18. ^ a b
19. ^ a b
20. ^ a b c
21. ^
22. ^
23. ^ Akbarov 2003, p. 197, 200.
24. ^ It is not clear (2017) whether ${\displaystyle X^{\vartriangle \triangledown }}$ and ${\displaystyle X^{\triangledown \vartriangle }}$ coincide.
25. ^ A monomorphism ${\displaystyle \mu }$ is said to be immediate if in each representation ${\displaystyle \mu =\mu '\circ \varepsilon }$, where ${\displaystyle \mu '}$ is a monomorphism and ${\displaystyle \varepsilon }$ is an epimorphism, the morphism ${\displaystyle \varepsilon }$ is automatically an isomorphism.
26. ^ a b Akbarov 2016, p. 39.
27. ^ In other words, in this case the topology of ${\displaystyle Y}$ inherited from ${\displaystyle X}$ is not pseudosaturated.
28. ^ a b Akbarov 2016, p. 128.
29. ^ Akbarov 2016, p. 134.
30. ^ Akbarov 2016, p. 131.
31. ^ I.e. the linear span of ${\displaystyle M}$ is dense in ${\displaystyle \operatorname {Env} ^{X}M}$ (as in a locally convex space).
32. ^ a b Akbarov 2016, p. 144.
33. ^ An epimorphism ${\displaystyle \varepsilon }$ is said to be immediate if in each representation ${\displaystyle \varepsilon =\mu \circ \varepsilon '}$, where ${\displaystyle \mu }$ is a monomorphism and ${\displaystyle \varepsilon '}$ is an epimorphism, the morphism ${\displaystyle \mu }$ is automatically an isomorphism.
34. ^ A linear map ${\displaystyle \varphi :X\to Y}$ is said to be open, if for each neighborhood of zero ${\displaystyle U\subseteq X}$ there is a neighborhood of zero ${\displaystyle V\subseteq Y}$ such that ${\displaystyle \varphi (U)\supseteq V\cap \varphi (X)}$.
35. ^ a b Akbarov 2016, p. 138.
36. ^ Akbarov 2016, p. 140.
37. ^ This proposition is dual to the corresponding theorem on envelopes in stereotype spaces.
38. ^ I.e. if ${\displaystyle y\neq z\in \operatorname {Ref} ^{X}F}$, then there exists ${\displaystyle f\in F}$ such that ${\displaystyle f(y)\neq f(z)}$.
39. ^ a b Akbarov 2003, p. 224.
40. ^ Akbarov 2003, p. 226.
41. ^ Akbarov 2003, p. 220.
42. ^ Akbarov 2016, p. 142.
43. ^ a b c Akbarov 2003, p. 245.
44. ^ a b Akbarov 2017, p. 581.
45. ^ Akbarov 2003, p. 246.
46. ^ Akbarov 2003, p. 264.
47. ^ Akbarov 2003, p. 265.
48. ^ Akbarov 2003, p. 289.
49. ^
50. ^ Akbarov 2003, p. 278.
51. ^ Akbarov 2009, p. 507.
52. ^ a b