Стереотипное пространство

В функциона́льном ана́лизе и связанных областях матема́тики стереоти́пные простра́нства представляют собой класс топологи́ческих ве́кторных простра́нств, выделяемый специальным условием рефлекси́вности — рефлексивности относительно особым образом определяемого сопряжённого пространства (см. ниже), не совпадающим с классическим условием рефлексивности. Этот класс обладает серией замечательных свойств, в частности, он весьма широк (например, содержит все пространства Фреше, и поэтому все банаховы пространства, включая нерефлексивные в классическом смысле), он состоит из пространств, подчинённых определённому условию полноты, и образует замкнутую моноидальную категорию со стандартными аналитическими средствами построения новых пространств, такими как переход к замкнутому подпространству, факторпространству, проективному и инъективному пределам, пространству операторов, тензорным произведениям, и т. д.

Первые результаты, описывающие этот тип рефлексивности топологических векторных пространств, были получены М. Ф. Смит^[1] в 1952 году. В дальнейшем исследования в этой области проводились Б. С. Брудовским,^[2] У. С. Уотрехаусом,^[3] К. Браунером,^[4] С. С. Акбаровым,^[5]^[6]^[7]^[8] и Е. Т. Шавгулидзе.^[9] Термин «стереотипное пространство» был введён С. С. Акбаровым в 1995 году^[10]. Основные свойства категории стереотипных пространств были описаны С. С. Акбаровым в серии работ 1995—2017 гг.

Стереотипным пространством^[5] называется топологическое векторное пространство $X$ над полем $\mathbb {C}$ комплексных чисел^[11] такое, что естественное отображение во второе сопряжённое пространство

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

является изоморфизмом топологических векторных пространств (то есть линейным и гомеоморфным отображением). Здесь сопряжённое пространство $X^{\star }$ определяется как пространство всех линейных непрерывных функционалов $f:X\to \mathbb {C}$ , наделённое топологией равномерной сходимости на вполне ограниченных множествах в $X$ , а второе сопряжённое пространство $X^{\star \star }$ представляет собой пространство, сопряжённое к $X^{\star }$ в этом же смысле.

Замечание об обозначениях и терминологии

Всюду в этой статье (и вообще в теории стереотипных пространств) символ $X^{\star }$ обозначает описанное выше стереотипное сопряжённое пространство — с топологией равномерной сходимости на вполне ограниченных множествах, — которое следует отличать от принятого в классических руководствах по топологическим векторным пространствам^[12] сильного сопряжённого пространства $X'_{\beta }$ — с топологией равномерной сходимости на ограниченных множествах. Чтобы подчеркнуть это различие, для стереотипного сопряжённого используется символ звезды $\star$ , а не штрих ${}'$ . Поскольку всякое вполне ограниченное множество ограничено, стереотипная топология на пространстве функционалов мажорируется сильной топологией (и в общем случае строго слабее её), поэтому даже для классических пространств эти две конструкции могут давать существенно различные результаты. Например:

сильное сопряжённое $X'_{\beta }$ к банахову пространству $X$ — снова банахово пространство, тогда как стереотипное сопряжённое $X^{\star }$ к бесконечномерному банахову пространству $X$ никогда не нормируемо (оно является пространством Смит, см. ниже);
сильное сопряжённое к пространству Фреше — DF-пространство, тогда как стереотипное сопряжённое к пространству Фреше — пространство Браунера.

Для пространств, у которых ограниченные множества автоматически вполне ограничены (например, для монтелевских пространств или пространств со слабой топологией), обе топологии на сопряжённом пространстве совпадают: $X^{\star }=X'_{\beta }$ .

