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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Топологическое векторное пространство, или топологическое линейное пространство — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны. Термин используется в основном в функциональном анализе.

Определение[править | править вики-текст]

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

  1. E представляет собой векторное пространство над полем вещественных или комплексных чисел;
  2. E является топологическим пространством;
  3. Операции сложения и умножения на число непрерывны относительно заданной в E топологии, то есть
    1. если z_0 = x_0 + y_0, то для каждой окрестности U точки z_0 можно указать такие окрестности V и W точек x_0 и y_0 соответственно, что x + y \in U при x \in V, y \in W;
    2. если z_0 = \alpha_0 x_0, то для каждой окрестности U точки z_0 существуют такая окрестность V точки x_0 и такое число \varepsilon > 0, что \alpha x \in U при |\alpha - \alpha_0| < \varepsilon и x \in V.

Типы линейных топологических пространств[править | править вики-текст]

В зависимости от конкретных приложений, обычно на линейные топологические пространства накладываются те или иные дополнительные условия. Ниже перечислены некоторые типы линейных топологических пространств, упорядоченных (с определённой степенью условности) по наличию у них «хороших» свойств.

  • Локально выпуклые топологические векторные пространства (англ.) (для краткости — просто «локально выпуклые пространства»): в таких пространствах каждая точка имеет локальную базу, состоящую из выпуклых множеств. С помощью так называемых функционалов Минковского можно показать, что топологическое векторное пространство является локально выпуклым тогда и только тогда, когда его топология определяется с помощью семейства полунорм. Условие локальной выпуклости долгое время являлось именно тем понятием, на основании которого только и может быть построена теория, богатая приложениями, ведь пространства, не являющиеся локально выпуклыми, могут обладать разнообразными патологическими свойствами, и их геометрия может быть слишком «неестественной» для приложений. Однако, в настоящее время теория локально ограниченных пространств(в общем случае невыпуклых) начала активно развиваться. Получены примеры удобных для некоторых приложений локально ограниченных пространств.
  • Бочечные пространства: локально выпуклые пространства, где выполняется Теорема Банаха — Штейнгауза (англ.).
  • Стереотипные пространства: локально выпуклые пространства, удовлетворяющие условию рефлексивности, в котором сопряженное пространство наделяется топологией равномерной сходимости на вполне ограниченных множествах.
  • Монтелевские пространства: бочечные пространства, обладающие свойством Гейне — Бореля.
  • Борнологические пространства (англ.): локально выпуклые пространства, в которых непрерывные линейные операторы со значениями в локально выпуклых пространствах есть в точности ограниченные линейные операторы.
  • LF-пространства (англ.): LF-пространство — это индуктивный предел пространств Фреше. ILH-пространства — проективные пределы гильбертовых пространств.
  • F-пространства: полные топологические векторные пространства с инвариантной (относительно сдвигов) метрикой. В частности, таковыми являются все пространства Lp (p > 0).
  • Пространства Фреше (англ.): локально выпуклые пространства, топология которых задаётся некоторой инвариантной (относительно сдвигов) метрикой, или, что то же самое, счётным семейством полунорм. Понятие пространства Фреше представляет собой одно из важнейших обобщений понятия банахова пространства. Многие функциональные пространства, представляющие интерес, являются пространствами Фреше. Пространство Фреше можно определять также как локально выпуклое F-пространство.
  • Ядерные пространства (англ.): важный частный случай пространств Фреше; в ядерных пространствах каждое ограниченное отображение со значениями в произвольном банаховом пространстве является ядерным оператором. Ядерные пространства, наряду с банаховыми, являются пространствами Фреше, представляющими наибольший интерес. При этом классы ядерных и банаховых пространств в пересечении образуют класс конечномерных пространств.
  • Нормированные пространства: локально выпуклые пространства, топология которых задаётся нормой. Линейные операторы, действующие в нормированных пространствах, непрерывны тогда и только тогда, когда они ограничены.
  • Банаховы пространства: полные нормированные пространства. Они представляют собой объект изучения классического функционального анализа; большая часть теорем анализа формулируется именно для банаховых пространств.
  • Рефлексивные банаховы пространства: Банаховы пространства, естественно изоморфные своему второму сопряжению.
  • Гильбертовы пространства: банаховы пространства, норма которых порождается скалярным произведением; несмотря на то, что эти пространства могут быть и бесконечномерными, их геометрические свойства весьма близки к свойствам конечномерных пространств.
  • Евклидовы пространства: конечномерные гильбертовы пространства. Всякое локально компактное хаусдорфово топологическое векторное пространство изоморфно (как топологическое векторное пространство) некоторому евклидову пространству.

Литература[править | править вики-текст]