Математика
Опубліковано: 20 червня 2026 · 14 хв читання · Неевклідова геометрія · Топологія · Наука про мережі · Останнє оновлення: 20 червня 2026 р.

Гіперболічна геометрія — коли паралельні лінії розходяться

Автор: Команда MySimulator · Редакційна перевірка: Редакція MySimulator

Протягом двох тисяч років математики вважали п'ятий постулат Евкліда очевидною істиною: через точку, що не лежить на прямій, можна провести рівно одну паралельну пряму. Але в 1820-х роках Бойяі, Лобачевський і Гаусс незалежно відкрили цілком несуперечливу геометрію, де існують нескінченно багато паралельних — сідлоподібний світ, де трикутники мають кути менше 180° і ціла нескінченна площина вміщується в диску. Ця стаття досліджує моделі, метрики і несподівано сучасні застосування гіперболічної геометрії.

1. П'ятий постулат Евкліда та його відхилення

«Начала» Евкліда (бл. 300 р. до н. е.) побудували всю планіметрію на п'яти постулатах. Перші чотири стислі й очевидні: між будь-якими двома точками можна провести відрізок, пряму можна продовжити нескінченно, коло можна побудувати з будь-яким центром і радіусом, усі прямі кути рівні. П'ятий — постулат паралельних — помітно складніший:

Якщо пряма перетинає дві інші прямі і внутрішні кути з одного боку в сумі менші за 180°, то ці дві прямі зустрінуться з цього боку при достатньому продовженні.

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

Прорив стався, коли Янош Бойяі (1832) і Микола Лобачевський (1830) незалежно опублікували геометрії, де п'ятий постулат просто замінений своїм запереченням: через точку існує нескінченно багато прямих, паралельних до даної. Відповідна система — гіперболічна геометрія — є внутрішньо несуперечливою і такою ж суворою, як евклідова.

Таємниця Гауса: Карл Фрідріх Гаус приватно розробив ту саму неевклідову геометрію роками раніше, але не публікував її, побоюючись насмішок математичного співтовариства. Його листування з батьком Бойяі, Вольфгангом, це виявило — відкриття, яке глибоко засмутило молодого Бойяі, що сподівався на визнання першості.

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

Гіперболічна геометрія абстрактна, але Анрі Пуанкаре дав нам конкретну модель, що вкладає її в знайомий евклідовий диск. Модель диска Пуанкаре представляє всю гіперболічну площину як відкритий одиничний диск:

D = { (x, y) ∈ ℝ² : x² + y² < 1 }

Точки всередині D — гіперболічні точки. Граничне коло (x² + y² = 1) не є частиною простору — воно представляє «точки на нескінченності». Модель є конформною: кути між кривими в D рівні відповідним гіперболічним кутам. Це означає, що якщо дивитися на карту, накреслену в диску Пуанкаре, маленькі фігури виглядають незбуреними у куті (як карта Меркатора), хоча відстані сильно спотворені — все стискається, наближаючись до межі.

Спотворення є ключовою особливістю. Поблизу центру диска гіперболічна метрика близька до евклідової. Але поблизу межі об'єкти однакового гіперболічного розміру виглядають дедалі меншими в евклідових одиницях. Це стискання кодує той факт, що гіперболічний простір експоненційно більший за евклідовий у великих масштабах — куля гіперболічного радіуса r має площу, пропорційну e^r, а не r².

Модель верхньої напівплощини

Еквівалентна модель використовує верхню напівплощину комплексного простору: H = {z ∈ ℂ : Im(z) > 0}. Дві моделі пов'язані перетворенням Мьобіуса. Верхня напівплощина частіше використовується в комплексному аналізі та теорії чисел (тут живуть модулярні форми), а дискова модель — для візуалізації і мистецтва типу Есхера.

3. Гіперболічна відстань і метрика

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

ds² = 4(dx² + dy²) / (1 − x² − y²)² де r² = x² + y² і r < 1

Множник 4/(1 − r²)² прямує до нескінченності при r → 1, кодуючи той факт, що межа нескінченно далека в гіперболічній відстані, навіть якщо евклідово — лише одиничне коло. Гіперболічна відстань між двома точками u, v ∈ D:

