Полное метрическое пространство

Метрическая геометрия

В математическом анализе метрическое пространство М называется полным (или пространством Коши ), если каждая последовательность точек Коши в М имеет предел , который также находится в М.

Интуитивно пространство является полным, если в нем нет «недостающих точек» (внутри или на границе). Например, набор рациональных чисел не является полным, потому что в нем «отсутствует» eg, хотя можно построить сходящуюся к нему последовательность Коши рациональных чисел (см. дополнительные примеры ниже). Всегда можно «заполнить все дыры», что приведет к заполнению заданного пространства, как описано ниже. ${\displaystyle {\sqrt {2}}}$

Определение

Последовательность Коши

Последовательность в метрическом пространстве называется Коши , если для каждого положительного действительного числа существует такое натуральное число , что для всех натуральных чисел ${\displaystyle x_{1},x_{2},x_{3},\ldots }$ ${\displaystyle (X,d)}$ ${\displaystyle r>0}$ ${\displaystyle N}$ ${\displaystyle m,n>N,}$

$${\displaystyle d(x_{m},x_{n})<r.}$$

Полное пространство

Метрическое пространство является полным , если выполняется любое из следующих эквивалентных условий: ${\displaystyle (X,d)}$

1. Каждая последовательность Коши точек в имеет предел, который также находится в ${\displaystyle X}$ ${\displaystyle X.}$
2. Любая последовательность Коши в сходится в (т. е. к некоторой точке ). ${\displaystyle X}$ ${\displaystyle X}$ ${\displaystyle X}$
3. Всякая убывающая последовательность непустых замкнутых подмножеств с диаметрами , стремящимися к 0, имеет непустое пересечение : если замкнуто и непусто, то для каждого и тогда существует единственная точка, общая для всех множеств. ${\displaystyle X,}$ ${\displaystyle F_{n}}$ ${\displaystyle F_{n+1}\subseteq F_{n}}$ ${\displaystyle n,}$ ${\displaystyle \operatorname {diam} \left(F_{n}\right)\to 0,}$ ${\displaystyle x\in X}$ ${\displaystyle F_{n}.}$

Примеры

Пространство Q рациональных чисел со стандартной метрикой , определяемой абсолютным значением разности , не является полным. Рассмотрим, например, последовательность, определяемую и Это последовательность рациональных чисел Коши, но она не сходится к какому-либо рациональному пределу: если последовательность действительно имела предел, то при решении обязательно , но ни одно рациональное число не обладает этим свойством. Однако, если рассматривать его как последовательность действительных чисел , оно сходится к иррациональному числу . ${\displaystyle x_{1}=1}$ ${\displaystyle x_{n+1}={\frac {x_{n}}{2}}+{\frac {1}{x_{n}}}.}$ ${\displaystyle x,}$ ${\displaystyle x={\frac {x}{2}}+{\frac {1}{x}}}$ ${\displaystyle x^{2}=2,}$ ${\displaystyle {\sqrt {2}}}$

Открытый интервал (0,1) , опять же с метрикой абсолютной разности, также не является полным. Последовательность, определяемая Коши, не имеет предела в данном пространстве. Однако замкнутый интервал [0,1] полон; например, данная последовательность имеет предел в этом интервале, а именно ноль. ${\displaystyle x_{n}={\tfrac {1}{n}}}$

Пространство R действительных чисел и пространство C комплексных чисел (с метрикой ^, заданной абсолютной разностью) полны, как и евклидово пространство Rn с обычной метрикой расстояния . Напротив, бесконечномерные нормированные векторные пространства могут быть или не быть полными; те, которые являются полными, являются банаховыми пространствами . Пространство C [ a ,  b ] непрерывных вещественных функций на замкнутом и ограниченном интервале является банаховым пространством и, следовательно, полным метрическим пространством относительно нормы супремума . Однако верхняя норма не дает нормы в пространстве C ( a ,  b ) непрерывных функций на ( a ,  b ) , поскольку оно может содержать неограниченные функции . Вместо этого, с топологией компактной сходимости , C ( a ,  b ) может быть задана структура пространства Фреше : локально выпуклое топологическое векторное пространство , топология которого может быть индуцирована полной трансляционно-инвариантной метрикой.

Пространство Q _p p -адических чисел полно для любого простого числа. Это пространство дополняет Q p -адической метрикой таким же образом, как R дополняет Q обычной метрикой. ${\displaystyle p.}$

Если — произвольное множество, то множество S ^N всех последовательностей в становится полным метрическим пространством, если мы определяем расстояние между последовательностями и находиться там, где — наименьший индекс, для которого отличен от индекса , или если такого индекса нет. Это пространство гомеоморфно произведению счетного числа копий дискретного пространства . ${\displaystyle S}$ ${\displaystyle S}$ ${\displaystyle \left(x_{n}\right)}$ ${\displaystyle \left(y_{n}\right)}$ ${\displaystyle {\tfrac {1}{N}}}$ ${\displaystyle N}$ ${\displaystyle x_{N}}$ ${\displaystyle y_{N}}$ ${\displaystyle 0}$ ${\displaystyle S.}$

