Гиперболическая геометрия

Чтобы узнать о других значениях, см. Гиперболический (значения) .

Линии, проходящие через данную точку P и асимптотические к линии R

Треугольник, погруженный в плоскость седловидной формы ( гиперболический параболоид ), вместе с двумя расходящимися ультрапараллельными прямыми.

В математике ( гиперболическая геометрия также называемая геометрией Лобачевского или Боляи - Лобачевского геометрией ) является неевклидовой геометрией . Постулат параллельности евклидовой геометрии заменяется следующим:

Для любой данной прямой R и точки P, не лежащей на R , в плоскости, содержащей и прямую R , и точку P, есть по крайней мере две различные прямые, проходящие через P которые не пересекают R. ,

(Сравните вышеизложенное с аксиомой Плейфэра , современной версией . Евклида постулата параллельности )

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

Гиперболоидная модель гиперболической геометрии обеспечивает представление событий на одну единицу времени в будущем в пространстве Минковского , что является основой специальной теории относительности . Каждое из этих событий соответствует быстроте в некотором направлении.

Когда геометры впервые осознали, что работают не со стандартной евклидовой геометрией, они описали свою геометрию под разными именами; Феликс Кляйн наконец дал этому предмету название гиперболическая геометрия , чтобы включить его в редко используемую сейчас последовательность эллиптической геометрии ( сферическая геометрия ), параболической геометрии ( евклидова геометрия ) и гиперболической геометрии. В бывшем Советском Союзе ее обычно называют геометрией Лобачевского, по имени одного из ее первооткрывателей, русского геометра Николая Лобачевского .

Эта страница в основном посвящена двумерной (плоской) гиперболической геометрии, а также различиям и сходствам между евклидовой и гиперболической геометрией. См. Гиперболическое пространство для получения дополнительной информации о гиперболической геометрии, расширенной до трех и более измерений.

Характеристики

Связь с евклидовой геометрией

Сравнение эллиптической, евклидовой и гиперболической геометрии в двух измерениях.

Гиперболическая геометрия более тесно связана с евклидовой геометрией, чем кажется: единственным аксиоматическим отличием является постулат параллельности . Когда постулат параллельности удаляется из евклидовой геометрии, полученная геометрия становится абсолютной геометрией . Существует два вида абсолютной геометрии: евклидова и гиперболическая. Все теоремы абсолютной геометрии, включая первые 28 положений первой книги «Начал» , Евклида действительны в евклидовой и гиперболической геометрии. Предложения 27 и 28 первой книги «Начал» Евклида доказывают существование параллельных/непересекающихся прямых.

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

Линии

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

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

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

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

Непересекающиеся/параллельные линии

проходящие через данную точку P и асимптотические к линии R. Линии ,

Непересекающиеся линии в гиперболической геометрии также обладают свойствами, отличающимися от непересекающихся линий в евклидовой геометрии :

Для любой прямой R и любой точки P , не лежащей на R , в плоскости, содержащей прямую R и точку P, есть по крайней мере две различные прямые, проходящие через P которые не пересекают R. ,

проходит Это означает, что через P не пересекающих R. бесконечное число компланарных прямых ,

Эти непересекающиеся линии делятся на два класса:

• Две линии ( x и y на диаграмме) являются предельными параллелями (иногда называемыми критически параллельными, хоропараллельными или просто параллельными): в направлении каждой из идеальных точек на «концах» R имеется по одной линии , асимптотически приближающейся к R. , всегда приближаясь к R , но никогда не встречая его.
• Все остальные непересекающиеся линии имеют точку минимального расстояния и расходятся с обеих сторон от этой точки и называются ультрапараллельными , расходящимися параллельными или иногда непересекающимися.

Некоторые геометры просто используют фразу « параллельные линии» для обозначения « ограничивающих параллельных линий», а ультрапараллельные линии означают просто непересекающиеся .

Эти ограничивающие параллели составляют угол θ с PB ; этот угол зависит только от гауссовой кривизны плоскости и расстояния РВ и называется углом параллельности .

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

Круги и диски

В гиперболической геометрии длина окружности радиуса r больше, чем $2\pi r$.

Позволять $R={\frac {1}{\sqrt {-K}}}$, где $K$ – гауссова кривизна плоскости. В гиперболической геометрии $K$ отрицательно, поэтому квадратный корень имеет положительное число.

Тогда длина окружности радиуса r равна:

$2\pi R\sinh {\frac {r}{R}}\,.$

А площадь вложенного диска равна:

$4\pi R^{2}\sinh ^{2}{\frac {r}{2R}}=2\pi R^{2}\left(\cosh {\frac {r}{R}}-1\right)\,.$

Поэтому в гиперболической геометрии отношение длины окружности к ее радиусу всегда строго больше, чем $2\pi$, хотя его можно сделать сколь угодно близким, выбрав достаточно маленький круг.

Если гауссова кривизна плоскости равна -1, то геодезическая кривизна круга радиуса r равна: ${\frac {1}{\tanh(r)}}$

Гиперциклы и орициклы

Гиперцикл и псевдогон в модели диска Пуанкаре

Основные статьи: Гиперцикл (гиперболическая геометрия) и орицикл.

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

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

Через каждую пару точек проходит два орицикла. Центры орициклов являются идеальными точками серединного перпендикуляра отрезка между ними.

Учитывая любые три различные точки, все они лежат на прямой, гиперцикле , орицикле или окружности.

Длина . отрезка — это кратчайшее расстояние между двумя точками

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

Длины дуг обоих орициклов, соединяющих две точки, равны. И они длиннее, чем длина дуги любого гиперцикла, соединяющего эти точки, и короче, чем дуга любой окружности, соединяющей две точки.

Если гауссова кривизна плоскости равна -1, то геодезическая кривизна орицикла равна 1, а гиперцикла находится между 0 и 1.

Треугольники

Основная статья: Гиперболический треугольник

В отличие от евклидовых треугольников, где сумма углов всегда равна π радиан (180°, прямой угол ), в гиперболической геометрии сумма углов гиперболического треугольника всегда строго меньше π радиан (180°, прямой угол ). Разница называется дефектом . В общем случае дефект выпуклого гиперболического многоугольника с $n$ стороны — это сумма углов, вычтенная из $(n-2)\cdot 180^{\circ }$.

Площадь гиперболического треугольника определяется его дефектом в радианах, умноженным на R. ² , что также верно для всех выпуклых гиперболических многоугольников. Как следствие, все гиперболические треугольники имеют площадь, меньшую или равную R. ² π. Площадь гиперболического идеального треугольника , у которого все три угла равны 0°, равна этому максимуму.

Как и в евклидовой геометрии , каждый гиперболический треугольник имеет вписанную окружность . В гиперболической геометрии, если все три его вершины лежат на орицикле или гиперцикле , то треугольник не имеет описанной окружности .

Как и в сферической и эллиптической геометрии , в гиперболической геометрии, если два треугольника подобны, они должны быть конгруэнтны.

Правильный апейрогон и псевдогон

Апейрогон в и описанный орицикл модели диска Пуанкаре

Основная статья: Апейрогон § Гиперболическая геометрия

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

В евклидовой геометрии единственный способ построить такой многоугольник — это сделать так, чтобы длины сторон стремились к нулю и апейрогон был неотличим от круга, или сделать так, чтобы внутренние углы стремились к 180 градусам и апейрогон приближался к прямой линии.

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

стороны и угла Биссектрисы будут, в зависимости от длины стороны и угла между сторонами, предельной или расходящейся параллельностью (см. линии выше ). Если биссектрисы являются предельной параллелью, то это апейрогон, и его можно вписать и описать концентрическими орициклами .

Если биссектрисы расходятся параллельно, то это псевдогон, и его можно вписать и описать гиперциклами (все вершины находятся на одинаковом расстоянии от прямой, оси, а также середины боковых отрезков на равном расстоянии от одной и той же оси).

Мозаика

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

См. Также: Регулярная гиперболическая мозаика.

Ромбитригептагональная мозаика гиперболической плоскости в модели диска Пуанкаре

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

Существует бесконечное количество однородных мозаик, основанных на треугольниках Шварца ( p q r ), где 1/ p + 1/ q + 1/ r < 1, где p , q , r — каждый порядок симметрии отражения в трех точках фундаментальная область треугольника , группа симметрии является гиперболической группой треугольников . Существует также бесконечно много однородных мозаик, которые нельзя создать из треугольников Шварца, некоторые, например, требуют четырехугольников в качестве фундаментальных областей.

Стандартизованная гауссова кривизна

Хотя гиперболическая геометрия применима к любой поверхности с постоянной отрицательной гауссовой кривизной , обычно предполагается масштаб, в котором кривизна K равна −1.

Это приводит к упрощению некоторых формул. Некоторые примеры:

• Площадь треугольника равна дефекту его угла в радианах .
• Площадь орициклического сектора равна длине его орициклической дуги.
• Дуга орицикла , в которой линия, касающаяся в одной конечной точке, ограничивается радиусом, проходящим через другую конечную точку, имеет длину 1.
• Отношение длин дуг между двумя радиусами двух концентрических орициклов , где орициклы находятся на расстоянии 1 друг от друга, равно e : 1.

