Равномерное пространство

редактировать
Топологическое пространство с понятием однородных свойств

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

В дополнение к обычным свойствам топологическая структура, в едином пространстве формализуется понятия относительной близости и близости точек. Другими словами, идеи типа «x ближе к a, чем y к b» имеют смысл в однородных пространствах. Для сравнения, в общем топологическом пространстве для заданных множеств A, B имеет смысл сказать, что точка x сколь угодно близка к A (т. Е. В замыкании A), или, возможно, что A является меньшей окрестностью x, чем B, но понятия близости точек и относительной близости плохо описываются только топологической структурой.

Содержание

  • 1 Определение
    • 1.1 Определение антуража
    • 1.2 Определение псевдометрики
    • 1.3 Определение единого покрытия
  • 2 Топология равномерных пространств
    • 2.1 Униформизируемые пространства
  • 3 Равномерная непрерывность
  • 4 Полнота
    • 4.1 Хаусдорфово пополнение однородного пространства
  • 5 Примеры
  • 6 История
  • 7 См. Также
  • 8 Ссылки

Определение

Есть три эквивалентных определения для единое пространство. Все они представляют собой пространство с единой структурой.

Определение окружения

Это определение обобщает представление топологического пространства в терминах систем соседства. Непустая коллекция Φ {\ displaystyle \ Phi}\ Phi подмножеств U ⊆ X × X {\ displaystyle U \ substeq X \ times X}U \ substeq X \ times X является однородная структура (или однородность ), если она удовлетворяет следующим аксиомам:

  1. Если U ∈ Φ {\ displaystyle U \ in \ Phi}U \ in \ Phi , тогда Δ ⊆ U {\ displaystyle \ Delta \ substeq U}\ Delta \ substeq U , где Δ = {(x, x): x ∈ X} {\ displaystyle \ Delta = \ {(x, x): x \ in X \}}\ Delta = \ {(x, x): x \ in X \} - диагональ на X × X {\ displaystyle X \ times X}X \ times X .
  2. Если U ∈ Φ {\ displaystyle U \ in \ Phi}U \ in \ Phi и U ⊆ V ⊆ X × X {\ displaystyle U \ substeq V \ substeq X \ times X}{\ displaystyle U \ substeq V \ substeq X \ times X} , тогда V ∈ Φ { \ Displaystyle V \ in \ Phi}V \ in \ Phi .
  3. Если U ∈ Φ {\ displaystyle U \ in \ Phi}U \ in \ Phi и V ∈ Φ {\ displaystyle V \ in \ Phi}V \ in \ Phi , тогда U ∩ V ∈ Φ {\ displaystyle U \ cap V \ in \ Phi}U \ cap V \ in \ Phi .
  4. Если U ∈ Φ {\ displaystyle U \ in \ Phi}U \ in \ Phi , тогда существует V ∈ Φ {\ displaystyle V \ in \ Phi}V \ in \ Phi такой, что V ∘ V ⊆ U {\ displaystyle V \ circ V \ subste q U}V \ circ V \ substeq U , где V ∘ V {\ displaystyle V \ circ V}V \ circ V обозначает составную часть V {\ displaystyle V}Vс собой. (составной из двух подмножеств V {\ displaystyle V}Vи U {\ displaystyle U}U из X × X {\ displaystyle X \ times X}X \ times X определяется как V ∘ U = {(x, z): ∃ y ∈ X: (x, y) ∈ U ∧ (y, z) ∈ V} {\ displaystyle V \ circ U = \ {(x, z): \ существует y \ in X: (x, y) \ in U \ wedge (y, z) \ in V \}}V \ circ U = \ {(x, z): \ существует y \ in X: (x, y) \ in U \ wedge ( y, z) \ in V \} .)
  5. Если U ∈ Φ {\ displaystyle U \ in \ Phi}U \ in \ Phi , тогда U - 1 ∈ Φ {\ displaystyle U ^ {- 1} \ in \ Phi}U ^ {{- 1}} \ in \ Phi , где U - 1 = {(y, x): (x, y) ∈ U} {\ displaystyle U ^ {- 1} = \ {(y, x) :( x, y) \ in U \}}U ^ {{- 1}} = \ {(y, x) :( x, y) \ in U \} является инверсией U.

