Слабка збіжність

Ця стаття про слабку толологію на нормованих векторних просторах. Щодо слабкої топології індукованої загальною сім'єю відображень див. Шаблон:Нп. Щодо топології індукованої накриттям простору, див. Шаблон:Нп.

У математиці слабка топологія є альтернативним поняттям для певних Шаблон:Нп, часто на топологічних векторних просторах або просторах лінійних операторів, наприклад, на гільбертовому просторі. Цей термін найчастіше використовується для початкової топології топологічного векторного простору (наприклад, нормованого векторного простору) відносно його неперервного спряженого простору. Нижче матимемо справу з випадком, який є однією з концепцій функціонального аналізу.

Назвемо підмножини топологічного векторного простору слабо замкнутими (відповідно, слабо компактними тощо), якщо вони замкнуті (відповідно, компактні тощо) відносно слабкої топології. Аналогічно, функції іноді називають Шаблон:Нп (відповідно, слабо диференційованими, слабо аналітичними тощо), якщо вони неперервними є (відповідно диференційованими, аналітичними тощо) відносно слабкої топології.

Історія

Починаючи з початку 1900-х років, Давид Гільберт і Шаблон:Нп широко використовували слабку збіжність. Ранні піонери функціонального аналізу не піднімали збіжність за нормою вище слабкої збіжності і часто розглядали слабку збіжність як кращу.Шаблон:Sfn У 1929 році Стефан Банах ввів слабку збіжність для нормованих просторів, а також ввів аналогічну *-слабку збіжність. Слабку топологію називають topologie faible (фран.) і schwache Topologie (нім.).

Слабка і сильна топологія

Основна стаття: Шаблон:Нп

Нехай $𝕂$ — топологічне поле (кільце), а саме поле з такою топологією, що операції додавання, множення та ділення є неперервними. У більшості застосувань поле $𝕂$ ― це або поле комплексних чисел, або поле дійсних чисел саме із такими топологіями.

Слабка топологія відносно утворювання пар (двійкування)

Основна стаття: Шаблон:Нп

Слабка топологія і *-слабка топологія ― це спеціальні випадки більш загальної конструкції для Шаблон:Нп, яку ми зараз опишемо. Перевага цієї більш загальної конструкції полягає в тому, що будь-яке означення чи результат можна використовувати як для слабкої топології, так і до *-слабкої топології. Отже, не потрібно багато означень, теорем, тверджень і доведень. Це також пояснює, чому *-слабку топологію також нерідко називають "слабкою топологією"; тому що це лише приклад слабкої топології у рамках цієї більш загальної конструкції.

Припустимо, що $(X,Y,b)$ ― це Шаблон:Нп векторних просторів над топологічним полем $𝕂$ (тобто $X$ і $Y$ є векторними просторами над $𝕂$ і $b$: $X\times Y\to 𝕂$ ― білінійне відображення).

Примітка. Нехай для всіх $x\in X$ $b(x,\bullet ):Y\to 𝕂$ ― лінійний функціонал на $Y$, визначений як $y\mapsto b(x,y)$. Аналогічно, нехай для всіх $y\in Y$ $b(\bullet ,y):X\to 𝕂$ визначається як $x\mapsto b(x,y)$.

Означення. Слабка топологія на просторі $X$ індукована простором $Y$ (та відображенням $b$) є найслабшою топологією на просторі $X$, позначається як $\sigma (X,Y,b)$ бо просто як $\sigma (X,Y)$, якщо всі відображення $b(\bullet ,y):X\to 𝕂$ є неперервними, якщо $y$ пробігає $Y$.Шаблон:Sfn

Слабка топологія на $Y$ тепер автоматично визначається, як описано в статті Шаблон:Нп. Однак для наочності наведемо це тут повторно.

Означення. Слабка топологія на просторі $Y$ індукована на просторі $X$ (та $b$) є найслабшою топологією на $Y$, позначається як $\sigma (Y,X,b)$ або просто $\sigma (Y,X)$, якщо всі відображення $b(x,\bullet ):Y\to 𝕂$ є неперервними для $x$, що змінюються на $X$.Шаблон:Sfn

