Az euklideszi geometria (vagy elemi geometria ) egy axiómarendszeren alapuló geometriai elmélet , amelyet először Euklidesz Elemei ( Kr. e. 3. század ) dolgozott fel .
Az elemi geometria olyan geometria, amelyet főként egy eltolási csoport ( izometria ) és egy hasonlósági csoport határoz meg . Az elemi geometria tartalmát azonban nem merítik ki a jelzett transzformációk. Az elemi geometriához tartozik még az inverziós transzformáció, a gömbgeometria kérdései , a geometriai konstrukciók elemei , a geometriai mennyiségek mérésének elmélete és egyéb kérdések.
Az elemi geometriát gyakran euklideszi geometriának nevezik , mivel eredeti és szisztematikus bemutatása, bár nem elég szigorú, az Euklidész Elemekben volt . Az elemi geometria első szigorú axiomatikáját Hilbert adta . A középiskolában elemi geometriát tanulnak.
Az elemi geometria axiomatizálásának feladata egy axiómarendszer felépítésében áll úgy , hogy az euklideszi geometria összes állítása ezekből az axiómákból következik, pusztán logikai levezetéssel, rajzok megjelenítése nélkül.
Eukleidész "elemei"-ben egy axiómarendszert adtak meg , amelyen az összes euklideszi geometria alapul:
Ez a rendszer elegendő volt ahhoz, hogy az egyik matematikus megértse a másikat, de a bizonyításokban implicit módon más, intuitívan nyilvánvaló állításokat is használtak, különösen az úgynevezett Pasch-tételt , amely nem vezethető le Eukleidész posztulátumaiból.
1899 -ben Hilbert javasolta az euklideszi geometria első kellően szigorú axiomatikáját . Gilbert előtt az euklideszi axiomatika javítására Pasch , Schur , Peano , Veronese tett kísérleteket , de Hilbert megközelítése a fogalomválasztásban tanúsított minden konzervativizmusa ellenére sikeresebbnek bizonyult.
Vannak más modern axiomatika is, a leghíresebbek:
Számos versengő jelölési rendszer létezik.
A matematika ágai | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
"Tudomány" portál | ||||||||||
A matematika alapjai halmazelmélet matematikai logika logikai algebra | ||||||||||
Számelmélet ( aritmetika ) | ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
|