WikiDer > Глоссарий римановой и метрической геометрии

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: «Глоссарий римановой и метрической геометрии» – Новости · газеты · книги · ученый · JSTOR (Декабрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Это глоссарий некоторых терминов, используемых в Риманова геометрия и метрическая геометрия - не охватывает терминологию дифференциальная топология.

Следующие статьи также могут быть полезны; они либо содержат специализированную лексику, либо предоставляют более подробное изложение определений, приведенных ниже.

• Подключение
• Кривизна
• Метрическое пространство
• Риманово многообразие

Смотрите также:

• Глоссарий общей топологии
• Глоссарий дифференциальной геометрии и топологии
• Список тем по дифференциальной геометрии

Если не указано иное, буквы Икс, Y, Z ниже обозначены метрические пространства, M, N обозначают римановы многообразия, |ху| или же ${ displaystyle | xy | _ {X}}$ обозначает расстояние между точками Икс и у в Икс. Курсив слово обозначает ссылку на сам глоссарий.

Предостережение: многие термины в римановой и метрической геометрии, такие как выпуклая функция, выпуклый набор и другие, не имеют точно такого же значения, как в общем математическом использовании.

А

Пространство Александрова обобщение римановых многообразий с верхними, нижними или интегральными границами кривизны (последнее работает только в размерности 2)

Почти плоский коллектор

Дуговая изометрия такой же как изометрия пути.

Автопараллельный такой же как полностью геодезический

B

Барицентр, видеть центр массы.

билипшицево карта. Карта ${ displaystyle f: от X до Y}$ называется билипшицевым, если существуют положительные постоянные c и C такой, что для любого Икс и у в Икс

${ displaystyle c | xy | _ {X} leq | f (x) f (y) | _ {Y} leq C | xy | _ {X}}$

Функция Буземана учитывая луч, γ: [0, ∞) →Икс, функция Буземана определяется формулой

${ displaystyle B _ { gamma} (p) = lim _ {t to infty} (| gamma (t) -p | -t)}$

C

Теорема Картана – Адамара. - это утверждение, что связное односвязное полное риманово многообразие неположительной секционной кривизны диффеоморфно р^п через экспоненциальную карту; для метрических пространств утверждение, что связное односвязное полное геодезическое метрическое пространство неположительной кривизны в смысле Александрова является (глобально) CAT (0) пробел.

Картан расширенный Эйнштейн Общая теория относительности к Теория Эйнштейна – Картана, используя геометрию Римана-Картана вместо римановой геометрии. Это расширение предоставляет аффинное кручение, что позволяет использовать несимметричные тензоры кривизны и включать спин-орбитальная связь.

Центр массы. Точка q ∈ M называется центром масс точек ${ displaystyle p_ {1}, p_ {2}, dots, p_ {k}}$ если это точка глобального минимума функции

${ Displaystyle е (х) = сумма _ {я} | р_ {я} х | ^ {2}}$

Такая точка уникальна, если все расстояния ${ displaystyle | p_ {i} p_ {j} |}$ меньше чем радиус выпуклости.

Символ Кристоффеля

Сжимающийся коллектор

Полное пространство

Завершение

Конформная карта карта, сохраняющая углы.

Конформно плоский а M является конформно плоским, если он локально конформно эквивалентен евклидову пространству, например стандартная сфера конформно плоская.

Сопряженные точки два очка п и q на геодезической ${ displaystyle gamma}$ называются сопрягать если есть поле Якоби на ${ displaystyle gamma}$ который имеет ноль в п и q.

Выпуклая функция. Функция ж на римановом многообразии является выпуклым, если для любой геодезической ${ displaystyle gamma}$ функция ${ displaystyle f circ gamma}$ является выпуклый. Функция ж называется ${ displaystyle lambda}$-выпуклый, если для любой геодезической ${ displaystyle gamma}$ с натуральным параметром ${ displaystyle t}$, функция ${ displaystyle f circ gamma (t) - lambda t ^ {2}}$ является выпуклый.

Выпуклый Подмножество K риманова многообразия M называется выпуклой, если для любых двух точек из K Существует кратчайший путь соединяя их, что полностью лежит в K, смотрите также полностью выпуклый.

Котангенсный пучок

Ковариантная производная

Вырезать локус

D

Диаметр метрического пространства - это супремум расстояний между парами точек.

Развивающаяся поверхность это поверхность изометрический к самолету.

Расширение карты между метрическими пространствами - это точная нижняя грань чисел L такая, что данная карта L-Липшиц.

E

Экспоненциальная карта: Экспоненциальное отображение (теория Ли), Экспоненциальное отображение (риманова геометрия)

F

Метрика Финслера

Первая фундаментальная форма для встраивание или погружение это откат из метрический тензор.

грамм

Геодезический это изгиб что локально минимизирует расстояние.

Геодезический поток это поток на касательный пучок TM многообразия M, порожденный векторное поле чей траектории имеют форму ${ Displaystyle ( гамма (т), гамма '(т))}$ куда ${ displaystyle gamma}$ это геодезический.

Сходимость Громова-Хаусдорфа

Геодезическое метрическое пространство - метрическое пространство, в котором любые две точки являются конечными точками минимизирующего геодезический.

ЧАС

Пространство Адамара является полным односвязным пространством неположительной кривизны.

Horosphere набор уровней Функция Буземана.

я

Радиус приемистости Радиус приемистости в точке п риманова многообразия - наибольший радиус, для которого экспоненциальная карта в п это диффеоморфизм. В Радиус инъективности риманова многообразия - нижняя грань радиусов приемистости во всех точках. Смотрите также вырезать место.

Для полных многообразий, если радиус инъективности при п конечное число р, то либо существует геодезическая длины 2р который начинается и заканчивается в п или есть смысл q сопрягать с п (видеть сопряженная точка выше) и на расстоянии р из п. Для закрыто Риманово многообразие радиус инъективности равен либо половине минимальной длины замкнутой геодезической, либо минимальному расстоянию между сопряженными точками на геодезической.

Инфранилмногообразие Для односвязной нильпотентной группы Ли N действуя на себя левым умножением и конечной группой автоморфизмов F из N можно определить действие полупрямой продукт ${ Displaystyle N rtimes F}$ на N. Орбитальное пространство N дискретной подгруппой ${ Displaystyle N rtimes F}$ который свободно действует на N называется инфранилмногообразие. Инфранилмногообразие конечно покрывается нильмногообразие.

Изометрия карта, сохраняющая расстояния.

Внутренняя метрика

J

Поле Якоби Поле Якоби - это векторное поле на геодезический γ, которое можно получить следующим образом: возьмем гладкое однопараметрическое семейство геодезических ${ displaystyle gamma _ { tau}}$ с ${ displaystyle gamma _ {0} = gamma}$, то поле Якоби описывается формулой

${ Displaystyle J (t) = left. { frac { partial gamma _ { tau} (t)} { partial tau}} right | _ { tau = 0}.}$

Кривая Иордании

K

Векторное поле убийства

L

Метрическая длина такой же как внутренняя метрика.

Леви-Чивита связь является естественным способом дифференцировать векторные поля на римановых многообразиях.

Липшицева конвергенция сходимость, определяемая липшицевой метрикой.

Расстояние Липшица между метрическими пространствами - это нижняя грань чисел р такой, что существует биективное билипшицев отображение между этими пространствами с константами exp (-р), ехр (р).

Карта Липшица

Логарифмическая карта является правым обратным экспоненциальному отображению.

M

Средняя кривизна

Метрический шар

Метрический тензор

Минимальная поверхность - подмногообразие с нулевой средней кривизной (вектором).

N

Естественная параметризация - параметризация по длине.

Сеть. Подмножество S метрического пространства Икс называется ${ displaystyle epsilon}$-нет, если для любой точки в Икс есть смысл в S на расстоянии ${ displaystyle leq epsilon}$. Это отличается от топологические сети которые обобщают пределы.

Нильмногообразие: Элемент минимального множества многообразий, включающий точку и обладающий следующим свойством: любое ориентированное ${ Displaystyle S ^ {1}}$-расслоение над нильмногообразием является нильмногообразием. Его также можно определить как коэффициент связного нильпотентный Группа Ли по решетка.

Обычный комплект: связанный с вложением многообразия M в окружающее евклидово пространство ${ Displaystyle { mathbb {R}} ^ {N}}$, нормальное расслоение - это векторное расслоение, слой которого в каждой точке п является ортогональным дополнением (в ${ Displaystyle { mathbb {R}} ^ {N}}$) касательного пространства ${ displaystyle T_ {p} M}$.

Нерасширяющаяся карта такой же как короткая карта

п

Параллельный транспорт

Многогранное пространство а симплициальный комплекс с такой метрикой, что каждый симплекс с индуцированной метрикой изометричен симплексу в Евклидово пространство.

Основная кривизна - максимальная и минимальная нормальные кривизны в точке на поверхности.

Основное направление - направление главных искривлений.

Изометрия пути

Правильное метрическое пространство - метрическое пространство, в котором каждое закрытый мяч является компактный. Эквивалентно, если каждое замкнутое ограниченное подмножество компактно. Каждое собственное метрическое пространство полный.

Q

Квазигеодезический имеет два значения; здесь мы приводим самые распространенные. Карта ${ displaystyle f: от I до Y}$ (куда ${ Displaystyle I substeq mathbb {R}}$ является подотрезком) называется квазигеодезический если есть константы ${ displaystyle K geq 1}$ и ${ displaystyle C geq 0}$ так что для каждого ${ displaystyle x, y in I}$

${ Displaystyle {1 над K} d (x, y) -C leq d (f (x), f (y)) leq Kd (x, y) + C.}$

Обратите внимание, что квазигеодезическая не обязательно является непрерывной кривой.

Квазиизометрия. Карта ${ displaystyle f: от X до Y}$ называется квазиизометрия если есть константы ${ displaystyle K geq 1}$ и ${ displaystyle C geq 0}$ такой, что

${ Displaystyle {1 над K} d (x, y) -C leq d (f (x), f (y)) leq Kd (x, y) + C.}$

и каждая точка в Y имеет расстояние не больше C с какой-то точки ж(ИксОтметим, что квазиизометрия не считается непрерывной. Например, любое отображение компактных метрических пространств является квазиизометрией. Если существует квазиизометрия от X до Y, то X и Y называются квазиизометрический.

р

Радиус метрического пространства - это нижняя грань радиусов метрических шаров, которые полностью содержат пространство.

Радиус выпуклости в какой-то момент п риманова многообразия - это наибольший радиус шара, который является выпуклый подмножество.

Рэй - односторонняя бесконечная геодезическая, минимизирующая на каждом интервале

Тензор кривизны Римана

Риманово многообразие

Риманово погружение отображение между римановыми многообразиями, которое погружение и субметрия в то же время.

S

Вторая фундаментальная форма является квадратичной формой на касательном пространстве гиперповерхности, обычно обозначаемой II, что эквивалентно описанию оператор формы гиперповерхности,

${ Displaystyle { текст {II}} (v, w) = langle S (v), w rangle}$

Его также можно обобщить на произвольную коразмерность, и в этом случае это квадратичная форма со значениями в нормальном пространстве.

Оператор формы для гиперповерхности M - линейный оператор в касательных пространствах, S_п: Т_пM→Т_пM. Если п единичное нормальное поле к M и v является касательным вектором, то

${ Displaystyle S (v) = pm nabla _ {v} n}$

(нет стандартного соглашения, использовать ли + или - в определении).

Краткая карта - это карта, не увеличивающая расстояние.

Гладкий коллектор

Многообразие Sol фактор связного разрешимая группа Ли по решетка.

Субметрия короткая карта ж между метрическими пространствами называется субметрией, если существует R> 0 так что для любой точки Икс и радиус г у нас есть образ метрики р-бол - это р-бол, т.е.

${ Displaystyle е (В_ {г} (х)) = В_ {г} (е (х))}$

Субриманово многообразие

Систола. В k-систолия M, ${ displaystyle syst_ {k} (M)}$, - минимальный объем k-цикл негомологичен нулю.

Т