Аналогично, условие стереотипности (изоморфизм $X\cong X^{\star \star }$ ) следует отличать от классического условия рефлексивности (изоморфизм $X\cong (X'_{\beta })'_{\beta }$ ): эти два условия не совпадают, и ни одно из них не влечёт другое. Так, всякое банахово пространство стереотипно, но нерефлексивные банаховы пространства (например, $\ell ^{1}$ или $C[0,1]$ ) не рефлексивны в классическом смысле.

Критерий стереотипности

Справедлив следующий критерий:^[5] топологическое векторное пространство $X$ стереотипно тогда и только тогда, когда оно локально выпукло и удовлетворяет следующим двум условиям:

псевдополнота: всякая вполне ограниченная направленность Коши в $X$ сходится,
псевдонасыщенность: всякое замкнутое выпуклое уравновешенное ёмкое^[13] множество $D$ в $X$ является окрестностью нуля в $X$ .

Псевдополнота представляет собой ослабление обычного свойства полноты, а псевдонасыщенность — ослабление свойства бочечности топологического векторного пространства.

Всякое псевдополное бочечное пространство $X$ (в частности, всякое банахово пространство и всякое пространство Фреше) стереотипно. Метризуемое локально выпуклое пространство $X$ стереотипно тогда и только тогда, когда оно полно. Если $X$ — нормированное пространство, и $\sigma$ — слабая топология на $X$ , порождённая функционалами сопряжённого пространства $X^{\star }$ , то относительно топологии $\sigma$ пространство $X$ стереотипно тогда и только тогда, когда оно конечномерно. Существуют стереотипные пространства, не являющиеся пространствами Макки.

Во всех приводимых ниже утверждениях (как и всюду в статье) сопряжённое пространство $X^{\star }$ понимается в стереотипном смысле, то есть наделяется топологией равномерной сходимости на вполне ограниченных множествах в $X$ ; для сильного сопряжённого пространства $X'_{\beta }$ эти утверждения, вообще говоря, неверны. Простейшие связи между свойствами стереотипного пространства $X$ и его сопряжённого пространства $X^{\star }$ выражаются следующим списком закономерностей^[5]^[6]:

$X$ нормируемо $\Longleftrightarrow$ $X$ — банахово пространство $\Longleftrightarrow$ $X^{\star }$ — пространство Смит;
$X$ метризуемо $\Longleftrightarrow$ $X$ — пространство Фреше $\Longleftrightarrow$ $X^{\star }$ — пространство Браунера;
$X$ бочечно $\Longleftrightarrow$ $X^{\star }$ обладает свойством Гейне-Бореля;
$X$ квазибочечно $\Longleftrightarrow$ в $X^{\star }$ любое подмножество $T$ , поглощаемое любой бочкой, вполне ограничено;
$X$ — пространство Макки $\Longleftrightarrow$ в $X^{\star }$ всякое $X$ -слабо компактное множество компактно;
$X$ — монтелевское пространство $\Longleftrightarrow$ $X$ бочечно и обладает свойством Гейне-Бореля $\Longleftrightarrow$ $X^{\star }$ — монтелевское пространство;
$X$ — пространство со слабой топологией $\Longleftrightarrow$ в $X^{\star }$ любой компакт $T$ конечномерен;
$X$ сепарабельно (как топологическое пространство, в своей исходной топологии) $\Longleftrightarrow$ в $X^{\star }$ существует последовательность замкнутых подпространств $L_{n}$ конечной коразмерности с тривиальным пересечением: $\bigcap _{n=1}^{\infty }L_{n}=\{0\}$ ;
$X$ обладает (классическим) свойством аппроксимации $\Longleftrightarrow$ $X^{\star }$ обладает (классическим) свойством аппроксимации;
$X$ полно $\Longleftrightarrow$ $X^{\star }$ кополно^[14] $\Longleftrightarrow$ $X^{\star }$ насыщено^[15];
$X$ — пространство Птака^[16] $\Longleftrightarrow$ в $X^{\star }$ всякое подпространство $L$ , оставляющее замкнутый след $L\cap K$ на каждом компакте $K$ в $X^{\star }$ , автоматически замкнуто;
$X$ — гиперполное пространство^[17] $\Longleftrightarrow$ в $X^{\star }$ всякое выпуклое уравновешенное множество $B$ , оставляющее замкнутый след $B\cap K$ на каждом компакте $K$ в $X^{\star }$ , автоматически замкнуто.

Первые два примера этого списка иллюстрируют отличие стереотипного сопряжённого пространства от сильного: стереотипное сопряжённое к (бесконечномерному) банахову пространству — не банахово пространство, а пространство Смит, а стереотипное сопряжённое к пространству Фреше — не DF-пространство, а пространство Браунера.

Всякое локально выпуклое пространство $X$ можно превратить в стереотипное с помощью стандартных операций, описываемых следующими предложениями.^[5]

1. Каждому локально выпуклому пространству $X$ можно поставить в соответствие линейное непрерывное отображение $\triangledown _{X}:X\to X^{\triangledown }$ в некоторое псевдополное локально выпуклое пространство $X^{\triangledown }$ , называемое псевдопополнением пространства $X$ , таким образом, чтобы выполнялись следующие условия:

$X$ псевдополно тогда и только тогда, когда $\triangledown _{X}:X\to X^{\triangledown }$ является изоморфизмом;
для всякого линейного непрерывного отображения $\varphi :X\to Y$ локально выпуклых пространств существует единственное линейное непрерывное отображение $\varphi ^{\triangledown }:X^{\triangledown }\to Y^{\triangledown }$ такое, что $\triangledown _{Y}\circ \varphi =\varphi ^{\triangledown }\circ \triangledown _{X}$ .

Интуитивно можно представлять себе псевдопополнение пространства $X$ как «ближайшее к $X$ снаружи» псевдополное локально выпуклое пространство, так что операция $X\mapsto X^{\triangledown }$ добавляет к $X$ некоторые элементы, но не меняет топологию $X$ (подобно обычной операции пополнения).

2. Всякому локально выпуклому пространству $X$ можно поставить в соответствие линейное непрерывное отображение $\vartriangle _{X}:X^{\vartriangle }\to X$ из некоторого псевдонасыщенного локально выпуклого пространства $X^{\vartriangle }$ , называемого псевдонасыщением пространства $X$ , таким образом, чтобы выполнялись следующие условия:

$X$ псевдонасыщено тогда и только тогда, когда $\vartriangle _{X}:X^{\vartriangle }\to X$ является изоморфизмом;
для всякого линейного непрерывного отображения $\varphi :X\to Y$ локально выпуклых пространств существует единственное линейное непрерывное отображение $\varphi ^{\vartriangle }:X^{\vartriangle }\to Y^{\vartriangle }$ такое, что $\varphi \circ \vartriangle _{X}=\vartriangle _{Y}\circ \varphi ^{\vartriangle }$ .

Псевдонасыщение пространства $X$ можно интуитивно представлять себе как «ближайшее к $X$ изнутри» псевдонасыщенное локально выпуклое пространство, так что операция $X\mapsto X^{\vartriangle }$ усиливает топологию $X$ , но не меняет его элементы.

Если $X$ — псевдополное локально выпуклое пространство, то его псевдонасыщение $X^{\vartriangle }$ стереотипно. Двойственным образом, если $X$ — псевдонасыщенное локально выпуклое пространство, то его псевдопополнение $X^{\triangledown }$ стереотипно. Для произвольного локально выпуклого пространства $X$ пространства $X^{\vartriangle \triangledown }$ и $X^{\triangledown \vartriangle }$ стереотипны^[18].

Класс Ste стереотипных пространств образует категорию с линейными непрерывными отображениями в качестве морфизмов и обладает следующими свойствами:^[5]^[7]

Ste — предабелева категория;
Ste — полная и кополная категория;
Ste — автодуальная категория относительно функтора $X\mapsto X^{\star }$ перехода к (стереотипному) сопряжённому пространству;
Ste — категория с узловым разложением: всякий морфизм $\varphi :X\to Y$ обладает разложением $\varphi =\sigma \circ \beta \circ \pi$ , в котором $\pi$ — строгий эпиморфизм, $\beta$ — биморфизм, а $\sigma$ — строгий мономорфизм.

Для любых двух стереотипных пространств $X$ и $Y$ стереотипное пространство операторов $Y\oslash X$ из $X$ в $Y$ определяется как псевдонасыщение пространства ${\text{L}}(X,Y)$ всех линейных непрерывных отображений $\varphi :X\to Y$ , наделённого топологией равномерной сходимости на вполне ограниченных множествах. Пространство $Y\oslash X$ стереотипно. С его помощью определяются два естественных тензорных произведения в Ste:

X\circledast Y:=(Y^{\star }\oslash X)^{\star },

X\odot Y:=Y\oslash X^{\star }.

Теорема. В категории Ste выполняются следующие естественные тождества:^[5]^[8]

\mathbb {C} \circledast X\cong X\cong X\circledast \mathbb {C} ,

\mathbb {C} \odot X\cong X\cong X\odot \mathbb {C} ,

X\circledast Y\cong Y\circledast X,

X\odot Y\cong Y\odot X,

(X\circledast Y)\circledast Z\cong X\circledast (Y\circledast Z),

(X\odot Y)\odot Z\cong X\odot (Y\odot Z),

(X\circledast Y)^{\star }\cong Y^{\star }\odot X^{\star },

(X\odot Y)^{\star }\cong Y^{\star }\circledast X^{\star },

X\oslash Y\cong Y^{\star }\oslash X^{\star },

X\oslash (Y\circledast Z)\cong (X\oslash Y)\oslash Z,

(X\odot Y)\oslash Z\cong X\odot (Y\oslash Z)

В частности, Ste — симметрическая моноидальная категория относительно бифунктора $\odot$ , симметрическая замкнутая моноидальная категория относительно бифунктора $\circledast$ и внутреннего hom-функтора $\oslash$ , и *-автономная категория:

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

Ядро и коядро в категории Ste

Поскольку Ste — предабелева категория, всякий морфизм $\varphi :X\to Y$ в ней имеет ядро, коядро, образ и кообраз. Эти объекты удовлетворяют следующим естественным тождествам:^[5]

({\text{ker}}\varphi )^{\star }={\text{coker}}(\varphi ^{\star }),\qquad ({\text{coker}}\varphi )^{\star }={\text{ker}}(\varphi ^{\star }),

({\text{im}}\varphi )^{\star }={\text{coim}}(\varphi ^{\star }),\qquad ({\text{coim}}\varphi )^{\star }={\text{im}}(\varphi ^{\star }),

({\text{Ker}}\varphi )^{\perp \vartriangle }={\text{Im}}(\varphi ^{\star }),\qquad ({\text{Im}}\varphi )^{\perp \vartriangle }={\text{Ker}}(\varphi ^{\star }),

{\text{Ker}}\varphi =({\text{Im}}(\varphi ^{\star }))^{\perp \vartriangle },\qquad {\text{Im}}\varphi =({\text{Ker}}(\varphi ^{\star }))^{\perp \vartriangle }.

Прямые и обратные пределы в категории Ste

Справедливы следующие естественные тождества:^[5]^[8]

{\Big (}\bigoplus _{i\in I}X_{i}{\Big )}^{\star }\cong \prod _{i\in I}X_{i}^{\star }

{\Big (}\prod _{i\in I}X_{i}{\Big )}^{\star }\cong \bigoplus _{i\in I}X_{i}^{\star }

Y\oslash {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}\cong \prod _{i\in I}(Y\oslash X_{i})

{\Big (}\prod _{j\in J}Y_{j}{\Big )}\oslash X\cong \prod _{j\in J}(Y_{j}\oslash X)

{\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})

