В математике слабая топология является альтернативным термином для некоторых исходных топологий , часто в топологических векторных пространствах или пространствах линейных операторов , например, в гильбертовом пространстве . Этот термин чаще всего используется для обозначения начальной топологии топологического векторного пространства (например, нормированного векторного пространства ) относительно его непрерывного двойственного пространства . Оставшаяся часть статьи будет посвящена этому случаю, который является одной из концепций функционального анализа .
Подмножества топологического векторного пространства можно назвать слабо замкнутыми (соответственно слабо компактными и т. д.), если они замкнуты (соответственно компактными и т. д.) относительно слабой топологии. Аналогично функции иногда называют слабо непрерывными (соответственно слабо дифференцируемыми , слабо аналитическими и т. д.), если они непрерывны (соответственно дифференцируемые , аналитические и т. д.) относительно слабой топологии.
Начиная с начала 1900-х годов Дэвид Гильберт и Марсель Рис широко использовали слабую конвергенцию. Первые пионеры функционального анализа не ставили нормальную конвергенцию выше слабой конвергенции и часто считали слабую конвергенцию предпочтительной. [1] В 1929 году Банах ввёл слабую сходимость для нормированных пространств, а также ввёл аналогичную слабую сходимость . [1] Слабая топология также называется топологией faible на французском языке и schwache Topologie на немецком языке.
Пусть — топологическое поле , а именно поле с такой топологией , что сложение, умножение и деление непрерывны . В большинстве приложений это будет либо поле комплексных чисел , либо поле действительных чисел со знакомой топологией.
И слабая топология, и слабая топология являются частными случаями более общей конструкции спариваний , которую мы сейчас опишем. Преимущество этой более общей конструкции состоит в том, что любое определение или результат, доказанный для нее, применим как к слабой топологии, так и к слабой* топологии, что делает излишним необходимость во многих определениях, формулировках теорем и доказательствах. По этой же причине слабую* топологию часто называют «слабой топологией»; потому что это всего лишь пример слабой топологии в рамках этой более общей конструкции.
Предположим, ( X , Y , b ) — пара векторных пространств над топологическим полем (т. е. X и Y — векторные пространства над ним, а b : X × Y → — билинейное отображение ).
Слабая топология на Y теперь определяется автоматически, как описано в статье Двойная система . Однако для ясности мы сейчас повторим это.
Если поле имеет абсолютное значение | ⋅ | , то слабая топология 𝜎( X , Y , b ) на X индуцируется семейством полунорм , py : X → , определяемым формулой
для всех y ∈ Y и x ∈ X. Это показывает, что слабые топологии локально выпуклы .
Теперь мы рассмотрим частный случай, когда Y — векторное подпространство алгебраического двойственного пространства к X (т.е. векторное пространство линейных функционалов на X ).
Существует пара, обозначаемая или , называемая канонической парой , билинейная карта которой является канонической оценочной картой , определенной для всех и . Обратите внимание, что это всего лишь еще один способ обозначения ie .
В этом случае слабая топология на X (соответственно слабая топология на Y ), обозначаемая 𝜎( X , Y ) (соответственно 𝜎( Y , X ) ), является слабой топологией на X (соответственно на Y ) относительно канонического спаривания ⟨ X , Y ⟩ .
Топология σ ( X , Y ) является исходной топологией X относительно Y .
Если Y — векторное пространство линейных функционалов на X , то непрерывное двойственное к X относительно топологии σ( X , Y ) в точности равно Y. [1] (Рудин 1991, теорема 3.10)
Пусть X — топологическое векторное пространство (TVS) над , то есть X — векторное пространство , снабженное топологией, так что векторное сложение и скалярное умножение являются непрерывными. Мы называем топологию, которую X начинается с исходной , начальной или заданной топологией (читатель предостерегается от использования терминов « исходная топология » и « сильная топология » для обозначения исходной топологии, поскольку они уже имеют хорошо известные значения, поэтому их использование может вызвать путаницу). Мы можем определить возможно другую топологию на X, используя топологическое или непрерывное двойственное пространство , которое состоит из всех линейных функционалов из X в основное поле , непрерывных относительно данной топологии.
Напомним, что это каноническая оценочная карта, определенная для всех и , где, в частности, .
Ниже мы даем альтернативные определения.
Альтернативно, слабая топология на TVS X является исходной топологией относительно семейства . Другими словами, это самая грубая топология на X, такая, что каждый элемент остается непрерывной функцией .
Подбаза для слабой топологии — это совокупность множеств вида где и U — открытое подмножество базового поля . Другими словами, подмножество X открыто в слабой топологии тогда и только тогда, когда оно может быть записано как объединение (возможно, бесконечного числа) множеств, каждое из которых является пересечением конечного числа множеств вида .
С этой точки зрения слабая топология является самой грубой полярной топологией .
Слабая топология характеризуется следующим условием: сеть в X сходится в слабой топологии к элементу x из X тогда и только тогда, когда сходится к in или для всех .
В частности, если — последовательность из X , то она слабо сходится к x , если
при n → ∞ для всех . В этом случае принято писать
или, иногда,
Если X оснащено слабой топологией, то сложение и скалярное умножение остаются непрерывными операциями, а X является локально выпуклым топологическим векторным пространством .
Если X — нормированное пространство, то двойственное пространство само по себе является нормированным векторным пространством, если использовать норму
Эта норма порождает топологию, называемую сильной топологией на . Это топология равномерной сходимости . Равномерная и сильная топологии в других пространствах линейных отображений, как правило, различны; см. ниже.
Слабая* топология является важным примером полярной топологии .
Пространство X можно вложить в свое двойное двойственное X** с помощью
Таким образом, это инъективное линейное отображение, хотя и не обязательно сюръективное (пространства, для которых это каноническое вложение сюръективно, называются рефлексивными ). Топология слабого-* на — это слабая топология, индуцированная образом . Другими словами, это самая грубая топология, в которой отображения T x , определенные с помощью базового поля или, остаются непрерывными.
Сеть в сходится к топологии слабого*, если она сходится поточечно :
для всех . В частности, последовательность сходится к при условии, что
для всех x ∈ X. В этом случае пишут
при п → ∞ .
Слабую сходимость иногда называют простой сходимостью или поточечной сходимостью . Действительно, оно совпадает с поточечной сходимостью линейных функционалов.
Если X — сепарабельное (т. е. имеет счетное плотное подмножество) локально выпуклое пространство и H — ограниченное по норме подмножество его непрерывного двойственного пространства, то H , наделенное слабой * (подпространственной) топологией, является метризуемым топологическим пространством. [1] Однако для бесконечномерных пространств метрика не может быть трансляционно-инвариантной. [2] Если X — сепарабельное метризуемое локально выпуклое пространство, то слабая* топология на непрерывном двойственном пространстве к X сепарабельна. [1]
По определению слабая* топология слабее слабой топологии на . Важным фактом о слабой* топологии является теорема Банаха–Алаоглу : если X нормировано, то замкнутый единичный шар в является слабо* -компактным (в более общем смысле, поляра в окрестности 0 в X является слабо*-компактной). ). Более того, замкнутый единичный шар в нормированном пространстве X компактен в слабой топологии тогда и только тогда, когда X рефлексивно .
В более общем смысле, пусть F — локально компактное поле значений (например, действительные числа, комплексные числа или любая из p-адических систем счисления). Пусть X — нормированное топологическое векторное пространство над F , совместимое с абсолютным значением в F. Тогда в топологическом дуальном пространстве X непрерывных F -значных линейных функционалов на X все шары, замкнутые по норме, компактны в слабой топологии.
Если X — нормированное пространство, верна версия теоремы Гейне-Бореля . В частности, подмножество непрерывного двойственного множества является слабо* компактным тогда и только тогда, когда оно слабо* замкнуто и ограничено по норме. [1] Из этого, в частности, следует, что, когда X — бесконечномерное нормированное пространство, то замкнутый единичный шар в начале координат в двойственном пространстве X не содержит какой-либо слабой* окрестности точки 0 (поскольку любая такая окрестность является нормированной). неограничен). [1] Таким образом, хотя замкнутые по норме шары компактны, X* не является слабым* локально компактным .
Если X — нормированное пространство, то X сепарабельно тогда и только тогда, когда слабая* топология на замкнутом единичном шаре метризуема, [1] и в этом случае слабая* топология метризуема на подмножествах, ограниченных по норме . Если нормированное пространство X имеет двойственное пространство, которое является сепарабельным (относительно топологии дуальной нормы), то X обязательно сепарабельно. [1] Если X — банахово пространство , то топология слабого типа не метризуема во всех случаях, если только X не конечномерно. [3]
Рассмотрим, например, разницу между сильной и слабой сходимостью функций в гильбертовом пространстве L 2 ( ) . Сильная сходимость последовательности к элементу ψ означает, что
при k → ∞ . Здесь понятие сходимости соответствует норме на L2 .
Напротив, слабая сходимость требует только того, чтобы
для всех функций f ∈ L 2 (или, что более типично, для всех f в плотном подмножестве L 2 , таком как пространство пробных функций , если последовательность { ψ k } ограничена). Для заданных тестовых функций соответствующее понятие сходимости соответствует только топологии, используемой в .
Например, в гильбертовом пространстве L 2 (0,π) последовательность функций
образуют ортонормированный базис . В частности, (сильного) предела при k → ∞ не существует. С другой стороны, по лемме Римана–Лебега слабый предел существует и равен нулю.
Обычно пространства распределений получают путем формирования сильного двойственного пространства основных функций (таких как гладкие функции с компактным носителем на ). В альтернативной конструкции таких пространств можно взять слабое двойственное пространство основных функций внутри гильбертова пространства, такого как L 2 . Таким образом, приходится рассмотреть идею оснащенного гильбертова пространства .
Предположим, что X — векторное пространство, а X # — алгебраическое пространство, двойственное к X (т. е. векторное пространство всех линейных функционалов на X ). Если X наделено слабой топологией, индуцированной X # , то непрерывным двойственным пространством X является X # , каждое ограниченное подмножество X содержится в конечномерном векторном подпространстве X , каждое векторное подпространство X замкнуто и имеет топологическое дополнение . [4]
Если X и Y — топологические векторные пространства, пространство L ( X , Y ) непрерывных линейных операторов f : X → Y может содержать множество различных возможных топологий. Именование таких топологий зависит от типа топологии, которая используется в целевом пространстве Y для определения операторной сходимости (Йосида 1980, IV.7 Топологии линейных отображений). В общем, существует огромное количество возможных операторных топологий на L ( X , Y ) , имена которых не совсем интуитивно понятны.
Например, сильная операторная топология на L ( X , Y ) — это топология поточечной сходимости . Например, если Y — нормированное пространство, то эта топология определяется полунормами, индексированными x ∈ X :
В более общем смысле, если семейство полунорм Q определяет топологию на Y , то полунормы p q , x на L ( X , Y ) , определяющие сильную топологию, задаются формулой
индексированный q ∈ Q и x ∈ X .
В частности, см. топологию слабых операторов и топологию слабых* операторов .