Внутренняя метрика: различия между версиями

[отпатрулированная версия]

Содержимое удалено Содержимое добавлено

Линейный

Текущая версия от 04:00, 30 декабря 2023

Внутренняя метрика — метрика в пространстве, определяемая с помощью функционала длины, как инфимум длин всех путей (кривых), соединяющих данную пару точек.

Определения

Метрика $\rho$ на пространстве $X$ называется внутренней, если для любых двух точек $x,y\in X$ расстояние между ними определяется формулой $\rho (x,y)=\inf\{L(\gamma )\},$ где $L(\gamma )$ обозначает длину пути $\gamma$ и точная нижняя грань берётся по всем путям $\gamma$ , соединяющим точки $x,y\in X$ .

Связанные определения

Пусть $x,y\in X$ — две произвольные точки метрического пространства $\rho ,X$ и $\varepsilon$ — произвольное положительное число. Точка $z_{\varepsilon }\in X$ называется их $\varepsilon$ -серединой, если $\rho (x,z_{\varepsilon }),\ \rho (y,z_{\varepsilon })<{\tfrac {1}{2}}\rho (x,y)+\varepsilon .$

Метрическое пространство $(X,\rho )$ называется геодезическим, если любые две точки $X$ можно соединить кратчайшей.

Свойства

Если $(X,\rho )$ $(X,\rho )$ — пространство с внутренней метрикой, то для любых двух точек $x,y\in X$ $x,y\in X$ и любого $\varepsilon >0$ $\varepsilon >0$ существует их $\varepsilon$ -середина.
- Лемма Менгера: В случае, когда метрическое пространство $(X,\rho )$ полное, имеет место и обратное утверждение: если для любых двух точек $x,y\in X$ и любого $\varepsilon >0$ существует их $\varepsilon$ -середина, то эта метрика внутренняя.
Полное метрическое пространство $(X,\rho )$ с внутренней метрикой обладает следующим свойством: для любых двух точек $x,y\in X$ и $\varepsilon >0$ найдётся кривая длины $<\rho (x,y)+\varepsilon ,$ соединяющая точки $x$ и $y$ .
В полном метрическом пространстве с внутренней метрикой длина кратчайшей совпадает с расстоянием между её концами.
Теорема Хопфа — Ринова: Если $(X,\rho )$ — локально компактное полное метрическое пространство с внутренней метрикой, то любые две точки $X$ можно соединить кратчайшей. Более того, пространство $X$ является ограниченно компактным (то есть все ограниченные замкнутые подмножества $X$ являются компактными).
Локально компактное пространство с внутренней метрикой является геодезическим.

Примеры

Литература

Бураго Д.Ю., Бураго Ю.Д., Иванов С.В., Курс метрической геометрии. — Москва-Ижевск, Институт компьютерных исследований, 2004. ISBN 5-93972-300-4

@@ Строка 1: / Строка 1: @@
-'''Внутренняя метрика''' — особый тип [[метрическое пространство|метрик]].
+'''Внутренняя метрика''' — [[метрическое пространство|метрика в пространстве]], определяемая с помощью функционала длины, как [[Точная верхняя и нижняя границы множеств|инфимум]] длин всех путей (кривых), соединяющих данную пару точек.
+== Определения ==
+Метрика <math>\rho</math> на пространстве <math>X</math> называется ''внутренней'', если для любых двух точек <math>x,y\in X</math> расстояние между ними определяется формулой <math>\rho(x,y) = \inf \{ L(\gamma) \},</math> где <math>L(\gamma)</math> обозначает длину пути <math>\gamma</math> и точная нижняя грань берётся по всем путям <math>\gamma</math>, соединяющим точки <math>x,y\in X</math>.
+=== Связанные определения ===
-== Определение ==
+* Пусть <math>x,y\in X</math> — две произвольные точки метрического пространства <math>\rho, X</math> и <math>\varepsilon</math> — произвольное положительное число. Точка <math>z_\varepsilon \in X</math> называется их ''<math>\varepsilon</math>-серединой'', если <math>\rho(x,z_\varepsilon),\ \rho(y,z_\varepsilon)<\tfrac12\rho(x,y)+\varepsilon.</math>
+* Метрическое пространство <math>(X,\rho)</math> называется ''геодезическим'', если любые две точки <math>X</math> можно соединить [[кратчайшая|кратчайшей]].
-Метрика <math>\rho</math> на пространстве <math>X</math> называется внутренней если для любых двух точек <math>x,y\in X</math> и <math>\varepsilon>0</math> найдётся их <math>\varepsilon</math>-середина, то есть точка <math>z_\epsilon</math> такая что
-: <math>\rho(x,z_\varepsilon),\ \rho(y,z_\varepsilon)<\tfrac12\rho(x,y)+\varepsilon.</math>
-== Связанные определения ==
-* Метрическое пространство <math>(X,\rho)</math> называется '''геодезическим''', если любые две точки <math>X</math> можно соединить [[кратчайшая|кратчайшей]].
 == Свойства ==