Непустота Φ вместе с (2) и (3) утверждает, что Φ является фильтром на X × X. Если последнее свойство опущено, мы называем пространство квазиравномерным . Элементы U из Φ называются окрестностями или окружениями из Французское слово для обозначения окружения.

Обычно пишут U [x] = {y: (x, y) ∈ U} = pr 2 (U ∩ ({x} × X)), где U ∩ ({x} × X) - вертикальное сечение U и pr 2 - проекция на вторую координату. На графике типичный антураж изображен в виде капли, окружающей диагональ «y = x»; все различные U [x] образуют вертикальные сечения. Если (x, y) ∈ U, говорят, что x и y U-близки. Точно так же, если все пары точек в подмножестве A из X являются U-закрытыми (т.е. если A ×; A содержится в U), A называется U-малым. Окружение U является симметричным, если (x, y) ∈ U именно тогда, когда (y, x) ∈ U. Первая аксиома утверждает, что каждая точка U-близка к самой себе для каждого окружения U. Третья аксиома гарантирует, что «оба U -close и V-close »также является отношением близости в однородности. Четвертая аксиома утверждает, что для каждого антуража U существует антураж V, который «не более чем вдвое меньше». Наконец, последняя аксиома утверждает, что свойство «близость» по отношению к однородной структуре симметрично по x и y.

A базовая или основная система антуражей (или окрестностей ) однородности Φ - это любой набор B антуражей Φ, такой, что каждый антураж группы Ф содержит набор, принадлежащий B . Таким образом, по свойству 2 выше, фундаментальной системы окружений B достаточно, чтобы однозначно указать равномерность Φ: Φ - это множество подмножеств X × X, которые содержат набор B . Каждое однородное пространство имеет фундаментальную систему антуражей, состоящих из симметричных антуражей.

Интуиция о равномерностях дается на примере метрических пространств : если (X, d) - метрическое пространство, то множества

U a = {(x, y) ∈ X × X: d (x, y) ≤ a}, где a>0 {\ displaystyle U_ {a} = \ {(x, y) \ in X \ times X: d (x, y) \ leq a \} \ quad {\ text {where}} \ quad a>0}U_{a}=\{(x,y)\in X\times X:d(x,y)\leq a\}\quad {\text{where}}\quad a>0

образуют фундаментальную систему антуража для стандартной однородной структуры X. x и y не превосходит a.

Равномерность Φ более тонкая, чем другая однородность Ψ на том же множестве, если Φ ⊇ that; в этом случае называется грубее, чем Φ.

Определение псевдометрии

Равномерные пространства могут быть определены альтернативно и эквивалентно с использованием систем псевдометрии, подхода, который особенно полезен в функциональном анализе (с псевдометрикой, предоставляемой полунорма s ). Точнее, пусть f: X × X → R будет псевдометрикой на множестве X. Прообразы U a = f ([0, a]) для a>0 могут быть показано, чтобы сформировать фундаментальную систему антуража единообразия. Равномерность, создаваемая U a, является однородностью, определяемой одиночным псевдометрическим f. Некоторые авторы называют пространства, топология которых определяется в терминах псевдометрических калибровочных пространств.

Для семейства (f i) псевдометрики на X однородная структура, определяемая семейством, является наименьшей верхней границей однородных структур, определяемых отдельными псевдометриками f i. Фундаментальная система антуражей этой однородности обеспечивается набором конечных пересечений антуражей однородностей, определяемых индивидуальной псевдометрикой f i. Если семейство псевдометрики конечно, можно видеть, что одна и та же однородная структура определяется одной псевдометрикой, а именно верхней оболочкой sup f i семейства.

Менее тривиально можно показать, что единообразная структура, допускающая счетную фундаментальную систему окружений (следовательно, в частности, единообразие, определяемое счетным семейством псевдометрик), может быть определена одиночный псевдометрический. Следствием этого является то, что любую однородную структуру можно определить, как указано выше, с помощью (возможно, несчетного) семейства псевдометрик (см. Бурбаки: Общая топология, глава IX, §1, № 4).

