Топологическое векторное пространство
В математике топологическое векторное пространство (также называемое линейным топологическим пространством и обычно сокращенно TVS или tvs ) является одной из основных структур, исследуемых в функциональном анализе .Топологическое векторное пространство — это векторное пространство , которое также является топологическим пространством , обладающим тем свойством, что операции с векторным пространством (сложение векторов и скалярное умножение) также являются непрерывными функциями . Такая топология называется векторной топологией , и каждое топологическое векторное пространство имеет однородную топологическую структуру , что допускает понятие равномерной сходимости и полноты . Некоторые авторы также требуют, чтобы пространство было хаусдорфовым пространством (хотя в этой статье это не так). Одной из наиболее широко изученных категорий ТВС являются локально выпуклые топологические векторные пространства . В этой статье основное внимание уделяется TVS, которые не обязательно являются локально выпуклыми. Другие известные примеры TVS включают банаховы пространства , гильбертовы пространства и пространства Соболева .
Многие топологические векторные пространства представляют собой пространства функций или линейных операторов, действующих на топологические векторные пространства, и топология часто определяется так, чтобы отразить конкретное понятие сходимости последовательностей функций.
В этой статье скалярным полем топологического векторного пространства будет считаться либо комплексное число, либо или реальные цифры если явно не указано иное.
Мотивация
[ редактировать ]Нормированные пространства
[ редактировать ]Каждое нормированное векторное пространство имеет естественную топологическую структуру : норма индуцирует метрику , а метрика индуцирует топологию.Это топологическое векторное пространство, потому что [ нужна ссылка ] :
- Карта векторного сложения определяется (совместно) непрерывен относительно этой топологии. Это следует непосредственно из неравенства треугольника, подчиняющегося норме.
- Карта скалярного умножения определяется где является основным скалярным полем является (совместно) непрерывным. Это следует из неравенства треугольника и однородности нормы.
Таким образом, все банаховы и гильбертовы пространства являются примерами топологических векторных пространств.
Ненормированные пространства
[ редактировать ]Существуют топологические векторные пространства, топология которых не индуцируется нормой, но все же представляют интерес для анализа. Примерами таких пространств являются пространства голоморфных функций на открытой области, пространства бесконечно дифференцируемых функций , пространства Шварца , пространства основных функций и пространства распределений на них. [1] Это все примеры пространств Montel . Бесконечномерное пространство Монтеля никогда не является нормируемым. Существование нормы для данного топологического векторного пространства характеризуется критерием нормируемости Колмогорова .
Топологическое поле — это топологическое векторное пространство над каждым из своих подполей .
Определение
[ редактировать ]Топологическое векторное пространство ( TVS ) - векторное пространство над топологическим полем (чаще всего действительные или комплексные числа со стандартной топологией), наделенный такой топологией , что векторное сложение и скалярное умножение являются непрерывными функциями (где области определения этих функций наделены топологиями произведений ). Такая топология называется векторная топология или Топология TVS включена
Каждое топологическое векторное пространство также является коммутативной топологической группой при сложении.
предположение Хаусдорфа
Многие авторы (например, Вальтер Рудин ), но не эта страница, требуют топологию на быть Т 1 ; отсюда следует, что пространство является Хаусдорфовым и даже Тихоновским . Топологическое векторное пространство называется отделяется, если это Хаусдорф; Важно отметить, что «отделенный» не означает «отделимый » . Топологические и линейные алгебраические структуры можно еще теснее связать вместе с помощью дополнительных предположений, наиболее распространенные из которых перечислены ниже .
Категория и морфизмы
Категория . топологических векторных пространств над заданным топологическим полем обычно обозначается или Объекты представляют собой топологические векторные пространства над и морфизмы являются непрерывными -линейные карты от одного объекта к другому.
А гомоморфизм топологического векторного пространства (сокращенно TVS-гомоморфизм ), также называемый топологический гомоморфизм , [2] [3] представляет собой непрерывное линейное отображение между топологическими векторными пространствами (ТВП) такими, что индуцированное отображение является открытым отображением, когда какой диапазон или изображение задана топология подпространства, индуцированная
А вложение топологического векторного пространства (сокращенно TVS-вложение ), также называемое топологический мономорфизм — инъективный топологический гомоморфизм. Эквивалентно, TVS-вложение — это линейное отображение, которое также является топологическим вложением . [2]
А изоморфизм топологического векторного пространства (сокращенно TVS-изоморфизм ), также называемый топологический векторный изоморфизм [4] или изоморфизм в категории TVS , является биективным линейным гомеоморфизмом . Эквивалентно, это сюръективное TVS-вложение. [2]
Многие свойства TVS, которые изучаются, такие как локальная выпуклость , метризуемость , полнота и нормируемость , инвариантны относительно TVS-изоморфизмов.
Необходимое условие векторной топологии.
Коллекция подмножеств векторного пространства называется аддитивным. [5] если для каждого существует какой-то такой, что
Характеристика непрерывности добавления при [5] - Если является группой (как и все векторные пространства), это топология на и наделен топологией произведения , то картой сложения (определено ) непрерывен в начале координат тогда и только тогда, когда множество окрестностей начала координат в является аддитивным. Это утверждение остается верным, если слово «соседство» заменить на «открытое соседство».
Следовательно, все вышеперечисленные условия являются необходимыми для того, чтобы топология сформировала векторную топологию.
Определение топологий с использованием окрестностей начала координат
[ редактировать ]Поскольку каждая векторная топология трансляционно-инвариантна (это означает, что для всех карта определяется является гомеоморфизмом ), для определения векторной топологии достаточно определить для нее окрестностный базис (или подбазис) в начале координат.
Теорема [6] (Фильтр соседства источника) — Предположим, что является действительным или комплексным векторным пространством. Если представляет собой непустую аддитивную совокупность сбалансированных и поглощающих подмножеств затем это районная база в для векторной топологии на То есть предположения заключаются в том, что представляет собой основу фильтра , удовлетворяющую следующим условиям:
Если удовлетворяет двум вышеуказанным условиям, но не является базой фильтра, то он сформирует подбазис окрестности в точке (а не базис окрестности) для векторной топологии на
Вообще говоря, совокупность всех сбалансированных и поглощающих подмножеств векторного пространства не удовлетворяет условиям этой теоремы и не образует базиса окрестности в начале координат ни для какой векторной топологии. [5]
Определение топологий с использованием строк
[ редактировать ]Позволять быть векторным пространством и пусть быть последовательностью подмножеств Каждый набор в последовательности называется узел и для каждого индекса называется -й узел Набор называется началом Последовательность есть/есть: [7] [8] [9]
- Суммативное, если для каждого индекса
- Сбалансированный (соответственно поглощающий , закрытый , [примечание 1] выпуклый , открытый , симметричный , бочкообразный , абсолютно выпуклый/дисковый и т. д.), если это верно для каждого
- Строка , если является суммирующим, поглощающим и сбалансированным.
- Топологическая строка или строка соседства в TVS если является строкой, и каждый ее узел является окрестностью начала координат в
Если представляет собой поглощающий диск в векторном пространстве то последовательность, определяемая образует строку, начинающуюся с Это называется естественной строкой [7] Более того, если векторное пространство имеет счетную размерность, то каждая строка содержит абсолютно выпуклую строку.
Суммативные последовательности множеств обладают тем особенно приятным свойством, что они определяют неотрицательные непрерывные субаддитивные функции с действительным знаком. Эти функции затем можно использовать для доказательства многих основных свойств топологических векторных пространств.
Теорема ( -значная функция, индуцированная строкой) — Пусть быть совокупностью подмножеств векторного пространства такой, что и для всех Для всех позволять
Определять к если а иначе пусть
Затем является субаддитивным (т.е. для всех ) и на так, в частности, Если все являются симметричными множествами , то и если все сбалансированы тогда для всех скаляров такой, что и все Если является топологическим векторным пространством, и если все являются окрестностями начала координат, тогда является непрерывным, причем если, кроме того, это Хаусдорф и образует основу сбалансированных окрестностей начала в затем — метрика, определяющая векторную топологию на
Доказательство указанной теоремы дано в статье о метризуемых топологических векторных пространствах .
Если и представляют собой две коллекции подмножеств векторного пространства и если является скаляром, то по определению: [7]
- содержит : тогда и только тогда, когда для каждого индекса
- Набор узлов :
- Ядро :
- Скалярное кратное :
- Сумма :
- Пересечение :
Если представляет собой совокупность последовательностей подмножеств затем называется направленным ( вниз ) при включении или просто направленным вниз , если не пусто и для всех существует какой-то такой, что и (говоря по-другому, тогда и только тогда, когда является предварительным фильтром по отношению к защитной оболочке определение выше).
Обозначение : Пусть быть множеством всех узлов всех струн в
Определение векторных топологий с использованием наборов строк особенно полезно для определения классов TVS, которые не обязательно являются локально выпуклыми.
Теорема [7] (Топология, вызванная струнами) — Если является топологическим векторным пространством, то существует множество [доказательство 1] соседних строк в направленный вниз и такой, что совокупность всех узлов всех струн в является базисом окрестности в начале координат для Говорят, что такая совокупность строк называется фундаментальный .
И наоборот, если является векторным пространством, и если представляет собой набор строк в направленную вниз, то множество всех узлов всех струн в образует базис окрестности в начале координат векторной топологии на В этом случае эта топология обозначается через и это называется топологией, порожденной
Если - это набор всех топологических струн в TVS. затем [7] Хаусдорф ТВС метризуем тогда и только тогда, когда его топология может быть индуцирована одной топологической струной. [10]
Топологическая структура
[ редактировать ]Векторное пространство является абелевой группой относительно операции сложения, а в топологическом векторном пространстве обратная операция всегда непрерывна (поскольку она аналогична умножению на ). Следовательно, каждое топологическое векторное пространство является абелевой топологической группой . Любой ТВС совершенно регулярен , но ТВС не обязательно должен быть нормальным . [11]
Позволять быть топологическим векторным пространством. Учитывая подпространство фактор-пространство с обычной фактортопологией является топологическим векторным пространством Хаусдорфа тогда и только тогда, когда закрыт. [примечание 2] Это допускает следующую конструкцию: учитывая топологическое векторное пространство (это, вероятно, не Хаусдорф), образуют факторпространство где это закрытие тогда является топологическим векторным пространством Хаусдорфа, которое можно изучать вместо
Инвариантность векторных топологий
[ редактировать ]Одним из наиболее часто используемых свойств векторных топологий является то, что каждая векторная топология является инвариант перевода :
- для всех карта определяется является гомеоморфизмом , но если тогда он не линеен и, следовательно, не является TVS-изоморфизмом.
Скалярное умножение на ненулевой скаляр является TVS-изоморфизмом. Это означает, что если тогда линейное отображение определяется является гомеоморфизмом. С использованием создает карту отрицания определяется который, следовательно, является линейным гомеоморфизмом и, следовательно, TVS-изоморфизмом.
Если и любое подмножество затем [6] и более того, если затем является окрестностью (соответственно открытой окрестностью, закрытой окрестностью) в тогда и только тогда, когда то же самое верно для в начале.
Местные понятия
[ редактировать ]Подмножество векторного пространства Говорят, что это
- поглощающий (в ): если для каждого существует настоящий такой, что для любого скаляра удовлетворяющий [12]
- сбалансированный или обведенный : если для каждого скаляра [12]
- выпуклый : если для каждого настоящего [12]
- диск абсолютно или выпуклый : если выпуклая и сбалансированная.
- симметричный : если или эквивалентно, если
Каждая окрестность начала координат является поглощающим множеством и содержит открытую сбалансированную окрестность [6] поэтому каждое топологическое векторное пространство имеет локальную базу поглощающих и сбалансированных множеств . В начале координат даже имеется базис окрестности, состоящий из замкнутых сбалансированных окрестностей если пространство локально выпуклое , то оно также имеет базис окрестностей, состоящий из замкнутых выпуклых сбалансированных окрестностей начала координат.
Ограниченные подмножества
Подмножество топологического векторного пространства ограничен [13] если для каждого района происхождения существует такой, что .
Определение ограниченности можно несколько ослабить; ограничено тогда и только тогда, когда ограничено каждое его счетное подмножество. Множество ограничено тогда и только тогда, когда каждая его подпоследовательность является ограниченным множеством. [14] Также, ограничен тогда и только тогда, когда для каждой сбалансированной окрестности происхождения, существует такой, что Более того, когда локально выпукло, ограниченность можно охарактеризовать полунормами : подмножество ограничена тогда и только тогда, когда каждая непрерывная полунорма ограничен [15]
Всякое вполне ограниченное множество ограничено. [14] Если является векторным подпространством TVS тогда подмножество ограничен тогда и только тогда, когда оно ограничено [14]
метризуемость
[ редактировать ]Теорема Биркгофа – Какутани — Если является топологическим векторным пространством, то следующие четыре условия эквивалентны: [16] [примечание 3]
- Происхождение закрыт в и существует счетный базис окрестностей в начале координат в
- метризуемо ( как топологическое пространство).
- Существует трансляционно-инвариантная метрика на что вызывает топология которая представляет собой данную топологию на
- — метризуемое топологическое векторное пространство . [примечание 4]
По теореме Биркгофа–Какутани следует, что существует эквивалентная метрика , которая является трансляционно-инвариантной.
TVS псевдометризуем тогда и только тогда, когда он имеет счетный базис окрестностей в начале координат или эквивалентен ему тогда и только тогда, когда его топология порождается F -полунормой . ТВС метризуема тогда и только тогда, когда она хаусдорфова и псевдометризуема.
Более строго: топологическое векторное пространство называется нормируемым, если его топология может быть индуцирована нормой. Топологическое векторное пространство нормируемо тогда и только тогда, когда оно хаусдорфово и имеет выпуклую ограниченную окрестность начала координат. [17]
Позволять быть недискретным локально компактным топологическим полем, например вещественных или комплексных чисел. векторное пространство Хаусдорфа Топологическое над локально компактен тогда и только тогда, когда он конечномерен , т. е. изоморфен для некоторого натурального числа [18]
Полнота и единая структура
[ редактировать ]Каноническое единообразие [19] на ТВС - это уникальная трансляционно-инвариантная однородность , которая индуцирует топологию на
Предполагается, что каждая ТВС наделена этой канонической однородностью, которая превращает все ТВС в однородные пространства . Это позволяет говорить [ нужны разъяснения ] о связанных понятиях, таких как полнота , равномерная сходимость , сети Коши, равномерная непрерывность и т. д., которые всегда предполагаются относительно этой однородности (если не указано иное). Это означает, что каждое топологическое векторное пространство Хаусдорфа является тихоновским . [20] Подмножество ТВС компактно тогда и только тогда, когда оно полно и вполне ограничено (для хаусдорфовых ТВС вполне ограниченное множество эквивалентно тому, что оно предкомпактно ). Но если TVS не хаусдорфово, то существуют незамкнутые компактные подмножества. Однако замыкание компактного подмножества нехаусдорфовой TVS снова компактно (поэтому компактные подмножества относительно компактны ).
С учетом этой однородности сеть (или последовательность ) является Коши тогда и только тогда, когда для каждой окрестности из существует некоторый индекс такой, что в любое время и
Любая последовательность Коши ограничена, хотя сети Коши и фильтры Коши могут быть не ограничены. Топологическое векторное пространство, в котором сходится каждая последовательность Коши, называется секвенциально полным ; вообще говоря, оно может быть не полным (в том смысле, что все фильтры Коши сходятся).
Операция сложения в векторном пространстве равномерно непрерывна и представляет собой открытое отображение . Скалярное умножение является непрерывным по Коши, но, вообще говоря, оно почти никогда не бывает равномерно непрерывным. Из-за этого каждое топологическое векторное пространство может быть полным и, таким образом, является плотным линейным подпространством полного топологического векторного пространства .
- Любая TVS имеет пополнение , а каждая TVS Хаусдорфа имеет пополнение Хаусдорфа. [6] Каждая ТВС (даже хаусдорфова и/или полная) имеет бесконечное количество неизоморфных нехаусдорфовых пополнений.
- Компактное подмножество ТВС (не обязательно Хаусдорфа) полно. [21] Полное подмножество хаусдорфовой ТВС замкнуто. [21]
- Если является полным подмножеством TVS, то любое подмножество TVS который закрыт в завершен. [21]
- Последовательность Коши в ТВС Хаусдорфа не обязательно относительно компактен (т. е. его замыкание в не обязательно компактен).
- Если фильтр Коши в ТВС имеет точку накопления тогда он сходится к
- Если сериал сходится [примечание 5] в ТВС затем в [22]
Примеры
[ редактировать ]Самая тонкая и самая грубая векторная топология
[ редактировать ]Позволять быть вещественным или комплексным векторным пространством.
Тривиальная топология
Тривиальная топология или недискретная топология всегда является топологией TVS в любом векторном пространстве. и это самая грубая из возможных топологий TVS. Важным следствием этого является то, что пересечение любого набора топологий TVS на всегда содержит топологию TVS. Любое векторное пространство (в том числе бесконечномерное), наделенное тривиальной топологией, является компактным (и, следовательно, локально компактным ) полным псевдометризуемым полунормируемым локально выпуклым топологическим векторным пространством. Хаусдорф когда тогда и только тогда,
Тончайшая векторная топология
Существует топология TVS на назвал тончайшая векторная топология на это лучше, чем любая другая TVS-топология на (то есть любая TVS-топология на обязательно является подмножеством ). [23] [24] Любая линейная карта из в другую TVS обязательно непрерывна. Если имеет несчетный базис Гамеля , тогда не не выпукло и метризуемо локально . [24]
Декартовы произведения
[ редактировать ]Декартово произведение семейства топологических векторных пространств, наделенное топологией произведения , является топологическим векторным пространством. Рассмотрим, например, набор всех функций где несет свою обычную евклидову топологию . Этот набор - это действительное векторное пространство (где сложение и скалярное умножение, как обычно, определяются поточечно), которое можно отождествить (и действительно часто определяют как) с декартовым произведением который несет в себе топологию натурального продукта . Благодаря такой топологии продукта становится топологическим векторным пространством, топология которого называется топологией поточечной сходимости на Причина такого названия следующая: если представляет собой последовательность (или, в более общем смысле, сеть ) элементов в и если затем сходится к в тогда и только тогда, когда для каждого действительного числа сходится к в Эта ТВС полная , хаусдорфова и локально выпуклая, но не метризуемая и, следовательно, не нормируемая ; действительно, каждая окрестность начала координат в топологии произведения содержит линии (то есть одномерные векторные подпространства, которые являются подмножествами вида с ).
Конечномерные пространства
[ редактировать ]По теореме Ф. Рисса топологическое векторное пространство Хаусдорфа конечномерно тогда и только тогда, когда оно локально компактно , что происходит тогда и только тогда, когда оно имеет компактную окрестность начала координат.
Позволять обозначать или и наделить со своей обычной хаусдорфовой нормированной евклидовой топологией . Позволять быть векторным пространством над конечного размера и так что векторное пространство изоморфно (явно это означает, что существует линейный изоморфизм между векторными пространствами и ). Это конечномерное векторное пространство всегда имеет уникальную векторную топологию Хаусдорфа , что делает его TVS-изоморфным где наделен обычной евклидовой топологией (которая совпадает с топологией произведения ). Эта векторная топология Хаусдорфа также является (уникальной) лучшей векторной топологией на имеет уникальную векторную топологию тогда и только тогда, когда Если тогда хотя не имеет уникальной векторной топологии, он имеет уникальную векторную топологию Хаусдорфа .
- Если затем имеет ровно одну векторную топологию: тривиальную топологию , которая в этом случае (и только в этом случае) является хаусдорфовой. Тривиальная топология векторного пространства является хаусдорфовой тогда и только тогда, когда векторное пространство имеет размерность
- Если затем имеет две векторные топологии: обычную евклидову топологию и (нехаусдорфову) тривиальную топологию.
- Поскольку поле сам по себе является -мерное топологическое векторное пространство над и поскольку она играет важную роль в определении топологических векторных пространств, эта дихотомия играет важную роль в определении поглощающего множества и имеет последствия, которые отражаются на протяжении всего функционального анализа .
Доказательство этой дихотомии (т.е. того, что векторная топология либо тривиальна, либо изоморфна ) является простым, поэтому дается только схема с важными наблюдениями. По-прежнему, Предполагается, что они имеют (нормированную) евклидову топологию. Позволять для всех Позволять быть -мерное векторное пространство над Если и это шар с центром в затем в любое время содержит «неограниченную последовательность», под которой подразумевается последовательность вида где и неограничен в нормированном пространстве (в обычном понимании). Любая векторная топология на будет трансляционно-инвариантным и инвариантным относительно ненулевого скалярного умножения, и для каждого карта данный является непрерывной линейной биекцией. Потому что для любого такого каждое подмножество можно записать как для некоторого уникального подмножества И если эта векторная топология на есть район происхождения, который не равен всем тогда непрерывность скалярного умножения в начале координат гарантирует существование открытого шара сосредоточено в и открытый район происхождения в такой, что что подразумевает, что не . содержит никакой «неограниченной последовательности» Это означает, что для каждого существует некоторое положительное целое число такой, что Из этого можно сделать вывод, что если не несет тривиальной топологии, и если тогда для любого шара центр на 0 дюймов содержит открытую окрестность начала координат в что затем доказывает, что является линейным гомеоморфизмом . КЭД
- Если затем имеет бесконечно много различных векторных топологий:
- Некоторые из этих топологий теперь описаны: Каждый линейный функционал на которое является векторным пространством, изоморфным вызывает полунорму определяется где Каждая полунорма индуцирует ( псевдометризуемую локально выпуклую ) векторную топологию на а полунормы с разными ядрами порождают различные топологии, так что, в частности, полунормы на которые индуцированы линейными функционалами с различными ядрами, будут индуцировать различные векторные топологии на
- Однако, несмотря на то, что векторных топологий на когда существуют с точностью до TVS-изоморфизма только векторные топологии на Например, если то векторные топологии на состоят из тривиальной топологии, евклидовой топологии Хаусдорфа, а затем из бесконечного числа оставшихся нетривиальных неевклидовых векторных топологий на все TVS-изоморфны друг другу.
Невекторные топологии
[ редактировать ]Дискретная и коконечная топологии
Если является нетривиальным векторным пространством (т. е. ненулевой размерности), то дискретная топология на (которая всегда метризуема ) не является топологией TVS, потому что, несмотря на то, что сложение и отрицание делаются непрерывными (что превращает ее в топологическую группу при сложении), она не может сделать скалярное умножение непрерывным. Кофинитная топология на (где подмножество открыто тогда и только тогда, когда его дополнение конечно) также не является топологией TVS на
Линейные карты
[ редактировать ]Линейный оператор между двумя топологическими векторными пространствами, непрерывный в одной точке, непрерывен во всей области. Более того, линейный оператор является непрерывным, если ограничено (как определено ниже) для некоторой окрестности происхождения.
Гиперплоскость в топологическом векторном пространстве либо плотный, либо замкнутый. Линейный функционал в топологическом векторном пространстве имеет либо плотное, либо закрытое ядро. Более того, непрерывно тогда и только тогда, когда ядро замкнуто его .
Типы
[ редактировать ]В зависимости от приложения на топологическую структуру пространства обычно накладываются дополнительные ограничения. Фактически, несколько основных результатов функционального анализа в целом не справедливы для топологических векторных пространств: теорема о замкнутом графике , теорема об открытом отображении и тот факт, что двойственное пространство разделяет точки в пространстве.
Ниже приведены некоторые распространенные топологические векторные пространства, примерно в порядке возрастания «красивости».
- F-пространства — это полные топологические векторные пространства с трансляционно-инвариантной метрикой. [25] К ним относятся места для всех
- Локально выпуклые топологические векторные пространства : здесь каждая точка имеет локальную базу, состоящую из выпуклых множеств . [25] С помощью метода, известного как функционалы Минковского, можно показать, что пространство локально выпукло тогда и только тогда, когда его топология может быть определена семейством полунорм. [26] Локальная выпуклость является минимальным требованием для «геометрических» аргументов, таких как теорема Хана – Банаха . пространства локально выпуклы (фактически банаховы пространства) для всех но не для
- Бочковые пространства : локально выпуклые пространства, в которых справедлива теорема Банаха – Штейнхауза .
- Борнологическое пространство : локально выпуклое пространство, в котором непрерывные линейные операторы любого локально выпуклого пространства являются в точности ограниченными линейными операторами .
- Стереотипное пространство : локально выпуклое пространство, удовлетворяющее варианту условия рефлексивности , где двойственное пространство наделено топологией равномерной сходимости на вполне ограниченных множествах .
- Пространство Монтеля : бочкообразное пространство, в котором каждое замкнутое и ограниченное множество компактно .
- Пространства Фреше : это полные локально выпуклые пространства, топология которых происходит из трансляционно-инвариантной метрики или, что то же самое: из счетного семейства полунорм. В этот класс попадает много интересных пространств функций. является пространством Фреше относительно полунорм Локально выпуклое F-пространство является пространством Фреше. [25]
- LF-пространства являются пределами пространств Фреше . Пространства ILH являются обратными пределами гильбертовых пространств.
- Ядерные пространства : это локально выпуклые пространства, обладающие тем свойством, что каждое ограниченное отображение ядерного пространства в произвольное банахово пространство является ядерным оператором .
- Нормированные пространства и полунормированные пространства : локально выпуклые пространства, топология которых может быть описана одной нормой или полунормой . В нормированных пространствах линейный оператор непрерывен тогда и только тогда, когда он ограничен.
- Банаховы пространства : Полные нормированные векторные пространства . Большая часть функционального анализа сформулирована для банаховых пространств. Этот класс включает в себя пространства с пространство функций ограниченной вариации и некоторых пространств мер.
- Рефлексивные банаховы пространства : банаховы пространства, естественно изоморфные своему двойному дуалу (см. ниже), что гарантирует возможность проведения некоторых геометрических рассуждений. Важный пример, который не является рефлексивным: , двойником которого является но строго содержится в двойственном
- Гильбертовы пространства : у них есть внутренний продукт ; даже несмотря на то, что эти пространства могут быть бесконечномерными, в них можно проводить большинство геометрических рассуждений, знакомых по конечным измерениям. К ним относятся пространства, Sobolev spaces и пространства Харди .
- Евклидовы пространства : или с топологией, индуцированной стандартным скалярным произведением. Как указывалось в предыдущем разделе, для заданного конечного есть только один -мерное топологическое векторное пространство с точностью до изоморфизма. Отсюда следует, что любое конечномерное подпространство ТВС замкнуто. Характеризация конечномерности состоит в том, что хаусдорфова ТВС локально компактна тогда и только тогда, когда она конечномерна (следовательно, изоморфна некоторому евклидову пространству).
Двойное пространство
[ редактировать ]Каждое топологическое векторное пространство имеет непрерывное двойственное пространство — множество всех непрерывных линейных функционалов, т. е. непрерывных линейных отображений пространства в основное поле Топологию дуала можно определить как самую грубую топологию, такую, что при дуальном спаривании каждая точка оценивается. является непрерывным. Это превращает двойственное пространство в локально выпуклое топологическое векторное пространство. Эта топология называется топологией слабого* . [27] Возможно, это не единственная естественная топология дуального пространства; например, в двойственном нормированном пространстве определена естественная норма. Однако он очень важен в приложениях из-за своих свойств компактности (см. теорему Банаха–Алаоглу ). Внимание: всякий раз, когда — ненормируемое локально выпуклое пространство, то отображение спаривания никогда не является непрерывным, независимо от того, какую топологию векторного пространства вы выберете. Топологическое векторное пространство имеет нетривиальное непрерывное двойственное пространство тогда и только тогда, когда оно имеет собственную выпуклую окрестность начала координат. [28]
Характеристики
[ редактировать ]Для любого ТВС выпуклая ( соответственно сбалансированная , дисковая выпуклая, закрытая сбалансированная, закрытая дисковая ) оболочка , закрыто - представляет собой наименьшее подмножество который обладает этим свойством и содержит Замыкание (соответственно внутренняя, выпуклая , сбалансированная, дисковая) множества иногда обозначается (соответственно, ).
Выпуклая оболочка из подмножества равно множеству всех выпуклых комбинаций элементов в которые являются конечными линейными комбинациями вида где является целым числом, и сумма до [29] Пересечение любого семейства выпуклых множеств является выпуклым, а выпуклая оболочка подмножества равна пересечению всех выпуклых множеств, которые его содержат. [29]
Соседства и открытые наборы
[ редактировать ]Свойства окрестностей и открытых множеств
Каждый телевизор подключен [6] и локально подключен [30] и любое связное открытое подмножество TVS связно по дуге . Если и является открытым подмножеством затем представляет собой открытый набор в [6] и если имеет непустую внутреннюю часть, тогда является окрестностью начала координат. [6]
Открытые выпуклые подмножества TVS (не обязательно Хаусдорфовых или локально выпуклых) — это именно те, которые имеют вид для некоторых и некоторый положительный непрерывный сублинейный функционал на [28]
Если представляет собой поглощающий диск в ТВС и если – Минковского функционал затем [31] и, что немаловажно, не предполагалось, что не имело никаких топологических свойств, ни того, что было непрерывным (что происходит тогда и только тогда, когда является окрестностью начала координат).
Позволять и быть двумя векторными топологиями на Затем тогда и только тогда, когда всякий раз, когда сеть в сходится в затем в [32]
Позволять быть базисом окрестности происхождения в позволять и пусть Затем тогда и только тогда, когда существует сеть в (индексируется ) такой, что в [33] Это показывает, в частности, что часто бывает достаточно рассматривать сети, индексированные по базису окрестности начала координат, а не сети на произвольных направленных множествах.
Если есть ТВС, принадлежащий самой себе второй категории (т. е. нетощее пространство ), то любое замкнутое выпуклое поглощающее подмножество является окрестностью начала координат. [34] Это уже не гарантируется, если множество не выпукло (противопример существует даже в ) или если само по себе не относится ко второй категории. [34]
Интерьер
Если и имеет непустую внутреннюю часть, тогда и
Топологическая внутренность диска . не пуста тогда и только тогда, когда эта внутренность содержит начало координат [35] В более общем смысле, если представляет собой сбалансированный набор с непустым интерьером в ТВС затем обязательно будет сбалансированным; [6] следовательно, будет сбалансированным тогда и только тогда, когда оно содержит начало координат. [доказательство 2] Для этого (т. ), правда, этого достаточно для быть еще и выпуклым (помимо уравновешенности и непустой внутренней части); [6] Заключение может быть ложным, если не является также выпуклым; [35] например, в интерьер закрытого и сбалансированного набора является
Если является выпуклым и затем [36] В явном виде это означает, что если является выпуклым подмножеством TVS (не обязательно Хаусдорф или локально выпуклый), и затем сегмент открытой линии, соединяющийся и принадлежит внутренней части то есть, [37] [38] [доказательство 3]
Если – это любая сбалансированная окрестность начала координат в затем где это набор всех скаляров такой, что
Если принадлежит внутренности выпуклого множества и затем полуоткрытый отрезок и [37] Если является сбалансированным соседством в и затем, рассматривая пересечения вида (которые являются выпуклыми симметричными окрестностями в настоящем ТВС ) отсюда следует, что: и более того, если затем и если затем
Нехаусдорфовые пространства и замыкание начала координат.
[ редактировать ]Топологическое векторное пространство является Хаусдорфом тогда и только тогда, когда является закрытым подмножеством или, что то же самое, тогда и только тогда, когда Потому что является векторным подпространством то же самое относится и к его закрытию что называется закрытием начала координат в Это векторное пространство удовлетворяет так что, в частности, каждая окрестность начала координат в содержит векторное пространство как подмножество. Топология подпространства на всегда является тривиальной топологией , из чего, в частности, следует, что топологическое векторное пространство компактное пространство (даже если его размерность отлична от нуля или даже бесконечна) и, следовательно, также ограниченное подмножество Фактически векторное подпространство ТВС ограничено тогда и только тогда, когда оно содержится в замыкании [14] Каждое подмножество также несет тривиальную топологию и поэтому само является компактным и, следовательно, полным подпространством (доказательство см. в сноске). [доказательство 4] В частности, если не является Хаусдорфом, то существуют подмножества, которые одновременно компактны и полны , но не замкнуты в ; [39] например, это будет верно для любого непустого собственного подмножества
Если компактен, то и этот набор компактен. Таким образом, замыкание компактного подмножества ТВС компактно (иными словами, все компакты относительно компактны ), [40] что не гарантируется для произвольных нехаусдорфовых топологических пространств . [примечание 6]
Для каждого подмножества и, следовательно, если открыт или закрыт в затем [доказательство 5] (так что эти произвольные открытые или закрытые подмножества можно описать как «трубку», вертикальная сторона которой представляет собой векторное пространство. ). Для любого подмножества этого ТВС следующие эквивалентны:
- ограничен полностью .
- полностью ограничен. [41]
- полностью ограничен. [42] [43]
- Изображение, если под каноническим фактор-отображением полностью ограничен. [41]
Если является векторным подпространством TVS затем является Хаусдорфом тогда и только тогда, когда закрыт в Более того, фактор-отображение всегда является замкнутым отображением на (необходимо) Хаусдорфовую TVS. [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] Закрытое, но не открытое векторное подпространство ТВС нигде не является плотным . [9]
Предполагать это TVS, который не несет недискретной топологии . Затем является пространством Бэра тогда и только тогда, когда не имеет сбалансированного поглощающего нигде плотного подмножества. [9]
ТВС является пространством Бэра тогда и только тогда, когда нетощее . , что происходит тогда и только тогда, когда не существует нигде не плотного множества такой, что [9] Всякое нескудное локально выпуклое TVS представляет собой бочкообразное пространство . [9]
Важные алгебраические факты и распространенные заблуждения
Если затем ; если выпукло, то имеет место равенство. В качестве примера, когда равенство не выполняется, пусть быть ненулевым и установить тоже работает.
Подмножество выпукло тогда и только тогда, когда за все позитивное настоящее [29] или, что то же самое, тогда и только тогда, когда для всех [52]
Выпуклая сбалансированная оболочка набора равна выпуклой оболочке сбалансированной оболочки то есть оно равно Но в целом, где включение может быть строгим, поскольку сбалансированная оболочка выпуклого множества не обязательно должна быть выпуклой (контрпримеры существуют даже в ).
Если и тогда это скаляр [6] Если являются выпуклыми непустыми непересекающимися множествами и затем или
В любом нетривиальном векторном пространстве существуют два непересекающихся непустых выпуклых подмножества, объединение которых есть
Другие объекты недвижимости
Любая TVS-топология может быть порождена семейством полунорм F - . [53]
Если — это некоторый унарный предикат (истинное или ложное утверждение, зависящее от ) тогда для любого [доказательство 6] Так, например, если обозначает " "тогда для любого Аналогично, если тогда это скаляр Элементы этих наборов должны располагаться в векторном пространстве (т. е. в пределах ), а не просто подмножество, иначе эти равенства больше не гарантируются; сходным образом, должен принадлежать этому векторному пространству (т. е. ).
Свойства, сохраняемые операторами множества
[ редактировать ]- сбалансированная оболочка компактного (соответственно вполне ограниченного , открытого) множества. Тем же свойством обладает [6]
- Тем же свойством обладает сумма (Минковского) двух компактных (соответственно ограниченных, уравновешенных, выпуклых) множеств. [6] Но сумма двух замкнутых множеств не обязательно должна быть замкнутой.
- Выпуклая оболочка сбалансированного (соответственно открытого) множества уравновешена (соответственно открыта). Однако выпуклая оболочка замкнутого множества не обязательно должна быть замкнутой. [6] А выпуклая оболочка ограниченного множества не обязательно должна быть ограниченной.
В следующей таблице цвет каждой ячейки указывает, является ли данное свойство подмножества (обозначаемое именем столбца, например, «выпуклый») сохраняется под оператором установки (обозначаемым именем строки, например, «замыкание»). Если в каждом TVS свойство сохраняется под указанным оператором множества, то эта ячейка будет окрашена в зеленый цвет; в противном случае он будет окрашен в красный цвет.
Так, например, поскольку объединение двух поглощающих множеств снова является поглощающим, ячейка в строке " ", а столбец "Поглощающие" окрашен в зеленый цвет. Но поскольку произвольное пересечение поглощающих множеств не обязательно должно быть поглощающим, ячейка в строке "Произвольные пересечения (не менее 1 набора)" и столбце "Поглощающие" окрашивается в красный цвет. Если ячейка не окрашен, то эта информация еще не заполнена.
См. также
[ редактировать ]- Банахово пространство - полное нормированное векторное пространство.
- Полное поле — алгебраическая структура, полная относительно метрики.
- Гильбертово пространство - тип топологического векторного пространства.
- Жидкое векторное пространство - концепция сокращенной математики
- Нормированное пространство — векторное пространство, в котором определяется расстояние.
- Локально компактное поле
- Локально компактная группа - топологическая группа, для которой базовая топология является локально компактной и хаусдорфовой, так что можно определить меру Хаара.
- Локально компактная квантовая группа – относительно новый C*-алгебраический подход к квантовым группам.
- Локально выпуклое топологическое векторное пространство - векторное пространство с топологией, определяемой выпуклыми открытыми множествами.
- Упорядоченное топологическое векторное пространство
- Топологическая абелева группа - топологическая группа, группа которой является абелевой.
- Топологическое поле — алгебраическая структура со сложением, умножением и делением.
- Топологическая группа - Группа, представляющая собой топологическое пространство с непрерывным групповым действием.
- Топологический модуль
- Топологическое кольцо – кольцо, в котором операции кольца непрерывны.
- Топологическая полугруппа - полугруппа с непрерывной работой.
- Топологическая векторная решетка
Примечания
[ редактировать ]- ^ Топологические свойства, конечно, также требуют, чтобы быть ТВС.
- ^ В частности, хаусдорфово тогда и только тогда, когда множество закрыто (т. является T1 пространством ) .
- ^ Фактически, это верно для топологической группы, поскольку в доказательстве не используются скалярные умножения.
- ^ Также называется метрическим линейным пространством , что означает, что это действительное или комплексное векторное пространство вместе с трансляционно-инвариантной метрикой, для которой сложение и скалярное умножение непрерывны.
- ^ Серия говорят, что они сходятся в TVS если последовательность частичных сумм сходится.
- ^ В общей топологии замыкание компактного подмножества нехаусдорфова пространства может не быть компактным (например, конкретная точечная топология на бесконечном множестве). Этот результат показывает, что в нехаусдорфовых TVS этого не происходит. компактен, поскольку является образом компактного множества под картой непрерывного сложения Напомним также, что сумма компакта (т. е. ) и замкнутое множество замкнуто, так что закрыт в
- ^ В сумма -ось и график который является дополнением -ось, открыта в В сумма Минковского является счетным плотным подмножеством так что не закрыто
Доказательства
[ редактировать ]- ^ Это условие выполняется, если обозначает множество всех топологических строк в
- ^ Это связано с тем, что каждое непустое сбалансированное множество должно содержать начало координат и потому что тогда и только тогда, когда
- ^ Исправить так что осталось показать, что принадлежит Заменив с при необходимости мы можем без ограничения общности предположить, что и поэтому осталось показать, что является окрестностью начала координат. Позволять так что Поскольку скалярное умножение на является линейным гомеоморфизмом С и отсюда следует, что где, потому что открыт, существует некоторый который удовлетворяет Определять к который является гомеоморфизмом, поскольку Набор таким образом, является открытым подмножеством который, кроме того, содержит Если затем с является выпуклым, и что доказывает, что Таким образом является открытым подмножеством который содержит начало и содержится в КЭД
- ^ Поскольку имеет тривиальную топологию, как и каждое из его подмножеств, что делает их все компактными. Известно, что подмножество любого равномерного пространства компактно тогда и только тогда, когда оно полно и вполне ограничено.
- ^ Если затем Потому что если замкнуто, то имеет место равенство. Используя тот факт, что является векторным пространством, легко проверить, что дополнение в любого набора удовлетворяющее равенству также должно удовлетворять этому равенству (когда заменяется на ).
- ^ и поэтому используя и тот факт, что это равно КЭД
Цитаты
[ редактировать ]- ^ Рудин 1991 , с. 4-5 §1.3.
- ^ Jump up to: Перейти обратно: а б с Кёте 1983 , с. 91.
- ^ Шефер и Вольф 1999 , стр. 74–78.
- ^ Гротендик 1973 , стр. 34–36.
- ^ Jump up to: Перейти обратно: а б с Виланский, 2013 , стр. 40–47.
- ^ Jump up to: Перейти обратно: а б с д и ж г час я дж к л м н тот п д р с т Наричи и Бекенштейн, 2011 , стр. 67–113.
- ^ Jump up to: Перейти обратно: а б с д и Адаш, Эрнст и Кейм 1978 , стр. 5–9.
- ^ Шехтер 1996 , стр. 721–751.
- ^ Jump up to: Перейти обратно: а б с д и ж Наричи и Бекенштейн, 2011 , стр. 371–423.
- ^ Адаш, Эрнст и Кейм 1978 , стр. 10–15.
- ^ Вилански 2013 , с. 53.
- ^ Jump up to: Перейти обратно: а б с Рудин 1991 , с. 6 §1.4.
- ^ Рудин 1991 , с. 8.
- ^ Jump up to: Перейти обратно: а б с д и Наричи и Бекенштейн, 2011 , стр. 155–176.
- ^ Рудин 1991 , с. 27-28 Теорема 1.37.
- ^ Кете 1983 , раздел 15.11.
- ^ «Топологическое векторное пространство» , Энциклопедия математики , EMS Press , 2001 [1994] , получено 26 февраля 2021 г.
- ^ Рудин 1991 , с. 17 Теорема 1.22.
- ^ Шефер и Вольф 1999 , стр. 12–19.
- ^ Шефер и Вольф 1999 , стр. 16.
- ^ Jump up to: Перейти обратно: а б с Наричи и Бекенштейн, 2011 , стр. 115–154.
- ^ Шварц 1992 , стр. 27–29.
- ^ «Быстрое применение теоремы о замкнутом графике» . Что нового . 22 апреля 2016 г. Проверено 7 октября 2020 г.
- ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн 2011 , с. 111.
- ^ Jump up to: Перейти обратно: а б с Рудин 1991 , с. 9 §1.8.
- ^ Рудин 1991 , с. 27 Теорема 1.36.
- ^ Рудин 1991 , с. 62–68 §3.8–3.14.
- ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн, 2011 , стр. 177–220.
- ^ Jump up to: Перейти обратно: а б с Рудин 1991 , с. 38.
- ^ Шефер и Вольф 1999 , стр. 35.
- ^ Наричи и Бекенштейн 2011 , с. 119-120.
- ^ Вилански 2013 , с. 43.
- ^ Вилански 2013 , с. 42.
- ^ Jump up to: Перейти обратно: а б Рудин 1991 , с. 55.
- ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн 2011 , с. 108.
- ^ Ярчоу 1981 , стр. 101–104.
- ^ Jump up to: Перейти обратно: а б Шефер и Вольф 1999 , с. 38.
- ^ Конвей 1990 , с. 102.
- ^ Jump up to: Перейти обратно: а б с д и ж Наричи и Бекенштейн, 2011 , стр. 47–66.
- ^ Наричи и Бекенштейн 2011 , с. 156.
- ^ Jump up to: Перейти обратно: а б с д и Шефер и Вольф 1999 , стр. 12–35.
- ^ Jump up to: Перейти обратно: а б Шефер и Вольф 1999 , с. 25.
- ^ Jump up to: Перейти обратно: а б Ярчоу, 1981 , стр. 56–73.
- ^ Наричи и Бекенштейн 2011 , стр. 107–112.
- ^ Виланский 2013 , с. 63.
- ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн, 2011 , стр. 19–45.
- ^ Jump up to: Перейти обратно: а б с Вилански, 2013 , стр. 43–44.
- ^ Наричи и Бекенштейн 2011 , стр. 80.
- ^ Наричи и Бекенштейн 2011 , стр. 108–109.
- ^ Ярчоу 1981 , стр. 30–32.
- ^ Jump up to: Перейти обратно: а б с Наричи и Бекенштейн 2011 , с. 109.
- ^ Рудин 1991 , с. 6.
- ^ Шварц 1992 , с. 35.
Библиография
[ редактировать ]- Адаш, Норберт; Эрнст, Бруно; Кейм, Дитер (1978). Топологические векторные пространства: теория без условий выпуклости . Конспект лекций по математике. Том. 639. Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-08662-8 . OCLC 297140003 .
- Ярхов, Ганс (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 .
- Рудин, Уолтер (1991). Функциональный анализ . Международная серия по чистой и прикладной математике. Том. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5 . OCLC 21163277 .
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0 . OCLC 840278135 .
- Шехтер, Эрик (1996). Справочник по анализу и его основам . Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4 . OCLC 175294365 .
- Шварц, Чарльз (1992). Введение в функциональный анализ . Нью-Йорк: М. Деккер. ISBN 978-0-8247-8643-4 . ОСЛК 24909067 .
- Вилански, Альберт (2013). Современные методы в топологических векторных пространствах . Минеола, Нью-Йорк: ISBN Dover Publications, Inc. 978-0-486-49353-4 . OCLC 849801114 .
Дальнейшее чтение
[ редактировать ]- Бирштедт, Клаус-Дитер (1988). «Введение в локально выпуклые индуктивные пределы» . Функциональный анализ и приложения . Сингапур-Нью-Джерси-Гонконг: Universitätsbibliothek: 35–133 . Проверено 20 сентября 2020 г.
- Бурбаки, Николя (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 .
- Данфорд, Нельсон ; Шварц, Джейкоб Т. (1988). Линейные операторы . Чистая и прикладная математика. Том. 1. Нью-Йорк: Wiley-Interscience . ISBN 978-0-471-60848-6 . OCLC 18412261 .
- Эдвардс, Роберт Э. (1995). Функциональный анализ: теория и приложения . Нью-Йорк: Dover Publications. ISBN 978-0-486-68143-6 . ОСЛК 30593138 .
- Гротендик, Александр (1973). Топологические векторные пространства . Перевод Чалджуба, Орландо. Нью-Йорк: Издательство Gordon and Breach Science. ISBN 978-0-677-30020-7 . OCLC 886098 .
- Хорват, Джон (1966). Топологические векторные пространства и распределения . Ряды Аддисона-Уэсли по математике. Том. 1. Ридинг, Массачусетс: Издательство Addison-Wesley. ISBN 978-0201029857 .
- Кете, Готфрид (1979). Топологические векторные пространства II . Основные принципы математических наук. Том 237. Нью-Йорк: Springer Science & Business Media. ISBN 978-0-387-90400-9 . OCLC 180577972 .
- Ланг, Серж (1972). Дифференциальные многообразия . Ридинг, Массачусетс – Лондон – Дон Миллс, Онтарио: Addison-Wesley Publishing Co., Inc. ISBN 0-201-04166-9 .
- Робертсон, Алекс П.; Робертсон, Венди Дж. (1980). Топологические векторные пространства . Кембриджские трактаты по математике . Том. 53. Кембридж, Англия: Издательство Кембриджского университета . ISBN 978-0-521-29882-7 . OCLC 589250 .
- Тревес, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1 . OCLC 853623322 .
- Вальдивия, Мануэль (1982). Нахбин, Леопольдо (ред.). Темы в локально выпуклых пространствах . Том. 67. Амстердам, Нью-Йорк, Нью-Йорк: Elsevier Научный паб компании . ISBN 978-0-08-087178-3 . OCLC 316568534 .
- Фойгт, Юрген (2020). Курс топологических векторных пространств . Компактные учебники по математике. Чам: Биркхойзер Базель . ISBN 978-3-030-32945-7 . OCLC 1145563701 .
Внешние ссылки
[ редактировать ]- СМИ, связанные с топологическими векторными пространствами, на Викискладе?