Szerkesztő:Gubbubu/Elemi geometria
Elemi geometria
Ne lépjen be ide senki, aki nem ismeri a geometriát.[1]
Az nyűgözött le az euklideszi geometriával kapcsolatban, hogy egy kis axiómarendszerből kiindulva mindent be lehet bizonyítani. És maga a bizonyítás gondolata is megfogott, ugyanis a számolásokat az ember vagy elrontja vagy nem, de egy bizonyítás tiszta ügy. [2]
Mi a(z elemi) geometria?
A geometria a matematika egyik legrégebbi tudományága, mely a tér szemléletes viszonyainak (mint pl. a hely, elhelyezkedés, nagyság stb.) leírásából alakult ki.
A könyv didaktikai jellegéről
Mit jelent az, hogy „elemi”?
szerkesztésA geometria volt a legelső tudományág, melyet axiomatikus (deduktív) rendszerben tárgyaltak. Mi ezt nem fogjuk követni, tárgyalásmódunk nemcsak témájában, de módszereiben is nagymértékben „elemi” szintű lesz (az „elemi” jelző itt tehát metodológiai és tematikus témaredukciót is magában foglal). Témánk az a geometria lesz, ami az ókori egyiptomiaktól, távol-keletiektől és görögöktől kezdve egészen a huszadik század elejéig meghatározó részét képezte a geometria tárgyalásának és oktatásának (az „elemi” jelzőt mint tematikus korlátozó faktort egyszerűen úgy is lehet érteni: „tradicionális”). Foglalkozni fogunk ugyan a nemeuklideszi geometriákkal is, de az euklideszi geometriába ágyazottan. Módszereink pedig nagyrészt abban a tekintetben lesznek elemiek, hogy csak olyan ismeretekre és eljárásokra építünk, amit az átlag tanulók a középiskolában tanulnak (ha nem, akkor azt külön jelezzük és igyekszünk elkülöníteni). Tehát differenciálgeometria, komolyabb halmazelméleti és algebrai eszközöket (mértékelmélet, determináns etc.) lehetőleg nem használunk; ha mégis, akkor azt nem mint geometrián kívüli alkalmatosságot kezeljük, hanem igyekszünk az elemi ismeretekből levezetni .
Előismeretek?
szerkesztésKizárólag a racionális számokkal való számolás ismeretére építünk.
A könyv tartalma
Alapok
szerkesztés
-
- Alapok I. - Alapfogalmak - osztály, elem, egyenlőség
- Alapok II. - üres osztály, minimálelemek.
- Alapok III. - a Russell-paradoxon és következményei
- Alapok IV. - részhalmazok,
- Alapok V. - párok
- Alapok VI. - konnekció, operáció
- Alapok VII.
- Alapok VIII. - egyesítés (unió)
- Alapok IX. - direkt szorzat
Relációk
szerkesztés
- Reláció
- Reláció inverze
- Relációk szorzata
- Bináris reláció
- Homogén bináris reláció
- Előrendezési relációk
Függvények
szerkesztés
- Függvény
- Szürjektív és injektív függvény
- Bijektív függvények
Számosság
szerkesztés
- Halmaz számossága
- Véges és végtelen halmazok
- A természetes számok halmaza
- Megszámlálható halmazok
Axiomatikus halmazelmélet
szerkesztés
- A Zermelo-Fraenkel-axiómarendszerekek
- A Neumann-Bernays-Gödel-axiómarendszer
- A Morse-Kelley axiómarendszer
- A Quine-axiómarendszer
Egyéb
szerkesztés
Jegyzetek
szerkesztésIrodalom
szerkesztésLásd még
szerkesztés