Определение единого покрытия

A однородное пространство (X, Θ ) - это множество X, снабженное выделенным семейством покрытий Θ, называемое "равномерным покрывает ", взятый из набора покрытий X, которые образуют фильтр при упорядочении по звездочному уточнению. Один говорит, что покрытие P - это звездное уточнение покрытия Q, записанное P<* Q, если для каждого A ∈ P, существует U ∈ Q такой, что если A ∩ B ≠ ø, B ∈ P, то B ⊆ U. Аксиоматически условие фильтрования сводится к:

  1. {X} - это равномерное покрытие (т.е. {X} ∈ Θ).
  2. Если P<* Qи P является однородным покрытием, то Q также является однородным покрытием.
  3. Если P и Q являются одинаковыми покрытиями, тогда существует однородное покрытие R, которое уточняет как P, так и Q.

Учитывая точку x и равномерное покрытие P, можно рассматривать объединение элементов P, содержащих x, как типичную окрестность x «размера» P, и эта интуитивная мера применяется равномерно по всему пространству.

Учитывая однородное пространство в смысле антуража, определите покрытие P как однородное, если есть некоторый антураж U, такой что для каждого x ∈ X существует A ∈ P такое, что U [x] ⊆ A. Эти равномерные покрытия образуют единое целое. образуют пространство, как во втором определении. И наоборот, учитывая равномерное пространство в смысле равномерного покрытия, надмножества of {A × A: A ∈ P }, поскольку P пробегает равномерные покрытия, являются антуражами для однородное пространство, как в первом определении. Более того, эти два преобразования противоположны друг другу.

Топология однородных пространств

Каждое равномерное пространство X становится топологическим пространством, определяя подмножество O пространства X как открытое тогда и только тогда, когда для каждого x в O существует существует окружение V такое, что V [x] является подмножеством O. В этой топологии фильтр окрестностей точки x равен {V [x]: V ∈ Φ}. Это можно доказать с помощью рекурсивного использования существования антуража «половинного размера». По сравнению с общим топологическим пространством наличие однородной структуры делает возможным сравнение размеров окрестностей: V [x] и V [y] считаются имеющими «одинаковый размер».

Топология, определяемая однородной структурой, называется индуцированной однородностью . Равномерная структура на топологическом пространстве совместима с топологией, если топология, определяемая равномерной структурой, совпадает с исходной топологией. В общем, несколько различных однородных структур могут быть совместимы с данной топологией на X.

Униформизуемые пространства

Топологическое пространство называется униформизуемым, если существует однородная структура, совместимая с топология.

Каждое униформизируемое пространство является полностью регулярным топологическим пространством. Более того, для униформизуемого пространства X следующие условия эквивалентны:

Некоторые авторы (например, Энгелькинг) добавляют это последнее условие непосредственно в определение униформизируемого пространства.

Топология униформизируемого пространства всегда является симметричной топологией ; то есть пространство является R0-пространством.

. И наоборот, каждое полностью регулярное пространство униформизуемо. Равномерность, совместимая с топологией вполне регулярного пространства X, может быть определена как грубейшая равномерность, которая делает все непрерывные вещественнозначные функции на X равномерно непрерывными. Фундаментальная система окружений для этой однородности обеспечивается всеми конечными пересечениями множеств (f × f) (V), где f - непрерывная вещественнозначная функция на X, а V - окружение равномерного пространства R . Эта единообразие определяет топологию, которая явно грубее, чем исходная топология X; то, что она также тоньше исходной топологии (следовательно, совпадает с ней), является простым следствием полной регулярности: для любого x ∈ X и окрестности V точки x существует непрерывная вещественнозначная функция f такая, что f (x) = 0 и равное 1 в дополнении к V.

В частности, компактное хаусдорфово пространство униформизуемо. Фактически, для компактного хаусдорфова пространства X множество всех окрестностей диагонали в X × X образуют единственную равномерность, совместимую с топологией.