Декартовы системы координат

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

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

Однако существуют разные системы координат для геометрии гиперболической плоскости. Все они основаны на выборе точки (начала координат) на выбранной направленной линии ( ось X ), после чего существует множество вариантов выбора.

Координаты Лобачевского x и y находятся путем опускания перпендикуляра на ось x . x будет меткой основания перпендикуляра. у будет расстояние по перпендикуляру данной точки от ее основания (положительное с одной стороны и отрицательное с другой).

Другая система координат измеряет расстояние от точки до орицикла через начало координат с центром вокруг $(0,+\infty )$ и длина по этому орициклу.

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

Расстояние

Картезианский вариант Система координат ( x, y ) на ориентированной гиперболической плоскости строится следующим образом. Выберите линию в гиперболической плоскости вместе с ориентацией и началом координат o на этой линии. Затем:

• координата x точки — это расстояние со знаком ее проекции на линию (основание отрезка, перпендикулярного линии из этой точки) до начала координат;
• Координата y со знаком — это расстояние от точки до линии, причем знак соответствует тому, находится ли точка на положительной или отрицательной стороне ориентированной линии.

Расстояние между двумя точками, представленными ( x_i, y_i ), i=1,2 в этой системе координат, равно $$\operatorname {dist} (\langle x_{1},y_{1}\rangle ,\langle x_{2},y_{2}\rangle )=\operatorname {arcosh} \left(\cosh y_{1}\cosh(x_{2}-x_{1})\cosh y_{2}-\sinh y_{1}\sinh y_{2}\right)\,.$$

Эту формулу можно вывести из формул о гиперболических треугольниках .

Соответствующее метрическое тензорное поле: $(\mathrm {d} s)^{2}=\cosh ^{2}y\,(\mathrm {d} x)^{2}+(\mathrm {d} y)^{2}$.

В этой системе координат прямые принимают одну из этих форм (( x , y ) — точка на линии; x ₀ , y ₀ , A и α — параметры):

ультрапараллельно x оси

$\tanh(y)=\tanh(y_{0})\cosh(x-x_{0})$

асимптотически параллельны на отрицательной стороне

$\tanh(y)=A\exp(x)$

асимптотически параллельно с положительной стороны

$\tanh(y)=A\exp(-x)$

пересекающиеся перпендикулярно

$x=x_{0}$

пересекающиеся под углом α

$\tanh(y)=\tan(\alpha )\sinh(x-x_{0})$

Как правило, эти уравнения справедливы только в ограниченной области ( значений x ). На границе этой области значение y достигает ±бесконечности. См. также Системы координат для гиперболической плоскости#Полярная система координат .

История

Смотрите также: История неевклидовой геометрии §

Со времени публикации » Евклида «Начал около 300 г. до н. э. многие геометры предпринимали попытки доказать постулат о параллельности . Некоторые пытались доказать это, предполагая его отрицание и пытаясь вывести противоречие . Первыми среди них были Прокл , Ибн аль-Хайсам (Альхасен), Омар Хайям , Насир ад-Дин ат-Туси , Витело , Герсонидес , Альфонсо , а позже Джованни Джероламо Саккери , Джон Уоллис , Иоганн Генрих Ламберт и Лежандр . Их попытки были обречены на неудачу (как мы теперь знаем, постулат о параллельности не доказуем на основе других постулатов), но их усилия привели к открытию гиперболической геометрии.

Теоремы Альхасена, Хайяма и ат-Туси о четырехугольниках , включая четырехугольник Ибн аль-Хайсама-Ламберта и четырехугольник Хайяма-Саккери , были первыми теоремами по гиперболической геометрии. Их работы по гиперболической геометрии оказали значительное влияние на ее развитие среди более поздних европейских геометров, включая Витело, Герсонида, Альфонсо, Джона Уоллиса и Саккери.

В 18 веке Иоганн Генрих Ламберт ввёл гиперболические функции. и вычислил площадь гиперболического треугольника .

События XIX века

