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

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

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

1. E представляет собой линейное пространство над полем вещественных или комплексных чисел;

2. E является топологическим пространством;

3. Операции сложения и умножения на число непрерывны относительно заданной в E топологии, т. е.

1. если z₀ = x₀ + y₀, то для каждой окрестности U точки z₀ можно указать такие окрестности V и W точек x₀ и y₀ соответственно, что при , ;

2. если y₀ = α₀x₀, то для каждой орестности U точки y₀ существуют такая окрестность V точки x₀ и такое число , что при и .

Употребляется также термин "топологическое векторное пространство".

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

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

1. Локально выпуклые топологические векторные пространства (для краткости — просто «локально выпуклые пространства»): в таких пространствах каждая точка имеет локальную базу, состоящую из выпуклых множеств. С помощью так называемых функционалов Минковского можно показать, что топологическое векторное пространство является локально выпуклым тогда и только тогда, когда его топология определяется с помощью семейства полунорм. Условие локальной выпуклости является довольно общим; пространства, не являющиеся локально выпуклыми, могут обладать разнообразными патологическими свойствами, и их геометрия может быть слишком «неестественной» для приложений.

2. Бочечные пространства: локально выпуклые пространства, где выполняется Теорема Банаха — Штейнгауза.

3. Монтелевские пространства: бочечные пространства, обладающие свойством Гейне — Бореля.

4. Борнологические пространства: локально выпуклые пространства, в которых непрерывные линейные операторы со значениями в локально выпуклых пространствах есть в точности ограниченные линейные операторы.

5. LF-пространства: LF-пространство — это индуктивный предел пространств Фреше. ILH-пространства — проективные пределы гильбертовых пространств.

6. F-пространства: полные топологические векторные пространства с инвариантной (относительно сдвигов) метрикой. В частности, таковыми являются все пространства L^p (p > 0).

7. Пространства Фреше: локально выпуклые пространства, топология которых задаётся некоторой инвариантной (относительно сдвигов) метрикой, или, что то же самое, счётным семейством полунорм. Понятие пространства Фреше представляет собой одно из важнейших обобщений понятия банахова пространства. Многие функциональные пространства, представляющие интерес, являются пространствами Фреше. Пространство Фреше можно определять так же как локально выпуклое F-пространство.

8. Ядерные пространства: важный частный случай пространств Фреше; в ядерных пространствах каждое ограниченное отображение со значениями в произвольном банаховом пространстве является ядерным оператором. Ядерные пространства, наряду с банаховыми, являются пространствами Фреше, представляющими наибольший интерес. При этом классы ядерных и банаховых пространств в пересечении образуют класс конечномерных пространств.

9. Нормированные пространства: локально выпуклые пространства, топология которых задаётся нормой. Линейные операторы, действующие в нормированных пространствах, непрерывны тогда и только тогда, когда они ограничены.

10. Банаховы пространства: полные нормированные пространства. Они представляют собой объект изучения классического функционального анализа; большая часть теорем анализа формулируется именно для банаховых пространств.

11. Рефлексивные банаховы пространства: Банаховы пространства, естественно изоморфные своему второму сопряжению.

12. Гильбертовы пространства: банаховы пространства, норма которых порождается скалярным произведением; несмотря на то, что эти пространства могут быть и бесконечномерными, их геометрические свойства весьма близки к свойствам конечномерных пространств.

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