Якщо над полем $𝕂$ визначене абсолютне значення, то слабка топологія $\sigma (Y,X,b)$ на $X$ індукується сім'єю напівнорм, $p_y(x):X\to ℝ$, які визначаються як

$\begin{array}{c}{p}_y(x):=|b(x,y)|\end{array}$

для всіх $y\in Y$ та $x\in X$. Це показує, що слабкі топології є локально опуклими.

Припущення. Будемо вважати, що поле $𝕂$ є або полем дійсних чисел $ℝ$ або полем комплексних чисел $ℂ$.

Канонічна дуальність

Тепер розглянемо частинний випадок, коли $Y$ — векторний підпростір алгебраїчного дуального простору для простору $X$ (тобто векторний простір лінійних функціоналів на $X$).

Існує утворення пар (двійкування) $(X,Y,⟨\cdot ,\cdot ⟩)$ або $(X,Y)$, яке називається Шаблон:Нп, білінійне відображення якого $⟨\cdot ,\cdot ⟩$ є канонічним вкладенням} визначеним як $⟨x,x^{\prime }⟩=x^{\prime }(x)$ для всіх $x\in X$ і $x^{\prime }\in Y$. Зауважимо зокрема, що $⟨\cdot ,x^{\prime }⟩$ — це лише інший спосіб позначення $x^{\prime }$, тобто $⟨\cdot ,x^{\prime }⟩=x^{\prime }(\cdot )$.

Припущення. Якщо $Y$ є векторним підпростором алгебраїчного дуального простору для простору $X$, тоді будемо вважати, що вони пов'язані з канонічним утворенням пар $⟨X,Y⟩$.

У цьому випадку, слабка топологія на просторі $X$ (відповідно, слабка топологія на просторі $Y$), позначається як $\sigma (X,Y)$ (відповідно, $\sigma (Y,X))$, є Шаблон:Нп на $X$ (на $Y$) відносно канонічного утворення пар $⟨X,Y⟩$.

Топологія $\sigma (X,Y)$ є Шаблон:Нп векторного простору $X$ відносно векторного простору $Y$.

Якщо $Y$ є векторним простором лінійних функціоналів на просторі $X$, тоді неперервним дуальним простором для $X$ відносно топології $\sigma (X,Y)$ є $Y$.Шаблон:SfnШаблон:Harv

Слабка і $*$-слабка топології

Нехай $X$ — топологічний векторний простір над полем $𝕂$, тобто $X$ — $𝕂$ векторний простір, оснащений топологією такою, що додавання векторів і множення на скаляр є неперервними. Топологію, що пов'язана з простором $X$, називають початковою або заданою топологією (не можна використовувати терміни Шаблон:Нп та Шаблон:Нп, коли мова йде про початкову топологію, оскільки, вони мають загальновживані значення, тому їх використання може призвести до непорозумінь). Для того, щоб визначити іншу топологію на просторі $X$, використовують топологічний або неперервний дуальний простір $X^{*}$, який складається з усіх лінійних функціоналів з векторного простору $X$ в базове поле $𝕂$, які неперервні відносно заданої топології.

Нагадуємо, що $⟨\cdot ,\cdot ⟩$ — канонічне еволюційне відображення, що визначається як $⟨x,x^{\prime }⟩=x^{\prime }(x)$ для всіх $x\in X$ і $x^{\prime }\in X^{*}$, де зокрема, $⟨\cdot ,x^{\prime }⟩=x^{\prime }(\cdot )=x^{\prime }$.

Означення. Слабка топологія на просторі $X$ — це слабка топологія на $X$ відносно Шаблон:Нп $⟨X,X^{*}⟩$. Тобто це найслабша топологія на просторі $X$, що робить усі відображення $x^{\prime }=⟨\cdot ,x^{\prime }⟩:X\to 𝕂$ неперервними, якщо $x^{\prime }\in X^{*}$.Шаблон:Sfn

