WikiDer > Комплексная геодезическая

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

Определение

Позволять (Икс, || ||) быть сложным Банахово пространство и разреши B быть открыто единичный мяч в Икс. Обозначим через Δ открытый единичный диск в комплексная плоскость C, задуманный как Модель диска Пуанкаре для 2-мерного реального / 1-мерного комплекса гиперболическая геометрия. Пусть метрика Пуанкаре ρ на Δ определяется выражением

${displaystyle ho (a, b) = anh ^ {- 1} {frac {| a-b |} {| 1- {ar {a}} b |}}}$

и обозначим соответствующие Метрика Каратеодори на B к d. Затем голоморфная функция ж : Δ →B считается комплексная геодезическая если

${displaystyle d (f (w), f (z)) = ho (w, z),}$

по всем пунктам ш и z в Δ.

Свойства и примеры сложных геодезических

• Данный ты ∈ Икс с ||ты|| = 1, карта ж : Δ →B данный ж(z) = цзу является сложной геодезической.
• Геодезические можно перепараметризовать: если ж является сложной геодезической и грамм ∈ Aut (Δ) - би-голоморфная автоморфизм диска Δ, то ж о грамм также является сложной геодезической. Фактически любая сложная геодезическая ж₁ с тем же изображением, что и ж (т.е. ж₁(Δ) =ж(Δ)) возникает как такая репараметризация ж.
• Если

${displaystyle d (f (0), f (z)) = ho (0, z)}$

для некоторых z ≠ 0, то ж является сложной геодезической.

• Если

${displaystyle alpha (f (0), f '(0)) = 1,}$

куда α обозначает длину Каратеодори касательного вектора, то ж является сложной геодезической.

Рекомендации

• Эрл, Клиффорд Дж. И Харрис, Лоуренс А. и Хаббард, Джон Х. и Митра, Судеб (2003). «Лемма Шварца и псевдометрики Кобаяши и Каратеодори на комплексных банаховых многообразиях». В Комори, Ю.; Маркович, В .; Series, C. (ред.). Клейновы группы и трехмерные гиперболические многообразия (Warwick, 2001). Лондонская математика. Soc. Лекция Сер. 299. Кембридж: Cambridge Univ. Нажмите. С. 363–384.CS1 maint: несколько имен: список авторов (связь)