Слабая сходимость

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

Определение

Пусть $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.