Модель Пуанкаре у верхній півплощині

модель двовимірної гіперболічної геометрії

Модель Пуанкаре у верхній півплощині — це верхня половина площини , позначувана далі як H, разом з метрикою (метрикою Пуанкаре), яка робить її моделлю двовимірної гіперболічної геометрії (геометрії Лобачевського).

Паралельні промені в моделі Пуанкаре у верхній півплощині

Еквівалентно, модель Пуанкаре у верхній півплощині іноді описують як комплексну площину, в якій уявна компонента (координата y, згадана вище) додатна.

Модель Пуанкаре у верхній півплощині носить ім'я Анрі Пуанкаре, але її створив Еудженіо Бельтрамі, який використав її разом з моделлю Кляйна і моделлю Пуанкаре в крузі, щоб показати, що гіперболічна геометрія настільки ж несуперечлива[en], наскільки несуперечлива евклідова геометрія.

Ця модель конформна, що означає, що кути, виміряні в точці моделі, дорівнюють кутам на гіперболічній площині.

Перетворення Келі дає ізометрію між моделлю в півплощині і моделлю Пуанкаре в крузі.

Цю модель можна узагальнити до моделі (n+1)-вимірного гіперболічного простору, замінивши дійсне число x вектором у n-вимірному евклідовому векторному просторі.

МетрикаРедагувати

Метрика моделі в півплощині   має вигляд

 ,

де   вимірює довжину вздовж (можливо кривої) лінії. Прямі на гіперболічній площині (геодезичні для цього метричного тензора, тобто криві, що мінімізують відстань), подаються на цій моделі дугами кіл, перпендикулярними до осі   (півкола з центром на осі  ) і вертикальними променями, перпендикулярними до осі  .

Обчислення відстаніРедагувати

У загальному випадку відстань між двома точками вимірюється в цій метриці вздовж геодезичних і дорівнює:

 

де arch і arsh — це обернені гіперболічні функції

 

Деякі часткові випадки можна спростити:

 [1].
 
 

Іншим способом обчислення відстані між двома точками є довжина дуги вздовж (евклідового) півкола:

 

де   — точки півкола (кінці), що лежать на граничній прямій, а   — це евклідова довжина сегмента кола, що з'єднує точки   і   в цій моделі.

Особливі точки і кривіРедагувати

  • Прямі, геодезичні (найкоротші шляхи між точками, розташованими на ній) моделюються:
  • півколами, кінці яких лежать на осі  ;
  • Вертикальними променями, ортогональними осі  .
  • Кола (криві, рівновіддалені від центральної точки) з центром у точці   і радіусом   моделюються:
колами з центром   і радіусом  
  • Гіперцикл (або еквідистанта, крива, віддалена від гіперболічної прямої, її осі або бази) моделюється
  • або дугою кола, яка перетинає вісь   у тих самих двох нескінченно віддалених точках, що й півколо, яка є базою, але має з віссю   гострий або тупий (не прямий) кут.
  • або прямою, яка перетинає вісь   у тій самій точці, що й вертикальний промінь, який моделює базу, але не перпендикулярною до осі  .
  • Орицикл (межа сімейства кіл зі спільною дотичною, що проходять через фіксовану точку і лежать по один бік від цієї дотичної, яка утворюється при прямуванні радіуса цих кіл до нескінченності) моделюється

Короткий огляд евклідових кілРедагувати

Нехай дано евклідове коло з центром   і радіусом  .

  • Якщо евклідове коло повністю лежить у верхній півплощині, воно представляє гіперболічне коло з центром   і радіусом  .
  • Якщо евклідове коло повністю лежить у верхній півплощині і дотикається до межі, вона представляє орицикл із центром у нескінченно віддаленій точці з  .
  • Якщо коло перетинає межу ортогонально ( ), воно представляє гіперболічну пряму.
  • Якщо коло перетинає межу не ортогонально, воно представляє гіперцикл.

Побудови за допомогою циркуля та лінійкиРедагувати

Тут показано, як у моделі Пуанкаре виконувати побудови за допомогою циркуля та лінійки[2]. Наприклад, як побудувати в евклідовій півплощині півколо, яке моделює гіперболічну пряму, що проходить через дві точки.

Побудова гіперболічної прямої, що проходить через дві точкиРедагувати

 
Побудова прямої (червона), що проходить через дві точки A і B.
M — середина відрізка.
O — центр отриманого кола (гіперболічної прямої).

