Слабая топология

Эта статья о слабой топологии нормированного векторного пространства. О слабой топологии, индуцированной общим семейством отображений, см. исходную топологию . Чтобы узнать о слабой топологии, порожденной покрытием пространства, см. когерентную топологию .

В математике гильбертовом слабая топология является альтернативным термином для некоторых исходных топологий , часто в топологических векторных пространствах или пространствах линейных операторов , например, в пространстве . Этот термин чаще всего используется для обозначения начальной топологии топологического векторного пространства (например, нормированного векторного пространства ) относительно его непрерывного двойственного пространства . Оставшаяся часть статьи будет посвящена этому случаю, который является одной из концепций функционального анализа .

Подмножества топологического векторного пространства можно назвать слабо замкнутыми (соответственно слабо компактными и т. д.), если они замкнуты (соответственно компактными и т. д.) относительно слабой топологии. Аналогично функции иногда называют слабо непрерывными (соответственно слабо дифференцируемыми , слабо аналитическими и т. д.), если они непрерывны (соответственно дифференцируемые , аналитические и т. д.) относительно слабой топологии.

История

Начиная с начала 1900-х годов Дэвид Гильберт и Марсель Рис широко использовали слабую конвергенцию. Первые пионеры функционального анализа не ставили нормальную конвергенцию выше слабой конвергенции и часто считали слабую конвергенцию предпочтительной. В 1929 году Банах ввёл слабую сходимость для нормированных пространств, а также ввёл аналогичную слабую сходимость . Слабая топология также называется topologie faible по-французски и schwache Topologie по-немецки.

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

Основная статья: Топологии в пространствах линейных отображений

Позволять $\mathbb {K}$ быть топологическим полем , а именно полем с такой топологией, что сложение, умножение и деление непрерывны . В большинстве приложений $\mathbb {K}$ будет либо полем комплексных чисел , либо полем действительных чисел с привычной топологией.

Слабая топология относительно спаривания

Основная статья: Двойная система § Слабая топология

И слабая топология, и слабая топология являются частными случаями более общей конструкции спариваний , которую мы сейчас опишем. Преимущество этой более общей конструкции состоит в том, что любое определение или результат, доказанный для нее, применим как к слабой топологии, так и к слабой* топологии, что делает излишним необходимость во многих определениях, формулировках теорем и доказательствах. По этой же причине слабую* топологию часто называют «слабой топологией»; потому что это всего лишь пример слабой топологии в рамках этой более общей конструкции.

Предположим, ( X , Y , b ) — пара векторных пространств над топологическим полем. $\mathbb {K}$ (т.е. X и Y — векторные пространства над $\mathbb {K}$ и б : X × Y → $\mathbb {K}$ является билинейным отображением ).

Обозначения. Для всех x ∈ X пусть b ( x , •) : Y → $\mathbb {K}$ Обозначаем линейный функционал на Y, определенный как y ↦ b ( x , y ) . Аналогично, для всех y ∈ Y пусть b (•, y ) : X → $\mathbb {K}$ определяется как Икс ↦ б ( Икс , y ) .

Определение. Слабая топология на X, индуцированная Y (и b ), является самой слабой топологией на X , обозначаемой 𝜎( X , Y , b ) или просто 𝜎( X , Y ) , что делает все отображения b (•, y ) : X → $\mathbb {K}$ непрерывен, поскольку y колеблется в пределах Y .

Слабая топология на Y теперь определяется автоматически, как описано в статье Двойная система . Однако для ясности мы сейчас повторим это.

Определение. Слабая топология на Y, индуцированная X (и b ), является самой слабой топологией на Y , обозначаемой 𝜎( Y , X , b ) или просто 𝜎( Y , X ) , что делает все отображения b ( x , •) : Y → $\mathbb {K}$ непрерывен, поскольку колеблется в пределах X. x

Если поле $\mathbb {K}$ имеет абсолютное значение | ⋅ | , то слабая топология 𝜎( X , Y , b ) на X индуцируется семейством полунорм , p _y : X → $\mathbb {R}$, определяемый

п _y ( Икс ) := | б ( Икс , у ) |

для y ∈ Y и x ∈ X. всех Это показывает, что слабые топологии локально выпуклы .

Предположение. Впредь мы будем считать, что $\mathbb {K}$ это либо действительные числа $\mathbb {R}$ или комплексные числа $\mathbb {C}$.

Каноническая двойственность

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