В XIX веке гиперболическую геометрию широко исследовали Николай Иванович Лобачевский , Янош Бойяи , Карл Фридрих Гаусс и Франц Тауринус . В отличие от своих предшественников, которые просто хотели исключить постулат о параллельности из аксиом евклидовой геометрии, эти авторы осознали, что открыли новую геометрию. Гаусс написал в письме Францу Таврину в 1824 году, что построил его, но Гаусс не опубликовал свою работу. Гаусс назвал ее « неевклидовой геометрией ». в результате чего некоторые современные авторы продолжают считать «неевклидову геометрию» и «гиперболическую геометрию» синонимами. Таурин опубликовал результаты по гиперболической тригонометрии в 1826 году, утверждал, что гиперболическая геометрия самосогласована, но все же верил в особую роль евклидовой геометрии. Полная система гиперболической геометрии была опубликована Лобачевским в 1829/1830 году, а Бояи открыл ее независимо и опубликовал в 1832 году.

В 1868 году Эудженио Бельтрами представил модели (см. ниже) гиперболической геометрии и использовал их, чтобы доказать, что гиперболическая геометрия непротиворечива тогда и только тогда, когда таковой является евклидова геометрия.

Термин «гиперболическая геометрия» был введен Феликсом Клейном в 1871 году. Кляйн последовал инициативе Артура Кэли использовать преобразования проективной геометрии для создания изометрий . Идея использовала коническое сечение или квадрику для определения области и использовала перекрестное соотношение для определения метрики . Проективные преобразования, которые оставляют коническое сечение или квадрику устойчивыми, являются изометриями. «Кляйн показал, что если абсолют Кэли является вещественной кривой, то часть проективной плоскости внутри нее изометрична гиперболической плоскости...»

Для получения дополнительной истории см. статью о неевклидовой геометрии и ссылки Коксетера. и Милнор .

Философские последствия

Открытие гиперболической геометрии имело важные философские последствия. До его открытия многие философы (например, Гоббс и Спиноза ) рассматривали философскую строгость с точки зрения «геометрического метода», ссылаясь на метод рассуждения, используемый в « Евклида Началах» .

Кант в «Критике чистого разума» пришел к выводу, что пространство (в евклидовой геометрии ) и время не открываются людьми как объективные характеристики мира, но являются частью неизбежной систематической структуры для организации нашего опыта.

Говорят, что Гаусс ничего не публиковал о гиперболической геометрии из-за боязни «возмущения беотийцев ». ", что разрушило бы его статус Princeps mathematicorum (лат. "Принц математиков"). «Шум беотийцев» приходил и уходил, давая толчок большим улучшениям в математической строгости , аналитической философии и логике . Гиперболическая геометрия наконец оказалась непротиворечивой и, следовательно, является еще одной допустимой геометрией.

Геометрия Вселенной (только пространственные измерения)

Основная статья: Философия пространства и времени

Смотрите также: Форма Вселенной § Кривизна Вселенной

Поскольку евклидова, гиперболическая и эллиптическая геометрия непротиворечивы, возникает вопрос: какова реальная геометрия пространства, и если она гиперболическая или эллиптическая, какова ее кривизна?

Лобачевский уже пытался измерить кривизну Вселенной, измеряя и рассматривая параллакс Сириуса Сириус как идеальную точку угла параллелизма . Он понял, что его измерения недостаточно точны, чтобы дать однозначный ответ, но пришел к выводу, что если геометрия Вселенной гиперболическая, то ее абсолютная длина по крайней мере в один миллион раз превышает диаметр орбиты Земли ( 2 000 000   а.е. , 10 парсек ). Некоторые утверждают, что его измерения были методологически ошибочными.

Анри Пуанкаре в своем «сфера-мир» мысленном эксперименте пришел к выводу, что повседневный опыт не обязательно исключает другие геометрии.

Гипотеза геометризации дает полный список из восьми возможностей фундаментальной геометрии нашего пространства. Проблема с определением того, какой из них применим, заключается в том, что для достижения окончательного ответа нам нужно иметь возможность смотреть на чрезвычайно большие формы – намного большие, чем что-либо на Земле или, возможно, даже в нашей галактике.

Геометрия Вселенной (специальная теория относительности)

Специальная теория относительности ставит пространство и время в равное положение, так что мы рассматриваем геометрию единого пространства-времени, а не рассматриваем пространство и время по отдельности. Геометрия Минковского заменяет геометрию Галилея (которая представляет собой трехмерное евклидово пространство со временем теории относительности Галилея ).

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

Гиперболическая геометрия входит в специальную теорию относительности через быстроту , которая обозначает скорость и выражается гиперболическим углом . Изучение этой геометрии скорости получило название кинематической геометрии . Пространство релятивистских скоростей имеет трехмерную гиперболическую геометрию, где функция расстояния определяется из относительных скоростей «близких» точек (скоростей).

Физические реализации гиперболической плоскости

