Більшість людей вивчають геометрію в школі та вважають, що вона стосується лише плоских поверхонь. Сума кутів трикутника дорівнює 180 градусів. Паралельні лінії ніколи не перетинаються. Це евклідова геометрія. Вона чудово підходить для домашніх завдань. Вона цілком прийнятна для будівництва будинку. Але вона дає збій, коли ви дивитеся на зірки чи прокладаєте маршрут польоту через Тихий океан.
Неевклідова геометрія це просто будь-яка система, яка порушує правила плоских поверхонь. Хоча цей термін часто використовується як скорочення гіперболічної геометрії, насправді він охоплює будь-яку форму, до якої не застосовуються старі правила Евкліда. Два основних напрямки тут – це сферична геометрія та гіперболічна геометрія.
Як зміна паралельного постулату змінює все
Справжні проблеми почалися з п’ятого постулату Евкліда щодо паралельних ліній. Він говорить, що якщо у вас є пряма і точка, що не лежить на цій прямій, то через цю точку проходить рівно одна пряма, паралельна першій.
Протягом століть математики ненавиділи це правило. Воно здавалося громіздким. Воно не виглядало таким «очевидним», як решта. Вони витратили 2000 років, намагаючись довести його, використовуючи інші чотири постулати. У них нічого не вийшло.
Врешті-решт двоє чоловіків перестали намагатися доводити його і почали досліджувати, що станеться, якщо його прибрати. Микола Лобачевський у Росії та Янош Бойяї в Угорщині незалежно один від одного опублікували свої результати приблизно у 1829 та 1831 роках. Вони виявили геометрію, яка чудово працювала без паралельного постулату. Це була гіперболічна геометрія.
Ось як порівнюються три системи при зміні правил:
- ** Евклідова:** Через точку проходить рівно одна паралельна пряма. Постулат правдивий. Сума кутів трикутника дорівнює 180 градусів.
- Сферична: Паралельних прямих немає. Будь-які дві «прямі» (великі кола) зрештою перетнуться. Постулат складний. Сума кутів трикутника більша за 180 градусів.
- Гіперболічна: Через точку проходить нескінченно багато паралельних прямих. Постулат складний. Сума кутів трикутника менша за 180 градусів.
Небо та море: народження сферичної геометрії
Одна гілка неевклідової геометрії виникла завдяки погляду нагору. Стародавнім астрономам потрібно було відстежувати зірки та планети на півсферичному небі. Сам Евклід писав про сферичну геометрію у своїй праці “Феномени” приблизно в 300 році до н. е.
Інша гілка виникла завдяки погляду вниз — чи, точніше, через океан. Навігаторам потрібно було зрозуміти форму Землі, щоб шукати шлях. Якщо Земля кругла, прямі лінії на карті вас дурять. Ця практична потреба стимулювала вивчення сферичної геометрії. То була не просто теорія. Йшлося про те, щоб не заблукати.
Великі кола — нові прямі лінії
У сферичній геометрії поняття «прямий лінії» стає дивним. На глобусі найкоротша відстань між двома точками це маршрут по великому колу. Уявіть натягнуту струну між Нью-Йорком та Лондоном. Ця струна не летить прямо через повітря. Вона згинається вздовж поверхні.
Птолемей зазначив це у «Географії» приблизно 150 року зв. е. Він писав, що поверхня суші та води є сферою. Будь-яка площина, що проходить через центр Землі, перетинає поверхню великого кола.
Ці великі кола є “прямими лініями” цієї геометрії. Вони зсередини прямі. Якщо ви йдете одним із них, ви не повертаєте. Ви рухаєтеся максимально прямо по викривленій поверхні.
Коли три дуги перетинаються, вони утворюють сферичний трикутник. На плоскій карті він виглядає спотвореним. Але на сфері це просто трикутник. Різниця між трикутниками на маленькій та великій сферах полягає лише в масштабі. З погляду диференціальної геометрії, сферична геометрія – це вивчення поверхонь із постійною позитивною кривизною.
Чому карти брешуть вам
Якщо сферична геометрія є настільки корисною, чому ми не бачимо її всюди? Тому що ми любимо плоскі карти.
Картографам доводиться проектувати частини сфери на пласку поверхню. Зробити це без спотворень неможливо. Ви можете зберегти відстань. Ви можете зберегти площу. Ви можете зберегти кути. Але ви не можете зробити всі три одночасно.
Необхідність балансувати ці компроміси під час створення карток дала ранній практичний імпульс вивченню сферичної геометрії. Це була не просто абстрактна математика. Це було про уявлення світу, не надто сильно спотворюючи його.
Прихована геометрія гіперболічного простору
Потім є гіперболічна геометрія. Це інша половина неевклідової родини. Вона не збігається з нашим фізичним глобусом. Вона не збігається із плоскою підлогою наших класів. Вона описує простір, що згинається всередину, як сідло або чіпси Pringles.
У цьому просторі правила згинаються в інший бік. Лінії розходяться. Трикутники стають вузькими. Кути зменшуються. Це здається контрінтуїтивним, тому що ми не стикаємося з такою формою у повсякденному житті. Але вона існує у математиці. А згодом — і у фізиці.
Перехід від евклідової до неевклідової геометрії був раптовим одкровенням. Це була повільна руйнація впевненості. Математикам довелося визнати, що їхні «істини» були припущеннями. Припущення про площинність. Припущеннями про паралельні лінії.
Коли ви відкидаєте паралельний постулат, вся структура змінюється. Який шлях ви виберете – сферичний або гіперболічний – залежить від того, чи згинається простір, який ви відображаєте, сам на себе або розкривається нескінченно.
Еліптична геометрія – це, по суті, сферична геометрія з внесеною до неї специфічною зміною правила. Уявіть собі глобус, на якому Північний і Південний полюси вважаються однією точкою. Саме в цьому полягає основна ідея аксіоматичної формалізації еліптичної геометрії. Це не просто теоретична вправа. Німецький математик Бернхард Ріман у ХІХ столітті розробив внутрішнє аналітичне уявлення про це. Він назвав це “сферою Рімана”. Ймовірно, ви зустрінетеся з нею на курсах комплексного аналізу в університеті.
Деякі підручники заплутують ситуацію. Вони називають цю конкретну модель риманової геометрією. Це вводить в оману. Термін “риманова геометрія” насправді відноситься до ширшої гілки диференціальної геометрії. Вона надає інструменти для опису будь-якої поверхні внутрішнім чином, а не тільки сфери. Дотримуйтесь цієї відмінності. Еліптична геометрія – це формалізація сфери зі злитими антиподальними точками. Риманова геометрія – це 框架 для вивчення викривлених просторів в цілому.
Загадка гіперболічної геометрії
Якщо еліптична геометрія згинає простір усередину, то гіперболічна геометрія згинає його назовні. Перші описи гіперболічної геометрії з’явилися через спроби довести п’ятий постулат Евкліда. Математики припускали, що якщо прибрати постулат про паралельні, то вийде нісенітниця. Натомість вони отримали узгоджену альтернативу.
Потрібен був час, щоб розібратися в деталях. Дослідники довели, що всі гіперболічні геометрії відрізняються лише масштабом. Подумайте про сфери. Баскетбольний м’яч та пляжний м’яч мають однакову геометрію. Вони відрізняються лише розміром. Масштаб не змінює правила простору.
До середини ХІХ століття математика зміцнилася. Стало ясно, що гіперболічні поверхні повинні мати постійну негативну кривизну. Позитивна кривизна визначає еліптичні/сферичні простори. Плоска, нульова кривизна визначає евклідовий простір. Негативна кривизна є характерною рисою гіперболічного типу.
Але ось у чому проблема. Рівняння працювали. Логіка витримувала перевірку. Однак математики все ще не могли з упевненістю сказати, чи існує така поверхня насправді насправді. Моделі були абстрактними. Питання залишалося відкритим: чи надає природа чи навіть чиста математика конкретну поверхню, яка б задовольняла цим умовам? Існування об’єкта все ще залишалося відкритим питанням, яке чекає фізичної чи суворої математичної побудови, щоб довести, що це не просто майстерна вигадка.
Неможлива форма нарешті знайдена
Десятиліттями математики вважали, що вперлися у стіну. Суть проблеми полягала у пошуку фізичного уявлення гіперболічної геометрії, яке б порушувало закони всесвіту.
Все почалося з Еудженіо Бельтрами у 1868 році. Він описав поверхню, яку називають псевдосферою. Вона мала постійну негативну кривизну – визначальну межу гіперболічного простору. Але вона мала недоліки. Геометрично прямі лінії на псевдосфері перетинають себе. Вони також досягають обмежуючого кола і різко обриваються. Так не працює гіперболічна геометрія. Лінії в ній продовжуються нескінченно, не замикаючись у петлі і не натикаючись на твердий край.
Потім 1901 року з’явився Девід Гільберт. Він довів щось, що фактично поклало край цьому проекту. Гільберт показав, що неможливо визначити повну гіперболічну поверхню за допомогою речових аналітичних функцій. Це стандартні гладкі формули, які ми використовуємо для опису форм. У той час поверхня була аналітичною функцією. Оскільки Гільберт довів неможливість цього, дослідники відмовилися від пошуків. Математичне співтовариство прийняло цю межу як даність.
Але ця межа була помилковою.
У 1955 році голландський математик Ніколас Кейпер довів, що обмеження Гільберта не застосовується до всіх можливих поверхонь. Він довів, що повна гіперболічна поверхня “існує”. Просто її не можна намалювати за допомогою простих гладких формул.
Через десять років, у 1970-х роках, американський математик Вільям Терстон докладно описав, як її побудувати. Він непросто теоретизував. Він описав геометрію. І ось дивна частина: для її створення не потрібний суперкомп’ютер.
Її можна зв’язати гачком.
Чому в’язання гачком змінює правила гри
Гіперболічна поверхня Терстона – це не просто теоретичний об’єкт. Вона відчутна. Якщо слідувати певним схемам в’язання, можна створити фізичну модель нескінченної негативної кривизни.
Чому це важливо? Тому що це перетворює абстрактний доказ на щось, що можна потримати в руках. Техніка гіперболічного в’язання використовує збільшення петель, щоб змусити тканину згинатися назовні. Кожен ряд додає більше матеріалу, ніж попередній, створюючи характерний для гіперболічної геометрії хвилястий, розкльошений вигляд.
Це не просто рукодільний проект. Це пряме застосування доказу існування Кейпера. Це реалізація конструкції Терстона.
Від псевдосфери до практичної моделі
Шлях від неповної псевдосфери Бельтрами до зв’язаної гачком гіперболічної поверхні показує, як еволюціонують математичні визначення. Ми перейшли від:
- 1868: Псевдосфера (неповна, самоперетинається)
- 1901: Доказ неможливості Гільберта (заснований тільки на гладких функціях)
- 1955: Доказ існування Кейпера (розширення визначення поверхні)
- 1970-і: Конструкція Терстона (практичні, візуалізовані моделі)
Сьогодні студенти та художники використовують в’язання гачком для візуалізації цих складних концепцій. Це конкретний спосіб зрозуміти негативну кривизну. Жодного просунутого обчислення не потрібно. Тільки пряжа та гачок.
Форма існує. Вона сповнена. І вона у вас у руках.
Плоскі карти Землі завжди брешуть. Вони розтягуються, стискаються та рвуться, щоб умістити сферу на папері. Гіперболічна геометрія стикається з тією самою проблемою. Не можна розплющити сідлоподібну поверхню, не порушивши її структуру. Однак у ХІХ столітті математики не здалися. Вони створили три різні моделі для відображення цієї викривленої реальності. Це не просто абстрактні головоломки. Це – інструменти. Якщо використовувати їх разом, невидима форма гіперболічного простору починає набувати сенсу.
Справжня історія розгортається у період між 1869 та 1871 роками. Еудженіо Бельтрамі та Фелікс Кляйн, німецький математик, зламали код. Вони створили першу повну структуру у тому, що буквально назвали «гіперболічної» геометрією. До цього моменту концепція була хиткою. Тепер у неї з’явився будинок.
Парадокс прямої лінії в моделі Клейна – Бельтрамі
Подивіться на верхній лівий кут малюнку. Це модель Клейна – Бельтрамі. Вона стискає всю гіперболічну площину усередину кола. Просто, правда?
Ось каверза. У цій моделі прямі лінії – звані геодезичними в гіперболічному світі – стають прямими хордами всередині кола. Якщо ви хочете потрапити з точки A до точки B, ви проводите пряму лінію. Вона виглядає евклідовою. Вона здається знайомою.
Але за цю зручність доводиться платити. Модель зберігає “прямолінійність”, але спотворює кути. Те, що має бути дев’яносто градусів, виглядає скошеним. Це карта, яка точно вказує де північ, навіть якщо ландшафт виглядає спотвореним.
Вигнуті шляхи та збереження кутів
Перенесемося приблизно 1880 рік. Анрі Пуанкаре, французький математик, входить у гру та пропонує ще дві моделі. Вони зовсім інші. Набагато більше.
Спочатку розглянемо модель диска Пуанкаре (верхній правий кут). Знову ж таки, ми маємо справу з колом. Але правила змінюються. Геодезичні не є прямими лініями. Це дуги кіл або діаметри. Ці дуги перетинають зовнішню межу кола під прямими кутами.
Чому це важливо? Бо Пуанкаре хотів не просто показати форму. Він прагнув зберегти кути.
У диску Пуанкаре локальна геометрія виглядає так само, як у плоскій евклідовій площині, навіть якщо глобальна структура радикально відрізняється.
Це називається конформністю. Відстань розтягується. Краї диска знаходяться на нескінченній відстані. Але якщо ви виміряєте кут транспортиром, він покаже правильне значення. Для завдань, пов’язаних із навігацією чи оптичними ілюзіями, це золотий стандарт.
Нескінченна напівплощина
Третя модель – модель верхньої напівплощини Пуанкаре (внизу малюнка). Забудьте про коло. Тут гіперболічна поверхня відображається на весь напівпростір над віссю x.
Геодезичні тут являють собою півкола або вертикальні промені. Вони завжди перетинають вісь x під прямими кутами. Це чисте, лінійне компонування.
Як і моделі диска, тут відстані спотворюються. Чим ближче ви наближаєтеся до осі x, тим більше розширюється простір. Але, знову ж таки, кути зберігаються. Якщо ви намалюєте