Существует спаривание, обозначаемое $(X,Y,\langle \cdot ,\cdot \rangle )$ или $(X,Y)$, называемое каноническим спариванием , билинейное отображение которого $\langle \cdot ,\cdot \rangle$ является канонической оценочной картой , определяемой $\langle x,x'\rangle =x'(x)$ для всех $x\in X$ и $x'\in Y$. Обратите внимание, в частности, что $\langle \cdot ,x'\rangle$ это просто еще один способ обозначения $x'$ т.е. $\langle \cdot ,x'\rangle =x'(\cdot )$.

Предположение. Если Y — векторное подпространство алгебраического двойственного пространства к X, то мы будем предполагать, что они связаны с каноническим спариванием ⟨ X , Y ⟩ .

В этом случае слабая топология на X (соответственно слабая топология на Y ), обозначаемая 𝜎( X , Y ) (соответственно 𝜎( Y , X ) ), является слабой топологией на X (соответственно на Y ). относительно канонического спаривания ⟨ X , Y ⟩ .

Топология σ( X , Y ) является исходной X топологией относительно Y .

Если Y — векторное пространство линейных функционалов на X , то непрерывный двойственный X относительно топологии σ( X , Y ) точности равен Y. в ( Рудин 1991 , Теорема 3.10)

Слабые и слабые* топологии

Пусть X — топологическое векторное пространство (ТВП) над $\mathbb {K}$, то есть X является $\mathbb {K}$ векторное пространство, снабженное топологией , обеспечивающей сложения векторов и скалярного умножения непрерывность . Мы называем топологию, которую X начинается с исходной , начальной или заданной топологией (читатель предостерегается от использования терминов « исходная топология » и « сильная топология » для обозначения исходной топологии, поскольку они уже имеют хорошо известные значения, поэтому их использование может вызвать путаницу). Мы можем определить возможно другую топологию на X, используя топологическое или непрерывное двойственное пространство. $X^{*}$, который состоит из всех линейных функционалов из X в базовое поле $\mathbb {K}$ непрерывные относительно данной топологии.

Напомним, что $\langle \cdot ,\cdot \rangle$ — это каноническая карта оценки, определяемая $\langle x,x'\rangle =x'(x)$ для всех $x\in X$ и $x'\in X^{*}$, где, в частности, $\langle \cdot ,x'\rangle =x'(\cdot )=x'$.

Определение. Слабая топология на X — это слабая топология на X относительно канонического спаривания $\langle X,X^{*}\rangle$. То есть это самая слабая топология на X , делающая все отображения $x'=\langle \cdot ,x'\rangle :X\to \mathbb {K}$ непрерывный, как $x'$ колеблется в пределах $X^{*}$.

Определение : Слабая топология на $X^{*}$ слабая топология на $X^{*}$ относительно канонического спаривания $\langle X,X^{*}\rangle$. То есть это самая слабая топология на $X^{*}$ делаю все карты $\langle x,\cdot \rangle :X^{*}\to \mathbb {K}$ непрерывен, поскольку колеблется в пределах X. x Эту топологию также называют слабой* топологией .

Ниже мы даем альтернативные определения.

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

Альтернативно, слабая топология TVS X является исходной топологией относительно семейства $X^{*}$. Другими словами, это самая грубая топология на X, такая, что каждый элемент $X^{*}$ остается непрерывной функцией .

Подбазой слабой топологии является набор множеств вида $\phi ^{-1}(U)$ где $\phi \in X^{*}$ и U — открытое подмножество базового поля $\mathbb {K}$. Другими словами, подмножество X открыто в слабой топологии тогда и только тогда, когда оно может быть записано как объединение (возможно, бесконечного числа) множеств, каждое из которых является пересечением конечного числа множеств вида $\phi ^{-1}(U)$.

С этой точки зрения слабая топология является самой грубой полярной топологией .

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

Дополнительная информация: Слабая сходимость (гильбертово пространство).

Слабая топология характеризуется следующим условием: сеть $(x_{\lambda })$ в X сходится в слабой топологии к элементу x из X тогда и только тогда, когда $\phi (x_{\lambda })$ сходится к $\phi (x)$ в $\mathbb {R}$ или $\mathbb {C}$ для всех $\phi \in X^{*}$.

В частности, если $x_{n}$ является последовательностью из X , то $x_{n}$ слабо сходится к x, если

$\varphi (x_{n})\to \varphi (x)$

при n → ∞ для всех $\varphi \in X^{*}$. В этом случае принято писать

$x_{n}{\overset {\mathrm {w} }{\longrightarrow }}x$

или, иногда,

$x_{n}\rightharpoonup x.$

Другие объекты недвижимости

