Борнология
В математике , особенно в функциональном анализе , борнология на множестве X представляет собой совокупность подмножеств X, удовлетворяющих аксиомам, обобщающим понятие ограниченности . Одной из ключевых мотиваций борнологии и борнологического анализа является тот факт, что борнологические пространства предоставляют удобную среду для гомологической алгебры в функциональном анализе. Это потому, что [1] стр. 9 Категория аддитивна борнологических пространств , полна , кополна и имеет тензорное произведение, сопряженное с внутренним hom , все необходимые компоненты для гомологической алгебры.
История [ править ]
Борнология берет свое начало от функционального анализа . Есть два естественных способа изучения проблем функционального анализа: один путь — изучение понятий, связанных с топологиями ( векторные топологии , непрерывные операторы , открытые / компактные подмножества и т. д.), а другой — изучение понятий, связанных с ограниченностью. [2] ( векторные борнологии , ограниченные операторы , ограниченные подмножества и т. д.).
Для нормированных пространств , из которых возник функциональный анализ, топологические и борнологические понятия различны, но дополняют друг друга и тесно связаны. Например, единичный шар с центром в начале координат является одновременно окрестностью начала координат и ограниченным подмножеством. При этом подмножеством нормированного пространства называется окрестность начала координат (соответственно является ограниченным множеством ) ровно тогда, когда оно содержит (соответственно содержится в ) ненулевое скалярное кратное этого шара; так что это один из примеров, когда топологические и борнологические понятия различны, но дополняют друг друга (в том смысле, что их определения различаются только тем, какое из них и используется).В других случаях различие между топологическими и борнологическими понятиями может быть даже ненужным. Например, для линейных карт между нормированными пространствами непрерывность ( топологическое понятие) эквивалентна ограниченности (борнологическое понятие). Хотя различие между топологией и борнологией часто размыто или ненужно для нормированного пространства, оно становится более важным при изучении обобщений нормированных пространств. Тем не менее, борнологию и топологию все же можно рассматривать как два необходимых, различных и взаимодополняющих аспекта одной и той же реальности. [2]
Общая теория топологических векторных пространств возникла сначала из теории нормированных пространств, а затем из этой общей теории топологических векторных пространств возникла борнология, хотя с тех пор борнология стала признана фундаментальным понятием в функциональном анализе . [3] Рожденная в работе Джорджа Макки (в честь которого названы пространства Макки ), важность ограниченных подмножеств впервые стала очевидной в теории двойственности , особенно из-за теоремы Макки-Аренса и топологии Макки . [3] Примерно с 1950-х годов стало очевидно, что топологические векторные пространства недостаточны для изучения некоторых важных проблем. [3] Например, операция умножения некоторых важных топологических алгебр не была непрерывной, хотя часто была ограниченной. [3] Другие основные проблемы, для решения которых TVS оказались неадекватными, заключались в разработке более общей теории дифференциального исчисления, обобщении от (обычных) скалярных распределений до векторных или операторнозначных распределений и расширении голоморфного функционального исчисления Гельфанда распределений ( которая в первую очередь согласована с банаховыми алгебрами или локально выпуклыми алгебрами ) с более широким классом операторов, включая те, спектры которых некомпактны. Борнология оказалась полезным инструментом для исследования этих и других проблем. [4] включая задачи алгебраической геометрии и общей топологии .
Определения [ править ]
Борнология . на множестве — это покрытие множества, замкнутое относительно конечных объединений и принимающее подмножества Элементы борнологии называются ограниченными множествами .
Явно, а борнология или ограниченность на множестве это семья подмножеств такой, что
- устойчив при включении или вниз закрыто : Если тогда каждое подмножество является элементом
- Говоря простым языком , это говорит о том, что подмножества ограниченных множеств ограничены.
- обложки Каждая точка является элементом какого-то или эквивалентно,
- Полагая (1), это условие можно заменить следующим: Для каждого Говоря простым языком, это говорит о том, что каждая точка ограничена.
- устойчив при конечных объединениях : объединение конечного числа элементов является элементом или, что то же самое, объединение любых двух множеств, принадлежащих также принадлежит
- Говоря простым языком, это говорит о том, что объединение двух ограниченных множеств является ограниченным множеством.
в этом случае пара называется ограниченная структура или борнологический набор . [5]
Таким образом, борнологию можно эквивалентно определить как закрытую вниз оболочку, закрытую относительно бинарных объединений .Непустое семейство множеств, замкнутое относительно конечных объединений и принимающее подмножества (свойства (1) и (3)) называется идеалом ( потому что оно является идеалом в булевой алгебре / поле множеств, состоящих из всех подмножеств ). Борнология на съемочной площадке таким образом, может быть эквивалентно определено как идеал, охватывающий
Элементы называются -ограниченные множества или просто ограниченное множество s , если понятно. Свойства (1) и (2) подразумевают, что каждое одноэлементное подмножество является элементом каждой борнологии на свойство (3), в свою очередь, гарантирует, что то же самое верно для любого конечного подмножества Другими словами, в любой борнологии точки и конечные подмножества всегда ограничены. В частности, пустое множество всегда ограничено.
Если представляет собой ограниченную структуру и тогда набор дополнений это (собственный) фильтр , называемый фильтр на бесконечности ; [5] это всегда свободный фильтр , что по определению означает, что он имеет пустое пересечение/ ядро , поскольку для каждого
Базы и подбазы [ править ]
Если и являются ли борлогии на затем Говорят, что это тоньше или сильнее, чем а также Говорят, что это грубее или слабее , чем если [5]
Семейство наборов называется база или фундаментальная система борнологии если и для каждого существует такой, что
Семейство наборов называется подоснова борнологии если и совокупность всех конечных объединений множеств в образует основу для [5]
Каждая основа борнологии является также ее подбазой.
борнология Сгенерированная
Пересечение любой совокупности (одной или нескольких) борнологий на снова является борнологией на Такое пересечение борнологии охватит потому что каждая борнология на содержит каждое конечное подмножество (то есть, если это борнология на и конечно тогда ). Легко проверить, что такое пересечение также будет замкнуто относительно включения (подмножества) и конечных объединений и, следовательно, будет борнологией на
Учитывая коллекцию подмножеств самая маленькая борнология на содержащий называется борнология, порожденная . [5] Оно равно пересечению всех борнологий на которые содержат как подмножество. Это пересечение четко определено, поскольку набор степеней из всегда является борнологией на так что каждая семья подмножеств всегда содержится хотя бы в одной борнологии на
Ограниченные карты [ править ]
Предположим, что и являются ограниченными структурами. Карта называется локально ограниченная карта или просто ограниченная карта , если изображение под каждого -ограниченное множество – это -ограниченное множество; то есть, если для каждого [5]
Поскольку композиция двух локально ограниченных отображений снова локально ограничена, ясно, что класс всех ограниченных структур образует категорию , которой морфизмы являются ограниченными отображениями. Изоморфизм в этой категории называется борноморфизм и это биективное локально ограниченное отображение, обратное которому также локально ограничено. [5]
Примеры ограниченных карт [ править ]
Если является непрерывным линейным оператором между двумя топологическими векторными пространствами (не обязательно Хаусдорфом), то он является ограниченным линейным оператором, когда и имеют свои борнологии фон Неймана , где множество ограничено именно тогда, когда оно поглощается всеми окрестностями происхождения (это подмножества TVS, которые обычно называются ограниченными, когда никакая другая борнология явно не упоминается). Обратное утверждение, вообще говоря, неверно.
карта непрерывная Последовательно - между двумя TVS обязательно локально ограничено. [5]
Общие конструкции [ править ]
Дискретная борнология
Для любого набора набор мощности из это борнология на назвал дискретная борнология . [5] Поскольку каждая борнология на является подмножеством Дискретная борнология – это лучшая борнология на свете. Если тогда это ограниченная структура (поскольку борнологии замкнуты вниз ) является дискретной борнологией тогда и только тогда, когда
Недискретная борнология
Для любого набора множество всех конечных подмножеств это борнология на назвал недискретная борнология . Это самая грубая борнология на это означает, что это подмножество каждой борнологии на
Множества ограниченной мощности
Множество всех счетных подмножеств это борнология на В более общем смысле для любого бесконечного кардинала совокупность всех подмножеств имеющий не более мощности это борнология на
Борнология обратного образа [ править ]
Если это карта и это борнология на затем обозначает борнологию, порожденную которая называется борлогией обратного образа или начальной борлогией, вызванной на [5]
Позволять быть набором, быть -индексированное семейство ограниченных структур, и пусть быть -индексированное семейство карт, где для каждого обратное изображение борнологии на определяемая этими картами, является сильнейшей борнологией на делая каждый локально ограничен. Эта борнология равна [5]
прямого образа Борнология
Позволять быть набором, быть -индексированное семейство ограниченных структур, и пусть быть -индексированное семейство карт, где для каждого прямой образ борнологии на определяемая этими картами, является самой слабой борнологией на делая каждый локально ограничен. Если для каждого обозначает борнологию, порожденную тогда эта борнология равна совокупности всех подмножеств из формы где каждый и все, кроме конечного числа пусты. [5]
Подпространственная борнология [ править ]
Предположим, что представляет собой ограниченную структуру и быть подмножеством подпространственная борнология на это лучшая борнология на составление карты включения из в (определено ) локально ограничен. [5]
Борнология продукта [ править ]
Позволять быть -индексированное семейство ограниченных структур, пусть и для каждого позволять обозначим каноническую проекцию. Борнология продукта на - это борнология обратного образа, определяемая каноническими проекциями То есть это сильнейшая борнология на делая каждую из канонических проекций локально ограниченной. Базой для продуктовой борнологии является [5]
Топологические конструкции [ править ]
борнология Компактная
Подмножество топологического пространства называется относительно компактным, если его замыкание является компактным подпространством Для любого топологического пространства в котором одноэлементные подмножества относительно компактны (например, пространство T1 ), множество всех относительно компактных подмножеств сформировать борнологию на назвал компактная борнология на [5] Всякое непрерывное отображение между пространствами T1 ограничено относительно их компактных борнологий.
Множество относительно компактных подмножеств сформировать борнологию на Базой этой борнологии являются все замкнутые интервалы вида для
Метрическая борнология
Учитывая метрическое пространство метрическая борнология состоит из всех подмножеств такой, что верхняя грань конечно.
Аналогично, учитывая пространство с мерой семейство всех измеримых подмножеств конечной меры (имеется в виду ) образуют борнологию на
и Замыкание внутренняя борнология
Предположим, что является топологическим пространством и это борнология на
Борнология, порожденная множеством всех топологических внутренностей множеств в (то есть созданный называется интерьер и обозначается [5] Борнология называется открыть, если
Борнология, порожденная множеством всех топологических замыканий множеств в (то есть созданный ) называется закрытие и обозначается [5] У нас обязательно есть
Борнология называется закрыт, если он удовлетворяет любому из следующих эквивалентных условий:
Борнология называется правильно, если бывает как открытым, так и закрытым. [5]
Топологическое пространство называется локально -ограниченный или просто локально ограниченный, если каждый имеет район, который принадлежит Каждое компактное подмножество локально ограниченного топологического пространства ограничено. [5]
Борнология топологического пространства векторного
Если является топологическим векторным пространством (TVS), то множество всех ограниченных подмножеств сформировать борнологию (даже векторную борнологию ) на назвал фон Неймана , обычная борнология , или просто Борнология и называется естественная ограниченность . [5] В любом локально выпуклом TVS множество всех замкнутых ограниченных дисков образует основу обычной борнологии [5]
Линейное отображение между двумя борнологическими пространствами непрерывно тогда и только тогда, когда оно ограничено (относительно обычных борнологий).
Топологические кольца [ править ]
Предположим, что является коммутативным топологическим кольцом . Подмножество из называется ограниченное множество , если для каждой окрестности происхождения в существует район происхождения в такой, что [5]
См. также [ править ]
- Набор Bornivorous - набор, который может поглотить любое ограниченное подмножество.
- Борнологическое пространство - Пространство, в котором ограниченные операторы непрерывны.
- Грубая структура # ограниченный набор - семейство наборов по геометрии и топологии для измерения крупномасштабных свойств пространства.
- Пространство линейных карт
- Ультраборнологическое пространство
- Векторная борнология
Ссылки [ править ]
- ^ Блок, Джонатан; Дэнцер, Колдер (9 января 2009 г.). «Двойственность Мукая для гербов со связью». arXiv : 0803.1529 [ math.QA ].
- ^ Перейти обратно: а б Хогбе-Нленд 1971 , с. 5.
- ^ Перейти обратно: а б с д Хогбе-Нленд 1971 , стр. 1–2.
- ^ Хогбе-Нленд 1971 .
- ^ Перейти обратно: а б с д и ж г час я дж к л м н тот п д р с т в v В х Наричи и Бекенштейн, 2011 , стр. 156–175.
- Хогбе-Нленд, Анри (1977). Борнологии и функциональный анализ: вводный курс теории двойственности. Топология-борнология и ее использование в функциональном анализе . Математические исследования Северной Голландии. Том. 26. Амстердам Нью-Йорк Нью-Йорк: Северная Голландия. ISBN 978-0-08-087137-0 . МР 0500064 . OCLC 316549583 .
- Хогбе-Нленд, Анри (1971). «Исторические корни современной борнологии» (PDF) . Семинар Шоке: Введение в анализ (на французском языке). 10 (1): 1–7. МР 0477660 .
- Халилулла, С.М. (1982). Контрпримеры в топологических векторных пространствах . Конспект лекций по математике . Том. 936. Берлин, Гейдельберг, Нью-Йорк: Springer-Verlag . стр. 29–33, 49, 104. ISBN. 978-3-540-11565-6 . OCLC 8588370 .
- Кригль, Андреас ; Михор, Питер В. (1997). Удобная настройка глобального анализа (PDF) . Математические обзоры и монографии. Том. 53. Провиденс, Род-Айленд: Американское математическое общество . ISBN 978-0-8218-0780-4 . OCLC 37141279 .
- Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666 . OCLC 144216834 .
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0 . OCLC 840278135 .