Коллекция связанных крючком гиперболических плоскостей, имитирующих коралловый риф, Института рисования.

«Гиперболический футбольный мяч» — это бумажная модель, которая аппроксимирует (частично) гиперболическую плоскость, как усеченный икосаэдр аппроксимирует сферу.

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

По теореме Гильберта невозможно изометрически погрузить полную гиперболическую плоскость (полную регулярную поверхность постоянной отрицательной гауссовой кривизны ) в трехмерное евклидово пространство.

Другие полезные модели гиперболической геометрии существуют в евклидовом пространстве, в котором метрика не сохраняется. Особенно известная бумажная модель, основанная на псевдосфере, принадлежит Уильяму Терстону .

Искусство вязания крючком использовалось (см. «Математика и волокно» § Вязание и вязание крючком ) для демонстрации гиперболических плоскостей, первая такая демонстрация была проведена Дайной Тайминей .

В 2000 году Кейт Хендерсон продемонстрировал быстро изготавливаемую бумажную модель, получившую название « гиперболический футбольный мяч » (точнее, усеченную треугольную мозаику 7-го порядка ).

Инструкции по изготовлению гиперболического лоскутного одеяла, разработанные Хеламаном Фергюсоном , были предоставлены Джеффом Уиксом .

Модели гиперболической плоскости

Различные псевдосферы – поверхности с постоянной отрицательной гауссовой кривизной – могут быть встроены в трехмерное пространство в соответствии со стандартной евклидовой метрикой и, таким образом, превращены в осязаемые физические модели. Из них трактоид наиболее известен (часто называемый псевдосферой); использование трактоида в качестве модели гиперболической плоскости аналогично использованию конуса или цилиндра в качестве модели евклидовой плоскости. Однако вся гиперболическая плоскость не может быть таким образом вложена в евклидово пространство, и для абстрактного исследования гиперболической геометрии более удобны различные другие модели.

четыре модели Для гиперболической геометрии обычно используются : модель Клейна , модель диска Пуанкаре , модель полуплоскости Пуанкаре и модель Лоренца или гиперболоида . Эти модели определяют гиперболическую плоскость, которая удовлетворяет аксиомам гиперболической геометрии. Несмотря на свои названия, первые три упомянутые выше были представлены как модели гиперболического пространства Бельтрами , а не Пуанкаре или Клейном . Все эти модели расширяются до большего количества размеров.

Модель Бельтрами – Клейна

Основная статья: модель Бельтрами – Клейна

Модель Бельтрами-Клейна , также известная как модель проективного диска, модель диска Клейна и модель Клейна , названа в честь Эухенио Бельтрами и Феликса Кляйна .

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

Для более высоких измерений эта модель использует внутреннюю часть единичного шара , а хорды этого n -шара представляют собой гиперболические линии.

• Преимущество этой модели состоит в том, что линии прямые, но недостатком является то, что углы искажаются (отображение не является конформным ), а также круги не представляются как круги.
• Расстояние в этой модели составляет половину логарифма перекрестного отношения , которое было введено Артуром Кэли в проективной геометрии .

Модель диска Пуанкаре.

Модель диска Пуанкаре с усеченной трехгептагональной мозаикой

Основная статья: модель диска Пуанкаре

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

• Эта модель сохраняет углы и поэтому является конформной . Таким образом, все изометрии в этой модели являются преобразованиями Мёбиуса .
• Круги, полностью находящиеся внутри диска, остаются кругами, хотя евклидов центр круга ближе к центру диска, чем гиперболический центр круга.
• Ороциклы — это круги внутри диска, которые касаются граничного круга за вычетом точки контакта.
• Гиперциклы — это открытые хорды и дуги окружности внутри диска, которые заканчиваются на граничной окружности под неортогональными углами.

Модель полуплоскости Пуанкаре.

Основная статья: модель полуплоскости Пуанкаре

Модель полуплоскости Пуанкаре рассматривает половину евклидовой плоскости, ограниченную линией B плоскости, в качестве модели гиперболической плоскости. Линия B не включена в модель.

Евклидовой плоскостью можно считать плоскость с декартовой системой координат , ось x принимается за линию B , а полуплоскость - это верхняя половина ( y > 0) этой плоскости.

• Гиперболические линии тогда представляют собой либо полукруги, ортогональные B , либо лучи, перпендикулярные B .
• Длина интервала луча задается логарифмической мерой , поэтому она инвариантна относительно гомотетического преобразования. $(x,y)\mapsto (\lambda x,\lambda y),\quad \lambda >0.$
• Как и модель диска Пуанкаре, эта модель сохраняет углы и, следовательно, является конформной . Таким образом, все изометрии в этой модели являются преобразованиями Мёбиуса плоскости.
• Модель полуплоскости является пределом модели диска Пуанкаре, граница которой касается B в той же точке, а радиус модели диска стремится к бесконечности.