Будуємо відрізок, що з'єднує дві точки. Будуємо перпендикуляр, що проходить через середину відрізка. Знаходимо перетин цього перпендикуляра з віссю  . Будуємо коло з центром у точці перетину, що проходить через дані точки (тільки верхню частину вище від  ).

Якщо ці дві точки лежать на вертикальному промені, будуємо його (від осі  ), цей промінь і буде шуканою прямою.

Побудова кола з заданим центром, що проходить через точкуРедагувати

 
Побудова кола з центром в A, що проходить через точку B (випадок, у якому точки A і B не лежать на одній вертикальній прямій).
Пряма, що проходить через A і B будується як вище.
D — (евклідів) центр шуканого кола, гіперболічним центром того ж кола є точка A.

Побудуємо гіперболічне коло з центром A, що проходить через точку B.

  • Якщо точки A і B не лежать на вертикальній прямій: Будувати гіперболічну пряму (півколо), що проходить через дві задані точки, як у попередньому випадку. Будуємо дотичну до цього півкола в точці B. Проводимо перпендикуляр до осі   через точку A. Знаходимо перетин цих двох прямих, щоб отримати центр D модельного кола. Будуємо модельне коло з центром у D, що проходить через задану точку B.
  • Якщо точки A і B лежать на вертикальній прямій, і точка A лежить вище від точки B:

Будуємо коло навколо перетину вертикальної прямої та осі x, яке проходить через точку A. Будуємо горизонтальну пряму через точку B. Будуємо дотичну до кола в точці перетину з цією горизонтальною прямою.

Середина відрізка між перетином дотичної з вертикальною прямою і B є центром модельного кола. Будуємо модельного коло навколо центру, що проходить через точку B.

  • Якщо точки A і B лежать на вертикальній осі, і центр A лежить нижче від точки B:

Будуємо коло навколо перетину вертикальної прямої та осі x, яке проходить через заданий центр A. Будуємо дотичну до кола, що проходить через точку B. Будуємо горизонтальну пряму, що проходить через точку дотику, і знаходимо її перетин з вертикальною прямою.

Середня точка між отриманою точкою перетину і точкою є центром модельного кола. Будуємо модельне коло з новим центром, яке проходить через точку B.

Знайти центр заданого (гіперболічного) колаРедагувати

Опускаємо перпендикуляр p з евклідового центра кола на вісь x.

Нехай точка q є основою цього перпендикуляра на осі x.

Будуємо пряму, дотичну до кола, що проходить через точку q.

Будуємо півколо h з центром у точці q, що проходить через точку дотику.

Гіперболічним центром є точка, в якій h і p перетинаються[3].

Групи симетріїРедагувати

 
Зірчаста правильна семикутна мозаїка моделі

Проєктивна лінійна група   діє на рімановій сфері перетвореннями Мебіуса. Підгрупа, яка відображає верхню половину площини   у себе — це  , що складається з перетворень з дійсними коефіцієнтами, яка діє транзитивно й ізометрично на верхній половині площини, що робить її однорідним простором.

Є чотири тісно пов'язані групи Лі, які діють на верхню половину площини дробово-лінійними перетвореннями, що зберігають гіперболічну відстань.

  • Спеціальна лінійна група SL(2,R), яка складається з 2х2 матриць із дійсними елементами і визначником +1. Зауважимо, що доволі часто згадують  , маючи на увазі  .
  • Група  , що складається з 2х2 матриць з дійсними елементами з визначником +1 або -1. Зауважимо, що   є підгрупою цієї групи.
  • Проєктивна спеціальна лінійна група PSL(2,R)[en] , що складається з матриць із   за модулем ± одиничної матриці (тобто це факторгрупа за групою, що складається з +E і -E).
  • Група   також є проєктивною групою і, також за модулем  .   міститься в ній як нормальна підгрупа з індексом два; інший клас суміжності складається з матриць 2х2 з дійсними елементами і визначником −1, також за модулем  .

Зв'язок цих груп з моделлю Пуанкаре такий:

  • Група всіх рухів  , іноді позначувана як  , ізоморфна  . Вона включає як рухи, що зберігають орієнтацію, так і рухи, що її змінюють. Відображення, що змінює орієнтацію (дзеркальне відображення) — це  .
  • Група рухів, що зберігають орієнтацію,  , іноді позначувана як  , ізоморфна  .

Важливими підгрупами групи ізометрії є фуксові групи.

