Учебник - Математический анализ Часть 2 - Зорич В.А. (1238793), страница 9
Текст из файла (страница 9)
На каждом из четырех оставшихся отрезков удалим среднюю часть длины Ь 1/32 и т. д. Длина всех удаленных в таком процессе интервалов равна Ь+Ь 2/3+Ь.4/32+... +Ь (2/3)" +... = ЗЬ. Поскольку 0 < сХ < 3~, имеем 1 — ЗЬ > 0 и, как можно проверить, отсюда следует, что оставшееся на отрезке [О, Ц (канторово) множество .К не имеет меру нуль в смысле Лебега. Рассмотрим теперь следующую последовательность: 1/„Е ее[0, Ц; и е И). Пусть /„— функция, равная единице всюду на [О, Ц, кроме точек, выбрасываемых на первых п шагах интервалов, на которых она полагается равной нулю. Легко проверить, что эта последовательность фундаментальна в смысле метрики (6).
Если бы некоторая функция ОПо поводу самой метрики (6) на %[а,о) см, замечание, сделанное в примере 9 нз 11. 30 ГЛ. 1Х. НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ (ОБЩАЯ ТЕОРИЯ) 1" е ')с[0, Ц была предеяом зтой последовательности, то у должна была бы почти во всех точках отрезка [О, Ц совпадать с характеристической функцией множества К. Тогда У имела бы разрывы во всех точках множества К. Но поскольку К не имеет меру нуль, из критерия Лебега можно было бы заключить, что у ф <с[0, Ц.
Значит, %[а, Ь1 с метрикой (6) не является полным метрическим пространством. ~ 2. Пополнение метрического пространства Пример 7. Вернемся вновь на действительную ось и рассмотрим множество Я рациональных чисел с метрикой, индуцированной стандартной метрикой на К, Ясно, что последовательность рациональных чисел, сходящаяся в Н к ~/2, фундаментальна, но не имеет предела в Я, т. е. Я с указанной метрикой не является полным пространством.
Вместе с тем, Я оказывается подпространством полного метрического пространства 2, которое естественно рассматривать как пополнение Я. Заметим,что множество Я С К можно было бы рассматривать и как подмножество полного метрического пространства й2, однако называть 61з пополнением Я не представляется целесообразным. Определение 4. Наименьшее полное метрическое пространство, содержащее данное метрическое пространство (Х,д), назовем пополнением пространства (Х,д). Это интуитивно приемлемое определение требует по меньшей мере двух разъяснений: что такое <наименьшее< и существует ли оно.
Очень скоро мы сможем ответить на оба зти вопроса, а пока примем следующее более формальное Определение 5. Если метрическое пространство (Х,д) является подпространством метрического пространства (У, д) и множество Х с с У всюду плотно в У, то пространство (У, <1) называется пополнением метрического пространства (Х,<1). Определение 6. Метрическое пространство (Х1,01) называется изомегаричяым метрическому пространству (Хз, <4), если существует биективное отображение у: Х1 -+ Хз такое, что для любых точек а, д из Х1 справедливо равенство <1з(у(а),у(Ь)) = д1(а, Ь). (Отображение у: Х1 — > Хз называют в этом случае изометрие<1.) Ь 5.
ПОЛНЫЕ МЕТРИЧЕСКИЕ ПРОСТРАНСТВА Пример 8. Две конгруэнтные фигуры на плоскости как метрические пространства изометричны, поэтому при изучении метрических свойств фигур мы вовсе отвлекаемся, например, от расположения фигуры в плоскости, отождествляя между собой все конгруэнтные фигуры. Приняв соглашение об отождествлении изометричных пространств, можно показать, что если пополнение метрического пространства и существует, то оно единственно. Проверим предварительно, что справедлива Лемма. Для любой четверки точек а, Ь, и, о метрическозо пространства (Х, а) имееп1 место неравенство ~й(а, Ь) — д(и, о) ~ < сЦа, и) + Н(Ь, о).
(7) ~ В силу неравенства треугольника й(а, Ь) < й(а,и) + й(и, о) + й(Ь, о). Ввиду равноправности пар а, Ь и и, о, отсюда следует (7). ~ Теперь докажем Утверждение 1. Если метрические пространства (У1, а1), (Уз,Нз) лвллютсл пополнениями однова и тово хсе пространства (Х,а), то они иэометричны. М Изометрию ~: У1 -+ Уз построим следующим образом.
Для х Е Х положим 1(х) = х. Тогда йзЩх1),1(хз)) = Щ(х1), )(хз)) = д(х1,хз) = = а1(х1, хз) при х1, хг Н Х. Если у1 Е У1 '1 Х, то у1 — предельная точка для Х, так как Х всюду плотно в У1. Пусть (х„; и Е Ы) — сходящаяся к у1 в смысле метрики а1 последовательность точек Х. Эта последовательность фундаментальна в смысле а1. По поскольку на Х метрики а1 и оа совпадают с а, эта последовательность фундаментальна также и в (Уз, дз). Последнее пространство полное, поэтому эта последовательность имеет в нем предел уз Е У. Стандартным образом проверяется, Ясно, что введенное отношение рефлексивно, симметрично и транзитивно, т.е.
является отношением эквивалентности между метрическими пространствами. При изучении свойств метрических пространств мы изучаем не индивидуальное пространство, а свойства сразу всех изометричных ему пространств. По этой причине изометричные пространства можно не различать. 32 ГЛ. 1Х. НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ (ОБЩАЯ ТЕОРИЯ) что такой предел единственный. Положим теперь у (у1) = уг. Поскольку любая точка уг Е 12 '1 Х, так же как и любая точка у1 Е У1 '1 Х, является пределом некоторой фундаментальной последовательности точек из Х, то построенное отображение у: У1 -+ Уг сюръективно. Проверим теперь, что для любой пары точек у', у" из У1 выполнено равенство дгИ(уг) У(уг')) = дг(у1 у1').
(8) Если уг~, уе лежат в Х, то это очевидно. В общем же случае возьмем две последовательности (х'„; и Е И), (х'„~; и е Ы) точек из Х, сходящиеся соответственно к у' и у1'. Из неравенства (7) вытекает, что д1(у'„у~1') = 1пп д1(х'„, х'„'), или, что то же самое, д1(у', у") = 1пп д(х'„, х'„').
(9) дг(уг, у2) = 11пг д(хп, хд). (10) Сравнивая соотношения (9) и (10), получаем равенство (8). Это равенство заодно устанавливает инъективность нашего отображения .г: У| -+ Уг и тем самым завершает доказательство того, что у— изометрия. ° В определении 5 пополнения (У,д) метрического пространства (Х, д) мы требовали, чтобы (Х, д) было подпространством (У, д), всюду плотным в (У, д). С точки зрения отождествления изометричных пространств можно было бы теперь расширить представление о пополнении и принять следующее Определение 5'. Метрическое пространство (У, дг) называется пополнением метрического пространства (Х, дх), если в (У, ду) имеется всюду плотное надпространство, изометричное (Х, дх).
Докажем теперь Утверждение 2. Каждое метрическое пространство имеет пополнение. По построению зти же последовательности сходятся к у.' = 7" (уг~) и уг' —— г (у~1') соответственно в пространстве (Уг, дг). Значит, 15. ПОЛНЫЕ МЕТРИЧЕСКИЕ ПРОСТРАНСТВА ЗЗ ~ Если исходное пространство само является полным, то оно само является своим пополнением. Идею построения пополнения неполного метрического пространства (Х, Ых) мы уже, по существу, продемонстрировали, доказывая утверждение 1. Рассмотрим множество фундаментальных последовательностей в пространстве (Х,дх).
Две такие последовательности (х'„;и е М), (х'„', и е М) назовем эквивалентными или конфииальяыми, если Нх(х'„,х'„') -+ 0 при и — > оо. Легко видеть, что отношение конфинзльности действительно является отношением эквивалентности. Множество классов эквивалентных фундаментальных последовательностей обозначим через Я. Введем в Я метрику по следующему правилу. Если в' и в" — элементы Я, а (х'„; и б М) и (х'„', и Е М) — некоторые последовательности иэ классов в' и з" соответственно, то положим д(в', вз) = 11ш Нх (х'„, х'„').
Из неравенства (7) следует, что это определение корректно: написанный справа предел существует (по критерию Коши для числовой последовательности) и не зависит от индивидуального выбора последовательностей (х„;и б М), (х„;и б М) из в, в . Функция Ы(в',в") удовлетворяет всем аксиомам метрики. Полученное метрическое пространство (Я,Й) и является искомым пополнением пространства (Х, Их).
В самом деле, (Х, Их) изометрично подпространству (Ях,д) пространства (Я,Ы), состоящему иэ тех классов эквивалентных фундаментальных последовательностей, в каждом из которых имеется постоянная последовательность (х„= х б Х;и е М). Такой класс в е Я естественно отождествить с точкой х е Х. Получающееся при этом отображение у: (Х, Нх) + (Ях, И), очевидно, изометрично.
Остается проверить, что (Ях, д) всюду плотно в (Я, д) и что (Я, И)— полное метрическое пространство. Проверим сначала плотность (Ях, И) в (Я, Н). Пусть з — произвольный элемент Я, а (х„;и Е М) — фундаментальная последовательность из (Х,дх), принадлежащая этому классу в Е Я. Взяв ~„= Дх„), и Е 6 М,мы получаем последовательность (~„;и Н М) точек пространства (Ях, Ы), которая, как видно из (11), имеет своим пределом именно з Е Я.
Докажем теперь полноту пространства (Я, д). Пусть (з„; и е М)— произвольная фундаментальная последовательность пространства 34 ГЛ. 1Х. НЕПРЕРЫВНЫЕ ОТОБРАЖЕНИЯ (ОБЩАЯ ТЕОРИЯ) (В,т(). Для каждого и Н 1Ч подберем элемент („из (Вх,т() так, что т((в„,~„) ( 1/и. Тогда последовательность ~Д„;п Н 1ч), так же как и последовательность (в„;и Е (тт), окажется фундаментальной. Но в таком случае будет фундаментальной в (Х,т1г) и последовательность 1х„= 1 "((и);п Н 1Ч).
ПослеДовательность 1хп; и Н М~ опРеДелЯет некоторый элемент в б Я, к которому в силу (11) и сходится данная последовательность (в„; и Н 1Ч). 1н Замечание 1. После доказанных утверждений 1 и 2 становится понятно, что пополнение метрического пространства в смысле определения бт действительно является наименьшим полным пространством, содержащим (с точностью до изометрии) данное метрическое пространство. Этим мы уточнили и оправдали исходное определение 4.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