Равномерное Хаусдорфово пространство является метризуемым, если его однородность может быть определена счетным семейством псевдометрик. В самом деле, как обсуждалось в выше, такая однородность может быть определена с помощью одной псевдометрики, которая обязательно является метрикой, если пространство хаусдорфово. В частности, если топология векторного пространства хаусдорфова и определима счетным семейством полунорм, оно метризуемо.

Равномерная непрерывность

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

Равномерно непрерывная функция определяется как функция, в которой прообразы антуража снова являются антуражами, или, что эквивалентно, то, где прообразы однородных покрытий снова единые чехлы.

Все равномерно непрерывные функции непрерывны относительно индуцированных топологий.

Полнота

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

A Фильтр Коши F на однородном пространстве X - это фильтр F такой, что для каждого окружения U существует A∈F с A × A ⊆ U. Другими словами, фильтр Коши, если он содержит «сколь угодно малые» множества. Из определений следует, что каждый фильтр, который сходится (относительно топологии, определяемой равномерной структурой), является фильтром Коши. Фильтр Коши называется минимальным, если он не содержит меньшего (т.е. более грубого) фильтра Коши (кроме него самого). Можно показать, что каждый фильтр Коши содержит единственный минимальный фильтр Коши. Фильтр окрестностей каждой точки (фильтр, состоящий из всех окрестностей точки) является минимальным фильтром Коши.

И наоборот, однородное пространство называется полным, если каждый фильтр Коши сходится. Любое компактное хаусдорфово пространство является полным однородным пространством относительно единственной равномерности, согласованным с топологией.

Полные равномерные пространства обладают следующим важным свойством: если f: A → Y - равномерно непрерывная функция из плотного подмножества A равномерного пространства X в полное равномерное пространство Y, то f может быть расширена (однозначно) в равномерно непрерывную функцию на всем X.

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

Хаусдорфом. пополнение равномерного пространства

Как и в случае с метрическими пространствами, каждое равномерное пространство X имеет хаусдорфово пополнение : то есть существует полное хаусдорфово равномерное пространство Y и равномерно непрерывное отображение i: X → Y со следующим свойством:

для любого равномерно непрерывного отображения f пространства X в полное хаусдорфово равномерное пространство Z существует единственное равномерно непрерывное отображение g: Y → Z такое, что f = gi.

