Ģeometrijā paralēles postulāts ir viena no Eiklīda ģeometrijas aksiomām. Dažkārt to dēvē arī par piekto Eiklīda postulātu, jo tas ir piektais postulāts Eiklīda "Elementos".

Postulāts saka, ka:

Ja nogriežat taisni ar divām līnijām un divi iekšējie leņķi, ko veido šīs līnijas, ir mazāki par 180°, tad abas līnijas galu galā satiksies, ja tās pagarināsiet pietiekami ilgi.

Ģeometrijas jomu, kurā ievērotas visas Eiklīda aksiomas, sauc par Eiklīda ģeometriju. Ģeometriju, kurā netiek ievērotas visas Eiklīda aksiomas, sauc par neeiklīda ģeometriju.

Vēsture un nozīme

Vēsturiski piektais postulāts Eiklīdam šķita mazāk pašsaprotams nekā pārējie postulāti, tāpēc daudzi matemātiķi mēģināja to pierādīt, izmantojot pārējos postulātus. Šīs mēģinājumu pēdas ved cauri gadsimtiem — no antīkajiem un viduslaiku ģeometriķiem līdz 18.—19. gadsimtam. 19. gadsimtā matemātiķi kā Niels Henrik Abel, Jānis Boljajs (János Bolyai), Kārls Frīdrihs Gause un Lobačevskis (Nikolajs Lobačevskis) neatkarīgi parādīja, ka piektais postulāts ir neatkarīgs no pārējiem Eiklīda aksiomām: no pārējām aksiomām nevar izrēķināt vai pierādīt piekto. Tas atklāja jaunas ģeometrijas — neeiklīda ģeometrijas, kurās piektais postulāts nav spēkā.

Mūsdienu formulējumi

Mūsdienās bieži lieto ekvivalentu un vienkāršāku formulējumu, kas saucas Playfair aksioma:

  • Dotai taisnei un punktam ārpus tās eksistē vienīgi viena taisne, kas iet caur šo punktu un nav vardarbīgi pret šo taisni (tj., ir paralēla tai).

Playfair formulējums ir ekvivalents Eiklīda piektajam postulātam, ja pārējās Eiklīda aksiomas tiek pieņemtas.

Ekvivalenti apgalvojumi un sekojošie īpašumi

Daudzi naturāli ģeometrijas apgalvojumi izrādās ekvivalenti piektajam postulātam (atkal pieņemot pārējās Eiklīda aksiomas). Starp tiem ir:

  • Trijstūra iekšējo leņķu summa vienmēr ir 180°.
  • Eksistē taisnstūri (līdz ar to arī paralēlu taisnju pāris, kas uztur taisnus leņķus).
  • Ja divas taisnes ir paralēlas trešajai, tad tās savā starpā ir paralēlas.
  • Veidojas standarta līdzības attiecības — var pastāvēt līdzīgi (bet nekonkrīgu) trijstūri.

Visi šie apgalvojumi parādās vai pazūd atkarībā no tā, vai pieņem piekto postulātu.

Neeiklīda ģeometrijas piemēri

  • Hiperboliskā ģeometrija (Lobačevska ģeometrija): caur dotu punktu ārpus dotas taisnes var vilkt vairākas taisnes, kas nekrustojas ar doto taisni — tātad paralēlu ir vairāk nekā viena. Trijstūru iekšējo leņķu summa ir mazāka par 180°.
  • Eliptiskā ģeometrija (piemēram, sfēras ģeometrija ar lielajām lokiem): nekādas divas "taisnes" (lielie loki) nesaglabā paralelitāti — jebkuras divas vietām krustojas, tātad nav paralēļu. Trijstūru iekšējo leņķu summa ir lielāka par 180°.

Modeļi un konsistence

19. gadsimta atklājumi parādīja, ka, ja Eiklīda aksiomu kopa bez piektā postulāta ir konsekventa, tad arī papildinājums ar piekto postulātu un papildinājums ar tā noliegumu būs konsekventi. To apliecināja konkrēti modeļi:

  • Poincaré disks un Beltrami–Klein modelis — modeļi hiperboliskajai ģeometrijai, kas demonstrē hiperboliskās aksiomas konsistenci (attiecībā pret eiklīdisko metamatemātiku).
  • Sfēra ar lielajiem lokiem kā "taisnēm" ir piemērs eliptiskajai ģeometrijai.

Sekas praksē

Piektais postulāts ietekmē daudz praktisku un teorētisku jomu: no klasiskās ģeometrijas konstruēšanas un trijstūru teorijas līdz ģeometrijas pamatidejām modernās fizikā (piem., telpas curving in vispārējā relativitātē ļauj citus attēlojumus). Sapratne, ka piektais postulāts nav pašsaprotams, lika matemātiķiem attīstīt plašāku ģeometriju spektru un skaidri nošķirt aksiomas no pēctecībām un secinājumiem.

Kur lasīt vairāk

Cilvēkiem, kuri vēlas padziļināt izpratni, ieteicams meklēt literatūru par Eiklīda Elementiem, par Lobačevska un Boljaja darbu hiperboliskajā ģeometrijā, kā arī par moderniem modeļiem (Poincaré disks, Beltrami modelis). Šie avoti palīdz saprast gan idejas, gan formālo pierādīšanas gājienu, kādēļ piektais postulāts ir tik īpašs matemātikā.