Выпуклое метрическое пространство
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/04/Convex_metric_illustration2.svg/220px-Convex_metric_illustration2.svg.png)
Выпуклые метрические пространства интуитивно определяются как метрические пространства с таким свойством, что любой «отрезок», который соединяет две точки этого пространства, содержит другие точки, кроме своих концов.
Определение
[править | править код]Рассмотрим метрическое пространство (X, d) и пусть x и y — две точки в X. Точка z в X находится между x и y, если все три точки попарно различны, и
то есть неравенство треугольника превращается в равенство. Выпуклое метрическое пространство — метрическое пространство (X, d), такое, что для любых двух различных точек x и y в X, существует третья точка z in X, лежащая между x и y.
Замечания
[править | править код]Метрическая выпуклость:
- не влечёт за собой выпуклости в обычном смысле для подмножеств евклидова пространства (см. пример рациональных чисел)
- не влечёт за собой связности (см. пример рациональных чисел)
- не влечёт за собой геодезической выпуклости (англ.) римановых многообразий (например, можно рассмотреть евклидово пространство с вырезанным замкнутым диском).
Примеры
[править | править код]- Евклидовы пространства, то есть обычное трёхмерное пространство и его аналоги для остальных измерений, являются выпуклыми метрическими пространства. Если нам даны две произвольные различные точки и в таком пространстве, множество всех точек , удовлетворяющих вышеуказанному «равенству треугольника», образует отрезок между и который всегда содержит точки, отличные от и На самом деле, он содержит континуум точек.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/72/Circle_as_convex_metric_space.png/220px-Circle_as_convex_metric_space.png)
- Любое выпуклое множество в евклидовом пространстве образует выпуклое метрическое пространство с индуцированной евклидовой нормой. i. Для замкнутых множеств верно и обратное: если замкнутое подмножество евклидового пространства вместе с индуцированным расстоянием является выпуклым метрическим пространством, то оно является и выпуклым множеством (это частный случай рассматриваемого ниже более общего утверждения).
- Окружность является выпуклым метрическим пространством, если расстояние между двумя точками определяется как длина кратчайшей дуги, которая соединяет эти точки на окружности.
Метрические отрезки
[править | править код]Пусть — произвольное метрическое пространство (не обязательно выпуклое). Подмножество называется метрическим отрезком между двумя различными точками и в , если существует числовой отрезок и изометрическое отображение
такое, что and
Очевидно, что любая точка этого метрического отрезка , за исключением его «концов» и лежит между и Как следствие, если в метрическом пространстве существуют метрические отрезки между любыми двумя различными точками пространства, то оно является выпуклым метрическим пространством.
В общем случае обратное утверждение неверно. Рациональные числа образуют выпуклое метрическое пространство с обычной метрикой, однако не существует ни одного отрезка, который соединяет два рациональных числа и состоит лишь из рациональных чисел. Тем не менее, если — выпуклое метрическое пространство, и вдобавок полное, можно доказать, что для любых двух точек в существует соединяющий их метрический отрезок, вообще говоря, не единственный.
Выпуклые метрические пространства и выпуклые множества
[править | править код]Как было замечено в разделе примеров, замкнутые подмножества евклидова пространства образуют выпуклые метрические пространства тогда и только тогда, когда они являются выпуклыми множествами. Естественно предположить, что выпуклые метрические пространства являются обобщением понятия выпуклости, где линейные отрезки заменены метрическими.
Следует заметить, однако, что метрическая выпуклость, определённая таким образом, лишена одного из самых важных свойств евклидовых выпуклых множеств, а именно выпуклости пересечения двух выпуклых множеств. Действительно, как было указано в разделе примеров, окружность с расстоянием между двумя точками, измеряемое как длина кратчайшей дуги, их соединяющей, образует выпуклое и полное метрическое пространство.
Однако, если и — две точки на окружности, диаметральное противоположные друг к другу, то существует два метрических отрезка, соединяющих их. Эти две дуги метрически выпуклые, но их пересечение не является метрически выпуклым.
См. также
[править | править код]Библиография
[править | править код]- Khamsi, Mohamed A.; Kirk, William A.[англ.]. An Introduction to Metric Spaces and Fixed Point Theory (англ.). — Wiley-IEEE, 2001. — ISBN 0-471-41825-0.
- Kaplansky, Irving. Set Theory and Metric Spaces (неопр.). — American Mathematical Society, 2001. — ISBN 0-8218-2694-8.