Ограниченное множество (топологическое векторное пространство)
В функциональном анализе и смежных областях математики множество топологическом в векторном пространстве называется ограниченным или ограниченным по фон Нейману , если каждую окрестность нулевого вектора можно расширить , включив в него это множество. Множество, которое не ограничено, называется неограниченным .
Ограниченные множества являются естественным способом определения локально выпуклых полярных топологий на векторных пространствах в дуальной паре , поскольку полярное множество ограниченного множества является абсолютно выпуклым и поглощающим множеством . Понятие было впервые предложено Джоном фон Нейманом и Андреем Колмогоровым в 1935 году .
Определение
[ редактировать ]Предполагать представляет собой топологическое векторное пространство (ТВП) над полем
Подмножество из называется по фон Нейману ограниченным или просто ограниченным по если выполнено любое из следующих эквивалентных условий:
- Определение : Для каждого района происхождения существует реальный такой, что [примечание 1] для всех скаляров удовлетворяющий [1]
- Это определение было введено Джоном фон Нейманом в 1935 году. [1]
- поглощается . каждой окрестностью начала координат [2]
- Для каждого района начала координат существует скаляр такой, что
- Для каждого района происхождения существует реальный такой, что для всех скаляров удовлетворяющий [1]
- Для каждого района происхождения существует реальный такой, что для всех реально [3]
- Любое из утверждений (1)–(5) выше, но с заменой слова «соседство» любым из следующих слов: « сбалансированное соседство», «открытое сбалансированное соседство», «закрытое сбалансированное соседство», «открытое соседство», «закрытое соседство». район".
- например, утверждение (2) может стать: ограничен тогда и только тогда, когда поглощается каждой сбалансированной окрестностью начала координат. [1]
- Если , локально выпукло то к любой из этих 5 замен можно добавить прилагательное «выпуклый».
- Для каждой последовательности скаляров который сходится к и каждая последовательность в последовательность сходится к в [1]
- Это определение «ограниченного», которое Андрей Колмогоров использовал в 1934 году, оно совпадает с определением, введенным Станиславом Мазуром и Владиславом Орличем в 1933 году для метризуемого TVS. Колмогоров использовал это определение, чтобы доказать, что ТВС полунормируема тогда и только тогда, когда она имеет ограниченную выпуклую окрестность начала координат. [1]
- Для каждой последовательности в последовательность сходится к в [4]
- Каждое счетное подмножество ограничено (согласно любому определяющему условию, кроме этого). [1]
Если является основой соседства для в источнике, то этот список может быть расширен, включив в него:
- Любое из утверждений (1)–(5) выше, но с окрестностями, ограниченными теми, которые принадлежат
- например, утверждение (3) может выглядеть так: Для каждого существует скаляр такой, что
Если — локально выпуклое пространство, топология которого определяется семейством непрерывных полунорм , то этот список можно расширить, включив в него:
- ограничен для всех [1]
- Существует последовательность ненулевых скаляров такая, что для каждой последовательности в последовательность ограничен (согласно любому определяющему условию, кроме этого). [1]
- Для всех ограничено (согласно любому определяющему условию, кроме этого) в полунормированном пространстве
- B слабо ограничен, т. е. каждый непрерывный линейный функционал ограничен на B [5]
Если это нормированное пространство с нормой (или, в более общем смысле, если это полунормированное пространство и это всего лишь полунорма ), [примечание 2] то этот список можно расширить, включив в него:
- является ограниченным по норме подмножеством По определению это означает, что существует действительное число такой, что для всех [1]
- Таким образом, если является линейным отображением между двумя нормированными (или полунормированными) пространствами, и если — закрытый (или открытый) единичный шар в с центром в начале координат, тогда — ограниченный линейный оператор (что, напомним, означает, что его операторная норма конечно) тогда и только тогда, когда образ этого мяча под является ограниченным по норме подмножеством
- является подмножеством некоторого (открытого или закрытого) шара. [примечание 3]
- Этот шар не обязательно должен быть центрирован в начале координат, но его радиус должен (как обычно) быть положительным и конечным.
Если является векторным подпространством TVS то этот список можно расширить, включив в него:
- содержится в закрытии [1]
- Другими словами, векторное подпространство ограничено тогда и только тогда, когда оно является подмножеством (векторного пространства)
- Напомним, что является хаусдорфовым пространством тогда и только тогда, когда закрыт в Таким образом, единственным ограниченным векторным подпространством хаусдорфовой TVS является
Подмножество, которое не ограничено, называется неограниченным .
Борнология и фундаментальные системы ограниченных множеств
[ редактировать ]Коллекция всех ограниченных множеств в топологическом векторном пространстве. называется борнологией фон Неймана или канонической ) борнологией (
Базовая фундаментальная или система ограниченных множеств это набор ограниченных подмножеств такая, что каждое ограниченное подмножество является подмножеством некоторого [1] Множество всех ограниченных подмножеств тривиально образует фундаментальную систему ограниченных множеств
Примеры
[ редактировать ]В любой локально выпуклой ТВС множество замкнутых и ограниченных дисков является базой ограниченного множества. [1]
Примеры и достаточные условия
[ редактировать ]Если не указано иное, топологическое векторное пространство (TVS) не обязательно должно быть хаусдорфовым или локально выпуклым .
- Конечные множества ограничены. [1]
- Любое вполне ограниченное подмножество TVS ограничено. [1]
- Каждое относительно компактное множество в топологическом векторном пространстве ограничено. Если пространство оснащено слабой топологией, верно и обратное.
- Множество точек последовательности Коши ограничено, множество точек Коши сети не обязательно должно быть ограниченным.
- Замыкание начала координат (имеется в виду замыкание множества ) всегда является ограниченным замкнутым векторным подпространством. Этот набор является уникальным по величине (относительно включения множества ) ограниченное векторное подпространство В частности, если является ограниченным подмножеством тогда так и есть
Неограниченные множества
Множество, которое не ограничено, называется неограниченным .
Любое векторное подпространство ТВС, не входящее в замыкание неограничен
Существует пространство Фреше имеющее ограниченное подмножество а также плотное векторное подпространство такой, что содержится не в замыкании (в ) любого ограниченного подмножества [6]
Свойства стабильности
[ редактировать ]- В любом TVS конечные объединения , конечные суммы Минковского , скалярные кратные, сдвиги, подмножества, замыкания , внутренности и сбалансированные оболочки ограниченных множеств снова ограничены. [1]
- В любом локально выпуклом TVS ( выпуклая оболочка также называемая выпуклой оболочкой ) ограниченного множества снова ограничена. [7] Однако это может быть неверно, если пространство не является локально выпуклым, поскольку (нелокально выпуклое) пространство Lp места для не имеют нетривиальных открытых выпуклых подмножеств. [7]
- Образ ограниченного множества при непрерывном линейном отображении является ограниченным подмножеством кодобласти. [1]
- Подмножество произвольного (декартова) произведения ТВС ограничено тогда и только тогда, когда ограничен его образ при каждой координатной проекции.
- Если и является топологическим векторным подпространством затем ограничен тогда и только тогда, когда ограничен [1]
- Другими словами, подмножество ограничен тогда и только тогда, когда оно ограничено в каждом (или, что то же самое, в некотором) топологическом векторном суперпространстве
Характеристики
[ редактировать ]Локально выпуклое топологическое векторное пространство имеет ограниченную окрестность нуля тогда и только тогда, когда его топология может быть определена одной полунормой .
Поляр множество ограниченного множества — абсолютно выпуклое и поглощающее .
Условие счетности Макки [8] - Если — счетная последовательность ограниченных подмножеств метризуемого локально выпуклого топологического векторного пространства. тогда существует ограниченное подмножество из и последовательность положительных действительных чисел таких, что для всех (или, что то же самое, такое, что ).
Используя определение равномерно ограниченных множеств , данное ниже, условие счетности Макки можно переформулировать как: Если являются ограниченными подмножествами метризуемого локально выпуклого пространства , то существует последовательность положительных действительных чисел таких, что ограничены равномерно . Другими словами, для любого счетного семейства ограниченных множеств в метризуемом локально выпуклом пространстве можно масштабировать каждое множество по его собственному положительному вещественному числу так, чтобы оно стало равномерно ограниченным.
Обобщения
[ редактировать ]Равномерно ограниченные множества
[ редактировать ]Семейство наборов подмножеств топологического векторного пространства Говорят, что это равномерно ограничен в если существует некоторое ограниченное подмножество из такой, что что происходит тогда и только тогда, когда его объединение является ограниченным подмножеством В случае нормированного (или полунормированного ) пространства семейство равномерно ограничено тогда и только тогда, когда его объединение ограничено по норме , что означает, что существует некоторая реальная такой, что для каждого или, что то же самое, тогда и только тогда, когда
Набор карт из к Говорят, что это равномерно ограничен на заданном множестве если семья равномерно ограничен в что по определению означает, что существует некоторое ограниченное подмножество из такой, что или, что то же самое, тогда и только тогда, когда является ограниченным подмножеством Набор линейных отображений между двумя нормированными (или полунормированными) пространствами и равномерно ограничен на некотором (или, что то же самое, каждом) открытом шаре (и/или невырожденном замкнутом шаре) в тогда и только тогда, когда их операторные нормы равномерно ограничены; то есть тогда и только тогда, когда
Предложение [9] - Позволять быть набором непрерывных линейных операторов между двумя топологическими векторными пространствами и и пусть быть любым ограниченным подмножеством Затем равномерно ограничен (то есть семья равномерно ограничен в ), если выполняется любое из следующих условий:
- является равнонепрерывным .
- является выпуклым компактным хаусдорфовым подпространством и для каждого орбита является ограниченным подмножеством
Доказательство части (1) [9] |
---|
Предполагать равнонепрерывно и пусть быть окрестностью начала координат в С равнонепрерывна, существует окрестность происхождения в такой, что для каждого Потому что ограничен существует какой-то реальный такое, что если затем Итак, для каждого и каждый что подразумевает, что Таким образом ограничен КЭД |
Доказательство части (2) [10] |
---|
Поскольку каждое одноэлементное подмножество также является ограниченным подмножеством, отсюда следует, что если представляет собой эквинепрерывное множество непрерывных линейных операторов между двумя топологическими векторными пространствами и (не обязательно Хаусдорфова или локально выпуклая), то орбита каждого является ограниченным подмножеством
Ограниченные подмножества топологических модулей
[ редактировать ]Определение ограниченных множеств можно обобщить на топологические модули . Подмножество топологического модуля над топологическим кольцом ограничено, если для любой окрестности из существует район из такой, что
См. также
[ редактировать ]- Борнологическое пространство - Пространство, в котором ограниченные операторы непрерывны.
- Набор Bornivorous - набор, который может поглотить любое ограниченное подмножество.
- Ограниченная функция – математическая функция, набор значений которой ограничен.
- Ограниченный оператор - линейное преобразование между топологическими векторными пространствами.
- Граничная точка - математическое понятие, связанное с подмножествами векторных пространств.
- Компактное пространство - Тип математического пространства.
- Критерий нормируемости Колмогорова - Характеристика нормируемых пространств
- Локальная ограниченность
- Полностью ограниченное пространство . Обобщение компактности.
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г час я дж к л м н тот п д р Наричи и Бекенштейн, 2011 , стр. 156–175.
- ^ Шефер 1970 , с. 25.
- ^ Рудин 1991 , с. 8.
- ^ Вилански 2013 , с. 47.
- ^ Наричи Бекенштейн (2011). Топологические векторные пространства (2-е изд.). с. 253, Теорема 8.8.7. ISBN 978-1-58488-866-6 .
- ^ Вилански 2013 , с. 57.
- ^ Jump up to: а б Наричи и Бекенштейн 2011 , с. 162.
- ^ Наричи и Бекенштейн 2011 , с. 174.
- ^ Jump up to: а б Рудин 1991 , стр. 42−47.
- ^ Рудин 1991 , стр. 46–47.
Примечания
- ^ Для любого набора и скаляр обозначение обозначает множество
- ^ Это означает, что топология на равна топологии, индуцированной на нем Обратите внимание, что каждое нормированное пространство является полунормированным пространством, а каждая норма — полунормой. Определение топологии, индуцированной полунормой, идентично определению топологии, индуцированной нормой.
- ^ Если — нормированное пространство или полунормированное пространство , то открытые и закрытые шары радиуса (где действительное число) с центром в точке представляют собой соответственно множества и Любой такой набор называется (невырожденным) шаром .
Библиография
[ редактировать ]- Адаш, Норберт; Эрнст, Бруно; Кейм, Дитер (1978). Топологические векторные пространства: теория без условий выпуклости . Конспект лекций по математике. Том. 639. Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-08662-8 . OCLC 297140003 .
- Бербериан, Стерлинг К. (1974). Лекции по функциональному анализу и теории операторов . Тексты для аспирантов по математике. Том. 15. Нью-Йорк: Спрингер. ISBN 978-0-387-90081-0 . ОСЛК 878109401 .
- Бурбаки, Николя (1987) [1981]. Топологические векторные пространства: главы 1–5 . Элементы математики . Перевод Эгглстона, Х.Г.; Мадан, Южный Берлин, Нью-Йорк: Springer-Verlag. ISBN 3-540-13627-4 . OCLC 17499190 .
- Конвей, Джон (1990). Курс функционального анализа . Тексты для аспирантов по математике . Том. 96 (2-е изд.). Нью-Йорк: Springer-Verlag . ISBN 978-0-387-97245-9 . OCLC 21195908 .
- Эдвардс, Роберт Э. (1995). Функциональный анализ: теория и приложения . Нью-Йорк: Dover Publications. ISBN 978-0-486-68143-6 . ОСЛК 30593138 .
- Гротендик, Александр (1973). Топологические векторные пространства . Перевод Чалджуба, Орландо. Нью-Йорк: Издательство Gordon and Breach Science. ISBN 978-0-677-30020-7 . OCLC 886098 .
- Ярхов, Ганс (1981). Локально выпуклые пространства . Штутгарт: Б. Г. Тойбнер. ISBN 978-3-519-02224-4 . OCLC 8210342 .
- Кете, Готфрид (1983) [1969]. Топологические векторные пространства I. Основные принципы математических наук. Том 159. Перевод Гарлинга, DJH Нью-Йорк: Springer Science & Business Media. ISBN 978-3-642-64988-2 . МР 0248498 . OCLC 840293704 .
- Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666 . OCLC 144216834 .
- Робертсон, AP; У. Дж. Робертсон (1964). Топологические векторные пространства . Кембриджские трактаты по математике. Том. 53. Издательство Кембриджского университета . стр. 44–46.
- Рудин, Уолтер (1991). Функциональный анализ . Международная серия по чистой и прикладной математике. Том. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5 . OCLC 21163277 .
- Робертсон, Алекс П.; Робертсон, Венди Дж. (1980). Топологические векторные пространства . Кембриджские трактаты по математике . Том. 53. Кембридж, Англия: Издательство Кембриджского университета . ISBN 978-0-521-29882-7 . OCLC 589250 .
- Шефер, Х.Х. (1970). Топологические векторные пространства . ГТМ . Том. 3. Шпрингер-Верлаг . стр. 25–26. ISBN 0-387-05380-8 .
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0 . OCLC 840278135 .
- Вилански, Альберт (2013). Современные методы в топологических векторных пространствах . Минеола, Нью-Йорк: ISBN Dover Publications, Inc. 978-0-486-49353-4 . OCLC 849801114 .