Хаусдорфово пополнение Y единственно с точностью до изоморфизма. В качестве набора Y можно рассматривать как состоящее из минимальных фильтров Коши на X. Поскольку фильтр окрестности B (x) каждой точки x в X является минимальным фильтром Коши, отображение i может быть определено отображая x в B (x). Определенное таким образом отображение i в общем случае не инъективно; фактически, график отношения эквивалентности i (x) = i (x ') является пересечением всех окружений X, и, следовательно, i инъективен именно тогда, когда X хаусдорфово.

Равномерная структура на Y определяется следующим образом: для каждого симметричного окружения V (т. Е. Такого, что (x, y) находится в V, в точности когда (y, x) находится в V), пусть C (V) - множество всех пар (F, G) минимальных фильтров Коши, имеющих общий хотя бы один V-малый набор. Можно показать, что множества C (V) образуют фундаментальную систему антуражей; Y имеет определенную таким образом однородную структуру.

Тогда множество i (X) является плотным подмножеством Y. Если X хаусдорфово, то i является изоморфизмом на i (X), и, таким образом, X можно отождествить с плотным подмножеством его пополнения. Более того, i (X) всегда хаусдорфово; оно называется однородным хаусдорфовым пространством, связанным с X. Если R обозначает отношение эквивалентности i (x) = i (x '), то фактор-пространство X / R гомеоморфно i (X).

Примеры

  1. Каждое метрическое пространство (M, d) можно рассматривать как единое пространство. В самом деле, поскольку метрика a fortiori является псевдометрикой, псевдометрическое определение наделяет M однородной структурой. Фундаментальная система антуражей этой равномерности доставляется множествами

    U a ≜ d - 1 ([0, a]) = {(m, n) ∈ M × M: d (m, n) ≤ a}. {\ Displaystyle \ qquad U_ {a} \ треугольник d ^ {- 1} ([0, a]) = \ {(m, n) \ in M ​​\ times M: d (m, n) \ leq a \}.}\ qquad U_ {a} \ треугольник d ^ {{- 1}} ([0, a]) = \ {(m, n) \ in M ​​\ times M: d (m, n) \ leq a \}.

    Эта однородная структура на M порождает обычную топологию метрических пространств на M. Однако разные метрические пространства могут иметь одинаковую однородную структуру (тривиальный пример дается постоянным кратным метрики). Эта единообразная структура дает также эквивалентные определения равномерной непрерывности и полноты для метрических пространств.
  2. Используя метрики, можно построить простой пример различных однородных структур с совпадающими топологиями. Например, пусть d 1 (x, y) = | х - у | - обычная метрика на R, и пусть d 2 (x, y) = | е - е |. Тогда обе метрики индуцируют обычную топологию на R, но однородные структуры различны, поскольку {(x, y): | х - у | < 1 } is an entourage in the uniform structure for d1, но не для d 2. Неформально, этот пример можно рассматривать как взятие обычной однородности и искажение ее посредством действия непрерывной, но неравномерно непрерывной функции.
  3. Каждая топологическая группа G (в частности, каждая топологическое векторное пространство ) становится однородным, если мы определяем подмножество V в G × G как окружение тогда и только тогда, когда оно содержит набор {(x, y): x⋅y в U} для некоторого окрестность U единичного элемента группы G. Эта равномерная структура на G называется правой равномерностью на G, потому что для любого a в G правое умножение x → x⋅a равно равномерно непрерывный по отношению к этой однородной структуре. Можно также определить левую равномерность на G; два не обязательно должны совпадать, но они оба порождают данную топологию на G.
  4. Для каждой топологической группы G и ее подгруппы H набор левых смежных классов G / H является равномерным пространством с относительно равномерности Φ, определяемой следующим образом. Множества U ~ = {(s, t) ∈ G / H × G / H: t ∈ U ⋅ s} {\ displaystyle {\ tilde {U}} = \ {(s, t) \ in G / H \ times G / H: \ \ t \ in U \ cdot s \}}{\ tilde { U}} = \ {(s, t) \ in G / H \ times G / H: \ \ t \ in U \ cdot s \} , где U пробегает окрестности единицы в G, образуют фундаментальную систему антуражей для равномерности Φ. Соответствующая индуцированная топология на G / H равна фактор-топологии, определенной естественным отображением G → G / H.
  5. Тривиальная топология принадлежит равномерному пространству, в котором все декартово произведение X × X является единственным окружением.

История

До Андре Вейль дал первое явное определение единой структуры в 1937 году, единые концепции, как и полнота, обсуждались с использованием метрических пространств. Николас Бурбаки дал определение единой структуры с точки зрения антуража в книге Topologie Générale и Джон Тьюки дал определение унифицированного покрытия. Вейль также охарактеризовал равномерные пространства в терминах семейства псевдометрик.

См. Также

Литература

  • Николас Бурбаки, Общая топология (Topologie Générale), ISBN 0-387-1 9374-X (гл. 1–4), ISBN 0-387-19372-3 (Ch. 5–10): Глава II является исчерпывающим справочником по унифицированным структурам, Глава IX § 1 охватывает псевдометрику, а в главе III § 3 рассматриваются однородные структуры на топологических группах
  • Рышард Энгелькинг, Общая топология. Отредактированное и дополненное издание, Берлин, 1989.
  • Джон Р. Исбелл, Uniform Spaces ISBN 0-8218-1512-1
  • I. М. Джеймс, Введение в унифицированные пространства ISBN 0-521-38620-9
  • I. М. Джеймс, Топологические и однородные пространства ISBN 0-387-96466-5
  • Джон Тьюки, Конвергенция и единообразие топологии ; ISBN 0-691-09568-X
  • Андре Вейль, Sur les espaces à structure uniforme et sur la topologie générale, Закон. Sci. Инд. 551, Париж, 1937
Последняя правка сделана 2021-06-20 11:06:02
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте