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

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

Определение

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

$$\{V_{x,f,\varepsilon }\mid x\in X,f\in X^{*},\varepsilon >0\},\qquad V_{x,f,\varepsilon }=\{y\in X\mid |f(y)-f(x)|<\varepsilon \}.$$

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

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

$$\{V_{f,x,\varepsilon }^{*}|f\in X^{*},x\in X,\varepsilon >0\},\qquad V_{f,x,\varepsilon }^{*}=\{g\in X^{*}||g(y)-f(x)|<\varepsilon \}.$$

Свойства

• Если последовательность сходится к некоторому элементу сильно, то она сходится к этому элементу и слабо.
• В конечномерном евклидовом пространстве понятия сильной и слабой сходимости совпадают.
• В случае, когда $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.