Многие топологические векторные пространства представляют собой пространства функций или линейных операторов , действующих на топологические векторные пространства, и топология часто определяется так, чтобы отразить конкретное понятие сходимости последовательностей функций.
В этой статье предполагается, что скалярное поле топологического векторного пространства представляет собой либо комплексные числа , либо действительные числа , если явно не указано иное.
Карта сложения векторов , определяемая (совместно) непрерывна относительно этой топологии. Это следует непосредственно из неравенства треугольника , подчиняющегося норме.
Карта скалярного умножения , определяемая как базовое скалярное поле, является (совместно) непрерывной. Это следует из неравенства треугольника и однородности нормы.
Топологическое поле — это топологическое векторное пространство над каждым из своих подполей .
Определение
Семейство окрестностей начала координат с двумя указанными выше свойствами однозначно определяет топологическое векторное пространство. Система окрестностей любой другой точки векторного пространства получается сдвигом .
Топологическое векторное пространство ( TVS ) — это векторное пространство над топологическим полем (чаще всего вещественных или комплексных чисел с их стандартной топологией), которое наделено такой топологией, что векторное сложение и скалярное умножение являются непрерывными функциями (где области определения этих функции наделены топологиями продуктов ). Такая топология называетсявекторная топология илиТопология TVS включена
Каждое топологическое векторное пространство также является коммутативной топологической группой при сложении.
предположение Хаусдорфа
Многие авторы (например, Вальтер Рудин ), но не эта страница, требуют, чтобы топология on была T 1 ; отсюда следует, что пространство хаусдорфово и даже тихоновское . Топологическое векторное пространство называетсяотделяется , если это Хаусдорф; Важно отметить, что «отделенный» не означает «отделимый». Топологические и линейные алгебраические структуры можно еще теснее связать вместе с помощью дополнительных предположений, наиболее распространенные из которых перечислены ниже.
Категория и морфизмы
Категорию топологических векторных пространств над данным топологическим полем обычно обозначают или. Объекты представляют собой топологические векторные пространства, а морфизмы представляют собой непрерывные -линейные отображения одного объекта в другой.
Авложение топологического векторного пространства (сокращенноTVS-вложение ), также называемоетопологический мономорфизм —инъективныйтопологический гомоморфизм. Эквивалентно, TVS-вложение — это линейное отображение, которое также являетсятопологическим вложением. [2]
Аизоморфизм топологического векторного пространства (сокращенноTVS-изоморфизм ), также называемыйтопологический векторный изоморфизм [4]илиизоморфизм в категории TVS , является биективнымлинейнымгомеоморфизмом. Эквивалентно, этосюръективноеTVS-вложение[2]
Совокупность подмножеств векторного пространства называется аддитивной [5] , если для каждого существует такое, что
Характеристика непрерывности сложения в [5] — Если группа (как и все векторные пространства), является топологией и наделена топологией произведения , то карта сложения ( определяемая ) непрерывна в начале if и только если множество окрестностей начала координат в аддитивно. Это утверждение остается верным, если слово «соседство» заменить на «открытое соседство».
Следовательно, все вышеперечисленные условия являются необходимыми для того, чтобы топология сформировала векторную топологию.
Определение топологий с использованием окрестностей начала координат
Поскольку каждая векторная топология является трансляционно-инвариантной (что означает, что для всего отображения , определяемого как гомеоморфизм ), для определения векторной топологии достаточно определить для нее базис (или подбазис) окрестности в начале координат.
Теорема [6] (Фильтр окрестности начала координат) . Предположим, что это действительное или комплексное векторное пространство. Если это непустой аддитивный набор сбалансированных и поглощающих подмножеств, то это база соседства at для векторной топологии. То есть предполагается, что это база фильтра , которая удовлетворяет следующим условиям:
является аддитивным: для каждого существует такое, что
Если он удовлетворяет двум вышеуказанным условиям, но не является базой фильтра, то он будет формировать подбазис окрестности ( а не базис окрестности) для векторной топологии на
Вообще говоря, совокупность всех сбалансированных и поглощающих подмножеств векторного пространства не удовлетворяет условиям этой теоремы и не образует базиса окрестности в начале координат ни для какой векторной топологии. [5]
Определение топологий с использованием строк
Пусть - векторное пространство и пусть - последовательность подмножеств каждого множества в последовательности называетсяузел идля каждого индексаназывается-м узлом множества.Множествоназываетсяначаломпоследовательности.Последовательностьесть/есть a:[7][8][9]
Строка ifявляется суммирующей, поглощающей и сбалансированной.
Топологическая строка илистрока окрестности в TVS, еслиявляется строкой и каждый ее узел является окрестностью начала координат в
Если это поглощающий диск в векторном пространстве , то последовательность, определенная формирует строку, начинающуюся с Это называется натуральной строкой из [7] . Более того, если векторное пространство имеет счетную размерность, то каждая строка содержит абсолютно выпуклую строку.
Суммативные последовательности множеств обладают тем особенно приятным свойством, что они определяют неотрицательные непрерывные субаддитивные функции с действительным знаком. Эти функции затем можно использовать для доказательства многих основных свойств топологических векторных пространств.
Теорема ( -значная функция, индуцированная строкой) . Пусть это набор подмножеств векторного пространства такой, что и для всех. Для всех пусть
Определите , если и в противном случае пусть
Тогда является субаддитивным (то есть для всех ) и так , в частности, если все являются симметричными множествами , то и если все сбалансированы, то для всех скаляров таких, что и все If является топологическим векторным пространством и если все являются окрестностями начала координат, то оно непрерывно. , где, кроме того, является хаусдорфовой и образует базис сбалансированных окрестностей начала координат в, то является метрикой, определяющей векторную топологию на
Если и — два набора подмножеств векторного пространства и если — скаляр, то по определению: [7]
содержит : тогда и только тогда, когда для каждого индекса
Набор узлов :
Ядро :
Скалярное кратное :
Сумма :
Пересечение :
Если это коллекция последовательностей подмножеств, то говорят, что она направлена ( вниз ) при включении или просто направлена вниз , если не пуста и для всех существует такая, что и (говоря по-другому, тогда и только тогда, когда является префильтром по отношению к сдерживание, определенное выше).
Обозначения : Пусть это множество всех узлов всех струн в
Определение векторных топологий с использованием наборов строк особенно полезно для определения классов TVS, которые не обязательно являются локально выпуклыми.
Теорема [7] (Топология, индуцированная строками) . Если это топологическое векторное пространство, то существует набор [доказательство 1] соседних строк в нем, направленный вниз и такой, что набор всех узлов всех строк в нем является базисом соседства. в начале. Такой набор строк называется фундаментальным .
И наоборот, если векторное пространство и набор строк в нем направлены вниз, то множество всех узлов всех строк в образует базис окрестности в начале координат для векторной топологии . В этом случае эта топология обозначается by и называется топологией, порожденной
Если - множество всех топологических строк в ТВС, то [7] Хаусдорфова ТВС метризуема тогда и только тогда, когда ее топология может быть индуцирована одной топологической строкой. [10]
Топологическая структура
Векторное пространство является абелевой группой относительно операции сложения, а в топологическом векторном пространстве обратная операция всегда непрерывна (поскольку она аналогична умножению на ). Следовательно, каждое топологическое векторное пространство является абелевой топологической группой . Любой ТВС совершенно регулярен , но ТВС не обязательно должен быть нормальным . [11]
Пусть – топологическое векторное пространство. Для данного подпространства фактор-пространство с обычной фактор-топологией является топологическим векторным пространством Хаусдорфа тогда и только тогда, когда оно замкнуто. [примечание 2] Это позволяет следующую конструкцию: учитывая топологическое векторное пространство (которое, вероятно, не является Хаусдорфовым), сформировать фактор-пространство, где замыкание является тогда топологическим векторным пространством Хаусдорфа, которое можно изучать вместо
Инвариантность векторных топологий
Одним из наиболее часто используемых свойств векторных топологий является то, что каждая векторная топология являетсяинвариант перевода :
для всего отображения , определенного как, является гомеоморфизмом , но если тогда оно не линейно и, следовательно, не является TVS-изоморфизмом.
Скалярное умножение на ненулевой скаляр является TVS-изоморфизмом. Это означает, что если то линейное отображение , определенное посредством, является гомеоморфизмом. Использование создает отображение отрицания , определенное которым, следовательно, является линейным гомеоморфизмом и, следовательно, TVS-изоморфизмом.
Если и любое подмножество , то [6] и, более того, if then является окрестностью (соответственно открытой окрестностью, закрытой окрестностью) in тогда и только тогда, когда то же самое верно и для начала координат.
Местные понятия
Говорят, что подмножеством векторного пространства является
поглощающий (в): если для каждогосуществуеттакое вещественное число, чтодля любого скаляра, удовлетворяющего [12]
сбалансированный или обведенный кружком : еслидля каждого скаляра [12]
Каждая окрестность начала координат является поглощающим множеством и содержит открытую сбалансированную окрестность из [6] , поэтому каждое топологическое векторное пространство имеет локальную базу поглощающих и сбалансированных множеств . Начало координат даже имеет базис окрестностей, состоящий из замкнутых сбалансированных окрестностей, а если пространство локально выпуклое, то оно также имеет базис окрестностей, состоящий из замкнутых выпуклых сбалансированных окрестностей начала координат.
Ограниченные подмножества
Подмножество топологического векторного пространства ограничено [13] , если для каждой окрестности начала координат существует такое, что .
Определение ограниченности можно несколько ослабить; ограничено тогда и только тогда, когда ограничено каждое его счетное подмножество. Множество ограничено тогда и только тогда, когда каждая его подпоследовательность является ограниченным множеством. [14] Кроме того, ограничено тогда и только тогда, когда для каждой сбалансированной окрестности начала координат существует такое, что Более того, когда локально выпукло, ограниченность может быть охарактеризована полунормами : подмножество ограничено тогда и только тогда, когда каждая непрерывная полунорма ограничено на [15]
Всякое вполне ограниченное множество ограничено. [14] Если — векторное подпространство TVS, то подмножество ограничено тогда и только тогда, когда оно ограничено в [14]
метризуемость
Теорема Биркгофа – Какутани. Если —топологическое векторное пространство, то следующие четыре условия эквивалентны: [16] [примечание 3]
По теореме Биркгофа–Какутани следует, что существует эквивалентная метрика , которая является трансляционно-инвариантной.
TVS псевдометризуем тогда и только тогда, когда он имеет счетный базис окрестностей в начале координат или эквивалентен ему тогда и только тогда, когда его топология порождается F -полунормой . ТВС метризуема тогда и только тогда, когда она хаусдорфова и псевдометризуема.
Более строго: топологическое векторное пространство называется нормируемым, если его топология может быть индуцирована нормой. Топологическое векторное пространство нормируемо тогда и только тогда, когда оно хаусдорфово и имеет выпуклую ограниченную окрестность начала координат. [17]
Пусть – недискретное локально компактное топологическое поле, например вещественных или комплексных чисел. Топологическое векторное пространство Хаусдорфа над локально компактно тогда и только тогда, когда оно конечномерно , т. е. изоморфно для некоторого натурального числа [18]
Полнота и единая структура
Каноническая однородность [19] на TVS — это уникальная трансляционно-инвариантная однородность , которая индуцирует топологию на TVS.
Предполагается, что каждая ТВС наделена этой канонической однородностью, которая превращает все ТВС в однородные пространства . Это позволяет говорить [ необходимы пояснения ] о родственных понятиях, таких как полнота , равномерная сходимость , сети Коши, равномерная непрерывность и т. д., которые всегда предполагаются относительно этой однородности (если не указано иное). Это означает, что каждое топологическое векторное пространство Хаусдорфа является тихоновским . [20] Подмножество ТВС компактно тогда и только тогда, когда оно полно и вполне ограничено (для хаусдорфовых ТВС вполне ограниченное множество эквивалентно тому, что оно предкомпактно ). Но если TVS не хаусдорфово, то существуют незамкнутые компактные подмножества. Однако замыкание компактного подмножества нехаусдорфовой TVS снова компактно (поэтому компактные подмножества относительно компактны ).
С точки зрения этой однородности сеть (или последовательность ) является Коши тогда и только тогда, когда для каждой окрестности существует такой индекс , что всякий раз и
Любая последовательность Коши ограничена, хотя сети Коши и фильтры Коши могут быть не ограничены. Топологическое векторное пространство, в котором сходится каждая последовательность Коши, называется секвенциально полным ; вообще говоря, оно может быть не полным (в том смысле, что все фильтры Коши сходятся).
Операция сложения в векторном пространстве является равномерно непрерывной и представляет собой открытое отображение. Скалярное умножение является непрерывным по Коши , но, вообще говоря, оно почти никогда не бывает равномерно непрерывным. Благодаря этому каждое топологическое векторное пространство может быть полным и, таким образом, является плотным линейным подпространством полного топологического векторного пространства .
Любая ТВС имеет пополнение , а каждая ТВС Хаусдорфа имеет пополнение Хаусдорфа. [6] Каждая ТВС (даже хаусдорфова и/или полная) имеет бесконечное количество неизоморфных нехаусдорфовых пополнений.
Компактное подмножество ТВС (не обязательно Хаусдорфа) полно. [21] Полное подмножество хаусдорфовой ТВС замкнуто. [21]
Если — полное подмножество TVS, то любое замкнутое в нем подмножество является полным. [21]
Последовательность Коши в хаусдорфовой ТВС не обязательно является относительно компактной (т. е. ее замыкание в не обязательно компактно).
Если фильтр Коши в ТВС имеет точку накопления , то он сходится к
Если ряд сходится [примечание 5] в ТВС , то в [22]
Примеры
Самая тонкая и самая грубая векторная топология
Пусть – вещественное или комплексное векторное пространство.
Тривиальная топология
Тривиальная топология или недискретная топология всегда является TVS-топологией в любом векторном пространстве и является самой грубой из возможных TVS-топологий. Важным следствием этого является то, что пересечение любого набора топологий TVS всегда содержит топологию TVS. Любое векторное пространство (в том числе бесконечномерное), наделенное тривиальной топологией, является компактным (и, следовательно, локально компактным ) полным псевдометризуемым полунормируемым локально выпуклым топологическим векторным пространством. Это Хаусдорф тогда и только тогда, когда
Тончайшая векторная топология
Существует топология TVS , называемаятончайшая векторная топология наэтом тоньше, чем любая другая TVS-топология на(то есть любая TVS-топология наобязательно является подмножеством). [23][24]Любое линейное отображение изв другую TVS обязательно непрерывно. Еслиимеет несчетныйбазис Гамеля,тонелокально выпуклоинеметризуемо. [24]
Декартовы произведения
Декартово произведение семейства топологических векторных пространств, наделенное топологией произведения , является топологическим векторным пространством. Рассмотрим, например, набор всех функций , где существует обычная евклидова топология . Это множество представляет собой реальное векторное пространство (где сложение и скалярное умножение, как обычно, определяются поточечно), которое можно отождествить (и действительно часто определяют как) с декартовым произведением , которое несет в себе топологию натурального произведения . С этой топологией продукта становится топологическим векторным пространством, топология которого называется топологией поточечной сходимости на. Причина этого названия следующая: if является последовательностью (или, в более общем смысле, сетью ) элементов в и если затем сходится к в тогда и только тогда, когда для каждого действительного числа сходится к в Эта ТВС полная , хаусдорфова и локально выпуклая , но не метризуемая и, следовательно, не нормируемая ; действительно, каждая окрестность начала координат в топологии произведения содержит линии (то есть одномерные векторные подпространства, которые являются подмножествами вида с ).
Конечномерные пространства
По теореме Ф. Рисса топологическое векторное пространство Хаусдорфа конечномерно тогда и только тогда, когда оно локально компактно , что происходит тогда и только тогда, когда оно имеет компактную окрестность начала координат.
Обозначим или и снабдим его обычной хаусдорфовой нормированной евклидовой топологией . Позвольте быть векторным пространством конечной размерности и поэтому это векторное пространство, изоморфное (явно, это означает, что существует линейный изоморфизм между векторными пространствами и ). Это конечномерное векторное пространство всегда имеет уникальную векторную топологию Хаусдорфа , что делает его TVS-изоморфным тому, где наделено обычной евклидовой топологией (которая совпадает с топологией произведения ). Эта векторная топология Хаусдорфа также является (уникальной) лучшей векторной топологией, имеет уникальную векторную топологию тогда и только тогда, когда If then, хотя и не имеет уникальной векторной топологии, но имеет уникальную векторную топологию Хаусдорфа .
If then имеет ровно одну векторную топологию: тривиальную топологию , которая в этом случае (и только в этом случае) является Хаусдорфовой. Тривиальная топология векторного пространства является хаусдорфовой тогда и только тогда, когда векторное пространство имеет размерность
If then имеет две векторные топологии: обычную евклидову топологию и (нехаусдорфову) тривиальную топологию.
Поскольку поле само по себе является -мерным топологическим векторным пространством и поскольку оно играет важную роль в определении топологических векторных пространств, эта дихотомия играет важную роль в определении поглощающего множества и имеет последствия, которые отражаются на протяжении всего функционального анализа .
Схема доказательства
Доказательство этой дихотомии (т.е. того, что векторная топология либо тривиальна, либо изоморфна ) является простым, поэтому дается только схема с важными наблюдениями. Как обычно, предполагается наличие (нормированной) евклидовой топологии. Пусть для всех Пусть - -мерное векторное пространство над If и - шар с центром, то всякий раз , когда содержит «неограниченную последовательность», под которой понимается последовательность вида где и неограничена в нормированном пространстве (в обычном смысле) . Любая векторная топология на будет трансляционно-инвариантной и инвариантной относительно ненулевого скалярного умножения, и для каждого отображение, заданное выражением, является непрерывной линейной биекцией. Потому что для любого такого каждое подмножество можно записать как для некоторого уникального подмножества. И если эта векторная топология имеет окрестность начала координат, которая не равна всем из, то непрерывность скалярного умножения в начале координат гарантирует существование открытого шара с центром и открытой окрестностью начала координат, что подразумевает, что не содержит никакой «неограниченной последовательности». Это означает, что для каждого существует некоторое положительное целое число такое , что Из этого можно вывести, что if не несет тривиальной топологии и если тогда для любого центра шара в точке 0 in содержит открытую окрестность начала координат, в которой затем доказывается, что линейный гомеоморфизм . КЭД
If then имеет бесконечно много различных векторных топологий:
Некоторые из этих топологий теперь описаны: Каждый линейный функционал , на котором векторное пространство изоморфно , индуцирует полунорму, определенную следующим образом: где Каждая полунорма индуцирует ( псевдометризуемую локально выпуклую ) векторную топологию на и полунормах с различными ядрами, индуцирует различные топологии, так что, в частности, полунормы на которых индуцируются линейные функционалы с различными ядрами, будут индуцировать различные векторные топологии на
Однако хотя существует бесконечно много векторных топологий на , когда существуют с точностью до TVS-изоморфизма только векторные топологии на. Например, если тогда векторные топологии на состоят из тривиальной топологии, евклидовой топологии Хаусдорфа, а затем из бесконечного множества оставшихся все нетривиальные неевклидовы векторные топологии на TVS-изоморфны друг другу.
Невекторные топологии
Дискретная и коконечная топологии
Если это нетривиальное векторное пространство (т. е. ненулевой размерности), то дискретная топология на (которая всегда метризуема ) не является топологией TVS, поскольку, несмотря на то, что сложение и отрицание делаются непрерывными (что превращает ее в топологическую группу при кроме того), он не может сделать скалярное умножение непрерывным. Коконечная топология на (где подмножество открыто тогда и только тогда, когда его дополнение конечно) также не является топологией TVS на
Линейные карты
Линейный оператор между двумя топологическими векторными пространствами, непрерывный в одной точке, непрерывен во всей области. Более того, линейный оператор непрерывен, если он ограничен (как определено ниже) в некоторой окрестности начала координат.
Гиперплоскость в топологическом векторном пространстве либо плотная, либо замкнутая . Линейный функционал в топологическом векторном пространстве имеет либо плотное, либо замкнутое ядро. Более того, непрерывно тогда и только тогда, когда его ядро замкнуто .
Типы
В зависимости от приложения на топологическую структуру пространства обычно накладываются дополнительные ограничения. Фактически, несколько основных результатов функционального анализа в целом не справедливы для топологических векторных пространств: теорема о замкнутом графике , теорема об открытом отображении и тот факт, что двойственное пространство разделяет точки в пространстве.
Ниже приведены некоторые распространенные топологические векторные пространства, примерно в порядке возрастания «красивости».
F-пространства — это полные топологические векторные пространства с трансляционно-инвариантной метрикой. [25] К ним относятся места для всех
Локально выпуклые топологические векторные пространства : здесь каждая точка имеет локальную базу , состоящую из выпуклых множеств . [25] С помощью метода, известного как функционалы Минковского, можно показать, что пространство локально выпукло тогда и только тогда, когда его топология может быть определена семейством полунорм. [26] Локальная выпуклость является минимальным требованием для «геометрических» аргументов, таких как теорема Хана-Банаха . Пространства локально выпуклы (фактически банаховы пространства) для всех, но не для
Пространства Фреше : это полные локально выпуклые пространства, топология которых происходит из трансляционно-инвариантной метрики или, что то же самое: из счетного семейства полунорм. В этот класс попадает много интересных пространств функций — пространство Фреше при полунормах. Локально выпуклое F-пространство является пространством Фреше. [25]
Ядерные пространства : это локально выпуклые пространства, обладающие тем свойством, что каждое ограниченное отображение ядерного пространства в произвольное банахово пространство является ядерным оператором .
Нормированные пространства и полунормированные пространства : локально выпуклые пространства, топология которых может быть описана одной нормой или полунормой. В нормированных пространствах линейный оператор непрерывен тогда и только тогда, когда он ограничен.
Рефлексивные банаховы пространства : банаховы пространства, естественно изоморфные своему двойному двойнику (см. ниже), что гарантирует возможность проведения некоторых геометрических рассуждений. Важным примером, который не является рефлексивным, является , двойственное которого есть , но строго содержится в двойственном к
Евклидовы пространства : или с топологией, индуцированной стандартным скалярным произведением. Как указывалось в предыдущем разделе, для данного конечного числа существует только одномерное топологическое векторное пространство с точностью до изоморфизма. Отсюда следует, что любое конечномерное подпространство ТВС замкнуто. Характеристика конечномерности состоит в том, что хаусдорфова ТВС локально компактна тогда и только тогда, когда она конечномерна (следовательно, изоморфна некоторому евклидову пространству).
Двойное пространство
Каждое топологическое векторное пространство имеет непрерывное двойственное пространство — набор всех непрерывных линейных функционалов, то есть непрерывных линейных отображений пространства в основное поле. Топологию двойственного пространства можно определить как самую грубую топологию, такую, что каждое двойственное спаривание Оценка баллов является непрерывной. Это превращает двойственное пространство в локально выпуклое топологическое векторное пространство. Эта топология называется топологией слабого* . [27] Возможно, это не единственная естественная топология в двойственном пространстве; например, в двойственном нормированном пространстве определена естественная норма. Однако он очень важен в приложениях из-за своих свойств компактности (см. теорему Банаха–Алаоглу ). Внимание: всякий раз, когда является ненормируемым локально выпуклым пространством, тогда отображение спаривания никогда не является непрерывным, независимо от того, какую топологию векторного пространства вы выбираете. Топологическое векторное пространство имеет нетривиальное непрерывное двойственное пространство тогда и только тогда, когда оно имеет собственное выпуклое пространство. окрестности источника. [28]
Характеристики
Для любой TVS выпуклая (соответственно сбалансированная , дисковая , закрыто-выпуклая, закрытая сбалансированная, закрытая дисковая ) оболочка является наименьшим подмножеством, которое обладает этим свойством и содержит замыкание (соответственно внутреннюю, выпуклую оболочку , сбалансированную оболочку, дисковая оболочка) набора иногда обозначается (соответственно ).
Выпуклая оболочка подмножества равна множеству всех выпуклых комбинаций элементов, в которых есть конечные линейные комбинации вида где - целое число, а сумма равна [29] Пересечение любого семейства выпуклых множеств выпукло, а выпуклое оболочка подмножества равна пересечению всех выпуклых множеств, которые его содержат. [29]
Соседства и открытые наборы
Свойства окрестностей и открытых множеств
Любая ТВС связна [6] и локально связна [30] , а любое связное открытое подмножество ТВС является дугообразно связным . Если и является открытым подмножеством, то это открытое множество в [6] , а если имеет непустую внутреннюю часть, то является окрестностью начала координат. [6]
Открытые выпуклые подмножества TVS (не обязательно хаусдорфовы или локально выпуклые) — это в точности те, которые имеют вид
Пусть и — две векторные топологии на Тогда тогда и только тогда, когда всякий раз, когда сеть в сходится в то в [32]
Позвольте быть базисом окрестности начала координат в let и пусть Тогда тогда и только тогда, когда существует сеть в (индексированная ) такая, что в [33] Это показывает, в частности, что часто бывает достаточно рассматривать сети, индексированные окрестностью основе начала координат, а не сети на произвольных направленных множествах.
Если есть ТВС, принадлежащая сама по себе второй категории (т. е. нетощее пространство ), то любое замкнутое выпуклое поглощающее подмножество является окрестностью начала координат. [34] Это больше не гарантируется, если множество не является выпуклым (контрпример существует даже в ) или если оно не относится ко второй категории само по себе. [34]
Интерьер
Если и имеет непустую внутреннюю часть, то
Топологическая внутренность диска не пуста тогда и только тогда, когда эта внутренность содержит начало координат . [35]
В более общем смысле, если это сбалансированное множество с непустой внутренней частью в TVS, то оно обязательно будет сбалансированным; [6] следовательно, будет сбалансированным тогда и только тогда, когда оно содержит начало координат. [доказательство 2] Чтобы это (т. е. ) было истинным, достаточно, чтобы он также был выпуклым (помимо сбалансированности и непустой внутренней части).; [6]
Вывод может быть ложным, если он не является также выпуклым; В [35] , например, внутри замкнутого и сбалансированного множества есть
Если выпукло, а затем [36]
Явно это означает, что if является выпуклым подмножеством TVS (не обязательно Хаусдорфовым или локально выпуклым), а затем открытый отрезок соединяет и принадлежит внутренней части , то есть [37] [ 38] [доказательство 3]
Если есть какая-либо сбалансированная окрестность начала координат, то где находится набор всех скаляров таких, что
Если принадлежит внутренности выпуклого множества , то полуоткрытый отрезок
Нехаусдорфовые пространства и замыкание начала координат.
Топологическое векторное пространство является Хаусдорфовым тогда и только тогда, когда оно является замкнутым подмножеством или, что эквивалентно, тогда и только тогда, когда поскольку это векторное подпространство того же самого, верно его замыкание , которое называется замыканием начала координат в Это векторное пространство удовлетворяет
Если компактно, то и это множество компактно. Таким образом, замыкание компактного подмножества ТВС компактно (иными словами, все компакты относительно компактны ), [40] , что не гарантируется для произвольных нехаусдорфовых топологических пространств . [примечание 6]
Изображение при каноническом факторотображении вполне ограничено. [41]
Если — векторное подпространство ТВС, то оно является хаусдорфовым тогда и только тогда, когда замкнуто в
. Более того, фактор-отображение всегда является замкнутым отображением на (необходимо) Хаусдорфову ТВС. [44]
Каждое векторное подпространство этого является алгебраическим дополнением (то есть векторное подпространство , которое удовлетворяет и ) является топологическим дополнением Следовательно
, если является алгебраическим дополнением в, то отображение сложения , определенное через, является TVS-изоморфизмом, где обязательно Хаусдорфа и имеет недискретную топологию . [45] Более того, если является хаусдорфовым пополнением , то является пополнением [41]
Закрытые и компактные наборы
Компактные и вполне ограниченные множества.
Подмножество ТВС компактно тогда и только тогда, когда оно полно и вполне ограничено . [39] Таким образом, в полном топологическом векторном пространстве замкнутое и вполне ограниченное подмножество компактно. [39]
Подмножество ТВС вполне ограничено тогда и только тогда, когда оно вполне ограничено, [42] [43] тогда и только тогда, когда его образ при каноническом фактор-отображении
[41]
Всякое относительно компактное множество вполне ограничено [39] , и замыкание вполне ограниченного множества вполне ограничено. [39]
Образ вполне ограниченного множества при равномерно непрерывном отображении (например, непрерывном линейном отображении) полностью ограничен. [39]
Если это подмножество TVS такое, что каждая последовательность в имеет точку кластера, то оно полностью ограничено. [41]
Если — компактное подмножество TVS и открытое подмножество содержащего, то существует окрестность 0 такая, что [46]
Закрытие и закрытый набор
Тем же свойством обладает замыкание любого выпуклого (соответственно любого сбалансированного, любого поглощающего) подмножества любой ТВС. В частности, замыканием любого выпуклого, сбалансированного и поглощающего подмножества является бочка .
Замыкание векторного подпространства ТВС является векторным подпространством. Каждое конечномерное векторное подпространство хаусдорфовой ТВС замкнуто. Сумма замкнутого векторного подпространства и конечномерного векторного подпространства замкнута. [6]
Если — векторное подпространство и является замкнутой окрестностью начала координат в такой , что замкнуто , то замкнуто в [46]
Сумма компакта и замкнутого множества замкнута. Однако сумма двух замкнутых подмножеств может оказаться не замкнутой [6] ( примеры см. в этой сноске [7] ).
Если и является скаляром, то
[47]
Если то выпукло. [47]
Если тогда [6]
[47]
Если это настоящий ТВС, то
Для любого подмножества
[48]
[49][50]
Закрытые корпуса
В локально-выпуклом пространстве ограничены выпуклые оболочки ограниченных множеств. Это не относится к ТВС в целом. [14]
Замкнутая выпуклая оболочка множества равна замыканию выпуклой оболочки этого множества; то есть равен [6]
Закрытая сбалансированная оболочка множества равна замыканию сбалансированной оболочки этого множества; то есть равен [6]
Закрытая дисковая оболочка набора равна замыканию дисковой оболочки этого набора; то есть равный [51]
Если и замкнутая выпуклая оболочка одного из множеств или компактна, то [51]
[51]
Корпуса и компактность
В общей ТВС замкнутая выпуклая оболочка компакта может не быть компактной. Тем же свойством обладает сбалансированная оболочка компактного (соответственно вполне ограниченного ) множества. [6]
Выпуклая оболочка конечного объединения компактных выпуклых множеств снова компактна и выпукла. [6]
Предположим , что это TVS, который не несет в себе недискретную топологию . Тогда пространство Бэра тогда и только тогда, когда не имеет сбалансированного поглощающего нигде плотного подмножества. [9]
TVS является пространством Бэра тогда и только тогда, когда оно нетощее , что происходит тогда и только тогда, когда не существует нигде не плотного множества такого, что [9]
Всякое нетощее локально выпуклое TVS является бочоночным пространством . [9]
Важные алгебраические факты и распространенные заблуждения
Если тогда ; если выпукло, то имеет место равенство. В примере, где равенство не выполняется, пусть будет ненулевое значение, и set также подойдет.
Подмножество является выпуклым тогда и только тогда, когда для всех положительных вещественных чисел [29] или, что то же самое, тогда и только тогда, когда для всех [52]
Выпуклая сбалансированная оболочка множества равна выпуклой оболочке сбалансированной оболочки , то есть равна Но в общем случае
В любом нетривиальном векторном пространстве существуют два непересекающихся непустых выпуклых подмножества, объединение которых есть
Другие объекты недвижимости
Любая TVS-топология может быть порождена семейством F - полунорм . [53]
Если - некоторый унарный предикат (истинное или ложное утверждение, зависящее от ), то для любого [доказательство 6]
Так, например, если обозначает " ", то для любого Аналогично, если является скаляром, то Элементы этих множеств должны располагаться в векторном пространстве (то есть над ), а не просто подмножество, иначе эти равенства больше не гарантируются; аналогично, должно принадлежать этому векторному пространству (т.е. ).
Тем же свойством обладает сумма (Минковского) двух компактных (соответственно ограниченных, уравновешенных, выпуклых) множеств. [6] Но сумма двух замкнутых множеств не обязательно должна быть замкнутой.
Выпуклая оболочка сбалансированного (соответственно открытого) множества уравновешена (соответственно открыта). Однако выпуклая оболочка замкнутого множества не обязательно должна быть замкнутой. [6] И выпуклая оболочка ограниченного множества не обязательно должна быть ограниченной.
В следующей таблице цвет каждой ячейки указывает, сохраняется ли данное свойство подмножеств (обозначенное именем столбца, например, «выпуклый») под действием оператора набора (обозначаемого именем строки, например, «замыкание»). ). Если в каждом TVS свойство сохраняется под указанным оператором множества, то эта ячейка будет окрашена в зеленый цвет; в противном случае он будет окрашен в красный цвет.
Так, например, поскольку объединение двух поглощающих множеств снова является поглощающим, ячейка в строке « » и столбце «Поглощающие» окрашивается в зеленый цвет. Но поскольку произвольное пересечение поглощающих множеств не обязательно должно быть поглощающим, ячейка в строке «Произвольные пересечения (хотя бы 1 множества)» и столбце «Поглощающие» окрашивается в красный цвет. Если ячейка не закрашена, значит, эта информация еще не заполнена.
Локально компактная группа - топологическая группа G, для которой основная топология локально компактна и хаусдорфова, так что можно определить меру Хаара.Pages displaying wikidata descriptions as a fallback
Локально компактная квантовая группа – относительно новый C*-алгебраический подход к квантовым группамPages displaying wikidata descriptions as a fallback
^ Топологические свойства, конечно, также требуют, чтобы это был TVS.
^ В частности, является Хаусдорфовым тогда и только тогда, когда множество замкнуто (то есть является пространством T 1 ).
^ Фактически, это верно для топологической группы, поскольку в доказательстве не используются скалярные умножения.
^ Также называется метрическим линейным пространством , что означает, что это действительное или комплексное векторное пространство вместе с трансляционно-инвариантной метрикой, для которой сложение и скалярное умножение непрерывны.
^ Говорят, что ряд сходится в TVS , если сходится последовательность частичных сумм.
^ В общей топологии замыкание компактного подмножества нехаусдорфова пространства может не быть компактным (например, конкретная точечная топология на бесконечном множестве). Этот результат показывает, что в нехаусдорфовых TVS этого не происходит. компактен, потому что это образ компакта при отображении непрерывного сложения. Напомним также, что сумма компакта (т. е. ) и замкнутого множества замкнута, поэтому замкнута в
^ В сумме по -оси и график, который является дополнением к -оси, открыт в. В сумме Минковского есть счетное плотное подмножество, поэтому не замкнутое в
Доказательства
^ Это условие выполняется, если обозначает множество всех топологических строк в
^ Это связано с тем, что каждый непустой сбалансированный набор должен содержать начало координат и потому, что тогда и только тогда, когда
^ Fix, так что остается показать, что принадлежит. Заменяя при необходимости на , мы можем без ограничения общности считать, что и так остается показать, что это окрестность начала координат. Пусть так, что Так как скалярное умножение на является линейным гомеоморфизмом Поскольку и отсюда следует, что там, где потому что открыто, существует некоторое , которое удовлетворяет Определить по которому является гомеоморфизмом, потому что множество , таким образом, является открытым подмножеством того, что, кроме того, содержит Если тогда, поскольку оно выпукло, и что доказывает, что Таким образом , это открытое подмножество, содержащее начало координат и содержащееся в КЭД.
^ Поскольку топология имеет тривиальную топологию, то же самое имеет и каждое из его подмножеств, что делает их все компактными. Известно, что подмножество любого равномерного пространства компактно тогда и только тогда, когда оно полно и вполне ограничено.
^ Если тогда Потому что если закрыто, то равенство сохраняется. Используя тот факт, что это векторное пространство, легко проверить, что дополнение в любом наборе , удовлетворяющем равенству , также должно удовлетворять этому равенству (когда вместо ).
^ «Быстрое применение теоремы о замкнутом графике» . Что нового . 22 апреля 2016 г. Проверено 7 октября 2020 г.
^ ab Narici & Beckenstein 2011, с. 111.
^ abc Рудин 1991, с. 9 §1.8.
^ Рудин 1991, с. 27 Теорема 1.36.
^ Рудин 1991, с. 62–68 §3.8–3.14.
^ ab Narici & Beckenstein 2011, стр. 177–220.
^ abc Рудин 1991, с. 38.
^ Шефер и Вольф 1999, стр. 35.
^ Наричи и Бекенштейн 2011, с. 119-120.
^ Вилански 2013, с. 43.
^ Вилански 2013, с. 42.
^ Аб Рудин 1991, с. 55.
^ ab Narici & Beckenstein 2011, с. 108.
^ Ярчоу 1981, стр. 101–104.
^ ab Schaefer & Wolff 1999, стр. 38.
^ Конвей 1990, с. 102.
^ abcdef Narici & Beckenstein 2011, стр. 47–66.
^ Наричи и Бекенштейн 2011, с. 156.
^ abcde Schaefer & Wolff 1999, стр. 12–35.
^ ab Schaefer & Wolff 1999, стр. 25.
^ ab Jarchow 1981, стр. 56–73.
^ Наричи и Бекенштейн 2011, стр. 107–112.
^ Вилански 2013, с. 63.
^ ab Narici & Beckenstein 2011, стр. 19–45.
^ abc Wilansky 2013, стр. 43–44.
^ Наричи и Бекенштейн 2011, стр. 80.
^ Наричи и Бекенштейн 2011, стр. 108–109.
^ Ярчоу 1981, стр. 30–32.
^ abc Narici & Beckenstein 2011, с. 109.
^ Рудин 1991, с. 6.
^ Шварц 1992, с. 35.
Библиография
Адаш, Норберт; Эрнст, Бруно; Кейм, Дитер (1978). Топологические векторные пространства: теория без условий выпуклости . Конспект лекций по математике. Том. 639. Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-08662-8. ОСЛК 297140003.
Ярхов, Ганс (1981). Локально выпуклые пространства . Штутгарт: Б. Г. Тойбнер. ISBN 978-3-519-02224-4. ОСЛК 8210342.
Кете, Готфрид (1983) [1969]. Топологические векторные пространства I . Grundlehren der mathematischen Wissenschaften. Том. 159. Перевод Гарлинга, DJH Нью-Йорк: Springer Science & Business Media. ISBN 978-3-642-64988-2. МР 0248498. OCLC 840293704.
Наричи, Лоуренс; Бекенштейн, Эдвард (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.
Бирштедт, Клаус-Дитер (1988). «Введение в локально выпуклые индуктивные пределы». Функциональный анализ и приложения . Сингапур-Нью-Джерси-Гонконг: Universitätsbibliothek: 35–133 . Проверено 20 сентября 2020 г.
Бурбаки, Николя (1987) [1981]. Топологические векторные пространства: главы 1–5 . Элементы математики . Перевод Эгглстона, Х.Г.; Мадан, Южный Берлин, Нью-Йорк: Springer-Verlag. ISBN 3-540-13627-4. ОСЛК 17499190.
Эдвардс, Роберт Э. (1995). Функциональный анализ: теория и приложения . Нью-Йорк: Dover Publications. ISBN 978-0-486-68143-6. ОСЛК 30593138.
Гротендик, Александр (1973). Топологические векторные пространства . Перевод Чалджуба, Орландо. Нью-Йорк: Издательство Gordon and Breach Science. ISBN 978-0-677-30020-7. ОСЛК 886098.
Хорват, Джон (1966). Топологические векторные пространства и распределения . Ряды Аддисона-Уэсли по математике. Том. 1. Ридинг, Массачусетс: Издательство Addison-Wesley. ISBN 978-0201029857.
Кете, Готфрид (1979). Топологические векторные пространства II . Grundlehren der mathematischen Wissenschaften. Том. 237. Нью-Йорк: Springer Science & Business Media. ISBN 978-0-387-90400-9. ОСЛК 180577972.
Ланг, Серж (1972). Дифференциальные многообразия . Ридинг, Массачусетс – Лондон – Дон Миллс, Онтарио: Addison-Wesley Publishing Co., Inc. ISBN 0-201-04166-9.
Робертсон, Алекс П.; Робертсон, Венди Дж. (1980). Топологические векторные пространства . Кембриджские трактаты по математике. Том. 53. Кембридж, Англия: Издательство Кембриджского университета . ISBN 978-0-521-29882-7. ОСЛК 589250.
Тревес, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. ОКЛК 853623322.
Вальдивия, Мануэль (1982). Нахбин, Леопольдо (ред.). Темы в локально выпуклых пространствах . Том. 67. Амстердам, Нью-Йорк, Нью-Йорк: Научный паб Elsevier . ISBN компании 978-0-08-087178-3. ОСЛК 316568534.
Фойгт, Юрген (2020). Курс топологических векторных пространств . Компактные учебники по математике. Чам: Биркхойзер Базель. ISBN 978-3-030-32945-7. ОСЛК 1145563701.
Внешние ссылки
СМИ, связанные с топологическими векторными пространствами, на Викискладе?