ГЛАВА 2 ЭЛЕМЕНТЫ ТЕОРИИ

МЕТРИЧЕСКИХ ПРОСТРАНСТВ

1 Определения и примеры метрических пространств

Опр. Пусть M – некоторое непустое множество. Заданная на M ×M числовая
функция ρ(x, y) называется метрикой на M , если она обладает следующими
тремя свойствами:
1) ρ(x, y) > 0 ∀ x, y ∈ M , причем ρ(x, y) = 0 ⇐⇒ x = y ;
2) ρ(x, y) = ρ(y, x) ∀ x, y ∈ M ;
3) ρ(x, y) 6 ρ(x, z) + ρ(z, y) ∀ x, y, z ∈ M .
Последнее неравенство называется неравенством треугольника.
Величина ρ(x, y) называется расстоянием между элементами x и y.
Множество M с введенной на нем метрикой ρ называется метрическим про-
странством.
Пример. Пусть M – некоторое непустое множество. Определим в нем мет-
рику ρ следующим образом:
(
0, если x = y,
ρ(x, y) =
1, если x 6= y.

Эта метрика называется дискретной, а метрическое пространство – дискрет-

ным метрическим пространством или пространством с дискретной метри-
кой.
Другие примеры. Метрическими пространствами являются:
а) любое множество M ⊂ R с метрикой ρ(x, y) = |x − y|;
б) любое множество M ⊂ Rm с метрикой ρ(x, y) = |x − y|;
в) произвольное нормированное пространство с метрикой ρ(x, y) = kx − yk;
г) множество C[a, b] непрерывных на отрезке [a, b] функций с метрикой

ρ(x, y) = max |x(t) − y(t)|;

[a,b]

д) множество C1 [a, b] непрерывных на отрезке [a, b] функций с метрикой

b
ρ(x, y) = ∫ |x(t) − y(t)| dt ;
a
е) множество Cp [a, b] непрерывных на отрезке [a, b] функций с метрикой
b
1/p
ρ(x, y) = ∫ |x(t) − y(t)|p dt , (где 1 6 p < ∞);
a
ж) множество lp (где 1 6 p < ∞) всех числовых последовательностей
∞
x = {xn }∞ |xn |p < ∞, с метрикой
P
n=1 , для которых
n=1

∞
X 1/p
ρ(x, y) = |xn − yn | p
, где x = {xn }∞ ∞
n=1 , y = {yn }n=1 .
n=1

з) множество l∞ всех ограниченных числовых последовательностей

x = {xn }∞
n=1 с метрикой ρ(x, y) = sup |xn − yn |.
n>1
 Опр. Последовательность {xn }∞ n=1 элементов метрического пространства M
называется сходящейся к элементу x ∈ M , если ρ(xn , x) → 0 при n → ∞.
Указанное свойство записывают в виде: xn → x (в M ) при n → ∞ или
x = lim xn , а элемент x называют пределом последовательности {xn }∞
n=1 .
n→∞
Опр. Последовательность {xn }∞ n=1 элементов метрического пространства M
называется фундаментальной, если для любого ε > 0 существует число N (ε) >
0 такое, что
ρ(xn , xm ) < ε ∀ n > N (ε), m > N (ε).
Предложение 1.1. В метрическом пространстве всякая сходящаяся после-
довательность имеет только один предел.
Доказательство. Предположим, что последовательность {xn }∞
n=1 имеет два
предела – x и y. В силу неравенства треугольника

ρ(x, y) 6 ρ(x, xn ) + ρ(xn , y).

Переходя к пределу при n → ∞, получим ρ(x, y) 6 0.

Следовательно ρ(x, y) = 0 ⇒ x = y.
Предложение доказано.
Предложение 1.2. В метрическом пространстве всякая сходящаяся после-
довательность является фундаментальной.
Доказательство. Пусть {xn }∞ n=1 – сходящаяся последовательность. Тогда
существует элемент x ∈ M такой, что для каждого ε > 0 существует N (ε) > 0
такой, что
ρ(xn , x) < ε ∀ n > N (ε).
Как следствие,

ρ(xn , xm ) 6 ρ(xn , x) + ρ(x, xm ) < ε/2 + ε/2 = ε ∀ n > N (ε/2), m > N (ε/2).

Предложение доказано.
Замечание. Фундаментальная последовательность не обязана быть сходя-
щейся. В качестве примера рассмотрим метрическое пространство M = (0, 1)
со стандартной метрикой ρ(x, y) = |x − y|. В нем последовательность элементов
{xn }∞ ∞
n=1 = {1/n}n=1 фундаментальна, но не является сходящейся.
 Опр. Метрическое пространство M называется полным, если в нем всякая
фундаментальная последовательность сходится (к некоторому элементу этого
пространства).
Примеры. Следующие метрические пространства являются полными:
а) множество Rm со стандартной метрикой;
б) произвольное замкнутое множество M ⊂ Rm со стандартной метрикой;
в) пространство C[a, b];
г) пространство lp , 1 6 p < ∞;
д) пространство l∞ .
Пример. Пространство C1 [a, b] непрерывных на отрезке [a, b] функций с мет-
b
рикой ρ(x, y) = ∫ |x(t) − y(t)| dt не является полным.
a