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

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

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

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

(Сравните выше с аксиомой Playfair в , современной версии Евклида «s постулата .)

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

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

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

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

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

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

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

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

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

Линии

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

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

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

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

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

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

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

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

Это означает , что существует через Р бесконечное число планарных линий , которые не пересекаются R .

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

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

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

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

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

Круги и диски

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

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

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

А площадь прилагаемого диска составляет:

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

Если гауссова кривизна плоскости равна -1, то геодезическая кривизна окружности радиуса r равна:

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

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

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

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

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

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

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

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

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

В отличие от евклидовых треугольников, где сумма углов всегда составляет π радиан (180 °, прямой угол ), в гиперболической геометрии сумма углов гиперболического треугольника всегда строго меньше π радиан (180 °, прямой угол ). Разница называется дефектом .

Площадь гиперболического треугольника задаются его дефектом в радианах , умноженных на R 2 . Как следствие, все гиперболические треугольники имеют площадь, меньшую или равную R 2 π. Площадь идеального гиперболического треугольника, в котором все три угла равны 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 будет меткой основания перпендикуляра. y будет расстоянием вдоль перпендикуляра данной точки от ее основания (положительное с одной стороны и отрицательное с другой).

Другая система координат измеряет расстояние от точки до орицикла через начало координат и длину вдоль этого орицикла.

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

Расстояние

Постройте декартову систему координат следующим образом. Выберите прямую ( ось x ) в гиперболической плоскости (со стандартизованной кривизной −1) и пометьте точки на ней по их расстоянию от исходной точки ( x = 0) на оси x (положительное с одной стороны и отрицательный с другой). Для любой точки на плоскости можно определить координаты x и y , опустив перпендикуляр на ось x . x будет меткой основания перпендикуляра. y будет расстоянием вдоль перпендикуляра данной точки от ее основания (положительное с одной стороны и отрицательное с другой). Тогда расстояние между двумя такими точками будет

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

, Соответствующий метрический тензор: .

В этой системе координат прямые либо перпендикулярны оси x (с уравнением x = константа), либо описываются уравнениями вида

где A и B - действительные параметры, характеризующие прямую.

История

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

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

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

Разработки 19 века

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Коллекция связанных крючком гиперболических плоскостей, имитирующих коралловый риф, от Institute For Figuring.
Коралл с подобной геометрией на Большом Барьерном рифе

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

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

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

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

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

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

Линии, проходящие через заданную точку и параллельные заданной линии, проиллюстрированные в модели диска Пуанкаре

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

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

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

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

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

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

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

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

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

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

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

  • Гиперболические линии затем либо наполовину окружностей , ортогональных к B или лучи , перпендикулярные B .
  • Длина интервала на луче определяется логарифмической мерой, поэтому он инвариантен относительно гомотетического преобразования
  • Как и модель диска Пуанкаре, эта модель сохраняет углы и, таким образом, является конформной . Следовательно, все изометрии в этой модели являются преобразованиями Мёбиуса плоскости.
  • Модель полуплоскости - это предел модели диска Пуанкаре, граница которого касается B в той же точке, а радиус модели диска стремится к бесконечности.

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

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

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

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

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

Модель полушария использует верхнюю половину единичной сферы :

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

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

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

Модель Ганса

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Искусство вязания крючком уже был использован для демонстрации гиперболической плоскости ( на фото выше) с первым существом , сделанное Дайна Тайминя , чья книга Вышивание Приключения с гиперболической Planes выиграл 2009 Bookseller / Diagram Prize за странный Название года .

HyperRogue - это игра в жанре рогалик, основанная на различных мозаиках гиперболической плоскости .

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

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

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

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

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

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

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

Примечания

использованная литература

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