Пространство, в котором ограниченные операторы непрерывны
В математике , особенно в функциональном анализе , борнологическое пространство — это тип пространства, который в некотором смысле обладает минимальной структурой, необходимой для решения вопросов ограниченности множеств и линейных отображений , точно так же, как топологическое пространство обладает минимальный объем структуры, необходимый для решения вопросов преемственности . Борнологические пространства отличаются тем свойством, что линейное отображение борнологического пространства в любые локально выпуклые пространства непрерывно тогда и только тогда, когда оно является ограниченным линейным оператором .
Борнологические пространства впервые были изучены Джорджем Макки . [ нужна цитация ] Название было придумано Бурбаки [ нужна цитация ] после « борне » , французского слова, означающего « ограниченный ».
Борнологии и ограниченные карты
Борнология на множестве — это совокупность его подмножеств , удовлетворяющих всем следующим условиям:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
охватывает то есть, ;![{\displaystyle X;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X=\cup {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
устойчив относительно включений; то есть, если и тогда ;![{\displaystyle B\in {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq B,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\in {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
устойчив при конечных объединениях; то есть если тогда ;![{\displaystyle B_{1},\ldots,B_{n}\in {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B_{1}\cup \cdots \cup B_ {n}\in {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Элементы коллекции называются -ограниченными или просто ограниченными множествами, если это понятно.
Пара называется ограниченной структурой или борнологическим множеством . ![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X, {\mathcal {B}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Базовая или фундаментальная система борнологии - это подмножество такой , что каждый элемент является подмножеством некоторого элемента из. Учитывая совокупность подмножеств наименьшей содержащейся борнологии, называется борнологией, порожденной![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}_{0}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {S}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если и являются борнологическими множествами, то их произведение борнологии на является борнологией, имеющей в основе совокупность всех множеств вида где и
Подмножество ограничено в произведении борнологии тогда и только тогда, когда его образ при канонических проекциях на и оба ограничены. ![{\displaystyle (X, {\mathcal {B}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Y, {\mathcal {C}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\times Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\times C,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\in {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C\in {\mathcal {C}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\times Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ограниченные карты
Если и являются борнологическими множествами, то функция называется локально ограниченным отображением или ограниченным отображением (относительно этих борнологических множеств), если она отображает -ограниченные подмножества в -ограниченные подмножества, то есть, если
Если, кроме того, есть биекция и также ограничена, тогда называется борнологическим изоморфизмом .![{\displaystyle (X, {\mathcal {B}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (Y, {\mathcal {C}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {C}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f({\mathcal {B}})\subseteq {\mathcal {C}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle е}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{-1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle е}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Векторные борнологии
Пусть - векторное пространство над полем , где имеет борнологию.
Борнология на называется векторной борнологией, если она устойчива относительно сложения векторов, скалярного умножения и образования сбалансированных оболочек (т.е. если сумма двух ограниченных множеств ограничена, и т. д.).
![{\displaystyle \mathbb {K} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {K} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}} _ {\mathbb {K} }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если это топологическое векторное пространство (TVS) и борнология, то следующие условия эквивалентны: ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
является векторной борнологией;- Конечные суммы и сбалансированные оболочки -ограниченных множеств -ограничены;
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Карта скалярного умножения , определенная, и карта сложения, определенная, являются ограниченными, когда их домены несут в себе свои произведения (т. е. они отображают ограниченные подмножества в ограниченные подмножества).
![{\displaystyle \mathbb {K} \times X\to X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (s,x)\mapsto sx}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\times X\to X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (x,y)\mapsto x+y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Векторная борнология называется выпуклой векторной борнологией , если она устойчива относительно образования выпуклых оболочек (т. е. выпуклая оболочка ограниченного множества ограничена), тогда
И векторная борнология называется разделенной , если единственным ограниченным векторным подпространством в ней является 0- многомерное тривиальное пространство![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Обычно это либо действительные, либо комплексные числа, и в этом случае векторная борнология будет называться выпуклой векторной борнологией, если ее база состоит из выпуклых множеств. ![{\displaystyle \mathbb {K} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Подмножества родоядных
Подмножество называется рожденоядным и рожденоядным, если оно поглощает каждое ограниченное множество.![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В векторной борнологии борнология является рожденоядной, если она поглощает каждое ограниченное сбалансированное множество, а в выпуклой векторной борнологии является рожденоядной, если она поглощает каждый ограниченный диск.![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Две топологии TVS в одном и том же векторном пространстве имеют одни и те же ограниченные подмножества тогда и только тогда, когда у них одни и те же рожденоядные животные.
Каждое рождённое подмножество локально выпуклого метризуемого топологического векторного пространства является окрестностью начала координат.
Конвергенция Макки
Последовательность в TVS называется сходящейся по Макки к, если существует последовательность положительных действительных чисел, расходящаяся к такой, которая сходится к в ![{\displaystyle x_{\bullet }=(x_{i})_{i=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle r_ {\ Bullet } = (r_ {i}) _ {i = 1} ^ {\ infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (r_{i}x_{i})_{i=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Борнология топологического векторного пространства
Каждое топологическое векторное пространство, по крайней мере, в поле с недискретными значениями дает борнологию, определяя подмножество , которое должно быть ограниченным (или ограниченным по фон Нейману), тогда и только тогда, когда для всех открытых множеств, содержащих ноль, существует a с
If является локально выпуклым топологическое векторное пространство тогда ограничено тогда и только тогда, когда все непрерывные полунормы на ограничены на![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\subseteq rU.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Б.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Множество всех ограниченных подмножеств топологического векторного пространства называется борнологией или борнологией фон Неймана.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если — локально выпуклое топологическое векторное пространство , то поглощающий диск в рожденоядном (соответственно инфрарожденном) тогда и только тогда, когда его функционал Минковского локально ограничен (соответственно инфраограничен).
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Индуцированная топология
Если это выпуклая векторная борнология в векторном пространстве , то совокупность всех ее выпуклых сбалансированных подмножеств, которые являются рожденоядными, образует базис окрестности в начале координат для локально выпуклой топологии на, называемой топологией, индуцированной . ![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {N}}_ {\mathcal {B}}(0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если это TVS, то борнологическое пространство, связанное с ним, представляет собой векторное пространство, наделенное локально выпуклой топологией, индуцированной борнологией фон Неймана из ![{\displaystyle (X,\тау)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X,\tau).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Теорема — Пусть и локально выпуклая TVS, и пусть обозначает наделенную топологией, индуцированной борнологией фон Неймана Определить аналогично. Тогда линейное отображение является ограниченным линейным оператором тогда и только тогда, когда оно непрерывно.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{b}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{b}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:X\к Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:X_{b}\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Более того, если борнологическое, является Хаусдорфовым и является непрерывным линейным отображением, то таковым является и ультраборнологическое отображение. Если, кроме того, оно также ультраборнологическое, то из непрерывности следует непрерывность![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:X\к Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:X\to Y_{b}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:X\к Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L:X\to Y_{ub},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{ub}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Квазиборнологические пространства
Квазиборнологические пространства были введены С. Ияхеном в 1968 г.
Топологическое векторное пространство (ТВП) с непрерывным двойственным пространством называется квазиборнологическим пространством если выполняется любое из следующих эквивалентных условий:
![{\displaystyle X^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждый ограниченный линейный оператор перехода в другую ТВС непрерывен .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Всякий ограниченный линейный оператор из полной метризуемой ТВС непрерывен.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждый узел в рожденоядной струне является окрестностью начала координат.
Всякая псевдометризуемая TVS квазиборнологична.
TVS , в котором каждое рожденоядное множество является окрестностью начала координат, является квазиборнологическим пространством.
Если это квазиборнологическое TVS, то тончайшая локально выпуклая топология на нем грубее, чем превращающая его в локально выпуклое борнологическое пространство.![{\displaystyle (X,\тау)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \тау }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Борнологическое пространство
В функциональном анализе локально выпуклое топологическое векторное пространство является борнологическим пространством, если его топология может быть восстановлена из его борнологии естественным путем.
Всякое локально-выпуклое квазиборнологическое пространство является борнологическим, но существуют борнологические пространства, не являющиеся квазиборнологическими.
Топологическое векторное пространство (ТВП) с непрерывным двойственным пространством называется борнологическим пространством, если оно локально выпукло и выполняется любое из следующих эквивалентных условий:
![{\displaystyle X^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждое выпуклое, сбалансированное и рожденоядное множество в является окрестностью нуля.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Всякий ограниченный линейный оператор из локально выпуклой ТВС непрерывен .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Напомним, что линейное отображение ограничено тогда и только тогда, когда оно отображает любую последовательность, сходящую к в области определения, в ограниченное подмножество кодомена. В частности, любое линейное отображение, секвенциально непрерывное в начале координат, ограничено.
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Всякий ограниченный линейный оператор из полунормированного пространства непрерывен.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Всякий ограниченный линейный оператор из банахова пространства непрерывен.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если — хаусдорфово локально выпуклое пространство , то к этому списку можно добавить:
- Локально выпуклая топология, индуцированная борнологией фон Неймана, совпадает с заданной топологией.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Любая ограниченная полунорма на непрерывна.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Любая другая топология хаусдорфова локально выпуклого топологического векторного пространства, имеющая ту же (фон Неймановскую) борнологию, что и обязательно более грубая, чем
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X,\тау)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \тау .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
— индуктивный предел нормированных пространств.
— индуктивный предел нормированных пространств , изменяющийся по замкнутым и ограниченным дискам (или изменяющийся по ограниченным дискам ). ![{\displaystyle X_{D}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
несет топологию Макки , и все ограниченные линейные функционалы на непрерывны. ![{\displaystyle \tau (X,X^{\prime})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
имеет оба следующих свойства:
является выпукло-секвенциальным или C-секвенциальным , что означает, что каждое выпуклое секвенциально открытое подмножество открыто,![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
является секвенциально борнологическим или S-борнологическим , что означает, что каждое выпуклое и рожденоядное подмножество последовательно открыто.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
где подмножество называется последовательно открытым, если каждая последовательность, сходящаяся к в конечном счете, принадлежит![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle А.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Всякий секвенциально-непрерывный линейный оператор из локально-выпуклого борнологического пространства в локально-выпуклое TVS непрерывен, причем, напомним, линейный оператор секвенциально непрерывен тогда и только тогда, когда он секвенциально непрерывен в начале координат. Таким образом, для линейных отображений борнологического пространства в локально выпуклое пространство непрерывность эквивалентна секвенциальной непрерывности в начале координат. В более общем плане у нас даже есть следующее:
- Любое линейное отображение локально выпуклого борнологического пространства в локально выпуклое пространство, которое отображает нулевые последовательности в ограниченные подмножества , обязательно непрерывно.
![{\displaystyle F:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Достаточные условия
Теорема Макки–Улама — Произведение совокупности локально выпуклых борнологических пространств является борнологическим тогда и только тогда, когда не допускает меры Улама .![{\displaystyle X_{\bullet }=(X_{i})_{i\in I}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Как следствие теоремы Макки-Улама, «для всех практических целей произведение борнологических пространств является борнологическим».
Все следующие топологические векторные пространства являются борнологическими:
- Любая локально выпуклая псевдометризуемая TVS борнологична.
- Любой строгий индуктивный предел борнологических пространств, в частности любое строгое LF -пространство , является борнологическим.
- Это показывает, что существуют борнологические пространства, которые не метризуемы.
- Счетное произведение локально выпуклых борнологических пространств является борнологическим.
- Факторы хаусдорфовых локально-выпуклых борнологических пространств являются борнологическими.
- Прямая сумма и индуктивный предел хаусдорфовых локально выпуклых борнологических пространств являются борнологическими.
- Пространства Фреше -Монтеля имеют борнологические сильные двойственные пространства .
- Сильный двойник всякого рефлексивного пространства Фреше является борнологическим.
- Если сильное двойственное метризуемому локально выпуклому пространству сепарабельно , то оно борнологическое.
- Векторное подпространство хаусдорфова локально выпуклого борнологического пространства , имеющее конечную коразмерность в, является борнологическим.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Наилучшая локально выпуклая топология векторного пространства является борнологической.
- Контрпримеры
Существует борнологическое LB-пространство , сильный бидуал которого не является борнологическим.
Замкнутое векторное подпространство локально выпуклого борнологического пространства не обязательно является борнологическим.
Существует замкнутое векторное подпространство локально выпуклого борнологического пространства, которое является полным (и, следовательно, секвенциально полным), но не является ни бочоночным, ни борнологическим.
Борнологические пространства не обязательно должны быть бочоночными , а бочоночные пространства не обязательно должны быть борнологическими. Поскольку каждое локально выпуклое ультраборнологическое пространство является бочоночным, отсюда следует, что борнологическое пространство не обязательно является ультраборнологическим.
Характеристики
- Сильное двойственное пространство локально выпуклому борнологическому пространству полно .
- Всякое локально-выпуклое борнологическое пространство является инфрабаррельным .
- Всякая хаусдорфова последовательно полная борнологическая ТВС является ультраборнологической .
- Таким образом, любое полное хаусдорфово борнологическое пространство является ультраборнологическим.
- В частности, каждое пространство Фреше является ультраборнологическим.
- Конечное произведение локально выпуклых ультраборнологических пространств является ультраборнологическим.
- Каждое хаусдорфово борнологическое пространство является квазибочоночным .
- Для борнологического пространства с непрерывным двойственным топология совпадает с топологией Макки.
![{\displaystyle X^{\prime},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждое квазиполное (т.е. все замкнутые и ограниченные подмножества полны) борнологическое пространство является бочоночным . Однако существуют борнологические пространства, которые не имеют цилиндрической формы.
- Каждое борнологическое пространство является индуктивным пределом нормированных пространств (и банаховых пространств, если пространство также квазиполно).
- Пусть — метризуемое локально выпуклое пространство с непрерывным двойственным. Тогда следующие условия эквивалентны:
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X^{\prime }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
является борнологическим.
является квазиствольным .
является бочковым .
это выдающееся пространство .
- Если — линейное отображение локально выпуклых пространств и если оно борнологическое, то следующие условия эквивалентны:
![{\displaystyle L:X\к Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
является непрерывным.
является последовательно непрерывным. - Ибо каждое ограниченное множество ограничено.
![{\displaystyle B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle L (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если это нулевая последовательность, то это нулевая последовательность в
![{\displaystyle x_{\bullet }=(x_{i})_{i=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle L \ circ x_ {\ Bullet } = (L (x_ {i})) _ {i = 1} ^ {\ infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если — сходящаяся нулевая последовательность Макки, то — ограниченное подмножество
![{\displaystyle x_{\bullet }=(x_{i})_{i=1}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle L \ circ x_ {\ Bullet } = (L (x_ {i})) _ {i = 1} ^ {\ infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Предположим, что и — локально выпуклые ТВС и что пространство непрерывных линейных отображений наделено топологией равномерной сходимости на ограниченных подмножествах . Если — борнологическое пространство, а если полно , то — полная ТВС.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_ {b}(X;Y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_ {b}(X;Y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- В частности, сильный двойник локально выпуклого борнологического пространства является полным. Однако оно не обязательно должно быть борнологическим.
- Подмножества
- В локально выпуклом борнологическом пространстве каждое выпуклое борноядное множество является окрестностью ( не обязательно должно быть диском).
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждое рождённое подмножество локально выпуклого метризуемого топологического векторного пространства является окрестностью начала координат.
- Замкнутые векторные подпространства борнологического пространства не обязательно должны быть борнологическими.
Ультраборнологические пространства
Диск в топологическом векторном пространстве называется инфроядным, если он поглощает все банаховы диски .![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если локально выпукл и хаусдорфов, то диск инфрарожденен тогда и только тогда, когда он поглощает все компакт-диски.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Локально выпуклое пространство называется ультраборнологическим, если выполняется любое из следующих эквивалентных условий:
- Каждый диск инфрарожденных является окрестностью начала координат.
- индуктивный предел пространств , изменяющийся по всем компактным дискам в![{\displaystyle X_{D}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Полунорма , ограниченная на каждом банаховом диске, обязательно непрерывна .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Для всякого локально выпуклого пространства и всякого линейного отображения если оно ограничено на каждом банаховом диске, то непрерывно.
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle u: X \ to Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle и}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle и}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Для любого банахова пространства и любого линейного отображения если оно ограничено на каждом банаховом диске, то непрерывно.
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle u: X \ to Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle и}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle и}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Характеристики
Конечное произведение ультраборнологических пространств является ультраборнологическим. Индуктивные пределы ультраборнологических пространств являются ультраборнологическими.
Смотрите также
Рекомендации
Библиография
- Адаш, Норберт; Эрнст, Бруно; Кейм, Дитер (1978). Топологические векторные пространства: теория без условий выпуклости . Конспект лекций по математике. Том. 639. Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-08662-8. ОСЛК 297140003.
- Бербериан, Стерлинг К. (1974). Лекции по функциональному анализу и теории операторов . Тексты для аспирантов по математике. Том. 15. Нью-Йорк: Спрингер. ISBN 978-0-387-90081-0. ОСЛК 878109401.
- Бурбаки, Николя (1987) [1981]. Топологические векторные пространства: главы 1–5 . Элементы математики . Перевод Эгглстона, Х.Г.; Мадан, Южный Берлин, Нью-Йорк: Springer-Verlag. ISBN 3-540-13627-4. ОСЛК 17499190.
- Конвей, Джон Б. (1990). Курс функционального анализа . Тексты для аспирантов по математике . Том. 96 (2-е изд.). Нью-Йорк: Springer-Verlag . ISBN 978-0-387-97245-9. ОСЛК 21195908.
- Эдвардс, Роберт Э. (1995). Функциональный анализ: теория и приложения . Нью-Йорк: Dover Publications. ISBN 978-0-486-68143-6. ОСЛК 30593138.
- Гротендик, Александр (1973). Топологические векторные пространства . Перевод Чальджуба, Орландо. Нью-Йорк: Издательство Gordon and Breach Science. ISBN 978-0-677-30020-7. ОСЛК 886098.
- Хогбе-Нленд, Анри (1977). Борнологии и функциональный анализ . Амстердам: North-Holland Publishing Co., стр. xii+144. ISBN 0-7204-0712-5. МР 0500064.
- Хогбе-Нленд, Анри (1977). Борнологии и функциональный анализ: вводный курс теории двойственности. Топология-борнология и ее использование в функциональном анализе . Математические исследования Северной Голландии. Том. 26. Амстердам Нью-Йорк Нью-Йорк: Северная Голландия. ISBN 978-0-08-087137-0. МР 0500064. OCLC 316549583.
- Ярхов, Ганс (1981). Локально выпуклые пространства . Штутгарт: Б. Г. Тойбнер. ISBN 978-3-519-02224-4. ОСЛК 8210342.
- Халилулла, С.М. (1982). Контрпримеры в топологических векторных пространствах . Конспект лекций по математике . Том. 936. Берлин, Гейдельберг, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-11565-6. ОСЛК 8588370.
- Кете, Готфрид (1983) [1969]. Топологические векторные пространства I . Grundlehren der mathematischen Wissenschaften. Том. 159. Перевод Гарлинга, DJH Нью-Йорк: Springer Science & Business Media. ISBN 978-3-642-64988-2. МР 0248498. OCLC 840293704.
- Кригль, Андреас; Михор, Питер В. (1997). Удобная настройка глобального анализа . Математические обзоры и монографии. Американское математическое общество . ISBN 9780821807804.
- Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. ОСЛК 840278135.
- Шехтер, Эрик (1996). Справочник по анализу и его основам . Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4. ОСЛК 175294365.
- Шварц, Чарльз (1992). Введение в функциональный анализ . Нью-Йорк: М. Деккер. ISBN 978-0-8247-8643-4. ОСЛК 24909067.
- Вилански, Альберт (2013). Современные методы в топологических векторных пространствах . Минеола, Нью-Йорк: ISBN Dover Publications, Inc. 978-0-486-49353-4. ОСЛК 849801114.