Русская Википедия:Стереотипное пространство

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

Файл:Stereotype spaces rus.jpg

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

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

Стереотипным пространством^[1] называется топологическое векторное пространство <math>X</math> над полем <math>\mathbb{C}</math> комплексных чисел^[2] такое, что естественное отображение во второе сопряженное пространство

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

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

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

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

Примеры

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

Простейшие связи между свойствами стереотипного пространства <math>X</math> и его сопряженного пространства <math>X^\star</math> выражаются следующим списком закономерностей^[1]^[4]:

<math>X</math> нормируемо <math>\Longleftrightarrow</math> <math>X</math> - банахово пространство <math>\Longleftrightarrow</math> <math>X^\star</math> - пространство Смит;

<math>X</math> метризуемо <math>\Longleftrightarrow</math> <math>X</math> - пространство Фреше <math>\Longleftrightarrow</math> <math>X^\star</math> - пространство Браунера;

<math>X</math> бочечно <math>\Longleftrightarrow</math> <math>X^\star</math> обладает свойством Гейне-Бореля;

<math>X</math> квазибочечно <math>\Longleftrightarrow</math> в <math>X^\star</math> любое подмножество <math>T</math>, поглощаемое любой бочкой, вполне ограничено;

<math>X</math> — пространство Макки <math>\Longleftrightarrow</math> в <math>X^\star</math> всякое <math>X</math>-слабо компактное множество компактно;

<math>X</math> — монтелевское пространство <math>\Longleftrightarrow</math> <math>X</math> бочечно и обладает свойством Гейне-Бореля <math>\Longleftrightarrow</math> <math>X^\star</math> — монтелевское пространство;

<math>X</math> — пространство со слабой топологией <math>\Longleftrightarrow</math> в <math>X^\star</math> любой компакт <math>T</math> конечномерен;

<math>X</math> сепарабельно <math>\Longleftrightarrow</math> в <math>X^\star</math> существует последовательность замкнутых подпространств <math>L_n</math> конечной коразмерности с тривиальным пересечением: <math>\bigcap_{n=1}^{\infty}L_n=\{0\}</math>.

<math>X</math> обладает (классическим) свойством аппроксимации <math>\Longleftrightarrow</math> <math>X^\star</math> обладает (классическим) свойством аппроксимации;

<math>X</math> полно <math>\Longleftrightarrow</math> <math>X^\star</math> кополно^[5] <math>\Longleftrightarrow</math> <math>X^\star</math> насыщено^[6] ;

<math>X</math> — пространство Птака^[7] <math>\Longleftrightarrow</math> в <math>X^\star</math> всякое подпространство <math>L</math>, оставляющее замкнутый след <math>L\cap K</math> на каждом компакте <math>K</math> в <math>X^\star</math>, автоматически замкнуто;

<math>X</math> — гиперполное пространство^[8] <math>\Longleftrightarrow</math> в <math>X^\star</math> всякое выпуклое уравновешенное множество <math>B</math>, оставляющее замкнутый след <math>B\cap K</math> на каждом компакте <math>K</math> в <math>X^\star</math>, автоматически замкнуто.

История

Первые результаты, описывающие этот тип рефлексивности топологических векторных пространств, были получены М. Ф. Смит^[9] в 1952 году. В дальнейшем исследования в этой области проводились Б. С. Брудовским,^[10] У. С. Уотрехаусом,^[11] К.Браунером,^[12] С. С. Акбаровым,^[1]^[4]^[13]^[14] и Е. Т. Шавгулидзе.^[15] Термин "стереотипное пространство" был введен С. С. Акбаровым в 1995^[16]. Основные свойства категории стереотипных пространств были описаны С. С. Акбаровым в серии работ 1995-2017гг.

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

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

1. Каждому локально выпуклому пространству <math>X</math> можно поставить в соответствие линейное непрерывное отображение <math>\triangledown_X: X\to X^\triangledown</math> в некоторое псевдополное локально выпуклое пространство <math>X^\triangledown</math>, называемое псевдопополнением пространства <math>X</math>, таким образом, чтобы выполнялись следующие условия:

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

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

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

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

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

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

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

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

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

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

<math>X\circledast Y:= (Y^\star\oslash X)^\star,</math>

<math> X\odot Y := Y\oslash X^\star.</math>

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