-* [[Полное пространство|Полное]] [[метрическое пространство]] <math>(X,\rho)</math> с внутренней метрикой обладает следующим свойством: для любых двух точек <math>x,y\in X</math> и <math>\varepsilon>0</math> найдётся кривая длины <math><\rho(x,y)+\varepsilon</math> соединяющая <math>x</math> и <math>y</math>
+* Если <math>(X,\rho)</math> — пространство с внутренней метрикой, то для любых двух точек <math>x,y\in X</math> и любого <math>\varepsilon>0</math> существует их ''<math>\varepsilon</math>-середина''.
+**Лемма Менгера: В случае, когда [[метрическое пространство]] <math>(X,\rho)</math> [[Полное метрическое пространство|полное]], имеет место и обратное утверждение: если для любых двух точек <math>x,y\in X</math> и любого <math>\varepsilon>0</math> существует их ''<math>\varepsilon</math>-середина'', то эта метрика внутренняя.
-* [[Теорема Хопфа — Ринова]]: Если <math>(X,\rho)</math> [[локально компактное пространство|локально компактное]] [[Полное пространство|полное]] [[метрическое пространство]] с внутренней метрикой, то любые две точки <math>X</math> можно соединить кратчайшей.
+* Полное метрическое пространство <math>(X,\rho)</math> с внутренней метрикой обладает следующим свойством: для любых двух точек <math>x,y\in X</math> и <math>\varepsilon>0</math> найдётся кривая длины <math><\rho(x,y)+\varepsilon,</math> соединяющая точки <math>x</math> и <math>y</math>.
-** Более того, пространство <math>X</math> является [[ограниченно компактное пространство|ограниченно компактным]] (то есть все [[ограниченное множество|ограниченные]] [[замкнутое подмножество|замкнутые подмножества]] <math>X</math> являются [[компактное пространство|компактными]])
+*В полном метрическом пространстве с внутренней метрикой длина кратчайшей совпадает с расстоянием между её концами.
+* [[Теорема Хопфа — Ринова]]: Если <math>(X,\rho)</math> — [[локально компактное пространство|локально компактное]] [[Полное метрическое пространство|полное]] [[метрическое пространство]] с внутренней метрикой, то любые две точки <math>X</math> можно соединить кратчайшей. Более того, пространство <math>X</math> является [[ограниченно компактное пространство|ограниченно компактным]] (то есть все [[ограниченное множество|ограниченные]] [[замкнутое подмножество|замкнутые подмножества]] <math>X</math> являются [[компактное пространство|компактными]]).
+*Локально компактное пространство с внутренней метрикой является геодезическим.
+== Примеры ==
+* [[Риманово многообразие]]
+* [[Субриманово многообразие]]
+* [[Финслерова геометрия]]
 == Литература ==
-*Бураго Д.Ю., Бураго Ю.Д., Иванов С.В., Курс метрической геометрии, ISBN: 5-93972-300-4
+* ''Бураго Д.Ю., Бураго Ю.Д., Иванов С.В.'', Курс метрической геометрии. — Москва-Ижевск, Институт компьютерных исследований, 2004. ISBN 5-93972-300-4
+[[Категория:Дифференциальная геометрия и топология]]
 [[Категория:Метрическая геометрия]]
+[[Категория:Структуры на многообразиях]]
-[[en:Intrinsic metric]]

Внутренняя метрика: различия между версиями

Текущая версия от 04:00, 30 декабря 2023

Содержание

Определения

Связанные определения

Свойства

Примеры

Литература

Навигация

Внутренняя метрика: различия между версиями

Текущая версия от 04:00, 30 декабря 2023

Определения

Связанные определения

Свойства

Примеры

Литература

Навигация

Поиск