Означення. Слабка топологія на просторі $X^{*}$ — це слабка топологія на $X^{*}$ відносно Шаблон:Нп $⟨X,X^{*}⟩$. Тобто це найслабша топологія на просторі $X^{*}$, що робить усі відображення $⟨x,\cdot ⟩:X^{*}\to 𝕂$ неперервними, якщо $x\in X$.Шаблон:Sfn

Цю топологію також називають $*$-слабкою топологією.

Нижче наводяться альтернативні означення.

Слабка топологія, індукована неперервним дуальним простором

Альтернативно, слабка топологія на топологічному векторному просторі $X$ є Шаблон:Нп відносно сім'ї $X^{*}$. Іншими словами, це найгрубша топологія на просторі $X$ така, що кожен елемент простору $X^{*}$ залишається неперервною функцією.

Передбазою для слабкої топології є набір множин вигляду ${\varphi }^{-1}(U)$, де $\varphi \in X^{*}$ і $U$ є відкритою підмножиною базового поля $𝕂$. Іншими словами, підмножина простору $X$ відкрита в слабкій топології тоді і лише тоді, коли її можна записати, як об'єднання (можливо, нескінченного набору) множин, кожна з яких є перетином скінченного набору множин вигляду ${\varphi }^{-1}(U)$.

З цієї точки зору, слабка топологія є найгрубшою Шаблон:Нп.

Слабка збіжність

Основна стаття: Шаблон:Нп

Слабка топологія характеризується наступною умовою: узагальнена послідовність $\{x_{\lambda }\}\in X$ збігається в слабкій топології до елемента $x$ з простору $X$ тоді і лише тоді, коли $\varphi (x_{\lambda })$ збігається до $\varphi (x)$ в $ℝ$ або $ℂ$ для всіх $\varphi \in X^{*}$.

Зокрема, якщо $\{x_n\}$ є послідовністю в просторі $X$, тоді $\{x_n\}$ слабко збігається до $x$, якщо

$\phi (x_n)\to \phi (x)$

при $n\to \mathrm{\infty }$ для всіх $\phi \in X^{*}$.

У цьому випадку прийнято писати

$x_n\stackrel{\mathrm{w}}{⟶}x$,

або інколи пишуть

$x_n\rightharpoonup x$.

Інші властивості

Якщо простір $X$ оснащений слабкою топологією, то додавання та множення на скаляр залишаються неперервними операціями, а простір $X$ є локально опуклим топологічним векторним простором.

Якщо $X$ — нормований простір, то дуальний простір $X^{*}$ є також нормованим векторним простором з нормою

$\Vert \varphi \Vert =\underset{\Vert x\Vert \le 1}{\sup }|\varphi (x)|$.

Ця норма породжує топологію, яку називають сильною топологією на просторі $X^{*}$. Це топологія рівномірної збіжності. Рівномірна та сильна топології, як правило, є різними для різних просторів лінійних відображень; дивитися нижче.

$*$-Слабка топологія

Основна стаття: Шаблон:Нп

$*$-Слабка топологія є важливим прикладом Шаблон:Нп.

Простір $X$ можна вкласти в його подвійний дуальний простір $X^{**}$ наступним чином:

$x\mapsto \{\begin{array}{c}{T}_x:X^{*}\to 𝕂,\\ T_x(\varphi )=\varphi (x).\end{array}$

Таким чином, $T:X\to X^{**}$ є ін'єктивним лінійним відображенням, але не обов'язково сюр'єктивним (простори, для яких це канонічне вкладення є сюр'єктивним, називаються рефлексивними). $*$-Слабка топологія на просторі $X^{*}$ — слабка топологія, індукована образом відображення $T:T(X)\subset X^{**}$. Іншими словами, це найгрубша топологія така, що відображення $T_x$, визначені на $T_X(\varphi )=\varphi (x)$ з $X^{*}$ у базове поле $ℝ$ або $ℂ$, залишаються неперервним.

$*$-Слабка збіжність