<math>\mathbb{C}\circledast X\cong X\cong X\circledast \mathbb{C},

</math>

<math>

\mathbb{C}\odot X\cong X\cong X\odot\mathbb{C}, </math>

<math> X\circledast Y\cong Y\circledast X,</math>

<math>

X\odot Y\cong Y\odot X, </math>

<math> (X\circledast Y)\circledast Z\cong X\circledast (Y\circledast Z),</math>

<math>

(X\odot Y)\odot Z\cong X\odot (Y\odot Z), </math>

<math> (X\circledast Y)^\star\cong Y^\star\odot X^\star,</math>

<math>

(X\odot Y)^\star\cong Y^\star\circledast X^\star, </math>

<math>

X\oslash Y\cong Y^\star\oslash X^\star, </math>

<math>

X\oslash (Y\circledast Z)\cong (X\oslash Y)\oslash Z,</math>

<math>

(X\odot Y)\oslash Z\cong X\odot(Y\oslash Z) </math>

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

<math>

X^\star\oslash (Y\circledast Z)\cong (X\circledast Y)^\star\oslash Z,</math>

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

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

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

</math>

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

</math>

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

</math>

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

</math>

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

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

<math>

\Big(\bigoplus_{i\in I} X_i\Big)^\star\cong \prod_{i\in I} X_i^\star </math>

<math>

\Big(\prod_{i\in I} X_i\Big)^\star\cong \bigoplus_{i\in I} X_i^\star </math>

<math>

Y\oslash \Big(\bigoplus_{i\in I} X_i\Big)\cong \prod_{i\in I} ( Y\oslash X_i) </math>

<math>

\Big(\prod_{j\in J} Y_j\Big)\oslash X\cong \prod_{j\in J} ( Y_j\oslash X) </math>

<math>

\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) </math>

<math>

\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) </math>

<math>

\Big(\lim_{i\to\infty} X_i\Big)^\star\cong \lim_{\infty\gets i} X_i^\star </math>

<math>

\Big(\lim_{\infty\gets i} X_i\Big)^\star\cong \lim_{i\to\infty} X_i^\star </math>

<math>

Y\oslash \Big(\lim_{i\to\infty} X_i\Big)\cong \lim_{\infty\gets i} (Y\oslash X_i) </math>

<math>

\Big(\lim_{\infty\gets j} Y_j\Big)\oslash X\cong \lim_{\infty\gets j} (Y_j\oslash X) </math>

<math>

\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) </math>

<math>

\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) </math> (здесь <math>\lim_{i\to\infty}</math> --- прямой предел а <math>\lim_{\infty\gets i}</math> --- обратный предел в категории Ste).

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

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

<math>

(x\circledast y)(\varphi)=\varphi(y)(x),\qquad \varphi\in X^\star\oslash Y </math> определяет элементарный тензор <math>x\circledast y\in X\circledast Y=(X^\star\oslash Y)^\star</math>, а формула

<math>

(x\odot y)(f)=f(x)\cdot y,\qquad f\in X^\star </math> --- элементарный тензор <math>x\odot y\in X\odot Y=Y\oslash X^\star</math>

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

<math>

\Gamma_{X,Y}(x\circledast y)=x\odot y,\qquad x\in X, \ y\in Y. </math>

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

Отображение <math>\Gamma_{X,Y}</math> называется преобразованием Гротендика.

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

Говорят, что стереотипное пространство <math>X</math> обладает свойством стереотипной аппроксимации, если всякое линейное непрерывное отображение <math>\varphi:X\to Y</math> можно аппроксимировать в стереотипном пространстве операторов <math>X\oslash X</math> конечномерными линейными непрерывными отображениями. Это условие слабее, чем существование базиса Шаудера в <math>X</math>, но формально сильнее классического свойства аппроксимации (однако, пока неизвестно (2013), совпадает ли стереотипная аппроксимация с классической).

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

(i) <math>X</math> обладает свойством стереотипной аппроксимации;

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

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

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

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

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

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

Приложения

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

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

Примечания

Шаблон:Примечания

Литература