{\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})

{\Big (}\lim _{i\to \infty }X_{i}{\Big )}^{\star }\cong \lim _{\infty \gets i}X_{i}^{\star }

{\Big (}\lim _{\infty \gets i}X_{i}{\Big )}^{\star }\cong \lim _{i\to \infty }X_{i}^{\star }

Y\oslash {\Big (}\lim _{i\to \infty }X_{i}{\Big )}\cong \lim _{\infty \gets i}(Y\oslash X_{i})

{\Big (}\lim _{\infty \gets j}Y_{j}{\Big )}\oslash X\cong \lim _{\infty \gets j}(Y_{j}\oslash X)

{\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})

{\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})

(здесь $\lim _{i\to \infty }$ — прямой предел, а $\lim _{\infty \gets i}$ — обратный предел в категории Ste).

Преобразование Гротендика

Если $X$ и $Y$ — стереотипные пространства, то для любых элементов $x\in X$ и $y\in Y$ формула

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

определяет элементарный тензор $x\circledast y\in X\circledast Y=(X^{\star }\oslash Y)^{\star }$ , а формула

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

— элементарный тензор $x\odot y\in X\odot Y=Y\oslash X^{\star }$ .

Теорема.^[5] Для любых стереотипных пространств $X$ и $Y$ существует единственное линейное непрерывное отображение $\Gamma _{X,Y}:X\circledast Y\to X\odot Y$ , переводящее элементарные тензоры $x\circledast y$ в элементарные тензоры

