Jump to content

Топологическое векторное пространство

(Перенаправлено с TVS-встраивания )

В математике топологическое векторное пространство (также называемое линейным топологическим пространством и обычно сокращенно TVS или tvs ) является одной из основных структур, исследуемых в функциональном анализе .Топологическое векторное пространство — это векторное пространство , которое также является топологическим пространством , обладающим тем свойством, что операции с векторным пространством (сложение векторов и скалярное умножение) также являются непрерывными функциями . Такая топология называется векторной топологией , и каждое топологическое векторное пространство имеет однородную топологическую структуру , что допускает понятие равномерной сходимости и полноты . Некоторые авторы также требуют, чтобы пространство было хаусдорфовым пространством (хотя в этой статье это не так). Одной из наиболее широко изученных категорий ТВС являются локально выпуклые топологические векторные пространства . В этой статье основное внимание уделяется TVS, которые не обязательно являются локально выпуклыми. Другие известные примеры TVS включают банаховы пространства , гильбертовы пространства и пространства Соболева .

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

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

Мотивация

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

Нормированные пространства

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

Каждое нормированное векторное пространство имеет естественную топологическую структуру : норма индуцирует метрику , а метрика индуцирует топологию.Это топологическое векторное пространство, потому что [ нужна ссылка ] :

  1. Карта векторного сложения определяется (совместно) непрерывен относительно этой топологии. Это следует непосредственно из неравенства треугольника, подчиняющегося норме.
  2. Карта скалярного умножения определяется где является основным скалярным полем является (совместно) непрерывным. Это следует из неравенства треугольника и однородности нормы.

Таким образом, все банаховы и гильбертовы пространства являются примерами топологических векторных пространств.

Ненормированные пространства

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

Существуют топологические векторные пространства, топология которых не индуцируется нормой, но все же представляют интерес для анализа. Примерами таких пространств являются пространства голоморфных функций на открытой области, пространства бесконечно дифференцируемых функций , пространства Шварца , пространства основных функций и пространства распределений на них. [1] Это все примеры пространств Montel . Бесконечномерное пространство Монтеля никогда не является нормируемым. Существование нормы для данного топологического векторного пространства характеризуется критерием нормируемости Колмогорова .

Топологическое поле — это топологическое векторное пространство над каждым из своих подполей .

Определение

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

Топологическое векторное пространство ( TVS ) - векторное пространство над топологическим полем (чаще всего действительные или комплексные числа со стандартной топологией), наделенный такой топологией , что векторное сложение и скалярное умножение являются непрерывными функциями (где области определения этих функций наделены топологиями произведений ). Такая топология называется векторная топология или Топология TVS включена

Каждое топологическое векторное пространство также является коммутативной топологической группой при сложении.

предположение Хаусдорфа

Многие авторы (например, Вальтер Рудин ), но не эта страница, требуют топологию на быть Т 1 ; отсюда следует, что пространство является Хаусдорфовым и даже Тихоновским . Топологическое векторное пространство называется отделяется, если это Хаусдорф; Важно отметить, что «отделенный» не означает «отделимый » . Топологические и линейные алгебраические структуры можно еще теснее связать вместе с помощью дополнительных предположений, наиболее распространенные из которых перечислены ниже .

Категория и морфизмы

Категория . топологических векторных пространств над заданным топологическим полем обычно обозначается или Объекты представляют собой топологические векторные пространства над и морфизмы являются непрерывными -линейные карты от одного объекта к другому.

А гомоморфизм топологического векторного пространства (сокращенно TVS-гомоморфизм ), также называемый топологический гомоморфизм , [2] [3] представляет собой непрерывное линейное отображение между топологическими векторными пространствами (ТВП) такими, что индуцированное отображение является открытым отображением, когда какой диапазон или изображение задана топология подпространства, индуцированная

А вложение топологического векторного пространства (сокращенно TVS-вложение ), также называемое топологический мономорфизм инъективный топологический гомоморфизм. Эквивалентно, TVS-вложение — это линейное отображение, которое также является топологическим вложением . [2]

А изоморфизм топологического векторного пространства (сокращенно TVS-изоморфизм ), также называемый топологический векторный изоморфизм [4] или изоморфизм в категории TVS , является биективным линейным гомеоморфизмом . Эквивалентно, это сюръективное TVS-вложение. [2]

Многие свойства TVS, которые изучаются, такие как локальная выпуклость , метризуемость , полнота и нормируемость , инвариантны относительно TVS-изоморфизмов.

Необходимое условие векторной топологии.

Коллекция подмножеств векторного пространства называется аддитивным. [5] если для каждого существует какой-то такой, что