↑ ^1,00 ^1,01 ^1,02 ^1,03 ^1,04 ^1,05 ^1,06 ^1,07 ^1,08 ^1,09 ^1,10 ^1,11 ^1,12 Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-1 не указан текст
↑ …или над полем <math>\mathbb{R}</math> вещественных чисел с аналогичным определением.
↑ Множество <math>D\subseteq X</math> называется емким если для всякого вполне ограниченного множества <math>A\subseteq X</math> существует конечное множество <math>F\subseteq X</math> такое что <math>A\subseteq D+F</math>
↑ ^4,0 ^4,1 ^4,2 Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-2 не указан текст
↑ Локально выпуклое пространство <math>X</math> называется кополным, если всякий линейный функционал <math>f:X\to\mathbb{C}</math>, непрерывный на каждом вполне ограниченном множестве <math>S\subseteq X</math>, непрерывен на всем <math>X</math>.
↑ Локально выпуклое пространство <math>X</math> называется насыщенным, если в нем для того, чтобы множество <math>B</math> было окрестностью нуля достаточно, чтобы <math>B</math> было выпукло, уравновешено и чтобы для каждого вполне ограниченного множества <math>S\subseteq X</math> существовала замкнутая окрестность нуля <math>U</math> в <math>X</math> такая, что <math>B\cap S=U</math>.
↑ Локально выпуклое пространство <math>X</math> называется пространством Птака или совершенно полным, если в сопряженном пространстве <math>X^\star</math> любое подпространство <math>Q\subseteq X^\star</math> <math>X</math>-слабо замкнуто, когда оно оставляет <math>X</math>-слабо замкнутый след на поляре <math>U^\circ</math> каждой окрестности нуля <math>U\subseteq X</math>.
↑ Локально выпуклое пространство <math>X</math> называется гиперполным, если в сопряженном пространстве <math>X^\star</math> любое абсолютно выпуклое множество <math>Q\subseteq X^\star</math> <math>X</math>-слабо замкнуто, когда оно оставляет <math>X</math>-слабо замкнутый след на поляре <math>U^\circ</math> каждой окрестности нуля <math>U\subseteq X</math>.
↑ Ошибка цитирования Неверный тег <ref>; для сносок Smith не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок Brudowski не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок Waterhouse не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок Brauner не указан текст
↑ ^13,0 ^13,1 Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-3 не указан текст
↑ ^14,0 ^14,1 ^14,2 ^14,3 Шаблон:Harvtxt.
↑ Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-Shavgulidze не указан текст
↑ Шаблон:Harvtxt.
↑ Вопрос о совпадении <math>X^{\vartriangle\triangledown}</math> и <math>X^{\triangledown\vartriangle}</math> остается открытым (2013).
↑ Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-4 не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок Szankowski не указан текст
↑ Ошибка цитирования Неверный тег <ref>; для сносок Kuznetsova не указан текст

[Akbarov-1-1] 1,00 ^1,01 ^1,02 ^1,03 ^1,04 ^1,05 ^1,06 ^1,07 ^1,08 ^1,09 ^1,10 ^1,11 ^1,12 Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-1 не указан текст

[2] …или над полем <math>\mathbb{R}</math> вещественных чисел с аналогичным определением.

[3] Множество <math>D\subseteq X</math> называется емким если для всякого вполне ограниченного множества <math>A\subseteq X</math> существует конечное множество <math>F\subseteq X</math> такое что <math>A\subseteq D+F</math>

[Akbarov-2-4] 4,0 ^4,1 ^4,2 Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-2 не указан текст

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

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

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

[8] Локально выпуклое пространство <math>X</math> называется гиперполным, если в сопряженном пространстве <math>X^\star</math> любое абсолютно выпуклое множество <math>Q\subseteq X^\star</math> <math>X</math>-слабо замкнуто, когда оно оставляет <math>X</math>-слабо замкнутый след на поляре <math>U^\circ</math> каждой окрестности нуля <math>U\subseteq X</math>.

[Smith-9] Ошибка цитирования Неверный тег <ref>; для сносок Smith не указан текст

[Brudowski-10] Ошибка цитирования Неверный тег <ref>; для сносок Brudowski не указан текст

[Waterhouse-11] Ошибка цитирования Неверный тег <ref>; для сносок Waterhouse не указан текст

[Brauner-12] Ошибка цитирования Неверный тег <ref>; для сносок Brauner не указан текст

[Akbarov-3-13] 13,0 ^13,1 Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-3 не указан текст

