Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

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

Читайте также:
  1. III. 10.3. Восприятие пространства
  2. Аксиомы проективного пространства
  3. АКСОНОМЕТРИЧЕСКИЕ ПРОЕКЦИИ
  4. Антропометрические факторы и конструирование мебели
  5. Влияние киберпространства.
  6. Вопрос 10 Биометрические системы защиты информационных систем и ресурсов.
  7. Восприятие пространства

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

Рассмотрим несколько примеров.

Пример 1. Рассмотрим множество вещественных чисел с «естественной» метрикой , то есть метрическое пространство

.

Если — фундаментальная последовательность элементов пространства , то

.

В силу критерия Коши сходимости числовой последовательности последовательность сходится, а следовательно — полное метрическое пространство.

Пример 2. Пусть M = (0; 1), ρ(x, y)=| x-y |. Рассмотрим последовательность

элементов множества . Так как

,

то последовательность

сходится и (согласно свойству 1 фундаментальных последовательностей) является фундаментальной. Но , поэтому пространство (M, ρ) — не является полным метрическим пространством. Причина этого заключается в том, что интервал — незамкнутый.

Замечание. Последовательность

является примером фундаментальной последовательности элементов множества M, которая не сходится в M.

Пример 3. Пусть , ρ(x, y)=| x — y|. Рассмотрим последовательность следующую последовательность

рациональных чисел.

Как известно из математического анализа:

.

Таким образом, в метрическом пространстве (Q, ρ) существуют фундаментальные послеовательности, которые не сходятся к элементам , следовательно, (Q, ρ) не является полным метрическим пространством.

Пример 4. Рассмотрим n-мерное евклидово пространство с метрикой

.

Покажем, что метрическое пространство — полное.

Рассмотрим фунментальную последовательность

(здесь номера членов последовательности обозначены индексом в скобках наверху). По определению фундаментальной последовательности,

выполняется неравенство

.

Пример 5. Покажем, что метрическое пространство непрерывных на отрезке функций с метрикой

является полным.

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

,

это означает, что последовательность сходится равномерно, а так как предел равномерно сходящейся последовательности непрерывных функций есть непрерывная функция

Если в неравенстве

,

перейти к пределу при , то оно перейдёт в неравенство

справедливое длявсех и любого , а значит , таким образом

последовательность к в метрике пространства .

Пример 6. Покажем что пространство непрерывных функций не является полным. Рассмотрим последовательность непрерывных функций вида

.

Последовательность является фундаментальной. Действительно, рассмотрим две функции и , они отличаются друг от друга лишь на отрезке ширины

,

причём абсолютная величина различия не превышает 1, следовательно

.

Однако последовательность не сходится ни к одной непрерывной функции из . Для доказательства этого факта рассмотрим произвольную функцию и разрывную функцию

.

В силу интегрального неравенства Минковского (это неравенство справедливо и для кусочно-непрерывных функций):

.

Так как — непрерывная функция, а имеет разрыв, то

.

Сдругой стороны:

и следовательно

.

Таким образом:

 

 


Дата добавления: 2015-07-24; просмотров: 135 | Нарушение авторских прав


Читайте в этой же книге: Счетные множества. Теорема о существовании подмножества в бесконечном множестве | Счетность множества рациональных чисел. | Определение и свойства измеримых функций | Мощность континуума и ее свойства. | Мера Лебега линейного ограниченного множества и ее свойства. | Ноль-мерныя множества. Мера Лебега множества рациональных чисел и Канторова совершенного множества. | Сравнение интегралов Римана и Лебега. |
<== предыдущая страница | следующая страница ==>
Определение интеграла Лебега и его основные свойства| Теория функций комплексного переменного.

mybiblioteka.su - 2015-2024 год. (0.008 сек.)