Модель гиперболоида

Основная статья: модель гиперболоида

Модель гиперболоида или модель Лоренца использует двумерный гиперболоид вращения (из двух листов, но с использованием одного), встроенный в трехмерное пространство Минковского . Эту модель обычно приписывают Пуанкаре, но Рейнольдс говорит, что Вильгельм Киллинг использовал эту модель в 1885 году.

• Эта модель имеет прямое применение к специальной теории относительности , поскольку трехмерное пространство Минковского представляет собой модель пространства-времени , подавляющую одно пространственное измерение. Можно использовать гиперболоид для представления событий (положений в пространстве-времени), которых различные инерциально движущиеся наблюдатели, начиная с общего события, достигнут за фиксированное собственное время .
• Тогда гиперболическое расстояние между двумя точками на гиперболоиде можно отождествить с относительной скоростью между двумя соответствующими наблюдателями.
• Модель напрямую обобщается на дополнительное измерение: трехмерная гиперболическая геометрия гиперболического трехмерного пространства относится к четырехмерному пространству Минковского.

Модель полушария

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

Модель полушария использует верхнюю половину единичной сферы : $x^{2}+y^{2}+z^{2}=1,z>0.$

Гиперболические линии представляют собой полукруги, ортогональные границе полушария.

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

• Стереографическая проекция из $(0,0,-1)$ на самолет $z=0$ проецирует соответствующие точки на модель диска Пуанкаре
• Стереографическая проекция из $(0,0,-1)$ на поверхность $x^{2}+y^{2}-z^{2}=-1,z>0$ проецирует соответствующие точки на модель гиперболоида
• Стереографическая проекция из $(-1,0,0)$ на самолет $x=1$ проецирует соответствующие точки на модели полуплоскости Пуанкаре
• Орфографическая проекция на плоскость $z=C$ проецирует соответствующие точки на модель Бельтрами-Клейна .
• Центральная проекция центра сферы на плоскость $z=1$ проецирует соответствующие точки на модели Ганса

См. далее: Связь между моделями (ниже)

Модель Ганса

В 1966 году Дэвид Ганс предложил модель сплюснутого гиперболоида в журнале American Mathematical Monthly . Это ортогональная проекция модели гиперболоида на плоскость xy. Эта модель не так широко используется, как другие модели, но, тем не менее, весьма полезна для понимания гиперболической геометрии.

• В отличие от моделей Клейна и Пуанкаре, эта модель использует всю евклидову плоскость .
• Линии в этой модели представлены как ветви гиперболы .

Модель группы

Основная статья: Модель группы

Ленточная модель использует часть евклидовой плоскости между двумя параллельными линиями. Расстояние сохраняется по одной линии через середину полосы. Предполагая, что группа задана $\{z\in \mathbb {C} :|\operatorname {Im} z|<\pi /2\}$, метрика определяется выражением $|dz|\sec(\operatorname {Im} z)$.

Связь между моделями

Модели диска Пуанкаре, полусферы и гиперболоида связаны стереографической проекцией от −1. Модель Бельтрами-Клейна представляет собой ортогональную проекцию полусферической модели. Модель полуплоскости Пуанкаре здесь проецируется из полусферической модели лучами от левого конца модели диска Пуанкаре.

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

Выбрав координатную карту (одну из «моделей»), мы всегда можем встроить ее в евклидово пространство той же размерности, но встраивание явно не изометрично (поскольку кривизна евклидова пространства равна 0). Гиперболическое пространство может быть представлено бесконечным множеством различных карт; но вложения в евклидово пространство благодаря этим четырем конкретным картам демонстрируют некоторые интересные характеристики.

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

См., например:

• связь модели Бельтрами – Клейна с моделью гиперболоида ,
• связь модели Бельтрами – Клейна с моделью диска Пуанкаре ,
• и связь модели диска Пуанкаре с моделью гиперболоида .

Изометрии гиперболической плоскости

См. Также: Гиперболическое движение и геометрия трансформации.

Любая изометрия ( преобразование или движение ) гиперболической плоскости самой себе может быть реализована как композиция не более чем трех отражений . В n до n -мерном гиперболическом пространстве может потребоваться +1 отражений. (Это также верно для евклидовой и сферической геометрии, но приведенная ниже классификация отличается.)