Часто розглядається модулярная група  , яка важлива в двох аспектах. По-перше, це група лінійних перетворень площини, які зберігають ґратку точок. Таким чином, функції, періодичні на квадратній ґратці, такі як модулярні форми і еліптична функція, успадковують симетрію ґратки  . По-друге,   є, звичайно, підгрупою  , а отже, має гіперболічну поведінку, закладену в ній. Зокрема,   можна використати для замощення гіперболічної площини комірками рівної площі.

Ізометрична симетріяРедагувати

Дія проєктивної спеціальної лінійної групи   на   визначається як

 

Зауважимо, що дія транзитивна, оскільки для будь-яких   існує елемент  , такий, що  . Також, якщо для всіх   із    , то  .

Стабілізатор або стаціонарна підгрупа елемента   із   — це множина  , які залишають   незмінним —  . Стабілізатор   — група обертання

 

Оскільки будь-який елемент   із   відображається в i деяким елементом  , це означає, що стаціонарна група будь-якого елемента   ізоморфна  . Таким чином,  . Також розшаровання дотичних векторів одиничної довжини на верхній половині площини, зване одиничним дотичним розшаруванням[en], ізоморфне  .

Верхня половина площини замощується вільними регулярними множинами[en] модулярною групою  .

ГеодезичніРедагувати

Геодезичні для метричного тензора є півколами з центрами на осі   і вертикальними променями з початком на осі  .

Геодезичні зі швидкістю одиниця, що йдуть вертикально через точку  , задають виразом

 

Оскільки   діє транзитивно на верхній половині площини шляхом ізометрій, ця геодезична відображається в інші геодезичні за допомогою дії  . Таким чином, геодезична загального вигляду з одиничною швидкістю задається як

 

Це дає повний опис геодезичного потоку розшаровання дотичних одиничної довжини (комплексне лінійне розшаровання[en]) на верхній половині площини.

Модель у тривимірних просторахРедагувати

Метрика моделі у півпросторі

 

задається виразом

 ,

де s вимірює відстань уздовж (можливо) кривої лінії. Прямі в гіперболічному просторі (геодезичні для цього метричного тензора, тобто криві, які мінімізують відстань), подаються в цій моделі дугами кіл, що виходять перпендикулярно від площини   (півкола, центри яких лежать на площині  ) і променями, що виходять перпендикулярно від площини  .

Відстань між двома точками вимірюється в цій метриці вздовж геодезичної і дорівнює

 
 

Модель в n-вимірному просторіРедагувати

Модель можна узагальнити до моделі (n+1)-вимірного простору Лобачевського, замінивши дійсні числа   векторами в n-вимірному евклідовому просторі.

Див. такожРедагувати

ПриміткиРедагувати

  1. mathematics stackexchange. Процитовано 19 вересня 2015. 
  2. Bochaca, Judit Abardia. Tools to work with the Half-Plane model. Tools to work with the Half-Plane mode. Архів оригіналу за 22 лютого 2018. Процитовано 25 червня 2015. 
  3. Cannon, Floyd, Kenyon, Parry, 1997, с. 87.

ЛітератураРедагувати

  • Cannon J. W., Floyd W. J., Kenyon R., Parry W. R. Figure 19. Constructing the hyperbolic center of a circle // Hyperbolic Geometry. — MSRI Publications, 1997. — Т. Volume 31. — (Flavors of Geometry)
  • Eugenio Beltrami. Teoria fondamentale degli spazi di curvatura constant // Annali. di Mat.. — 1868. — Т. 2 (9 лютого). — С. 232–255. — (ser II).
  • Henri Poincaré. Théorie des Groupes Fuchsiens // Acta Mathematica. — 1882. — Т. 1 (9 лютого). — С. 1. Перша стаття легендарної серії про модель у верхній півплощині.
  • Hershel M. Farkas, Irwin Kra. Riemann Surfaces. — New York : Springer-Verlag, 1980. — ISBN 0-387-90465-4.
  • Jurgen Jost. Section 2.3 // Compact Riemann Surfaces. — New York : Springer-Verlag, 2002. — ISBN 3-540-43299-X.
  • Saul Stahl. The Poincaré Half-Plane. — Jones and Bartlett, 1993. — ISBN 0-86720-298-X.
  • John Stillwell. Numbers and Geometry. — NY : Springer-Verlag, 1998. — С. 100–104. — ISBN 0-387-98289-2.. Елементарний вступ до моделі Пуанкаре.