Узагальнена послідовність ${\varphi }_{\lambda }(x)$ в просторі $X^{*}$ збігається до $\varphi$ в $*$-слабкій топологію, якщо ця збіжність поточкова:

${\varphi }_{\lambda }(x)\to \varphi (x)$

для всіх $x\in X$. Зокрема, послідовність ${\varphi }_n\in X^{*}$ збігається до $\varphi$ при умові, що

${\varphi }_n(x)\to \varphi (x)$

для всіх $x\in X$.

У цьому випадку, пишуть

${\varphi }_n\stackrel{{\mathrm{w}}^{*}}{\to }\varphi$

при $n\to \mathrm{\infty }$.

$*$-Слабку збіжність інколи називають простою збіжністю або поточковою збіжністю. Дійсно, вона співпадає з поточковою збіжністю лінійних функціоналів.

Властивості

Якщо $X$ є сепарабальним (факторизованим) (тобто має злічену щільну підмножину) локально опуклим простором і $H$ є обмеженою нормованою підмножиною свого неперервного дуального простору, то $H$, наділена своєю $*$-слабкою (підпросторною) топологією, є метризованим топологічним простором. Якщо простір $X$ є сепарабельним метризованим локально опуклим простором, то $*$-слабка топологія на неперервному дуальному просторі $X$ є сепарабельною.Шаблон:Sfn

Властивості в нормованому просторі

За означенням, $*$-слабка топологія є слабшою за слабку топологію на дуальному просторі $X^{*}$. Важливим твердженням для $*$-слабкої топології є Шаблон:Нп: якщо простір $X$ є нормованим, тоді замкнена одинична куля в дуальному просторі $X^{*}$ є $*$-слабко-компактою (більш загально, Шаблон:Нп на дуальному просторі $X^{*}$ в околі $0$ простору $X$ є $*$-слабко-компактною). Більше того, замкнута одинична куля в нормованому просторі $X$ є компактною в слабкій топології тоді й лише тоді, коли простір $X$ є рефлексивним.

Більш загально, нехай $𝔽$ — локально-компактне поле значень (наприклад, дійсні числа, комплексні числа або будь-яка $p$-адична система числення). Нехай $X$ є нормованим топологічним векторним простором над полем $𝔽$, який сумісний з абсолютним значенням над полем $𝔽$. Тоді в просторі $X^{*}$, який є топологічним дуальним простором для простору $X$ неперервних $𝔽$-значних лінійних функціоналів на просторі $X$, всі замкнуті за нормою кулі є компактними в $*$-слабкій топології.

Якщо простір $X$ є нормованим простором, то підмножина неперервного дуального простору є $*$-слабко-компактною тоді і лише тоді, коли вона є $*$-слабкою замкнутою і обмеженою за нормою.Шаблон:Sfn Зокрема, це означає, що коли простір $X$ є нескінченновимірним нормованим простором, тоді замкнута одинична куля у початку координат у дуальному просторі простору $X$ не містить жодного $*$-слабкого околу нуля.Шаблон:Sfn

Якщо простір $X$ є нормованим простором, то цей простір є сепарабельним тоді і лише тоді, коли $*$-слабка топологія на замкненій одиничній кулі простору $X^{*}$ є метризовною,Шаблон:Sfn у цьому випадку $*$-слабка топологія є метризовною на обмеженій за нормою підмножині простору $X^{*}$.Шаблон:Sfn Якщо нормований простір $X$ має дуальний простір, який є сепарабельним (відносно дуальної нормованої топології), тоді $X$ є обов'язково сеперабельним.Шаблон:Sfn Якщо $X$ — Банахів простір, то $*$-слабка топологія не є метризовною на всьому просторі $X^{*}$, якщо простір $X$ не є скінченновимірним.

Приклади

Гільбертові простори

Розглянемо, наприклад, різницю між сильною та слабкою збіжністю функцій у гільбертовому просторі $L^2({ℝ}^n)$ (див. простір Lp). Сильна збіжність послідовності ${\psi }_k\in L^2({ℝ}^n)$ до елемента $\psi$ означає, що