Все изометрии гиперболической плоскости можно разделить на следующие классы:

• Сохранение ориентации
  • тождественная изометрия — ничего не движется; нулевые отражения; ноль степеней свободы .
  • инверсия через точку (полуоборот) — два отражения через взаимно перпендикулярные прямые, проходящие через данную точку, т.е. поворот на 180 градусов вокруг точки; две степени свободы .
  • вращение вокруг нормальной точки — два отражения через прямые, проходящие через данную точку (включая инверсию как частный случай); точки перемещаются по кругам вокруг центра; три степени свободы.
  • «вращение» вокруг идеальной точки (горолация) — два отражения через линии, ведущие к идеальной точке; точки движутся по орициклам с центром в идеальной точке; две степени свободы.
  • перенос по прямой — два отражения через прямые, перпендикулярные данной линии; точки вне заданной линии движутся по гиперциклам; три степени свободы.
• Изменение ориентации
  • отражение через линию — одно отражение; две степени свободы.
  • комбинированное отражение через линию и перенос вдоль этой же линии — отражение и перевод коммутируют; требуется три отражения; три степени свободы.

Гиперболическая геометрия в искусстве

MC Escher Знаменитые гравюры Circle Limit III и Circle Limit IV. иллюстрируют модель конформного диска ( модель диска Пуанкаре довольно хорошо ). Белые линии в III не совсем геодезические (это гиперциклы ), но близки к ним. Также можно совершенно ясно увидеть отрицательную кривизну гиперболической плоскости через ее влияние на сумму углов в треугольниках и квадратах.

Например, в Circle Limit III каждая вершина принадлежит трем треугольникам и трем квадратам. В евклидовой плоскости их углы в сумме составляли бы 450°; т. е. круг и четверть. Отсюда мы видим, что сумма углов треугольника в гиперболической плоскости должна быть меньше 180°. Еще одним видимым свойством является экспоненциальный рост . Например, в Circle Limit III можно увидеть, что количество рыб на расстоянии n от центра растет экспоненциально. Рыбы имеют одинаковую гиперболическую площадь, поэтому площадь шара радиуса n должна расти экспоненциально по n .

Искусство вязания крючком использовалось для демонстрации гиперболических плоскостей (на фото выше) , первую из которых создала Дайна Тайминя . чья книга «Приключения крючком с помощью гиперболических плоскостей» выиграла в 2009 году премию книготорговца/диаграмм как самое странное название года .

HyperRogue — это игра в стиле рогалик, действие которой происходит на различных участках гиперболической плоскости .

Высшие измерения

Основная статья: Гиперболическое пространство

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

Однородная структура

Гиперболическое пространство размерности n является частным случаем риманова симметрического пространства некомпактного типа, поскольку оно изоморфно фактору

$\mathrm {O} (1,n)/(\mathrm {O} (1)\times \mathrm {O} (n)).$

Ортогональная группа O(1, n ) действует сохраняющими норму преобразованиями в пространстве Минковского R ^{1, н} , и он действует транзитивно на двухполостном гиперболоиде векторов нормы 1. Временноподобные линии (т.е. линии с тангенсами положительной нормы), проходящие через начало координат, проходят через противоположные точки гиперболоида, поэтому пространство таких линий дает модель гиперболического n -пространства. Стабилизатор линию любой конкретной прямой изоморфен произведению ортогональных групп O( n ) и O(1), где O( n ) действует на касательном пространстве точки гиперболоида, а O(1) отражает через происхождение. Многие элементарные понятия гиперболической геометрии могут быть описаны в терминах линейной алгебры : геодезические пути описываются пересечениями плоскостей через начало координат, двугранные углы между гиперплоскостями могут быть описаны скалярными произведениями нормальных векторов, а гиперболические группы отражений могут быть заданы в явном виде. матричные реализации.

В малых размерностях существуют исключительные изоморфизмы групп Ли , которые открывают дополнительные способы рассмотрения симметрий гиперболических пространств. Например, в размерности 2 изоморфизмы SO ⁺ (1, 2) ≅ PSL(2, R ) ≅ PSU(1, 1) позволяют интерпретировать модель верхней полуплоскости как фактор SL(2, R )/SO(2) , а модель диска Пуанкаре как фактор СУ(1, 1)/U(1) . В обоих случаях группы симметрии действуют посредством дробно-линейных преобразований, поскольку обе группы являются сохраняющими ориентацию стабилизаторами в PGL(2, C ) соответствующих подпространств сферы Римана. Преобразование Кэли не только переводит одну модель гиперболической плоскости в другую, но и реализует изоморфизм групп симметрии как сопряжение в большей группе. В размерности 3 дробно-линейное действие PGL(2, C ) на сфере Римана отождествляется с действием на конформной границе гиперболического 3-пространства, индуцированным изоморфизмом O ⁺ (1, 3) ≅ PGL(2, C ) . Это позволяет изучать изометрии гиперболического трехмерного пространства путем рассмотрения спектральных свойств представительных комплексных матриц. Например, параболические преобразования сопряжены с жесткими сдвигами в модели верхнего полупространства, и это именно те преобразования, которые могут быть представлены унипотентными верхнетреугольными матрицами.

