Affin geometria

A matematika, azon belül a geometria területén használatos az affin geometria fogalma. Két ekvivalens módon is bevezethető.

Szemléletesen fogalmazva az affin geometria az euklideszi geometriából adódik a metrikus fogalmak, azaz a távolságok és szögek elhagyásával. Mivel a párhuzamosság az egyik legalapvetőbb metrikafüggetlen fogalom, az affin geometriát gyakran a párhuzamosok vizsgálatával azonosítják. Az affin geometriában alapvető a Playfair-axióma, vagyis az az állítás, hogy egy adott e egyeneshez és P ponthoz pontosan egy olyan egyenes létezik, amely párhuzamos e-vel és áthalad P-n. Az alakzatok összehasonlítása az affin geometriában az affin transzformációk segítségével történik.

Másfelől a lineáris algebrára alapozva is bevezethető az affin geometria. Ebben az esetben az affin tér egy ponthalmaz és egy transzformációhalmaz alkotta rendezett pár. A transzformációk bijektív leképezések oly módon, hogy minden (P, Q) pontpárra létezik egyértelműen egy transzformáció, amely a P pontot a Q pontra képezi le. A transzformációk a függvénykompozíció műveletével vektorteret alkotnak valamely test, jellemzően a valós számtest felett.

Axiomatikus definíció

Affin geometriának nevezzük az olyan ${\mathfrak {P}}$ és ${\mathfrak {E}}$ (pont- illetve egyeneshalmazokból) képzett $({\mathfrak {P}},{\mathfrak {E}})$ rendezett párokat, amelyekre adott egy $I\subset {\mathfrak {P}}\times {\mathfrak {E}}$ (metszési) reláció, valamint egy $\|\subset {\mathfrak {E}}\times {\mathfrak {E}}$ (párhuzamossági) reláció a következő tulajdonságokkal:

1. Két különböző $A$ és $B$ pontra pontosan egy olyan $e$ egyenes létezik, amely mindkét pontot metszi, azaz $AIe$ és $BIe$ egyaránt fennáll. Ezt az egyenest az egyszerűség kedvéért szokás $AB$ egyenesként is emlegetni.
2. Minden egyenes legalább két pontot metsz.
3. A párhuzamossági reláció ekvivalenciareláció.
4. Egy adott $A$ ponthoz és adott $e$ egyeneshez pontosan egy olyan $e'$ egyenes létezik, amely metszi az $A$ pontot és párhuzamos az $e$ egyenessel.
5. Ha adott egy $ABC$ háromszög (három nem egy egyenesen fekvő pont), valamint két $A'$ és $B'$ úgy, hogy az $AB$ egyenes párhuzamos az $A'B'$ egyenessel, akkor létezik egy olyan $C'$ pont, amelyre az $AC$ egyenes párhuzamos az $A'C'$ egyenessel és a $BC$ egyenes párhuzamos a $B'C'$ egyenessel.

Lásd még

• Affin koordináták
• Affin kombináció
• Affin transzformáció
• Nemeuklideszi geometria