d_H(u, v) = 2 · arctanh( |u − v| / |1 − ū·v| ) рівнозначно: cosh(d_H(u, v)) = 1 + 2|u − v|² / ((1 − |u|²)(1 − |v|²))

Конкретний наслідок: розмістивши точку в центрі (початку координат) і іншу на евклідовому радіусі r, гіперболічна відстань від центру = 2·arctanh(r). При r → 1 вона прямує до нескінченності. Навіть при r = 0.999 гіперболічна відстань ≈ 13.8, — а вся частина, що лишається до межі, ще нескінченно далеко.

Експоненційне зростання кіл

В евклідовій геометрії довжина кола радіуса r — це 2πr. У гіперболічній геометрії з кривизною K = −1:

C(r) = 2π sinh(r) ≈ π e^r для великих r

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

4. Геодезичні — прямі лінії, що вигинаються

У будь-якій геометрії геодезичні — це найкоротші шляхи між двома точками, аналоги прямих ліній. У моделі диска Пуанкаре геодезичні — це не прямі евклідові лінії, які ви б провели лінійкою. Натомість це:

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

Ізометрії диска

Симетрії (ізометрії) гіперболічного диска — перетворення Мьобіуса, що відображають диск у себе. Це рівно відображення вигляду:

f(z) = e^(iθ) · (z − a) / (1 − ā·z) де a ∈ D і θ ∈ ℝ

Ці перетворення діють як «повороти і трансляції» в гіперболічній геометрії. Будь-яку точку можна перемістити в центр, а будь-який напрямок — спрямувати вгору, так само як в евклідовій геометрії. Група ізометрій, що зберігають орієнтацію, — PSL(2, ℝ), одна з найважливіших груп у математиці.

5. «Межа кола» Есхера і групи симетрій

Нідерландський художник М. К. Есхер захопився мозаїкою площини з однакових фігур, що зменшуються до межі. Його знамениті «Межа кола III» (1959) і «Межа кола IV» (ксилографії з рибами або ангелами і дияволами) є точними візуальними представленнями дискової моделі Пуанкаре гіперболічної геометрії.

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

Трикутні групи і мозаїки

Гіперболічна мозаїка трикутниками з кутами π/p, π/q, π/r існує тоді й лише тоді, коли 1/p + 1/q + 1/r < 1. Трикутна група (p, q, r) породжує групу симетрій мозаїки. Наприклад:

(2, 3, 7): мінімальний трикутник, пов'язаний з поверхнею Гурвіца (2, 4, 5): мозаїка ґрат {4,5} (3, 3, 4): використана в «Межі кола IV»

Оскільки 1/p + 1/q + 1/r може бути довільно близьким до нуля (або рівним нулю для ідеальних трикутників з усіма вершинами на нескінченності), гіперболічна геометрія підтримує незрівнянно багатший зоопарк регулярних мозаїк, ніж евклідова площина, яка має лише три регулярні (трикутники, квадрати, шестикутники).

Математична співпраця: серія «Межа кола» Есхера була натхненна діаграмою зі статті геометра Г. С. М. Кокстера 1958 року. Побачивши діаграму, Есхер написав Кокстеру з проханням про пояснення; Кокстер відповів технічним математичним листом, який Есхер, за його визнанням, не міг повністю зрозуміти — проте відтворив геометрію з приголомшливою точністю лише з геометричної інтуїції.

6. Гауссова кривизна K < 0

Карл Фрідріх Гаусс розробив концепцію внутрішньої кривизни — властивості поверхні, що може бути виміряна істотою, що мешкає всередині поверхні, без посилання на будь-яке вкладення у простір вищої розмірності. Його знаменита Teorema Egregium (1827, «Чудова теорема») стверджує, що гауссова кривизна є внутрішнім інваріантом: вона не змінюється при згинанні, що зберігає відстані.

Гауссова кривизна K визначається як добуток двох головних кривизн κ₁ і κ₂ у точці. Для поверхонь у 3D:

K = κ₁ · κ₂ Сфера радіуса R: K = +1/R² (додатна, еліптична) Пласка площина: K = 0 (нульова, евклідова/параболічна) Сідлова поверхня: K = −1/R² (від'ємна, гіперболічна)

Гіперболічна геометрія відповідає поверхням зі сталою від'ємною кривизною K = −1 (при відповідному виборі масштабу довжини). Фізичну модель можна створити в'язанням — додатковий матеріал при в'язанні назовні примушує поверхню набувати хвилястих сідлових форм з постійною від'ємною кривизною. В'язані «гіперболічні площини» Дайни Таймини стали відомими навчальними інструментами після 2001 року.

Псевдосфера

Єдина повна поверхня в евклідовому 3D-просторі зі сталою від'ємною кривизною K = −1 — трактрид (поверхня обертання трактриси), також відома як псевдосфера. Вона нагадує дві труби, з'єднані їх розтрубами. Проте вона моделює лише частину гіперболічної площини — теорема Гільберта (1901) доводить, що ніякого повного гладкого вкладення гіперболічної площини в евклідовий 3D-простір не існує. Тому абстрактні моделі, на кшталт диска Пуанкаре, є необхідними.

7. Гіперболічні трикутники і формула дефекту

Одним із найразючіших результатів гіперболічної геометрії є результат про трикутники. В евклідовій геометрії сума кутів будь-якого трикутника рівно 180° (π радіан). У гіперболічній геометрії сума кутів завжди строго менша за 180°, і різниця — так званий кутовий дефект — прямо пропорційна площі трикутника:

Площа(T) = |K|⁻¹ · (π − α − β − γ) Для K = −1: Площа = π − (α + β + γ) де α, β, γ — внутрішні кути трикутника.

Це теорема Гаусса-Бонне для трикутників. Вражаючий наслідок: максимальна можлива площа гіперболічного трикутника — ідеального трикутника з усіма трьома вершинами на межі (на нескінченності) і всіма кутами рівними нулю — рівно π. Яким би великим трикутником ви не намагалися накреслити в гіперболічному просторі, його площа не може перевищити π (у просторі з K = −1).

Теорема Піфагора в гіперболічному просторі

Для прямокутного трикутника з катетами a, b і гіпотенузою c гіперболічна теорема Піфагора (для K = −1):

cosh(c) = cosh(a) · cosh(b)

Для малих трикутників (a, b ≪ 1), використовуючи cosh(x) ≈ 1 + x²/2, це зводиться до 1 + c²/2 ≈ (1 + a²/2)(1 + b²/2) ≈ 1 + (a² + b²)/2, відновлюючи a² + b² = c² в очікуваному вигляді. Евклідова теорема є маломасштабною границею свого гіперболічного аналога.

8. Застосування в науці про мережі та машинному навчанні

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

Гіперболічне вкладання мереж

Дмитро Кріуков і колеги (2010) показали, що топологія інтернету на рівні AS може бути вкладена в гіперболічну площину з малим спотворенням, виявляючи прихована ієрархічну структуру і забезпечуючи ефективну жадібну маршрутизацію. У гіперболічному просторі маршрутизація від вузла A до вузла B зводиться до руху в бік координат B — глобальна таблиця маршрутизації не потрібна.

Успішність жадібної маршрутизації в гіперболічному вкладенні: Реальна топологія інтернету: ~95% шляхів маршрутизуються правильно проти випадкового вкладення: ~30%

Вкладання Пуанкаре в машинному навчанні

Facebook AI Research представив вкладання Пуанкаре (Nickel & Kiela, 2017), представляючи ієрархічні дані (таксономії WordNet, графи знань) як точки в диску Пуанкаре. Оскільки об'єм диска зростає експоненційно до його межі, навіть двовимірне гіперболічне вкладання може захопити складні ієрархії, що потребували б сотень евклідових вимірів.

Гіперболічні нейронні мережі (HNN, 2018) розширюють цю ідею на глибоке навчання, замінюючи евклідові векторні простори гіперболічними по всій мережі. Операції на кшталт матричного множення і функцій активації перевизначені за допомогою формалізму перетворень Мьобіуса, дозволяючи нейронним мережам працювати безпосередньо в викривленому просторі.

Гіперболічний простір і мозок

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

∞
Дослідити симулятор фракталів і геометрії
Візуалізуйте гіперболічні мозаїки, геодезичні і неевклідові простори інтерактивно

Джерела