Euklidova geometria: definícia, axiómy a história (Elementy)

Euklidova geometria: jasná definícia, prehľad axiómov a historický vývoj od Elementov po neeuklidovské systémy.

Euklidovská geometria je systém v matematike. Ľudia si myslia, že Euklides bol prvý, kto ju opísal, preto nesie jeho meno. Prvýkrát ju opísal vo svojej učebnici Elementy. Táto kniha bola prvou systematickou diskusiou o geometrii, ako bola v tom čase známa. V knihe Euklides najprv predpokladá niekoľko axióm. Tie tvoria základ pre neskoršie práce. Sú intuitívne jasné. Na základe týchto axióm sa dajú dokázať ďalšie tvrdenia.

V 19. storočí sa objavili ďalšie formy geometrie. Ide o neeuklidovskú geometriu. Carl Friedrich Gauss, János Bolyai a Nikolaj Ivanovič Lobačevskij boli niektorí ľudia, ktorí vyvinuli takéto geometrie. Veľmi často sa v nich nepoužíva postulát o rovnobežke, ale ostatné štyri axiómy.

Definícia a základné pojmy

Euklidovská geometria je klasická rovinná (a priestorová) geometria založená na súbore axiomatických predpokladov, z ktorých sa odvodzujú definície, postuláty a dôkazy. Základné pojmy zahŕňajú bod, priamku, rovinu, uhol, dĺžku úsečky a kružnicu. V Euklidových Elementoch sú tieto pojmy predstavené pomocou definícií a niekoľkých spoločných poznatkov (common notions), ktoré slúžia ako všeobecné logické pravidlá.

Euklidove axiómy a postuláty

Euklides rozlišoval medzi definíciami, spoločnými poznatkami a postulátmi. Najznámejšia je klasická formulácia piatich postulátov (v modernejšom znení):

• 1) Medzi dvoma bodmi vždy existuje priamka.
• 2) Každú úsečku možno predĺžiť do priamky ľubovoľne ďaleko.
• 3) Pre každý bod a každú vzdialenosť je možné zostrojiť kružnicu s daným stredom a polomerom.
• 4) Všetky pravé uhly sú si rovné.
• 5) (Paralelný postulát) Ak priama čiara prechádza dvoma priamkami tak, že vnútorné susedné uhly na jednej strane sú spolu menšie než dva pravé uhly, potom tie priamky sa na tej strane pretínajú. (Alternatívne: cez daný bod mimo priamky je najviac jedna priamka rovnobežná s danou priamkou.)

Tieto postuláty spolu s niekoľkými spoločnými poznatkami tvoria kostru, z ktorej sa konštruujú dôkazy v Euklidovej geometrii. Zaujímavé je, že piaty postulát je menej intuitívny než ostatné a historicky bol predmetom mnohých snáh o odvodenie ho z ostatných postulátov.

Elementy

Elementy sú súbory kníh, v ktorých Euklides systematicky rozvíja geometriu: začína definíciami a axiómami, potom prechádza ku konštrukciám a dôkazom tvrdení (theorem). Kniha obsahuje aj aritmetické a teoreticko-pojmové časti (napr. o deliteľnosti a proporciách). Vďaka svojej systematickosti a dôkazovej kultúre mala veľký vplyv na výučbu matematiky po stáročia.

Neeuklidovské geometrie a historický vývoj

V 19. storočí matematickí myslitelia zistili, že paralelný postulát je nezávislý od ostatných euklidovských postulátov: nie je ho možné odvodiť z prvých štyroch. To viedlo k vzniku neeuklidovských geometrií, v ktorých platia alternatívne pravidlá pre rovnobežky.

• Hyperbolická geometria (Lobačevskij, Bolyai): cez bod mimo danej priamky prechádza aspoň jedna, vlastne nekonečne veľa priamok, ktoré s ňou nesúvisia (sú rovnobežné v hyperbolickom zmysle). Táto geometria má odlišné vzťahy medzi obvodom a obsahom trojuholníkov a iné trigonometrické vzorce.
• Eliptická (sférická) geometria (Riemann): žiadne dve "priamky" (veľké kružnice na sfére) sa nepretínajú v nekonečne mnoho? — na sfére sa každé dve veľké kružnice pretínajú v dvoch bodoch; neexistujú rovnobežky). V eliptickej geometrii nie sú súčet uhlov trojuholníka rovný 180° ale väčší.

Prvými priekopníkmi v tejto oblasti boli Carl Friedrich Gauss, János Bolyai a Nikolaj Ivanovič Lobačevskij, ktorí nezávisle ukázali možnosti konzistentných geometrií bez euklidovského paralelného postulátu. Neskôr vznikli modely (napr. Poincarého disk, Beltrami–Kleinov model), ktoré preukázali konzistenciu hyperbolickej geometrie relatívne k euklidovskej geometrii.

Formálne axiomatiky a moderné poňatie

V 19. a 20. storočí sa práca s axiómami sprísnila — Hilbert formuloval modernú a internú axiomatickú bázu pre geometriu, ktorá riešila predchádzajúce nejasnosti a skrytú závislosť pojmov. Dnes sa geometria študuje nielen synteticky (ako u Euklida), ale aj analyticky pomocou súradníc, diferenciálne (kriviny a plochy) a projektívne, pričom pojmy ako metrika či topológia rozširujú rámec Euklidovej geometrie.

Vplyv a aplikácie

Euklidovská geometria mala enormný kultúrny a praktický vplyv: formovala školské vyučovanie matematiky, technické kreslenie a architektúru. Základy euklidovskej geometrie sú základy pre inžinierstvo, mapovanie, optiku a mnoho aplikácií v počítačovej grafike. Rozvoj neeuklidovských geometrických teórií zase položil základy modernej teórie relativity a ďalších oblastí fyziky, ktoré používajú nelineárne metriky priestoru.

Záver

Euklidovská geometria zostáva základným a intuitívnym systémom na štúdium priestoru a tvarov. Aj keď bola rozšírená a doplnená o neeuklidovské pohľady a formálne axiomatizácie, jej princípy a metódy zostávajú dôležité pre pochopenie matematiky, vedy a techniky.

Otázky a odpovede

Otázka: Čo je to euklidovská geometria?

Otázka: Kto napísal Elementárnu sústavu?

Otázka: Aké sú príklady neeuklidovskej geometrie?

Otázka: O čom pojednáva kniha Elements?

Otázka: Koľko axióm má euklidovská geometria?

Otázka: Kto vytvoril neeuklidovskú geometriu?

Otázka: Používa neeuklidovská geometria všetkých päť axióm alebo len štyri?

Hľadajte podľa písmena