x\odot y

:

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

Семейство отображений $\Gamma _{X,Y}:X\circledast Y\to X\odot Y$ определяет естественное преобразование бифунктора $\circledast$ в бифунктор $\odot$ .

Отображение $\Gamma _{X,Y}$ называется преобразованием Гротендика.

Говорят, что стереотипное пространство $X$ обладает свойством стереотипной аппроксимации, если тождественное отображение ${\text{id}}_{X}:X\to X$ можно аппроксимировать в стереотипном пространстве операторов $X\oslash X$ конечномерными линейными непрерывными отображениями. Это условие слабее, чем существование базиса Шаудера в $X$ , но формально сильнее классического свойства аппроксимации (однако пока неизвестно (2013), совпадает ли стереотипная аппроксимация с классической).

Теорема.^[5] Для стереотипного пространства $X$ следующие условия эквивалентны:

(i)

X

обладает свойством стереотипной аппроксимации;

(ii) преобразование Гротендика $\Gamma _{X,X^{\star }}:X\circledast X^{\star }\to X\odot X^{\star }$ является мономорфизмом (в категории Ste);

(iii) преобразование Гротендика $\Gamma _{X,X^{\star }}:X\circledast X^{\star }\to X\odot X^{\star }$ является эпиморфизмом (в категории Ste);

