Слабая сходимость (VlgQgx v]k;nbkvm,)

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

Определение

Пусть $K$ — топологическое поле, $X$ — топологическое векторное пространство над полем $K$ и $X^{*}$ — сопряжённое пространство, состоящее из всех непрерывных линейных функционалов на $X$ . Тогда слабой топологией пространства $X$ называется самая слабая из топологий, в которой непрерывны все линейные функционалы, непрерывные в исходной топологии этого пространства.

Предбазу слабой топологии образуют множества

V_{x,f,\varepsilon }=\{\,y\in X:|f(y)-f(x)|<\varepsilon \,\}

для всех $x\in X$ , $f\in X^{*}$ , и $\varepsilon >0$ .

Иначе говоря, последовательность элементов $x_{n}\in X$ слабо сходится к элементу $x_{\infty }\in X$ , если для любого непрерывного линейного функционала $f\in X^{*}$ последовательность чисел $\{f(x_{n})\}$ сходится к $f(x_{\infty })$ .

Слабой* топологией в $X^{*}$ называют топологию, предбазу которой образуют множества

V_{f,x,\varepsilon }^{*}=\{\,g\in X^{*}:|g(x)-f(x)|<\varepsilon \,\}

для всех $x\in X$ , $f\in X^{*}$ , и $\varepsilon >0$ .

Иначе говоря, последовательность функций $f_{n}\in X^{*}$ слабо* сходится к функции $f_{\infty }\in X^{*}$ , если для любого $x\in X$ , последовательность чисел $f_{n}(x)$ сходится к $f_{\infty }(x)$ .

Замечания

Сходимость в пространстве $X$ , определяемая его исходной топологией, называется сильной.

Свойства

Если последовательность сходится к некоторому элементу сильно, то она сходится к этому элементу и слабо.
В конечномерном евклидовом пространстве понятия сильной и слабой сходимости совпадают.
В случае, когда $X$ — нормированное векторное пространство, имеют место следующие утверждения. Слабо сходящаяся последовательность элементов $\{x_{n}\}\subset X$ является ограниченной, то есть $\|x_{n}\|\leq C$ для некоторого положительного числа $C$ . Последовательность элементов $\{x_{n}\}\subset X$ слабо сходится к элементу $x_{0}\in X$ , если она является ограниченной и $\{f(x_{n})\}$ сходится к $f(x_{0})$ для каждого непрерывного линейного функционала из некоторого подмножества пространства $X^{*}$ , линейная оболочка которого всюду плотна в $X^{*}$ .
Теорема Банаха — Алаоглу — Бурбаки. Замкнутый единичный шар пространства $X^{*}$ компактен в слабой* топологии пространства $X^{*}$ .
Теорема Эберлейна — Шмульяна. Подмножество $A$ банахова пространства $X$ слабо компактно тогда и только тогда, когда оно слабо секвенциально компактно.

Пример

Пусть $X=C[a,b]$ — пространство непрерывных функций на отрезке $[a,b]$ с нормой, определенной равномерной сходимостью (сильная сходимость). Последовательность функций $\{x_{n}(\cdot )\}$ слабо сходится к функции $x_{0}(\cdot )$ тогда и только тогда, когда выполняются два условия: 1) она является равномерно ограниченной, то есть $|x_{n}(t)|\leq C$ при всех $t\in [a,b]$ для некоторого положительного числа $C$ , и 2) $\{x_{n}(\cdot )\}$ сходится к $x_{0}(\cdot )$ поточечно, то есть числовая последовательность $\{x_{n}(t)\}$ сходится к $x_{0}(t)$ для любого $t\in [a,b]$ .

Литература

Люстерник Л. А., Соболев В. И. Элементы функционального анализа, — М.: Наука, 1965.
Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа, — Любое издание.
Рудин У. Функциональный анализ, — М.: Мир, 1975.