Характеристика непрерывности добавления при [5] - Если является группой (как и все векторные пространства), это топология на и наделен топологией произведения , то картой сложения (определено ) непрерывен в начале координат тогда и только тогда, когда множество окрестностей начала координат в является аддитивным. Это утверждение остается верным, если слово «соседство» заменить на «открытое соседство».

Следовательно, все вышеперечисленные условия являются необходимыми для того, чтобы топология сформировала векторную топологию.

Определение топологий с использованием окрестностей начала координат

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

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

Теорема [6]  (Фильтр соседства источника) Предположим, что является действительным или комплексным векторным пространством. Если представляет собой непустую аддитивную совокупность сбалансированных и поглощающих подмножеств затем это районная база в для векторной топологии на То есть предположения заключаются в том, что представляет собой основу фильтра , удовлетворяющую следующим условиям:

  1. Каждый сбалансирован и поглощает ,
  2. является аддитивным: для каждого существует такой, что

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

Вообще говоря, совокупность всех сбалансированных и поглощающих подмножеств векторного пространства не удовлетворяет условиям этой теоремы и не образует базиса окрестности в начале координат ни для какой векторной топологии. [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]

  1. Происхождение закрыт в и существует счетный базис окрестностей в начале координат в
  2. метризуемо ( как топологическое пространство).
  3. Существует трансляционно-инвариантная метрика на что вызывает топология которая представляет собой данную топологию на
  4. метризуемое топологическое векторное пространство . [примечание 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 на

Линейные карты

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

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

Гиперплоскость в топологическом векторном пространстве либо плотный, либо замкнутый. Линейный функционал в топологическом векторном пространстве имеет либо плотное, либо закрытое ядро. Более того, непрерывно тогда и только тогда, когда ядро ​​замкнуто его .

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

Ниже приведены некоторые распространенные топологические векторные пространства, примерно в порядке возрастания «красивости».

Двойное пространство

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

Каждое топологическое векторное пространство имеет непрерывное двойственное пространство — множество всех непрерывных линейных функционалов, т. е. непрерывных линейных отображений пространства в основное поле Топологию дуала можно определить как самую грубую топологию, такую, что при дуальном спаривании каждая точка оценивается. является непрерывным. Это превращает двойственное пространство в локально выпуклое топологическое векторное пространство. Эта топология называется топологией слабого* . [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 набора)" и столбце "Поглощающие" окрашивается в красный цвет. Если ячейка не окрашен, то эта информация еще не заполнена.

Свойства, сохраняемые операторами множества
OperationProperty of and any other subsets of that is considered
AbsorbingBalancedConvexSymmetricConvex
Balanced
Vector
subspace
OpenNeighborhood
of 0
ClosedClosed
Balanced
Closed
Convex
Closed
Convex
Balanced
BarrelClosed
Vector
subspace
Totally
bounded
CompactCompact
Convex
Relatively compactCompleteSequentially
Complete
Banach
disk
BoundedBornivorousInfrabornivorousNowhere
dense
(in )
MeagerSeparablePseudometrizableOperation
YesYesNoYesNoNoYesYesYesYesNoNoNoYesYesNoYesYesYesYesYesYesYesYesYes
 of increasing nonempty chainYesYesYesYesYesYesYesYesNoNoNoNoNoNoNoNoNoNoNoNoNoYesYesNoNo of increasing nonempty chain
Arbitrary unions (of at least 1 set)YesYesNoYesNoNoYesYesNoNoNoNoNoNoNoNoNoNoNoNoNoYesYesNoNoArbitrary unions (of at least 1 set)
YesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYes
 of decreasing nonempty chainNoYesYesYesYesYesNoNoYesYesYesYesNoYesYesYesYesYes of decreasing nonempty chain
Arbitrary intersections (of at least 1 set)NoYesYesYesYesNoYesNoYesYesYesYesNoYesYesYesYesYesArbitrary intersections (of at least 1 set)
YesYesYesYesYesYesYesYesNoNoYesYesYes
Scalar multipleNoYesYesYesYesYesNoNoNoNoNoNoNoNoYesYesYesYesYesYesYesNoNoYesYesYesYesScalar multiple
Non-0 scalar multipleYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesNon-0 scalar multiple
Positive scalar multipleYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesPositive scalar multiple
ClosureYesYesYesYesYesYesNoYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesClosure
InteriorNoNoYesYesNoYesYesNoNoNoNoNoNoNoNoYesYesNoInterior
Balanced coreYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesYesBalanced core
Balanced hullYesYesNoYesYesYesYesYesNoYesYesYesYesYesYesNoYesYesYesYesNoNoBalanced hull
Convex hullYesYesYesYesYesYesYesYesNoYesYesYesYesYesYesNoYesYesNoNoConvex hull
Convex balanced hullYesYesYesYesYesYesYesYesYesYesYesYesYesYesNoYesYesNoNoConvex balanced hull
Closed balanced hullYesYesNoYesYesYesNoYesYesYesYesYesYesYesYesYesYesNoNoClosed balanced hull
Closed convex hullYesYesYesYesYesYesNoYesYesYesYesYesYesYesNoYesYesNoNoClosed convex hull
Closed convex balanced hullYesYesYesYesYesYesNoYesYesYesYesYesYesYesNoYesYesNoNoClosed convex balanced hull
Linear spanYesYesYesYesYesYesYesYesYesYesNoNoNoNoYesNoYesYesNoNoLinear span
Pre-image under a continuous linear mapYesYesYesYesYesYesYesYesYesYesYesYesYesYesNoNoNoNoNoNoNoPre-image under a continuous linear map
Image under a continuous linear mapNoYesYesYesYesYesNoNoNoNoNoNoNoNoYesYesYesYesNoYesImage under a continuous linear map
Image under a continuous linear surjectionYesYesYesYesYesYesYesYesYesYesNoYesImage under a continuous linear surjection
Non-empty subset of NoNoNoNoNoNoNoNoNoNoNoNoNoNoYesNoNoNoNoYesNoNoYesYesYesNon-empty subset of
OperationAbsorbingBalancedConvexSymmetricConvex
Balanced
Vector
subspace
OpenNeighborhood
of 0
ClosedClosed
Balanced
Closed
Convex
Closed
Convex
Balanced
BarrelClosed
Vector
subspace
Totally
bounded
CompactCompact
Convex
Relatively compactCompleteSequentially
Complete
Banach
disk
BoundedBornivorousInfrabornivorousNowhere
dense
(in )
MeagerSeparablePseudometrizableOperation

См. также

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

Примечания

[ редактировать ]
  1. ^ Топологические свойства, конечно, также требуют, чтобы быть ТВС.
  2. ^ В частности, хаусдорфово тогда и только тогда, когда множество закрыто (т. является T1 пространством ) .
  3. ^ Фактически, это верно для топологической группы, поскольку в доказательстве не используются скалярные умножения.
  4. ^ Также называется метрическим линейным пространством , что означает, что это действительное или комплексное векторное пространство вместе с трансляционно-инвариантной метрикой, для которой сложение и скалярное умножение непрерывны.
  5. ^ Серия говорят, что они сходятся в TVS если последовательность частичных сумм сходится.
  6. ^ В общей топологии замыкание компактного подмножества нехаусдорфова пространства может не быть компактным (например, конкретная точечная топология на бесконечном множестве). Этот результат показывает, что в нехаусдорфовых TVS этого не происходит. компактен, поскольку является образом компактного множества под картой непрерывного сложения Напомним также, что сумма компакта (т. е. ) и замкнутое множество замкнуто, так что закрыт в
  7. ^ В сумма -ось и график который является дополнением -ось, открыта в В сумма Минковского является счетным плотным подмножеством так что не закрыто

Доказательства

[ редактировать ]
  1. ^ Это условие выполняется, если обозначает множество всех топологических строк в
  2. ^ Это связано с тем, что каждое непустое сбалансированное множество должно содержать начало координат и потому что тогда и только тогда, когда
  3. ^ Исправить так что осталось показать, что принадлежит Заменив с при необходимости мы можем без ограничения общности предположить, что и поэтому осталось показать, что является окрестностью начала координат. Позволять так что Поскольку скалярное умножение на является линейным гомеоморфизмом С и отсюда следует, что где, потому что открыт, существует некоторый который удовлетворяет Определять к который является гомеоморфизмом, поскольку Набор таким образом, является открытым подмножеством который, кроме того, содержит Если затем с является выпуклым, и что доказывает, что Таким образом является открытым подмножеством который содержит начало и содержится в КЭД
  4. ^ Поскольку имеет тривиальную топологию, как и каждое из его подмножеств, что делает их все компактными. Известно, что подмножество любого равномерного пространства компактно тогда и только тогда, когда оно полно и вполне ограничено.
  5. ^ Если затем Потому что если замкнуто, то имеет место равенство. Используя тот факт, что является векторным пространством, легко проверить, что дополнение в любого набора удовлетворяющее равенству также должно удовлетворять этому равенству (когда заменяется на ).
  6. ^ и поэтому используя и тот факт, что это равно КЭД
  1. ^ Рудин 1991 , с. 4-5 §1.3.
  2. ^ Jump up to: Перейти обратно: а б с Кёте 1983 , с. 91.
  3. ^ Шефер и Вольф 1999 , стр. 74–78.
  4. ^ Гротендик 1973 , стр. 34–36.
  5. ^ Jump up to: Перейти обратно: а б с Виланский, 2013 , стр. 40–47.
  6. ^ Jump up to: Перейти обратно: а б с д и ж г час я дж к л м н тот п д р с т Наричи и Бекенштейн, 2011 , стр. 67–113.
  7. ^ Jump up to: Перейти обратно: а б с д и Адаш, Эрнст и Кейм 1978 , стр. 5–9.
  8. ^ Шехтер 1996 , стр. 721–751.
  9. ^ Jump up to: Перейти обратно: а б с д и ж Наричи и Бекенштейн, 2011 , стр. 371–423.
  10. ^ Адаш, Эрнст и Кейм 1978 , стр. 10–15.
  11. ^ Вилански 2013 , с. 53.
  12. ^ Jump up to: Перейти обратно: а б с Рудин 1991 , с. 6 §1.4.
  13. ^ Рудин 1991 , с. 8.
  14. ^ Jump up to: Перейти обратно: а б с д и Наричи и Бекенштейн, 2011 , стр. 155–176.
  15. ^ Рудин 1991 , с. 27-28 Теорема 1.37.
  16. ^ Кете 1983 , раздел 15.11.
  17. ^ «Топологическое векторное пространство» , Энциклопедия математики , EMS Press , 2001 [1994] , получено 26 февраля 2021 г.
  18. ^ Рудин 1991 , с. 17 Теорема 1.22.
  19. ^ Шефер и Вольф 1999 , стр. 12–19.
  20. ^ Шефер и Вольф 1999 , стр. 16.
  21. ^ Jump up to: Перейти обратно: а б с Наричи и Бекенштейн, 2011 , стр. 115–154.
  22. ^ Шварц 1992 , стр. 27–29.
  23. ^ «Быстрое применение теоремы о замкнутом графике» . Что нового . 22 апреля 2016 г. Проверено 7 октября 2020 г.
  24. ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн 2011 , с. 111.
  25. ^ Jump up to: Перейти обратно: а б с Рудин 1991 , с. 9 §1.8.
  26. ^ Рудин 1991 , с. 27 Теорема 1.36.
  27. ^ Рудин 1991 , с. 62–68 §3.8–3.14.
  28. ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн, 2011 , стр. 177–220.
  29. ^ Jump up to: Перейти обратно: а б с Рудин 1991 , с. 38.
  30. ^ Шефер и Вольф 1999 , стр. 35.
  31. ^ Наричи и Бекенштейн 2011 , с. 119-120.
  32. ^ Вилански 2013 , с. 43.
  33. ^ Вилански 2013 , с. 42.
  34. ^ Jump up to: Перейти обратно: а б Рудин 1991 , с. 55.
  35. ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн 2011 , с. 108.
  36. ^ Ярчоу 1981 , стр. 101–104.
  37. ^ Jump up to: Перейти обратно: а б Шефер и Вольф 1999 , с. 38.
  38. ^ Конвей 1990 , с. 102.
  39. ^ Jump up to: Перейти обратно: а б с д и ж Наричи и Бекенштейн, 2011 , стр. 47–66.
  40. ^ Наричи и Бекенштейн 2011 , с. 156.
  41. ^ Jump up to: Перейти обратно: а б с д и Шефер и Вольф 1999 , стр. 12–35.
  42. ^ Jump up to: Перейти обратно: а б Шефер и Вольф 1999 , с. 25.
  43. ^ Jump up to: Перейти обратно: а б Ярчоу, 1981 , стр. 56–73.
  44. ^ Наричи и Бекенштейн 2011 , стр. 107–112.
  45. ^ Виланский 2013 , с. 63.
  46. ^ Jump up to: Перейти обратно: а б Наричи и Бекенштейн, 2011 , стр. 19–45.
  47. ^ Jump up to: Перейти обратно: а б с Вилански, 2013 , стр. 43–44.
  48. ^ Наричи и Бекенштейн 2011 , стр. 80.
  49. ^ Наричи и Бекенштейн 2011 , стр. 108–109.
  50. ^ Ярчоу 1981 , стр. 30–32.
  51. ^ Jump up to: Перейти обратно: а б с Наричи и Бекенштейн 2011 , с. 109.
  52. ^ Рудин 1991 , с. 6.
  53. ^ Шварц 1992 , с. 35.

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

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

Дальнейшее чтение

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