[Akbarov-5-14] 14,0 ^14,1 ^14,2 ^14,3 Шаблон:Harvtxt.

[Akbarov-Shavgulidze-15] Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-Shavgulidze не указан текст

[Akbarov-1995-16] Шаблон:Harvtxt.

[17] Вопрос о совпадении <math>X^{\vartriangle\triangledown}</math> и <math>X^{\triangledown\vartriangle}</math> остается открытым (2013).

[Akbarov-4-18] Ошибка цитирования Неверный тег <ref>; для сносок Akbarov-4 не указан текст

[Szankowski-19] Ошибка цитирования Неверный тег <ref>; для сносок Szankowski не указан текст

[Kuznetsova-20] Ошибка цитирования Неверный тег <ref>; для сносок Kuznetsova не указан текст

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

Партнерские ресурсы
Криптовалюты	Обмен криптовалют - www.bestchange.ru Криптовалютная биржа CoinEx Криптовалютная биржа Binance HIVE OS - операционная система для майнинга e4pool - Мультивалютный пул для майнинга.
Магазины	AliExpress — глобальная виртуальная (в Интернете) торговая площадка, предоставляющая возможность покупать товары производителей из КНР; computeruniverse.net - Интернет-магазин компьютеров(Промо код 5 Евро на первую покупку:FWWC3ZKQ);
Хостинг	DigitalOcean - американский провайдер облачных инфраструктур, с главным офисом в Нью-Йорке и с центрами обработки данных по всему миру;
Разное	Викиум - Онлайн-тренажер для мозга Like Центр - Центр поддержки и развития предпринимательства. Gamersbay - лучший магазин по бустингу для World of Warcraft. Ноотропы OmniMind N°1 - Усиливает мозговую активность. Повышает мотивацию. Улучшает память. Санкт-Петербургская школа телевидения - это федеральная сеть образовательных центров, которая имеет филиалы в 37 городах России. Lingualeo.com — интерактивный онлайн-сервис для изучения и практики английского языка в увлекательной игровой форме. Junyschool (Джунискул) – международная школа программирования и дизайна для детей и подростков от 5 до 17 лет, где ученики осваивают компьютерную грамотность, развивают алгоритмическое и креативное мышление, изучают основы программирования и компьютерной графики, создают собственные проекты: игры, сайты, программы, приложения, анимации, 3D-модели, монтируют видео. Умназия - Интерактивные онлайн-курсы и тренажеры для развития мышления детей 6-13 лет SkillBox - это один из лидеров российского рынка онлайн-образования. Среди партнеров Skillbox ведущий разработчик сервисного дизайна AIC, медиа-компания Yoola, первое и самое крупное русскоязычное аналитическое агентство Tagline, онлайн-школа дизайна и иллюстрации Bang! Bang! Education, оператор PR-рынка PACO, студия рисования Draw&Go, агентство performance-маркетинга Ingate, scrum-студия Sibirix, имидж-лаборатория Персона. «Нетология» — это университет по подготовке и дополнительному обучению специалистов в области интернет-маркетинга, управления проектами и продуктами, дизайна, Data Science и разработки. В рамках Нетологии студенты получают ценные теоретические знания от лучших экспертов Рунета, выполняют практические задания на отработку полученных навыков, общаются с экспертами и единомышленниками. Познакомиться со всеми продуктами подробнее можно на сайте https://netology.ru, линейка курсов и профессий постоянно обновляется. StudyBay Brazil – это онлайн биржа для португалоговорящих студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт. Автор24 — самая большая в России площадка по написанию учебных работ: контрольные и курсовые работы, дипломы, рефераты, решение задач, отчеты по практике, а так же любой другой вид работы. Сервис сотрудничает с более 70 000 авторов. Более 1 000 000 работ уже выполнено. StudyBay – это онлайн биржа для англоязычных студентов и авторов! Студент получает уникальную работу любого уровня сложности и больше свободного времени, в то время как у автора появляется дополнительный заработок и бесценный опыт.

Русская Википедия:Стереотипное пространство

Содержание

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

Примеры

История

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

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

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

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

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

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

Приложения

Примечания

Литература

Навигация

Действия на странице

Действия на странице

Персональные инструменты

Навигация

Поиск

Инструменты