В функциональном анализе подмножество топологического векторного пространства (TVS) называется бочкообразным или бочкообразным множеством, если оно замкнуто, выпукло, сбалансировано и поглощающе .
Бочечные множества играют важную роль в определениях нескольких классов топологических векторных пространств, таких как бочечные пространства .
Определения Пусть будет топологическим векторным пространством (TVS). Подмножество из называется бочкой, если оно замкнуто, выпукло, сбалансировано и поглощающе в
Подмножество из называется пожирающим и пожирающим, если оно поглощает каждое ограниченное подмножество из Каждое пожирающее подмножество из обязательно является поглощающим подмножеством из Х {\displaystyle X} Х {\displaystyle X} Х . {\displaystyle X.} Х {\displaystyle X} Х . {\displaystyle X.} Х {\displaystyle X} Х . {\displaystyle X.}
Пусть — подмножество топологического векторного пространства , если — сбалансированное поглощающее подмножество и если существует последовательность сбалансированных поглощающих подмножеств такая, что для всех , то называется супрабочкой в , причем говорят, что это a(n): Б 0 ⊆ Х {\displaystyle B_{0}\subseteq X} Х . {\displaystyle X.} Б 0 {\displaystyle B_{0}} Х {\displaystyle X} ( Б я ) я = 1 ∞ {\displaystyle \left(B_{i}\right)_{i=1}^{\infty }} Х {\displaystyle X} Б я + 1 + Б я + 1 ⊆ Б я {\displaystyle B_{i+1}+B_{i+1}\subseteq B_{i}} я = 0 , 1 , … , {\displaystyle i=0,1,\ldots,} Б 0 {\displaystyle B_{0}} Х , {\displaystyle X,} Б 0 {\displaystyle B_{0}}
рождённоядный супрабочка , если в дополнение каждый является замкнутым и рождённоядным подмножеством для каждого Б я {\displaystyle B_{i}} Х {\displaystyle X} я ≥ 0. {\displaystyle i\geq 0.} ультрабочка , если в дополнение каждый является замкнутым подмножеством для каждого Б я {\displaystyle B_{i}} Х {\displaystyle X} я ≥ 0. {\displaystyle i\geq 0.} борнеядный ультрабочка , если в дополнение каждый является замкнутым и борнеядным подмножеством для каждого Б я {\displaystyle B_{i}} Х {\displaystyle X} я ≥ 0. {\displaystyle i\geq 0.} В этом случае называется определяющей последовательностью для ( Б я ) я = 1 ∞ {\displaystyle \left(B_{i}\right)_{i=1}^{\infty }} Б 0 . {\displaystyle B_{0}.}
Характеристики Обратите внимание, что каждый пожирающий ультраствол является ультрастволом, а каждый пожирающий супрабоствол является супрабостволом.
Примеры
Смотрите также
Ссылки
Библиография Хогбе-Нленд, Анри (1977). Борнологии и функциональный анализ . Амстердам: North-Holland Publishing Co. стр. xii+144. ISBN 0-7204-0712-5 . МР 0500064. Халилулла, SM (1982). Контрпримеры в топологических векторных пространствах . Конспект лекций по математике . Том 936. Берлин, Гейдельберг, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-11565-6 . OCLC 8588370. Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666 . OCLC 144216834. HH Schaefer (1970). Топологические векторные пространства . GTM . Том 3. Springer-Verlag . ISBN 0-387-05380-8 . Халилулла, SM (1982). Контрпримеры в топологических векторных пространствах . GTM . Т. 936. Берлин-Гейдельберг: Springer-Verlag . С. 29–33, 49, 104. ISBN 9783540115656 . Кригль, Андреас; Михор, Питер В. (1997). Удобная обстановка глобального анализа . Математические обзоры и монографии. Американское математическое общество . ISBN 9780821807804 .