Если X оснащено слабой топологией, то сложение и скалярное умножение остаются непрерывными операциями, а X является локально выпуклым топологическим векторным пространством .

Если X — нормированное пространство, то двойственное пространство $X^{*}$ само по себе является нормированным векторным пространством, используя норму

$\|\phi \|=\sup _{\|x\|\leq 1}|\phi (x)|.$

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

Топология Weak-*

См. Также: Полярная топология.

Слабая* топология является важным примером полярной топологии .

Пространство X можно вложить в свое двойное двойственное X** с помощью

$x\mapsto {\begin{cases}T_{x}:X^{*}\to \mathbb {K} \\T_{x}(\phi )=\phi (x)\end{cases}}$

Таким образом $T:X\to X^{**}$ является инъективным линейным отображением, хотя и не обязательно сюръективным (пространства, для которых это каноническое вложение сюръективно, называются рефлексивными ). * Топология слабого на $X^{*}$ – слабая топология, индуцированная образом $T:T(X)\subset X^{**}$. Другими словами, это самая грубая топология, такая, что отображения T _x , определенные формулой $T_{x}(\phi )=\phi (x)$ от $X^{*}$ в базовое поле $\mathbb {R}$ или $\mathbb {C}$ оставаться непрерывным.

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

сеть ​ $\phi _{\lambda }$ в $X^{*}$ сходится к $\phi$ в топологии слабого*, если она сходится поточечно:

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

для всех $x\in X$. , последовательность В частности $\phi _{n}\in X^{*}$ сходится к $\phi$ при условии, что

$\phi _{n}(x)\to \phi (x)$

для x ∈ X. всех В этом случае пишут

$\phi _{n}{\overset {w^{*}}{\to }}\phi$

при п → ∞ .

Слабую* сходимость иногда называют простой сходимостью или поточечной сходимостью . Действительно, оно совпадает с поточечной сходимостью линейных функционалов.

Характеристики

Если X — сепарабельное (т. е. имеет счетное плотное подмножество) локально выпуклое пространство и H — ограниченное по норме подмножество его непрерывного двойственного пространства, то H, наделенное слабой * (подпространственной) топологией, является метризуемым топологическим пространством. Однако для бесконечномерных пространств метрика не может быть трансляционно-инвариантной. Если X — сепарабельное метризуемое локально выпуклое пространство, то слабая* топология на непрерывном двойственном пространстве к X сепарабельна.

Свойства нормированных пространств

По определению, слабая* топология слабее, чем слабая топология на $X^{*}$. Важным фактом о слабой* топологии является теорема Банаха–Алаоглу : если X нормировано, то замкнутый единичный шар в $X^{*}$ слабый* -компактный (в более общем смысле, полярный в $X^{*}$ окрестности точки 0 в X слабо*-компактна). Более того, замкнутый единичный шар в нормированном пространстве X компактен в слабой топологии тогда и только тогда, X рефлексивно когда .

В более общем смысле, пусть F — локально компактное поле значений (например, действительные числа, комплексные числа или любая из p-адических систем счисления). Пусть X нормированное топологическое векторное пространство над F , совместимое с абсолютным значением в F. — Затем в $X^{*}$, топологическое двойственное пространство X непрерывных F -значных линейных функционалов на X , все замкнутые по норме шары компактны в слабой* топологии.

Если X — нормированное пространство, верна версия теоремы Гейне-Бореля . В частности, подмножество непрерывного двойственного множества является слабо* компактным тогда и только тогда, когда оно слабо* замкнуто и ограничено по норме. Из этого, в частности, следует, что если X — бесконечномерное нормированное пространство, то замкнутый единичный шар в начале координат двойственного к X пространства не содержит какой-либо слабой* окрестности нуля (поскольку любая такая окрестность неограничена по норме). Таким образом, хотя замкнутые по норме шары компактны, X* не является слабым* локально компактным .

Если X — нормированное пространство, то X сепарабельно тогда и только тогда, когда слабая* топология на замкнутом единичном шаре пространства $X^{*}$ метризуемо, в этом случае слабая* топология метризуема на ограниченных по норме подмножествах $X^{*}$. Если нормированное пространство X имеет двойственное пространство, которое является сепарабельным (относительно топологии дуальной нормы), то X обязательно сепарабельно. Если X — банахово пространство , слабая* топология не метризуема на всем пространстве. $X^{*}$ если только X не конечномерен.

Примеры

гильбертовы пространства

Рассмотрим, например, разницу между сильной и слабой сходимостью функций в гильбертовом пространстве L ² ( $\mathbb {R} ^{n}$) . Сильная сходимость последовательности $\psi _{k}\in L^{2}(\mathbb {R} ^{n})$ к элементу ψ означает, что