(iv) для всякого стереотипного пространства $Y$ преобразование Гротендика $\Gamma _{X,Y}:X\circledast Y\to X\odot Y$ является мономорфизмом (в категории Ste);

(v) для всякого стереотипного пространства $Y$ преобразование Гротендика $\Gamma _{X,Y}:X\circledast Y\to X\odot Y$ является эпиморфизмом (в категории Ste).

Теорема.^[5] Если два стереотипных пространства $X$ и $Y$ обладают свойством стереотипной аппроксимации, то пространства $X\oslash Y$ , $X\circledast Y$ и $X\odot Y$ также обладают свойством стереотипной аппроксимации.

В частности, если $X$ обладает свойством стереотипной аппроксимации, то то же справедливо и для $X^{\star }$ и $X\oslash X$ .

Будучи симметрической моноидальной категорией, Ste порождает понятия стереотипной алгебры (как моноида в Ste) и стереотипного модуля (как модуля в Ste над таким моноидом). Для всякой стереотипной алгебры $A$ категории _$A$Ste и Ste_$A$ левых и правых стереотипных модулей над $A$ являются относительными категориями над Ste.^[5] Это выделяет категорию Ste среди других известных категорий локально выпуклых пространств, поскольку до недавнего времени только про категорию Ban банаховых пространств и категорию Fin конечномерных пространств было известно, что они обладают этим свойством. С другой стороны, категория Ste так широка, а представляемые ею средства для построения новых пространств так разнообразны, что это даёт основание предполагать, что все результаты функционального анализа можно без существенных потерь переформулировать внутри стереотипной теории. Следуя этой идее, можно пытаться полностью заменить категорию локально выпуклых пространств в функциональном анализе (и связанных областях) категорией Ste стереотипных пространств с целью сравнения получаемых теорий на предмет обнаружения возможных упрощений — эта программа была анонсирована С. Акбаровым в 2005 году^[19] и следующие результаты подтверждают её осмысленность:

В теории стереотипных пространств свойство аппроксимации наследуется пространствами операторов и тензорными произведениями. Это позволяет снизить число контрпримеров в сравнении с теорией банаховых пространств, где, как известно, пространство операторов не наследует свойство аппроксимации.^[20]
Возникающая теория стереотипных алгебр позволяет упростить конструкции в теориях двойственности некоммутативных групп. В частности, групповые алгебры в этих теориях превращаются в алгебры Хопфа в обычном алгебраическом смысле.^[6]^[8]^[21]

