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

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

Взаимные вложения основных классов локально выпуклых пространств

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

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

$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$ стереотипно тогда и только тогда, когда оно локально выпукло и удовлетворяет следующим двум условиям:

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

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

Примеры

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

Простейшие связи между свойствами стереотипного пространства $X$ и его сопряженного пространства $X^{\star }$ выражаются следующим списком закономерностей:

• $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 }$ кополно $\Longleftrightarrow$ $X^{\star }$ насыщено ;

• $X$ — пространство Птака $\Longleftrightarrow$ в $X^{\star }$ всякое подпространство $L$, оставляющее замкнутый след $L\cap K$ на каждом компакте $K$ в $X^{\star }$, автоматически замкнуто;

• $X$ — гиперполное пространство $\Longleftrightarrow$ в $X^{\star }$ всякое выпуклое уравновешенное множество $B$, оставляющее замкнутый след $B\cap K$ на каждом компакте $K$ в $X^{\star }$, автоматически замкнуто.

История

Первые результаты, описывающие этот тип рефлексивности топологических векторных пространств, были получены М. Ф. Смит в 1952 году. В дальнейшем исследования в этой области проводились Б. С. Брудовским, У. С. Уотрехаусом, К.Браунером, С. С. Акбаровым, и Е. Т. Шавгулидзе. Термин "стереотипное пространство" был введен С. С. Акбаровым в 1995. Основные свойства категории стереотипных пространств были описаны С. С. Акбаровым в серии работ 1995-2017гг.

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

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

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 }$ стереотипны.

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

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

• 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 выполняются следующие естественные тождества::

$\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$ в ней имеет ядро, коядро, образ и кообраз. Эти объекты удовлетворяют следующим естественным тождествам:

$({\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

Справедливы следующие естественные тождества:

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

Теорема. Для любых стереотипных пространств $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$ обладает свойством стереотипной аппроксимации, если всякое линейное непрерывное отображение $\varphi :X\to Y$ можно аппроксимировать в стереотипном пространстве операторов $X\oslash X$ конечномерными линейными непрерывными отображениями. Это условие слабее, чем существование базиса Шаудера в $X$, но формально сильнее классического свойства аппроксимации (однако, пока неизвестно (2013), совпадает ли стереотипная аппроксимация с классической).

Теорема. Для стереотипного пространства $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).

Теорема. Если два стереотипных пространства $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. Это выделяет категорию Ste среди других известных категорий локально выпуклых пространств, поскольку до недавнего времени только про категорию Ban банаховых пространств и категорию Fin конечномерных пространств было известно, что они обладают этим свойством. С другой стороны, категория Ste так широка, а представляемые ею средства для построения новых пространств так разнообразны, что это дает основание предполагать, что все результаты функционального анализа можно без существенных потерь переформулировать внутри стереотипной теории. Следуя этой идее, можно пытаться полностью заменить категорию локально выпуклых пространств в функциональном анализе (и связанных областях) категорией Ste стереотипных пространств с целью сравнения получаемых теорий на предмет обнаружения возможных упрощений — эта программа была анонсирована С.Акбаровым в 2005 и следующие результаты подтверждают её осмысленность:

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

Литература

• Шефер, Х. Топологические векторные пространства. — Москва: Мир, 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 // Act. Math.. — 1981. — Т. 147. — С. 147:89—108.