Většina lidí studuje geometrii ve škole a myslí si, že se to týká pouze plochých povrchů. Součet úhlů trojúhelníku je 180 stupňů. Rovnoběžné čáry se nikdy neprotínají. Toto je euklidovská geometrie. Je to skvělé pro domácí úkoly. Pro stavbu domu je to docela přijatelné. Ale pokulhává, když se díváte na hvězdy nebo kreslíte dráhu letu přes Tichý oceán.
Neeuklidovská geometrie je prostě jakýkoli systém, který porušuje pravidla rovinných ploch. Ačkoli se tento termín často používá jako zkratka pro hyperbolickou geometrii, ve skutečnosti pokrývá jakýkoli tvar, na který se nevztahují stará Euklidova pravidla. Dva hlavní směry jsou zde sférická geometrie a hyperbolická geometrie.
Jak změna paralelního postulátu změní všechno
Skutečné problémy začaly Euklidovým pátým postulátem týkajícím se paralelních linií. Říká, že pokud máte přímku a bod, který neleží na této přímce, pak tímto bodem prochází právě jedna přímka rovnoběžná s první.
Po staletí matematici toto pravidlo nenáviděli. Zdálo se to těžkopádné. Nevypadalo to tak “samozřejmě” jako ostatní. Strávili 2000 let snahou dokázat to pomocí dalších čtyř postulátů. Nevyšlo jim to.
Nakonec se oba muži přestali snažit to dokázat a začali zkoumat, co by se stalo, kdyby to bylo odstraněno. Nikolaj Lobačevskij v Rusku a János Bolyai v Maďarsku nezávisle publikovali své výsledky kolem roku 1829 a 1831. Objevili geometrii, která fungovala perfektně bez paralelního postulátu. Byla to hyperbolická geometrie.
Zde je návod, jak se tyto tři systémy porovnávají, když se pravidla změní:
- Euklidovský: Bodem prochází přesně jedna rovnoběžná přímka. Postulát je pravdivý. Součet úhlů trojúhelníku je přesně 180 stupňů.
- Sférický: Nejsou zde žádné rovnoběžné čáry. Jakékoli dvě “přímky” (velké kruhy) se nakonec protnou. Postulát je nepravdivý. Součet úhlů trojúhelníku je větší než 180 stupňů.
- Hyperbolický: Bodem prochází nekonečně mnoho rovnoběžných čar. Postulát je nepravdivý. Součet úhlů trojúhelníku je menší než 180 stupňů.
Nebe a moře: zrození sférické geometrie
Jedna větev neeuklidovské geometrie vznikla z pohledu vzhůru. Starověcí astronomové potřebovali sledovat hvězdy a planety na polokulové obloze. Sám Euclid psal o sférické geometrii ve svém díle Fenomény kolem roku 300 př.n.l. E.
Další větev vznikla z pohledu dolů – nebo přesněji přes oceán. Navigátoři potřebovali pochopit tvar Země, aby našli cestu. Pokud je Země kulatá, rovné čáry na mapě klamou. Tato praktická potřeba podnítila studium sférické geometrie. To nebyla jen teorie. Šlo o to se neztratit.
Velké kruhy jsou nové rovné čáry
Ve sférické geometrii se koncept „přímky“ stává zvláštním. Na zeměkouli je nejkratší vzdálenost mezi dvěma body velká kruhová trasa. Představte si těsnou šňůru mezi New Yorkem a Londýnem. Tato struna nelétá vzduchem přímočaře. Ohýbá se podél povrchu.
Ptolemaios to zaznamenal ve své Geografii kolem roku 150 našeho letopočtu. E. Napsal, že povrch země a vody je koule. Jakákoli rovina procházející středem Země protíná povrch ve velkém kruhu.
Tyto velké kruhy jsou „přímky“ této geometrie. Jsou přímo zevnitř. Pokud půjdete podél jednoho z nich, neotočíte se. Po zakřivené ploše se pohybujete co nejpříměji.
Když se tři takové oblouky protnou, vytvoří sférický trojúhelník. Na ploché mapě to vypadá zkreslené. Ale na kouli je to jen trojúhelník. Rozdíl mezi trojúhelníky na malé a velké kouli je pouze v měřítku. Z hlediska diferenciální geometrie je sférická geometrie studium povrchů s konstantním kladným zakřivením.
Proč vám karty lžou
Pokud je sférická geometrie tak užitečná, proč ji nevidíme všude? Protože milujeme ploché mapy.
Kartografové musí promítat části koule na rovný povrch. Bez zkreslení to nejde. Můžete ušetřit vzdálenosti. Oblasti můžete uložit. Úhly můžete zachovat. Ale nemůžete dělat všechny tři najednou.
Potřeba vyvážit tyto kompromisy při tvorbě map dala raný praktický impuls ke studiu sférické geometrie. Nebyla to jen abstraktní matematika. Šlo o reprezentaci světa, aniž bychom jej příliš překrucovali.
Skrytá geometrie hyperbolického prostoru
Pak je tu hyperbolická geometrie. Toto je druhá polovina neeuklidovské rodiny. Neshoduje se s naším fyzickým glóbem. Neladí s rovnou podlahou našich učeben. Popisuje prostor, který se zakřivuje dovnitř, jako sedlo nebo Pringles.
V tomto prostoru se pravidla ohýbají jiným směrem. Čáry se rozcházejí. Trojúhelníky se zužují. Úhly se zmenšují. Zdá se to být kontraintuitivní, protože se s touto formou v běžném životě nesetkáváme. Ale v matematice to existuje. A později – ve fyzice.
Přechod od euklidovské k neeuklidovské geometrii nebyl náhlým zjevením. Byla to pomalá eroze důvěry. Matematici museli připustit, že jejich „pravdy“ byly pouze domněnky. Předpoklady o rovinnosti. Předpoklady o rovnoběžkách.
Když zahodíte paralelní postulát, změní se celá struktura. Jakou cestu zvolíte – sférickou nebo hyperbolickou – závisí na tom, zda se prostor, který mapujete, ohýbá zpět, nebo se otevře na neurčito.
Eliptická geometrie je v podstatě sférická geometrie, ke které byla přidána specifická změna pravidla. Představte si zeměkouli, na které jsou severní a jižní pól považovány za stejný bod. To je přesně hlavní myšlenka axiomatické formalizace eliptické geometrie. Nejedná se pouze o teoretické cvičení. Německý matematik Bernhard Riemann vyvinul v 19. století vnitřní analytické chápání tohoto. Říkal tomu Riemannova koule. Pravděpodobně se s tím setkáte ve svých kurzech komplexní analýzy na univerzitě.
Některé učebnice situaci zaměňují. Tento konkrétní model nazývají Riemannovou geometrií. To je zavádějící. Termín Riemannovská geometrie ve skutečnosti odkazuje na širší odvětví diferenciální geometrie. Poskytuje nástroje pro popis jakéhokoli povrchu vnitřním způsobem, nejen koule. Respektujte toto rozlišení. Eliptická geometrie je formalizací koule se srostlými antipodálními body. Riemannovská geometrie je 框架 pro studium zakřivených prostorů obecně.
Záhada hyperbolické geometrie
Zatímco eliptická geometrie ohýbá prostor dovnitř, hyperbolická geometrie jej ohýbá ven. První popisy hyperbolické geometrie se objevily kvůli pokusům dokázat Euklidův pátý postulát. Matematici předpokládali, že pokud odstraníte paralelní postulát, výsledkem bude nesmysl. Místo toho dostali vyjednanou alternativu.
Chvíli trvalo, než jsem urovnal detaily. Výzkumníci dokázali, že všechny hyperbolické geometrie se liší pouze v měřítku. Přemýšlejte o koulích. Basketbalový a plážový míč mají stejnou geometrii. Liší se pouze velikostí. Měřítko nemění pravidla prostoru.
Do poloviny 19. století matematika zesílila. Bylo jasné, že hyperbolické povrchy musí mít konstantní negativní zakřivení. Pozitivní zakřivení definuje eliptické/kulové prostory. Ploché, nulové zakřivení definuje euklidovský prostor. Negativní zakřivení je charakteristickým znakem hyperbolického typu.
Ale tady je ten háček. Rovnice fungovaly. Logika obstála ve zkoušce. Matematici však stále nedokázali s jistotou říci, zda takový povrch ve skutečnosti skutečně existuje. Modely byly abstraktní. Otázka zůstala otevřená: poskytuje příroda, nebo dokonce čistá matematika konkrétní povrch, který tyto podmínky splňuje? Existence objektu byla stále otevřenou otázkou, která čekala na fyzickou nebo přísnou matematickou konstrukci, která by dokázala, že nejde jen o chytrý vynález.
Konečně nalezena nemožná forma
Po celá desetiletí si matematici mysleli, že narazili do zdi. Jádrem problému bylo najít fyzickou reprezentaci hyperbolické geometrie, která by neporušovala zákony vesmíru.
Vše začalo Eugeniem Beltramim v roce 1868. Popsal povrch zvaný pseudokoule. Měl konstantní negativní zakřivení – definující rys hyperbolického prostoru. Ale měla nedostatky. Geometricky se přímé čáry na pseudosféře protínají. Dosáhnou také ohraničujícího kruhu a náhle skončí. Takto hyperbolická geometrie nefunguje. Linky v něm pokračují donekonečna, aniž by se uzavíraly do smyček nebo narážely do tvrdé hrany.
Pak v roce 1901 přišel David Gilbert. Dokázal něco, co projekt účinně ukončilo. Hilbert ukázal, že je nemožné definovat úplnou hyperbolickou plochu pomocí reálných analytických funkcí. Toto jsou standardní hladké vzorce, které používáme k popisu tvarů. V té době byl povrch *analytická funkce. Protože Hilbert dokázal, že to není možné, výzkumníci hledání opustili. Matematická komunita přijala tento limit jako daný.
Tento limit byl ale špatný.
V roce 1955 holandský matematik Nicolas Kuiper dokázal, že Hilbertovo omezení neplatí pro všechny možné povrchy. Dokázal, že existuje úplná hyperbolická plocha. Jednoduše to nelze nakreslit pomocí jednoduchých, hladkých vzorců.
O desítky let později, v 70. letech, americký matematik William Thurston podrobně popsal, jak jej postavit. Nejen teoretizoval. Popsal samotnou geometrii. A tady je ta podivná část: k jejímu vytvoření nepotřebujete superpočítač.
Dá se háčkovat.
Proč háčkování mění hru
Thurstonova hyperbolická plocha není jen teoretický objekt. Je to hmatatelné. Pokud budete postupovat podle určitých vzorů pletení, můžete vytvořit fyzický model nekonečného negativního zakřivení.
Proč je to důležité? Protože mění abstraktní důkazy v něco, co můžete držet ve svých rukou. Technika hyperbolického pletení využívá zvyšující se stehy, aby se látka zakřivila směrem ven. Každá řada přidává více materiálu než předchozí a vytváří rozšířený, vlnitý vzhled charakteristický pro hyperbolickou geometrii.
Toto není jen řemeslný projekt. Toto je přímá aplikace důkazu Kuiperovy existence. Jedná se o implementaci Thurstonova návrhu.
Od pseudosféry k praktickému modelu
Cesta od neúplné Beltramiho pseudosféry k háčkovanému hyperbolickému povrchu ukazuje, jak se vyvíjejí matematické definice. Přestěhovali jsme se z:
- 1868: Pseudosféra (neúplná, sama se protínající)
- 1901: Hilbertův důkaz nemožnosti (založený pouze na hladkých funkcích)
- 1955: Kuiperův důkaz existence (rozšíření definice povrchu)
- 70. léta: Thurstonův design (praktické, renderovatelné modely)
Dnes studenti a umělci používají háčkování k vizualizaci těchto složitých konceptů. Toto je konkrétní způsob, jak porozumět negativnímu zakřivení. Není potřeba žádný pokročilý počet. Jen příze a háček.
Formulář existuje. Je plno. A je to ve vašich rukou.
Ploché mapy Země vždy lžou. Natahují se, stlačují a trhají, aby se koule vešla na papír. Hyperbolická geometrie čelí stejnému problému. Sedlovitou plochu nelze srovnat bez poškození její struktury. V 19. století se však matematici nevzdali. Vytvořili tři různé modely, které reprezentují tuto pokroucenou realitu. Nejsou to jen abstraktní hádanky. To jsou nástroje. Při společném použití začíná dávat neviditelný tvar hyperbolického prostoru smysl.
Skutečný příběh se odehrává v letech 1869 až 1871. Eugenio Beltrami a Felix Klein, německý matematik, kód rozluštili. Vytvořili první kompletní strukturu pro to, co doslova nazývali „hyperbolickou“ geometrií. Až do tohoto bodu byl koncept nejistý. Nyní má domov.
Paradox přímky v modelu Klein-Beltrami
Podívejte se na levý horní roh obrázku. Jedná se o model Klein-Beltrami. Stlačí celou hyperbolickou rovinu do kruhu. Jednoduché, že?
Tady je háček. V tomto modelu se přímky – v hyperbolickém světě nazývané geodetika – stávají přímými tětivami v kruhu. Pokud se chcete dostat z bodu A do bodu B, nakreslíte přímku. Vypadá euklidovsky. Zdá se jí povědomá.
Ale tato vymoženost má svou cenu. Model si zachovává svou „přímost“, ale deformuje úhly. To, co by mělo být devadesát stupňů, vypadá zkresleně. Toto je mapa, která přesně ukazuje, kde je sever, i když krajina vypadá zkresleně.
Zakřivené cesty a zachování rohů
Rychle vpřed asi do roku 1880. Henri Poincaré, francouzský matematik, vstupuje do hry a nabízí další dva modely. Jsou úplně jiné. Mnohem odlišnější.
Nejprve zvažte model disku Poincaré (pravý horní roh). Opět máme co do činění s kruhem. Pravidla se ale mění. Geodetika už nejsou přímky. Jsou to oblouky kružnic nebo průměrů. Tyto oblouky protínají vnější hranici kruhu v pravém úhlu.
Proč je to důležité? Protože Poincare nechtěl jen ukázat formu. Snažil se udržet úhly.
V Poincarého disku vypadá lokální geometrie úplně stejně jako v ploché euklidovské rovině, i když je globální struktura radikálně odlišná.
Tomu se říká konformita. Vzdálenosti se protahují. Okraje disku jsou v nekonečné vzdálenosti. Pokud ale změříte úhel pomocí úhloměru, ukáže správnou hodnotu. Pro úkoly zahrnující navigaci nebo optické iluze je to zlatý standard.
Nekonečná polorovina
Třetím modelem je model horního Poincarého poloplánu (dole na obrázku). Zapomeňte na kruh. Zde je hyperbolická plocha mapována na celý poloprostor nad osou x.
Geodetiky jsou zde půlkruhy nebo vertikální paprsky. Vždy protínají osu x v pravém úhlu. Je to čisté, lineární rozložení.
Stejně jako u diskového modelu jsou i zde vzdálenosti zkreslené. Čím více se blížíte k ose x, tím více se prostor rozšiřuje. Ale opět jsou úhly zachovány. Pokud kreslíte