Полные римановы многообразия называются геодезическими ; полнота следует из теоремы Хопфа–Ринова .

Некоторые теоремы

Каждое компактное метрическое пространство полно, хотя полные пространства не обязательно должны быть компактными. Фактически, метрическое пространство компактно тогда и только тогда, когда оно полно и вполне ограничено . Это обобщение теоремы Гейне–Бореля , которая утверждает, что любое замкнутое и ограниченное подпространство R n ^{компактно} и, следовательно, полно. ^[1] ${\displaystyle S}$

Пусть – полное метрическое пространство. Если — замкнутое множество, то оно также полное. Пусть – метрическое пространство. Если – полное подпространство, то оно также замкнуто. ${\displaystyle (X,d)}$ ${\displaystyle A\subseteq X}$ ${\displaystyle A}$ ${\displaystyle (X,d)}$ ${\displaystyle A\subseteq X}$ ${\displaystyle A}$

Если — множество и — полное метрическое пространство, то множество всех ограниченных функций f от X до является полным метрическим пространством. Здесь мы определяем расстояние в терминах расстояния в с супремумной нормой ${\displaystyle X}$ ${\displaystyle M}$ ${\displaystyle B(X,M)}$ ${\displaystyle M}$ ${\displaystyle B(X,M)}$ ${\displaystyle M}$

$${\displaystyle d(f,g)\equiv \sup\{d[f(x),g(x)]:x\in X\}}$$

Если — топологическое пространство и полное метрическое пространство, то множество, состоящее из всех непрерывных ограниченных функций, является замкнутым подпространством и, следовательно, также полным. ${\displaystyle X}$ ${\displaystyle M}$ ${\displaystyle C_{b}(X,M)}$ ${\displaystyle f:X\to M}$ ${\displaystyle B(X,M)}$

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

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

Теорема ^[2]  (К. Урсеску)  .  Пусть это полное метрическое пространство и пусть это последовательность подмножеств ${\displaystyle X}$ ${\displaystyle S_{1},S_{2},\ldots }$ ${\displaystyle X.}$

• Если каждый из них замкнут, то ${\displaystyle S_{i}}$ ${\displaystyle X}$ ${\textstyle \operatorname {cl} \left(\bigcup _{i\in \mathbb {N} }\operatorname {int} S_{i}\right)=\operatorname {cl} \operatorname {int} \left(\bigcup _{i\in \mathbb {N} }S_{i}\right).}$
• Если каждый открыт , то ${\displaystyle S_{i}}$ ${\displaystyle X}$ ${\textstyle \operatorname {int} \left(\bigcap _{i\in \mathbb {N} }\operatorname {cl} S_{i}\right)=\operatorname {int} \operatorname {cl} \left(\bigcap _{i\in \mathbb {N} }S_{i}\right).}$

Завершение

Для любого метрического пространства M можно построить полное метрическое пространство M′ (которое также обозначается как ), которое содержит M как плотное подпространство . Оно обладает следующим универсальным свойством : если N — любое полное метрическое пространство и f — любая равномерно непрерывная функция от M до N , то существует единственная равномерно непрерывная функция f′ от M’ до N , которая расширяет f . Этим свойством пространство М' определяется с точностью до изометрии (среди всех полных метрических пространств, изометрически содержащих М ) , и называется пополнением М. ${\displaystyle {\overline {M}}}$

Пополнение M можно построить как набор классов эквивалентности последовательностей Коши в M . Для любых двух последовательностей Коши и в M мы можем определить их расстояние как ${\displaystyle x_{\bullet }=\left(x_{n}\right)}$ ${\displaystyle y_{\bullet }=\left(y_{n}\right)}$

$${\displaystyle d\left(x_{\bullet },y_{\bullet }\right)=\lim _{n}d\left(x_{n},y_{n}\right)}$$

(Этот предел существует, поскольку действительные числа полны.) Это всего лишь псевдометрика , но еще не метрика, поскольку две разные последовательности Коши могут иметь расстояние 0. Но «иметь расстояние 0» — это отношение эквивалентности на множестве всех последовательностей Коши. последовательностей, а множество классов эквивалентности является метрическим пространством, пополнением M . Исходное пространство вкладывается в это пространство посредством отождествления элемента x из M' с классом эквивалентности последовательностей из M , сходящихся к x (т. е. классом эквивалентности, содержащим последовательность с постоянным значением x ). Это определяет изометрию плотного подпространства, как и требуется. Однако обратите внимание, что эта конструкция явно использует полноту действительных чисел, поэтому пополнение рациональных чисел требует несколько иного подхода.