↑ M.F. Smith (1952).
↑ B.S.Brudovski (1967).
↑ W.C.Waterhouse (1968).
↑ K.Brauner (1973).
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ¹⁰ ¹¹ ¹² ¹³ S.S.Akbarov (2003).
↑ ¹ ² ³ С.С.Акбаров (2008).
↑ ¹ ² S.S.Akbarov (2016).
↑ ¹ ² ³ ⁴ S.S.Akbarov (2017).
↑ S.S.Akbarov, E.T.Shavgulidze (2003).
↑ S.S.Akbarov (1995).
↑ …или над полем $\mathbb {R}$ вещественных чисел с аналогичным определением.
↑ См., например, Шефер (1971) или Робертсон А.П., Робертсон, В.Дж. (1967).
↑ Множество $D\subseteq X$ называется ёмким, если для всякого вполне ограниченного множества $A\subseteq X$ существует конечное множество $F\subseteq X$ такое, что $A\subseteq D+F$ .
↑ Локально выпуклое пространство $X$ называется кополным, если всякий линейный функционал $f:X\to \mathbb {C}$ , непрерывный на каждом вполне ограниченном множестве $S\subseteq X$ , непрерывен на всем $X$ .
↑ Локально выпуклое пространство $X$ называется насыщенным, если в нём для того, чтобы множество $B$ было окрестностью нуля, достаточно, чтобы $B$ было выпукло, уравновешено и чтобы для каждого вполне ограниченного множества $S\subseteq X$ существовала замкнутая окрестность нуля $U$ в $X$ такая, что $B\cap S=U\cap S$ .
↑ Локально выпуклое пространство $X$ называется пространством Птака, или совершенно полным, если в сопряжённом пространстве $X^{\star }$ любое подпространство $Q\subseteq X^{\star }$ $X$ -слабо замкнуто, когда оно оставляет $X$ -слабо замкнутый след на поляре $U^{\circ }$ каждой окрестности нуля $U\subseteq X$ .
↑ Локально выпуклое пространство $X$ называется гиперполным, если в сопряжённом пространстве $X^{\star }$ любое абсолютно выпуклое множество $Q\subseteq X^{\star }$ $X$ -слабо замкнуто, когда оно оставляет $X$ -слабо замкнутый след на поляре $U^{\circ }$ каждой окрестности нуля $U\subseteq X$ .
↑ Вопрос о совпадении $X^{\vartriangle \triangledown }$ и $X^{\triangledown \vartriangle }$ остаётся открытым (2013).
↑ S.S.Akbarov (2005).
↑ A.Szankowski (1981).
↑ J.Kuznetsova (2013).

Шефер, Х. Топологические векторные пространства. — Москва: Мир, 1971.
Робертсон А.П., Робертсон, В.Дж. Топологические векторные пространства. — Москва: Мир, 1967.
Smith, M.F. The Pontrjagin duality theorem in linear spaces (англ.) // Annals of Mathematics : journal. — 1952. — Vol. 56, no. 2. — P. 248—253.
Brudovski, B.S. On k- and c-reflexivity of locally convex vector spaces (англ.) // Lithuanian Mathematical Journal : journal. — 1967. — Vol. 7, no. 1. — P. 17—21.
Waterhouse, W.C. Dual groups of vector spaces (англ.) // Pac. J. Math. : journal. — 1968. — Vol. 26, no. 1. — P. 193—196.
Brauner, K. Duals of Frechet spaces and a generalization of the Banach-Dieudonne theorem (англ.) // Duke Math. Jour. : journal. — 1973. — Vol. 40, no. 4. — P. 845—855.
Акбаров, С.С. Двойственность Понтрягина в теории топологических векторных пространств (рус.) // Математические заметки : журнал. — 1995. — Т. 57, № 3. — С. 463—466. — doi:10.1007/BF02303980.
Akbarov, S.S. Pontryagin duality in the theory of topological vector spaces and in topological algebra (англ.) // Journal of Mathematical Sciences : journal. — 2003. — Vol. 113, no. 2. — P. 179—349. (недоступная ссылка)
Акбаров, С.С. Голоморфные функции экспоненциального типа и двойственность для групп Штейна с алгебраической связной компонентой единицы (рус.) // Фундаментальная и прикладная математика : журнал. — 2008. — Т. 14, № 1. — С. 3—178. — arXiv:0806.3205.
Akbarov, S.S. Envelopes and refinements in categories, with applications to functional analysis (англ.) // Dissertationes Mathematicae : journal. — 2016. — Vol. 513. — P. 1—188. — arXiv:1110.2013.
Akbarov, S.S.; Shavgulidze, E.T. On two classes of spaces reflexive in the sense of Pontryagin (англ.) // Mat. Sbornik : journal. — 2003. — Vol. 194, no. 10. — P. 3—26.
Акбаров, С.С. Непрерывные и гладкие оболочки топологических алгебр. Часть 1 (рус.) // Итоги науки и техн. Сер. Соврем. мат. и её прил. Темат. обз. : журнал. — 2017. — Т. 129. — С. 3—133. — doi:10.1007/s10958-017-3599-6. — arXiv:1303.2424v10.
Акбаров, С.С. Непрерывные и гладкие оболочки топологических алгебр. Часть 2 (рус.) // Итоги науки и техн. Сер. Соврем. мат. и её прил. Темат. обз. : журнал. — 2017. — Т. 130. — С. 3—112. — doi:10.1007/s10958-017-3600-4. — arXiv:1303.2424v10.
Kuznetsova, J. A duality for Moore groups // Journal of Operator Theory. — 2013. — Т. 69, № 2. — С. 101—130.
Akbarov, S.S. Pontryagin duality and topological algebras (англ.) // Banach Center Publications : journal. — 2005. — Vol. 67. — P. 55—71.
Szankowski, A. B(H) does not have the approximation property // Acta Math.. — 1981. — Т. 147. — С. 89—108.

