Euklidinen geometria – määritelmä, aksioomat ja ei-euklidiset geometriat
Euklidinen geometria: perusteet, Eukleideen aksioomat ja rinnakkaispostulaatin merkitys sekä 1800-luvun ei‑euklidiset geometrioiden synty ja merkittävät kehittäjät.
Euklidinen geometria on matematiikan järjestelmä, joka kuvaa taso- ja avaruusrakenteita käyttäen pisteitä, suoria ja muotoja. Eukleideen on perinteisesti katsottu olleen ensimmäinen tämän järjestelmän systemaattinen kuvaaja, ja siksi geometria kantaa hänen nimeään. Hän esitteli sen ensimmäisen kerran oppikirjassaan Elements, joka oli varhaisin laaja ja jäsennelty esitys geometriasta ja sen loogisista perusteluista. Kirjassa Eukleides aloittaa muutamilla perusaksioomilla ja postulaateilla: nämä toimivat lähtökohtana, joista voidaan johtaa ja todistaa muita teoreemoja.
Aksioomat ja postulaatit
Euklidisen geometrian alkuperäisessä muotoilussa on viisi niin sanottua postulaattia. Niitä on tulkittu eri tavoin vuosisatojen aikana, mutta perusmuoto on seuraava:
- Voidaan piirtää suora yhdistäen minkä tahansa kahden pisteen.
- Jatketaan suoran rantaa mielivaltaiseen suuntaan.
- Voidaan piirtää ympyrä, kun keskipiste ja säde ovat annettuja.
- Kaikki suorakulmat ovat yhtäsuuret.
- Rinnakkaispostulaatti: jos suora leikkaa kahta suoraa siten, että kulmien summa on alle kahden suorakulman, niin nämä kaksi suoraa leikkaavat tietyssä suunnassa (muiden muotoilujen mukaan: Playfain axiom — yhden ja vain yhden suoran kautta pisteen, joka ei kuulu annetulle suoralle, kulkee suora, joka on sille rinnakkainen).
Nämä postulaatit näyttävät intuitiivisilta, mutta erityisesti viides postulaatti on ollut pitkään kiistanalainen: monet matemaatikot yrittivät todistaa sen muista postulaateista, kunnes 1800-luvulla havaittiin, että siitä voi saada mielekkäitä vaihtoehtoisia geometrioita jättämällä tai korvaamalla sen muulla aksioomalla.
Keskeiset seuraukset
Euklidisesta aksioomajoukosta seuraa suuri määrä tunnettuja tuloksia, joiden intuitiivisuus vastaa arkikokemusta tasolla ja avaruudessa. Esimerkkejä:
- Kolmion kulmien summa on 180°.
- Samankaltaisten kolmioiden ja muiden muotojen käsite ja mittasuhteiden säilyminen.
- Pythagoraan lause ja muut geometriset suhteet suorakulmaisissa kolmioissa.
- Etäisyyden ja kulman käsitteet, jotka johtavat analyyttiseen geometriaan ja koordinaattimuotoiluihin.
Ei-euklidiset geometriat
1800-luvulla löydettiin muita geometrian muotoja, joita kutsutaan yhteisnimellä ei-euklidista geometriaa. Tutkimuksen edetessä huomattiin, että viidettä postulaattia voi korvata muulla aksioomalla ilman ristiriitaa — tuloksena syntyivät eri geometriset järjestelmät, joissa rinnakkaispostulaattia ei ole tai se on korvattu. Tämän alueen keskeisiä kehittäjiä olivat muun muassa Carl Friedrich Gauss, János Bolyai ja Nikolai Ivanovitš Lobatševski.
Merkittävimmät ei-euklidiset tyypit ovat:
- Hyperbolinen geometria — rinnakkaisia lävistäviä suorien ominaisuuksia ei ole; pisteen kautta, joka ei kuulu suoralle, kulkee vähintään kaksi suoraa, jotka eivät leikkaa alkuperäistä suoraa. Tässä geometrassa kolmioden kulmien summa on alle 180°.
- Elliptinen tai sferinen geometria — esimerkiksi pallopinta, jossa "suorat" ovat suuria ympyröitä; suorat leikkaavat aina kahdessa pisteessä ja kolmion kulmien summa on yli 180° (ei ole rinnakkaisia suoria lainkaan).
Nämä vaihtoehtoiset geometriat eivät olleet vain teoreettinen kuriositeetti: ne osoittivat, että euklidinen geometria ei ole ainoa loogisesti mahdollinen geometrinen malli, ja samalla avasivat tien myöhemmälle differentiaali- ja Riemannin geometrialle, joita käytetään mm. yleisessä suhteellisuusteoriassa kuvaamaan avaruuden ja ajan kaareutumista.
Myöhäisempi aksiomatisointi ja merkitys
1800–1900-luvuilla Eukleideen alkuperäistä aksiomajoukkoa kehitettiin järjestelmällisemmäksi ja muodollisemmaksi. David Hilbert esitti 1900-luvun alussa oman aksiomisaation, joka pyrki poistamaan epäselvyydet ja implisiittiset oletukset alkuperäisestä tekstistä. Modernit aksiomajärjestelmät tekevät selväksi, mitä käsitteillä kuten "piste", "suora" ja "läheisyys" tarkoitetaan, ja antavat yleispätevän perustan geometrian loogiselle tutkimukselle.
Euklidinen geometria on edelleen keskeinen osa matematiikkaa, sen opetusta ja sovelluksia: rakentaminen, insinöörityö, arkkitehtuuri, tietokonegrafiikka ja monet sovellukset käyttävät euklidista mallia tapana mitata etäisyyksiä ja kulmia. Samalla ei-euklidiset geometriset mallit ovat välttämättömiä modernissa fysiikassa ja geometrisessa analyysissä.
Yhteenveto
Euklidinen geometria muodostaa yhden matematiikan peruspilareista: selkeä aksiomajärjestelmä johtaa moniin luonnollisiin ja hyödyllisiin tuloksiin. 1800-luvun löytöjen myötä ymmärrettiin, että vaihtoehtoisilla aksioomilla voidaan kehittää johdonmukaisia, ei-euklidisia geometrioita, mikä syvensi käsitystämme matemaattisesta rakenteesta ja todellisuuden kuvaamisesta.
Aksioomat
Eukleideus tekee seuraavat oletukset. Nämä ovat aksioomia, eikä niitä tarvitse todistaa.
- Mitkä tahansa kaksi pistettä voidaan yhdistää suoralla viivalla.
- Mikä tahansa suoran pätkä voidaan pidentää (jatkaa) äärettömään, jolloin siitä tulee suora.
- Suoralla on mahdollista piirtää ympyrä siten, että segmentin toinen päätepiste on ympyrän keskipiste ja toinen päätepiste on ympyrän päällä. Suorasta segmentistä tulee ympyrän säde.
- Kaikki suorat kulmat ovat yhtenevät
- Rinnakkainen postulaatti. Jos kaksi suoraa leikkaa kolmannen siten, että toisen puolen sisäkulmien summa on pienempi kuin kaksi suoraa kulmaa, näiden kahden suoran on väistämättä leikattava toisensa kyseisellä puolella, jos niitä jatketaan riittävän pitkälle.
Status
Euklidinen geometria on ensimmäisen asteen teoria. Sen avulla voidaan tehdä ja todistaa lauseita kuten Kaikille kolmioille.... Sellaiset lausumat kuin Kaikille kolmioiden joukoille... eivät kuulu teorian piiriin.
Kysymyksiä ja vastauksia
K: Mitä on euklidinen geometria?
A: Euklidinen geometria on matematiikan järjestelmä, jonka Eukleideus kuvasi ensimmäisen kerran oppikirjassaan Elements. Se koostuu muutamasta aksioomasta, jotka muodostavat perustan myöhemmille töille, ja näistä aksioomista voidaan todistaa muita teoreemoja.
K: Kuka kirjoitti Elementit?
V: Eukleides kirjoitti Elements, joka oli ensimmäinen systemaattinen keskustelu geometriasta, sellaisena kuin se tuolloin tunnettiin.
K: Mitkä ovat esimerkkejä ei-euklidisesta geometriasta?
V: Carl Friedrich Gauss, Jבnos Bolyai ja Nikolai Ivanovitš Lobatševski kehittivät 1800-luvulla ei-euklidisia geometrioita. Niissä ei useinkaan käytetä rinnakkaispostulaattia, vaan ne tukeutuvat pikemminkin neljään muuhun aksioomaan.
Kysymys: Mitä Elements käsittelee?
V: Elements käsittelee geometriaa sellaisena kuin se tuolloin tunnettiin, ja se tarjoaa järjestelmällisen keskustelun siitä.
K: Kuinka monta aksioomaa euklidisessa geometriassa on?
V: Eukleideen geometriassa on muutama aksiooma, jotka muodostavat perustan myöhemmälle työlle.
K: Kuka kehitti ei-euklidisen geometrian?
V: Epäeuklidisen geometrian kehittivät Carl Friedrich Gauss, Jבnos Bolyai ja Nikolai Ivanovich Lobachevsky 1800-luvulla.
K: Käytetäänkö ei-euklidisessa geometriassa kaikkia viittä aksioomaa vai vain neljää?
V: Epäeuklidinen geometria ei useinkaan käytä yhdensuuntaisuuspostulaattia, vaan luottaa vain neljään viidestä aksioomastaan.
Etsiä