В статье дано простое доказательство того, что отображение компактного метрического пространства в себя, не уменьшающее расстояния, является изометрией.
Отображение
Теорема. Если
отображение компактного метрического пространства в себя, такое что
для любых
, то отображение
— изометрия.
Напомним некоторые простые утверждения о метрических компактах и введём некоторые соглашения и определения, необходимые для дальнейшего изложения.
Через будем обозначать количество элементов конечного множества
.
Для и
множество
назовем
-окрестностью точки
(или открытым шаром с центром в точке
и радиусом
).
Конечное множество назовём
-сетью в
(или просто
-сетью), если для любой точки
найдётся точка
такая, что
. Множество
назовём
-разреженным, если
для любых
, таких, что
.
Для любого конечного множества обозначим через
сумму
. Величину
назовём длиной множества
.
Читать полностью »