[Smith-1] M.F. Smith (1952).

[Brudowski-2] B.S.Brudovski (1967).

[Waterhouse-3] W.C.Waterhouse (1968).

[Brauner-4] K.Brauner (1973).

[Akbarov-1-5] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ¹⁰ ¹¹ ¹² ¹³ S.S.Akbarov (2003).

[Akbarov-2-6] ¹ ² ³ С.С.Акбаров (2008).

[Akbarov-3-7] ¹ ² S.S.Akbarov (2016).

[Akbarov-5-8] ¹ ² ³ ⁴ S.S.Akbarov (2017).

[Akbarov-Shavgulidze-9] S.S.Akbarov, E.T.Shavgulidze (2003).

[Akbarov-1995-10] S.S.Akbarov (1995).

[11] …или над полем $\mathbb {R}$ вещественных чисел с аналогичным определением.

[12] См., например, Шефер (1971) или Робертсон А.П., Робертсон, В.Дж. (1967).

[13] Множество $D\subseteq X$ называется ёмким, если для всякого вполне ограниченного множества $A\subseteq X$ существует конечное множество $F\subseteq X$ такое, что $A\subseteq D+F$ .

[14] Локально выпуклое пространство $X$ называется кополным, если всякий линейный функционал $f:X\to \mathbb {C}$ , непрерывный на каждом вполне ограниченном множестве $S\subseteq X$ , непрерывен на всем $X$ .

[15] Локально выпуклое пространство $X$ называется насыщенным, если в нём для того, чтобы множество $B$ было окрестностью нуля, достаточно, чтобы $B$ было выпукло, уравновешено и чтобы для каждого вполне ограниченного множества $S\subseteq X$ существовала замкнутая окрестность нуля $U$ в $X$ такая, что $B\cap S=U\cap S$ .

[16] Локально выпуклое пространство $X$ называется пространством Птака, или совершенно полным, если в сопряжённом пространстве $X^{\star }$ любое подпространство $Q\subseteq X^{\star }$ $X$ -слабо замкнуто, когда оно оставляет $X$ -слабо замкнутый след на поляре $U^{\circ }$ каждой окрестности нуля $U\subseteq X$ .

[17] Локально выпуклое пространство $X$ называется гиперполным, если в сопряжённом пространстве $X^{\star }$ любое абсолютно выпуклое множество $Q\subseteq X^{\star }$ $X$ -слабо замкнуто, когда оно оставляет $X$ -слабо замкнутый след на поляре $U^{\circ }$ каждой окрестности нуля $U\subseteq X$ .

[18] Вопрос о совпадении $X^{\vartriangle \triangledown }$ и $X^{\triangledown \vartriangle }$ остаётся открытым (2013).

[Akbarov-4-19] S.S.Akbarov (2005).

[Szankowski-20] A.Szankowski (1981).

[Kuznetsova-21] J.Kuznetsova (2013).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

Стереотипное пространство

История

Определение и критерий стереотипности

Замечание об обозначениях и терминологии

Критерий стереотипности

Примеры

Псевдопополнение и псевдонасыщение

Категория стереотипных пространств

Ядро и коядро в категории Ste

Прямые и обратные пределы в категории Ste

Преобразование Гротендика

Свойство стереотипной аппроксимации

Приложения

Примечания

Литература

Категории