См. также

• Модель группы
• Конструкции в гиперболической геометрии.
• Преобразование Ельмслева
• Гиперболическое 3-многообразие
• Гиперболическое многообразие
• Гиперболический набор
• Гиперболическое дерево
• Кляйнианская группа
• Четырехугольник Ламберта
• Открытая вселенная
• Метрика Пуанкаре
• Четырехугольник Саккери
• Систолическая геометрия
• Равномерные мозаики в гиперболической плоскости
• δ-гиперболическое пространство

Ссылки

• А'Кампо, Норберт и Пападопулос, Атанасе, (2012) Заметки по гиперболической геометрии , в: Страсбургский мастер-класс по геометрии, стр. 1–182, Лекции IRMA по математике и теоретической физике, Vol. 18, Цюрих: Европейское математическое общество (EMS), 461 страница, SBN. ISBN   978-3-03719-105-7 , DOI 10.4171–105.
• Коксетер, HSM , (1942) Неевклидова геометрия , University of Toronto Press, Торонто
• Фенхель, Вернер (1989). Элементарная геометрия в гиперболическом пространстве . Де Грюйтер Исследования по математике. Том. 11. Берлин-Нью-Йорк: Вальтер де Грюйтер и компания.
• Фенхель, Вернер ; Нильсен, Джейкоб (2003). Асмус Л. Шмидт (ред.). Разрывные группы изометрий в гиперболической плоскости . Де Грюйтер Исследования по математике. Том. 29. Берлин: Вальтер де Грюйтер и компания.
• Лобачевский, Николай И., (2010) Пангеометрия , отредактированный и переведенный Афанасием Пападопулосом, «Наследие европейской математики», Vol. 4. Цюрих: Европейское математическое общество (EMS). xii, 310~с, ISBN   978-3-03719-087-6 /hbk
• Милнор, Джон В. , (1982) Гиперболическая геометрия: первые 150 лет , Bull. амер. Математика. Соц. (NS) Том 6, номер 1, стр. 9–24.
• Рейнольдс, Уильям Ф., (1993) Гиперболическая геометрия на гиперболоиде , American Mathematical Monthly 100:442–455.
• Стиллвелл, Джон (1996). Источники гиперболической геометрии . История математики. Том. 10. Провиденс, Род-Айленд: Американское математическое общество . ISBN  978-0-8218-0529-9 . МР   1402697 .
• Сэмюэлс, Дэвид, (март 2006 г.) Журнал Knit Theory Discover Magazine, том 27, номер 3.
• Джеймс В. Андерсон, Гиперболическая геометрия , Springer 2005, ISBN   1-85233-934-9
• Джеймс В. Кэннон, Уильям Дж. Флойд, Ричард Кеньон и Уолтер Р. Парри (1997) Гиперболическая геометрия , публикации MSRI, том 31.

Внешние ссылки

• Бесплатное программное обеспечение Javascript для создания эскизов в модели диска Пуанкаре гиперболической геометрии Университета Нью-Мексико.
• «Песня о гиперболической геометрии». Короткий музыкальный видеоклип об основах гиперболической геометрии, доступный на YouTube.
• «Геометрия Лобачевского» , Математическая энциклопедия , EMS Press , 2001 [1994]
• Вайсштейн, Эрик В. «Пространство Гаусса – Бойяи – Лобачевского» . Математический мир .
• Вайсштейн, Эрик В. «Гиперболическая геометрия» . Математический мир .
• Больше о гиперболической геометрии, включая фильмы и уравнения для преобразования между различными моделями Университет Иллинойса в Урбана-Шампейн
• Гиперболические диаграммы Вороного стали проще, Фрэнк Нильсен
• Стотерс, Уилсон (2000). «Гиперболическая геометрия» . maths.gla.ac.uk . Университет Глазго . , интерактивный обучающий веб-сайт.
• Гиперболические плоские мозаики
• Модели гиперболической плоскости