$\int _{\mathbb {R} ^{n}}|\psi _{k}-\psi |^{2}\,{\rm {d}}\mu \,\to 0$

при k → ∞ . Здесь понятие сходимости соответствует норме на L ² .

Напротив, слабая сходимость требует только того, чтобы

$\int _{\mathbb {R} ^{n}}{\bar {\psi }}_{k}f\,\mathrm {d} \mu \to \int _{\mathbb {R} ^{n}}{\bar {\psi }}f\,\mathrm {d} \mu$

для всех функций f ∈ L ² (или, что более типично, все f в плотном подмножестве L ² например, пространство основных функций , если последовательность { ψ _k } ограничена). Для заданных тестовых функций соответствующее понятие сходимости соответствует только топологии, используемой в $\mathbb {C}$.

Например, в гильбертовом пространстве L ² (0,π) , последовательность функций

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

образуют ортонормированный базис . В частности, (сильный) предел $\psi _{k}$ при k → ∞ не существует. С другой стороны, по лемме Римана–Лебега слабый предел существует и равен нулю.

Распределения

Основная статья: распределение (математика)

получают Обычно пространства распределений путем формирования сильного двойственного пространства основных функций (таких как гладкие функции с компактным носителем на $\mathbb {R} ^{n}$). В альтернативной конструкции таких пространств можно взять слабое двойственное пространство основных функций внутри гильбертова пространства, такого как L ² . Таким образом, приходится рассмотреть идею оснащенного гильбертова пространства .

Слабая топология, индуцированная алгебраическим двойственным

Предположим, что X — векторное пространство и X ^# — алгебраическое двойственное пространство к X (т.е. векторное пространство всех линейных функционалов на X ). Если X наделен слабой топологией, индуцированной X ^# то непрерывное двойственное пространство к X есть X ^# , каждое ограниченное подмножество X содержится в конечномерном векторном подпространстве X , каждое векторное подпространство X замкнуто и имеет топологическое дополнение .

Топологии операторов

Если X и Y — топологические векторные пространства, пространство L ( X , Y ) непрерывных линейных операторов f : X → Y может содержать множество различных возможных топологий. Именование таких топологий зависит от типа топологии, которая используется в целевом пространстве Y для определения операторной сходимости ( Йосида 1980 , IV.7 Топологии линейных отображений). В общем, существует огромное количество возможных операторных топологий на L ( X , Y ) , имена которых не совсем интуитивно понятны.

Например, сильная операторная топология на L ( X , Y ) — это топология поточечной сходимости . Например, если Y — нормированное пространство, то эта топология определяется полунормами, индексированными x ∈ X :

$f\mapsto \|f(x)\|_{Y}.$

В более общем смысле, если семейство полунорм Q определяет топологию на Y , то полунормы p _{q , x} на L ( X , Y ), определяющие сильную топологию, задаются формулой

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

индексированный q ∈ Q и x ∈ X .

В частности, см. топологию слабых операторов и топологию слабых* операторов .

См. также

• Компакт Эберлейна — компакт в слабой топологии.
• Слабая сходимость (гильбертово пространство)
• Топология оператора «слабая звезда»
• Слабая сходимость мер
• Топологии на пространствах линейных отображений
• Топологии на множестве операторов в гильбертовом пространстве
• Неясная топология

Библиография

• Конвей, Джон Б. (1994), Курс функционального анализа (2-е изд.), Springer-Verlag, ISBN  0-387-97245-5
• Фолланд, Великобритания (1999). Реальный анализ: современные методы и их применение (второе изд.). Джон Уайли и сыновья, Inc. ISBN  978-0-471-31716-6 .
• Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN  978-1584888666 . OCLC   144216834 .
• Педерсен, Герт (1989), Анализ сейчас , Springer, ISBN  0-387-96788-5
• Рудин, Уолтер (1991). Функциональный анализ . Международная серия по чистой и прикладной математике. Том. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: McGraw-Hill Science/Engineering/Math . ISBN  978-0-07-054236-5 . OCLC   21163277 .
• Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN  978-1-4612-7155-0 . OCLC   840278135 .
• Тревес, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN  978-0-486-45352-1 . OCLC   853623322 .
• Уиллард, Стивен (февраль 2004 г.). Общая топология . Публикации Courier Dover. ISBN  9780486434797 .
• Ёсида, Косаку (1980), Функциональный анализ (6-е изд.), Springer, ISBN  978-3-540-58654-8