Конструкция Кантора действительных чисел аналогична приведенной выше конструкции; действительные числа представляют собой пополнение рациональных чисел с использованием обычного абсолютного значения для измерения расстояний. Дополнительная тонкость, с которой приходится иметь дело, заключается в том, что логически недопустимо использовать полноту действительных чисел в их собственной конструкции. Тем не менее, классы эквивалентности последовательностей Коши определяются, как указано выше, и легко показать, что множество классов эквивалентности представляет собой поле, подполем которого являются рациональные числа . Это поле полно, допускает естественный тотальный порядок и является единственным вполне упорядоченным полным полем (с точностью до изоморфизма ). Оно определяется как поле действительных чисел ( более подробно см. также Построение действительных чисел ). Один из способов визуализировать это отождествление с действительными числами, как это обычно рассматривается, состоит в том, что класс эквивалентности, состоящий из тех последовательностей Коши рациональных чисел, которые «должны» иметь данный действительный предел, отождествляется с этим действительным числом. Усечение десятичного разложения дает только один выбор последовательности Коши в соответствующем классе эквивалентности.

Для простого числа p - адические числа возникают путем пополнения рациональных чисел относительно другой метрики. ${\displaystyle p,}$

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

Топологически полные пространства

Полнота — это свойство метрики , а не топологии , а это означает, что полное метрическое пространство может быть гомеоморфным неполному. Примером могут служить действительные числа, которые полны, но гомеоморфны открытому интервалу (0,1) , который не является полным.

В топологии рассматривают вполне метризуемые пространства — пространства, для которых существует хотя бы одна полная метрика, индуцирующая данную топологию. Полностью метризуемые пространства можно охарактеризовать как пространства, которые можно записать как пересечение счетного числа открытых подмножеств некоторого полного метрического пространства. Поскольку вывод теоремы Бэра о категориях является чисто топологическим, он применим и к этим пространствам.

Вполне метризуемые пространства часто называют топологически полными . Однако последний термин несколько условен, поскольку метрика не является самой общей структурой топологического пространства, о полноте которой можно говорить (см. раздел Альтернативы и обобщения). Действительно, некоторые авторы используют термин « топологически полный» для более широкого класса топологических пространств — полностью униформизируемых пространств . ^[3]

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

Альтернативы и обобщения

Поскольку последовательности Коши также могут быть определены в общих топологических группах , альтернативой использованию метрической структуры для определения полноты и построения пополнения пространства является использование групповой структуры. Чаще всего это наблюдается в контексте топологических векторных пространств , но требует только наличия непрерывной операции «вычитания». В этом случае расстояние между двумя точками и измеряется не действительным числом с помощью метрики при сравнении , а открытой окрестностью путем вычитания при сравнении. ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle \varepsilon }$ ${\displaystyle d}$ ${\displaystyle d(x,y)<\varepsilon ,}$ ${\displaystyle N}$ ${\displaystyle 0}$ ${\displaystyle x-y\in N.}$

Общее обобщение этих определений можно найти в контексте однородного пространства , где антураж представляет собой набор всех пар точек, находящихся не более чем на определенном «расстоянии» друг от друга.

Также возможна замена последовательности Коши при определении полноты сетями Коши или фильтрами Коши . Если каждая сеть Коши (или, что то же самое, каждый фильтр Коши) имеет предел, то она называется полной. Кроме того, можно построить пополнение для произвольного равномерного пространства, аналогичное пополнению метрических пространств. Наиболее общая ситуация, в которой применяются сети Коши, — это пространства Коши ; они тоже имеют понятие полноты и завершенности, как и однородные пространства. ${\displaystyle X,}$ ${\displaystyle X}$

Смотрите также

• Пространство Коши  - Концепция общей топологии и анализа
• Пополнение (алгебра)  - в алгебре любой из нескольких связанных функторов на кольцах и модулях, которые приводят к полным топологическим кольцам и модулям.Страницы, отображающие описания викиданных в качестве запасного варианта
• Полное однородное пространство  - Топологическое пространство с понятием однородных свойств.Страницы с краткими описаниями целей перенаправления.
• Полное топологическое векторное пространство  - TVS, в котором точки, которые постепенно приближаются друг к другу, всегда сходятся к одной точке.
• Вариационный принцип Экланда  - теорема, утверждающая, что существуют почти оптимальные решения некоторых задач оптимизации.Страницы, отображающие описания викиданных в качестве запасного варианта
• Теорема Кнастера – Тарского

Примечания

1. Сазерленд, Уилсон А. (1975). Введение в метрические и топологические пространства . ISBN 978-0-19-853161-6.
2. Залинеску, К. (2002). Выпуклый анализ в общих векторных пространствах . Ривер Эдж, Нью-Джерси, Лондон: World Scientific. п. 33. ISBN 981-238-067-1. ОСЛК  285163112.
3. Келли, Задача 6.L, с. 208

Рекомендации

• Келли, Джон Л. (1975). Общая топология . Спрингер. ISBN 0-387-90125-6.
• Крейциг, Эрвин , Вводный функциональный анализ с приложениями (Wiley, Нью-Йорк, 1978). ISBN 0-471-03729-X 
• Ланг, Серж , ISBN «Реальный и функциональный анализ» 0-387-94001-4 
• Мейзе, Рейнхольд; Фогт, Дитмар (1997). Введение в функциональный анализ . Рамануджан, М.С. (пер.). Оксфорд: Кларендон Пресс; Нью-Йорк: Издательство Оксфордского университета. ISBN 0-19-851485-9.