Jump to content

Ограниченное множество (топологическое векторное пространство)

(Перенаправлено с «Ограничение фон Неймана» )

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

Ограниченные множества являются естественным способом определения локально выпуклых полярных топологий на векторных пространствах в дуальной паре , поскольку полярное множество ограниченного множества является абсолютно выпуклым и поглощающим множеством . Понятие было впервые предложено Джоном фон Нейманом и Андреем Колмогоровым в 1935 году .

Определение

[ редактировать ]

Предполагать представляет собой топологическое векторное пространство (ТВП) над полем

Подмножество из называется по фон Нейману ограниченным или просто ограниченным по если выполнено любое из следующих эквивалентных условий:

  1. Определение : Для каждого района происхождения существует реальный такой, что [примечание 1] для всех скаляров удовлетворяющий [1]
  2. поглощается . каждой окрестностью начала координат [2]
  3. Для каждого района начала координат существует скаляр такой, что
  4. Для каждого района происхождения существует реальный такой, что для всех скаляров удовлетворяющий [1]
  5. Для каждого района происхождения существует реальный такой, что для всех реально [3]
  6. Любое из утверждений (1)–(5) выше, но с заменой слова «соседство» любым из следующих слов: « сбалансированное соседство», «открытое сбалансированное соседство», «закрытое сбалансированное соседство», «открытое соседство», «закрытое соседство». район".
    • например, утверждение (2) может стать: ограничен тогда и только тогда, когда поглощается каждой сбалансированной окрестностью начала координат. [1]
    • Если , локально выпукло то к любой из этих 5 замен можно добавить прилагательное «выпуклый».
  7. Для каждой последовательности скаляров который сходится к и каждая последовательность в последовательность сходится к в [1]
    • Это определение «ограниченного», которое Андрей Колмогоров использовал в 1934 году, оно совпадает с определением, введенным Станиславом Мазуром и Владиславом Орличем в 1933 году для метризуемого TVS. Колмогоров использовал это определение, чтобы доказать, что ТВС полунормируема тогда и только тогда, когда она имеет ограниченную выпуклую окрестность начала координат. [1]
  8. Для каждой последовательности в последовательность сходится к в [4]
  9. Каждое счетное подмножество ограничено (согласно любому определяющему условию, кроме этого). [1]

Если является основой соседства для в источнике, то этот список может быть расширен, включив в него:

  1. Любое из утверждений (1)–(5) выше, но с окрестностями, ограниченными теми, которые принадлежат
    • например, утверждение (3) может выглядеть так: Для каждого существует скаляр такой, что

Если локально выпуклое пространство, топология которого определяется семейством непрерывных полунорм , то этот список можно расширить, включив в него:

  1. ограничен для всех [1]
  2. Существует последовательность ненулевых скаляров такая, что для каждой последовательности в последовательность ограничен (согласно любому определяющему условию, кроме этого). [1]
  3. Для всех ограничено (согласно любому определяющему условию, кроме этого) в полунормированном пространстве
  4. B слабо ограничен, т. е. каждый непрерывный линейный функционал ограничен на B [5]

Если это нормированное пространство с нормой (или, в более общем смысле, если это полунормированное пространство и это всего лишь полунорма ), [примечание 2] то этот список можно расширить, включив в него:

  1. является ограниченным по норме подмножеством По определению это означает, что существует действительное число такой, что для всех [1]
    • Таким образом, если является линейным отображением между двумя нормированными (или полунормированными) пространствами, и если — закрытый (или открытый) единичный шар в с центром в начале координат, тогда ограниченный линейный оператор (что, напомним, означает, что его операторная норма конечно) тогда и только тогда, когда образ этого мяча под является ограниченным по норме подмножеством
  2. является подмножеством некоторого (открытого или закрытого) шара. [примечание 3]
    • Этот шар не обязательно должен быть центрирован в начале координат, но его радиус должен (как обычно) быть положительным и конечным.

Если является векторным подпространством TVS то этот список можно расширить, включив в него:

  1. содержится в закрытии [1]
    • Другими словами, векторное подпространство ограничено тогда и только тогда, когда оно является подмножеством (векторного пространства)
    • Напомним, что является хаусдорфовым пространством тогда и только тогда, когда закрыт в Таким образом, единственным ограниченным векторным подпространством хаусдорфовой TVS является

Подмножество, которое не ограничено, называется неограниченным .

Борнология и фундаментальные системы ограниченных множеств

[ редактировать ]

Коллекция всех ограниченных множеств в топологическом векторном пространстве. называется борнологией фон Неймана или канонической ) борнологией (

Базовая фундаментальная или система ограниченных множеств это набор ограниченных подмножеств такая, что каждое ограниченное подмножество является подмножеством некоторого [1] Множество всех ограниченных подмножеств тривиально образует фундаментальную систему ограниченных множеств

В любой локально выпуклой ТВС множество замкнутых и ограниченных дисков является базой ограниченного множества. [1]

Примеры и достаточные условия

[ редактировать ]

Если не указано иное, топологическое векторное пространство (TVS) не обязательно должно быть хаусдорфовым или локально выпуклым .

  • Конечные множества ограничены. [1]
  • Любое вполне ограниченное подмножество TVS ограничено. [1]
  • Каждое относительно компактное множество в топологическом векторном пространстве ограничено. Если пространство оснащено слабой топологией, верно и обратное.
  • Множество точек последовательности Коши ограничено, множество точек Коши сети не обязательно должно быть ограниченным.
  • Замыкание начала координат (имеется в виду замыкание множества ) всегда является ограниченным замкнутым векторным подпространством. Этот набор является уникальным по величине (относительно включения множества ) ограниченное векторное подпространство В частности, если является ограниченным подмножеством тогда так и есть

Неограниченные множества

Множество, которое не ограничено, называется неограниченным .

Любое векторное подпространство ТВС, не входящее в замыкание неограничен

Существует пространство Фреше имеющее ограниченное подмножество а также плотное векторное подпространство такой, что содержится не в замыкании (в ) любого ограниченного подмножества [6]

Свойства стабильности

[ редактировать ]
  • В любом TVS конечные объединения , конечные суммы Минковского , скалярные кратные, сдвиги, подмножества, замыкания , внутренности и сбалансированные оболочки ограниченных множеств снова ограничены. [1]
  • В любом локально выпуклом TVS ( выпуклая оболочка также называемая выпуклой оболочкой ) ограниченного множества снова ограничена. [7] Однако это может быть неверно, если пространство не является локально выпуклым, поскольку (нелокально выпуклое) пространство Lp места для не имеют нетривиальных открытых выпуклых подмножеств. [7]
  • Образ ограниченного множества при непрерывном линейном отображении является ограниченным подмножеством кодобласти. [1]
  • Подмножество произвольного (декартова) произведения ТВС ограничено тогда и только тогда, когда ограничен его образ при каждой координатной проекции.
  • Если и является топологическим векторным подпространством затем ограничен тогда и только тогда, когда ограничен [1]
    • Другими словами, подмножество ограничен тогда и только тогда, когда оно ограничено в каждом (или, что то же самое, в некотором) топологическом векторном суперпространстве

Характеристики

[ редактировать ]

Локально выпуклое топологическое векторное пространство имеет ограниченную окрестность нуля тогда и только тогда, когда его топология может быть определена одной полунормой .

Поляр множество ограниченного множества — абсолютно выпуклое и поглощающее .

Условие счетности Макки [8] - Если — счетная последовательность ограниченных подмножеств метризуемого локально выпуклого топологического векторного пространства. тогда существует ограниченное подмножество из и последовательность положительных действительных чисел таких, что для всех (или, что то же самое, такое, что ).

Используя определение равномерно ограниченных множеств , данное ниже, условие счетности Макки можно переформулировать как: Если являются ограниченными подмножествами метризуемого локально выпуклого пространства , то существует последовательность положительных действительных чисел таких, что ограничены равномерно . Другими словами, для любого счетного семейства ограниченных множеств в метризуемом локально выпуклом пространстве можно масштабировать каждое множество по его собственному положительному вещественному числу так, чтобы оно стало равномерно ограниченным.

Обобщения

[ редактировать ]

Равномерно ограниченные множества

[ редактировать ]

Семейство наборов подмножеств топологического векторного пространства Говорят, что это равномерно ограничен в если существует некоторое ограниченное подмножество из такой, что что происходит тогда и только тогда, когда его объединение является ограниченным подмножеством В случае нормированного (или полунормированного ) пространства семейство равномерно ограничено тогда и только тогда, когда его объединение ограничено по норме , что означает, что существует некоторая реальная такой, что для каждого или, что то же самое, тогда и только тогда, когда

Набор карт из к Говорят, что это равномерно ограничен на заданном множестве если семья равномерно ограничен в что по определению означает, что существует некоторое ограниченное подмножество из такой, что или, что то же самое, тогда и только тогда, когда является ограниченным подмножеством Набор линейных отображений между двумя нормированными (или полунормированными) пространствами и равномерно ограничен на некотором (или, что то же самое, каждом) открытом шаре (и/или невырожденном замкнутом шаре) в тогда и только тогда, когда их операторные нормы равномерно ограничены; то есть тогда и только тогда, когда

Предложение [9] - Позволять быть набором непрерывных линейных операторов между двумя топологическими векторными пространствами и и пусть быть любым ограниченным подмножеством Затем равномерно ограничен (то есть семья равномерно ограничен в ), если выполняется любое из следующих условий:

  1. является равнонепрерывным .
  2. является выпуклым компактным хаусдорфовым подпространством и для каждого орбита является ограниченным подмножеством
Доказательство части (1) [9]

Предполагать равнонепрерывно и пусть быть окрестностью начала координат в С равнонепрерывна, существует окрестность происхождения в такой, что для каждого Потому что ограничен существует какой-то реальный такое, что если затем Итак, для каждого и каждый что подразумевает, что Таким образом ограничен КЭД

Доказательство части (2) [10]

Let be a balanced neighborhood of the origin in and let be a closed balanced neighborhood of the origin in such that Define which is a closed subset of (since is closed while every is continuous) that satisfies for every Note that for every non-zero scalar the set is closed in (since scalar multiplication by is a homeomorphism) and so every is closed in

It will now be shown that from which follows. If then being bounded guarantees the existence of some positive integer such that where the linearity of every now implies thus and hence as desired.

Thus expresses as a countable union of closed (in ) sets. Since is a nonmeager subset of itself (as it is a Baire space by the Baire category theorem), this is only possible if there is some integer such that has non-empty interior in Let be any point belonging to this open subset of Let be any balanced open neighborhood of the origin in such that

The sets form an increasing (meaning implies ) cover of the compact space so there exists some such that (and thus ). It will be shown that for every thus demonstrating that is uniformly bounded in and completing the proof. So fix and Let

The convexity of guarantees and moreover, since Thus which is a subset of Since is balanced and we have which combined with givesFinally, and imply as desired. Q.E.D.

Поскольку каждое одноэлементное подмножество также является ограниченным подмножеством, отсюда следует, что если представляет собой эквинепрерывное множество непрерывных линейных операторов между двумя топологическими векторными пространствами и (не обязательно Хаусдорфова или локально выпуклая), то орбита каждого является ограниченным подмножеством

Ограниченные подмножества топологических модулей

[ редактировать ]

Определение ограниченных множеств можно обобщить на топологические модули . Подмножество топологического модуля над топологическим кольцом ограничено, если для любой окрестности из существует район из такой, что

См. также

[ редактировать ]
  1. ^ Jump up to: а б с д и ж г час я дж к л м н тот п д р Наричи и Бекенштейн, 2011 , стр. 156–175.
  2. ^ Шефер 1970 , с. 25.
  3. ^ Рудин 1991 , с. 8.
  4. ^ Вилански 2013 , с. 47.
  5. ^ Наричи Бекенштейн (2011). Топологические векторные пространства (2-е изд.). с. 253, Теорема 8.8.7. ISBN  978-1-58488-866-6 .
  6. ^ Вилански 2013 , с. 57.
  7. ^ Jump up to: а б Наричи и Бекенштейн 2011 , с. 162.
  8. ^ Наричи и Бекенштейн 2011 , с. 174.
  9. ^ Jump up to: а б Рудин 1991 , стр. 42−47.
  10. ^ Рудин 1991 , стр. 46–47.

Примечания

  1. ^ Для любого набора и скаляр обозначение обозначает множество
  2. ^ Это означает, что топология на равна топологии, индуцированной на нем Обратите внимание, что каждое нормированное пространство является полунормированным пространством, а каждая норма — полунормой. Определение топологии, индуцированной полунормой, идентично определению топологии, индуцированной нормой.
  3. ^ Если нормированное пространство или полунормированное пространство , то открытые и закрытые шары радиуса (где действительное число) с центром в точке представляют собой соответственно множества и Любой такой набор называется (невырожденным) шаром .

Библиография

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: e44b86a31df91f0d9f1af0a10a5d2756__1717888080
URL1:https://arc.ask3.ru/arc/aa/e4/56/e44b86a31df91f0d9f1af0a10a5d2756.html
Заголовок, (Title) документа по адресу, URL1:
Bounded set (topological vector space) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)