Метрические пространства

Метрическим пространством называется пара (Х, r), состоящая из некоторого множества (пространства) Х элементов (точек) и расстояния, т. е. неотрица­тельной действительной функции r(х, у), определенной для лю­бых х и у из Х и подчиненной следующим трем аксиомам:

1) r(х, у) = 0 тогда и только тогда, когда х = у,

2) r(х, у) = r(у, х) (аксиома симметрии),

3) r(х, г) ≤ r(х, у) + r (у, г) (аксиома треугольника).

Само метрическое пространство, т. е. пару (Х, ρ), мы будем обозначать, как правило, одной буквой: R = (X, ρ).

В случаях, когда недоразумения исключены, мы будем за­частую обозначать метрическое пространство тем же символом, что и сам «запас точек» X.

Приведем примеры метрических пространств. Некоторыеизэтих пространств играют в анализе весьма важную роль.

1. Положив для элементов произвольного множества

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

2. Множество действительных чисел с расстоянием

ρ (х, у) = | х - у |

образует метрическое пространство R ¹.

3. Множество упорядоченных наборов из п действительных чи­сел с расстоянием

называется п -мерным арифметическим евклидовым пространством R ⁿ.

4. Рассмотрим то же самое множество наборов из п действительных чи­сел , но расстояние опре­делим в нем формулой

Справедливость аксиом 1)-3) здесь очевидна. Обозначим это метрическое пространство символом R ⁿ ₁.

5. Возьмем снова то же самое множество, что и в приме­рах 3 и 4, и определим расстояние между его элементами фор­мулой

Справедливость аксиом 1)-3) очевидна. Это пространство, ко­торое мы обозначим R ⁿ _¥ во многих вопросах анализа не менее удобно, чем евклидово пространство R ⁿ.

Последние три примера показывают, что иногда и в самом деле важно иметь различные обозначения для самого метриче­ского пространства и для множества его точек, так как один и тот же запас точек может быть по-разному метризован.

6. Множество С [a, b] всех непрерывных действительных функ­ций, определенных на отрезке [a, b] с расстоянием

также образует метрическое пространство. Аксиомы1)-3) про­веряются непосредственно. Это пространство играет очень важ­ную роль в анализе. Мы будем его обозначать тем же симво­лом С [a, b], что и само множество точек этого пространства.

7. Рассмотрим, как и в примере 6, совокупность всех функ­ций, непрерывных на отрезке С [a, b], но расстояние определим иначе, а именно, положим

Такое метрическое пространство мы будем обозначать С ₂ [a, b] и называть пространством непрерывных функций с квад­ратичной метрикой.