$\underset{{ℝ}^n}{\int }|{\psi }_k-\psi {|}^2\mathrm{d}\mu \to 0$,

якщо $k\to \mathrm{\infty }$. Тут поняття збіжності відповідає нормі у просторі $L^2$.

На відміну від сильної, слабка збіжність вимагає лише, щоб

$\underset{{ℝ}^n}{\int }{\overline{\psi }}_{k}f\mathrm{d}\mu \to \underset{{ℝ}^n}{\int }\overline{\psi }f\mathrm{d}\mu$

для всіх функцій $f\in L^2$ (або, більш типово, для всіх $f$, які належать щільній підмножині $L^2$, таких, як простір тестових функцій, якщо послідовність $\{{\psi }_k\}$ є обмеженою). Для заданих тестових функцій, відповідне поняття збіжності відповідає лише топології, що використовується в просторі $ℂ$.

Наприклад, у гільбертовому просторі $L^2(0,\pi )$, послідовність функцій

${\psi }_k(x)=\sqrt{2/\pi }\sin (kx)$

утворює ортонормований базис. Зокрема, (сильна) границя послідовності $\{{\psi }_k\}$ при $k\to \mathrm{\infty }$ не існує. З іншого боку, за лемою Рімана–Лебеґа, слабка границя існує і дорівнює нулю.

Розподіли

Основна стаття: Розподіли

Зазвичай отримують простори розподілів, утворюючи сильний дуальний простір для простору тестових функцій (таких, як гладкі функції на ${ℝ}^n$ з компактним носієм). В альтернативній конструкції таких просторів можна взяти слабкий дуальний простір для простору тестових функцій усередині гільбертового простору, такого як $L^2$. Таким чином, потрібно розглядати ідею Шаблон:Нп.

Слабка топологія, що індукована алгебраїчним дуальним простором

Нехай $X$ — векторний простір і $X^{\mathrm{♯}}$ — алгебраїчний дуальний простір до простору $X$ (тобто векторний простір усіх лінійних функціоналів на просторі $X$). Якщо простір $X$ наділений слабкою топологією, індукованою простором $X^{\mathrm{♯}}$, тоді неперервним дуальним простір простору $X$ є простір $X^{\mathrm{♯}}$: будь-яка обмежена підмножина простору $X$ міститься у скінченновимірному векторному підпросторі простору $X$, будь-який векторний підпростір простору $X$ — замкнений і має Шаблон:Нп.Шаблон:Sfn

Операторні топології

Якщо $X$ та $Y$ є топологічними векторними просторами, тоді простір $L(X,Y)$ лінійних неперервних операторів $f:X\to Y$ може мати безліч різних можливих топологій. Назва таких топологій залежить від виду топології, що використовується на просторі $Y$ для визначення збіжності операторів (Йосіда 1980, IV.7 Топології лінійних відображень). Загалом існує безліч можливих Шаблон:Нп на $L(X,Y)$, назви яких не зовсім інтуїтивні.

Наприклад, Шаблон:Нп на $L(X,Y)$ є топологією поточкової збіжності.

Якщо $Y$ — нормований простір, то ця топологія визначається напівнормами, що індексуються за допомогою $x\in X$:

$f\mapsto \Vert f(x){\Vert }_Y$.

Більш загально, якщо сім'я напівнорм $Q$ визначає топлогію на просторі $Y$, тоді напівнорми $p_{q,x}$ на $L(X,Y)$, що визначають сильну топологію, визначаються як

$p_{q,x}:f\to q(f(x))$

з індексами $q\in Q$ та $x\in X$.

Зокрема, дивись Шаблон:Нп та Шаблон:Нп.

Див. також

• Шаблон:Нп, компактна множина в слабкій топології
• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп
• Шаблон:Нп

Джерела

• Шаблон:Банах. КФА Лінійні операції
• Шаблон:Ахієзер.Глазман.ТЛОвГП.т1
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation