Дипломная работа: Метризуемость топологических пространств
3) рассмотрим точки ,
,
и докажем следующее неравенство:
Возведем это неравенство в квадрат:
.
Так как и
(поскольку
) и выражение
есть величина неотрицательная, то неравенство
является верным.
2. 1)
2) так как и
, то вторая аксиома очевидна:
.
3) рассмотрим точки ,
,
и докажем следующее неравенство:
.
Тогда и .
3. 1)
2) так как и
, то вторая аксиома очевидна:
.
3) рассмотрим точки ,
,
.
Неравенство: - очевидно.
· Введенные метрики и
эквивалентны, то есть задают одну и ту же топологию.
Пусть метрика порождает топологию
,
- топологию
и
- топологию
. Достаточно показать два равенства.
Покажем, что .
Рассмотрим множество, открытое в
и покажем, что
открыто в
. Возьмем некоторую точку и изобразим шар с центром в этой точке, который целиком лежит в
. Шар в
- квадрат, шар в
- круг. А квадрат всегда можно заключить в круг. Тогда
открыто и в
.
Аналогично доказывается, что . А тогда и
.
Глава II. Свойства метризуемых пространств
Свойство 1. Метризуемое пространство хаусдорфово.
Доказательство. Пусть . Возьмем
. Докажем, что
.
Предположим, что , тогда существует
, т.е.
и
. Тогда,
. Получили противоречие. Следовательно,
.
Следствие. Метризуемое пространство является - пространством.
Определение. Расстоянием от точки до множества
в метрическом пространстве называется
.