Метрические пространства
[16/0%]Проверьте, что каждая из заявленных метрик в примере 6.2 действительно является метрикой.
Докажите, что каждое конечное подмножество метрического пространства замкнуто.
Докажите, что каждый замкнутый шар в метрическом пространстве замкнут.
Пусть — метрическое пространство.
Докажите, что объединение любой совокупности открытых подмножеств является открытым подмножеством .
Докажите, что пересечение любой конечной совокупности открытых подмножеств является открытым подмножеством .
Пусть — метрическое пространство.
Докажите, что пересечение любой совокупности замкнутых подмножеств является замкнутым подмножеством .
Докажите, что объединение любой конечной совокупности замкнутых подмножеств является замкнутым подмножеством .
Докажите, что если — метрическое пространство, и , то .
Приведите пример метрического пространства , точки и , таких что .
Покажите, что каждая последовательность в метрическом пространстве имеет не более одного предела.
Докажите 6.9.
Докажите, что каждое открытое подмножество метрического пространства является объединением некоторой последовательности замкнутых подмножеств .
Докажите или приведите контрпример: если — метрическое пространство и — подмножества , то .
Докажите или приведите контрпример: если — метрическое пространство и — подмножества , то .
Пусть и — метрические пространства. Пусть также и — непрерывные функции.
Используя определение непрерывности, покажите, что непрерывна.
Используя эквивалентность 6.11(a) и 6.11(b), покажите, что непрерывна.
Используя эквивалентность 6.11(a) и 6.11(c), покажите, что непрерывна.
Докажите те части 6.11, которые не были доказаны в тексте.
Пусть последовательность Коши в метрическом пространстве имеет сходящуюся подпоследовательность. Докажите, что эта последовательность Коши сходится.
Проверьте, что все пять метрических пространств из примера 6.2 являются полными метрическими пространствами.
Пусть — метрическое пространство. Пусть обозначает множество всех последовательностей Коши элементов .
Для и из определим , означающее, что
Покажите, что является отношением эквивалентности на .
Пусть обозначает множество классов эквивалентности элементов по указанному выше отношению эквивалентности. Для пусть обозначает класс эквивалентности . Определим как
Покажите, что это определение корректно и что является метрикой на .
Покажите, что является полным метрическим пространством.
Покажите, что отображение из в , переводящее в , сохраняет расстояния, то есть что
для всех .
Объясните, почему из (d) следует, что каждое метрическое пространство является подмножеством некоторого полного метрического пространства.