Kollineationen

Eine bijektive Abbildung zwischen zwei Inzidenzebenen, die Geraden auf Geraden abbildet, also die Inzidenz erhält, heißt eine Kollineation. Zwei Inzidenzebenen heißen isomorph falls es eine Kollineation zwischen ihnen gibt. Sie sind dann strukturell nicht zu unterscheiden. Bei einer Kollineation einer Inzidenzebene auf sich selbst spricht man auch von einer Affinität.
Sind A=(P,G)\bm A=(\pset P,\pset G) und A′=(P′,G′)\bm A'=(\pset P',\pset G') zwei Inzidenzebenen, dann ist eine bijektive Abbildung φ:A→A′\varphi:\bm A\to\bm A' genau dann eine Kollineation, wenn für zwei verschiedene Punkte A,B∈PA,B\in\pset P (A≠BA\ne B) gilt:
φ(A ⊻ B)=φ(A) ⊻ φ(B)\varphi(A\vgr B)=\varphi(A)\vgr\varphi(B),
 
 

Satz KL73

Eine bijektive Abbildung φ\phi ist genau dann eine Kollineation, wenn sie Geraden auf Geraden abbildet, also für alle g∈Gg\in\pset G gilt: φ(g)={φ(P) ∣ P∈g}\varphi(g)=\{\varphi(P)\verts P\in g\}.

Beweis

⇒\Rightarrow: Gelte φ(A ⊻ B)=φ(A) ⊻ φ(B)\varphi(A\vgr B)=\varphi(A)\vgr\varphi(B) für alle Punkte AA, BB und sein gg eine Gerade und P∈gP\in g ein beliebiger Punkt auf ihr. Nach Inz2 gibt es einen weiteren Punkt QQ auf dieser Geraden und g=P ⊻ Qg=P\vgr Q, also φ(g)=φ(P ⊻ Q)=φ(P) ⊻ φ(Q)\phi(g)=\phi(P\vgr Q)=\phi(P)\vgr \phi(Q), womit φ(P)∈φ(g)\phi(P)\in\phi(g) gezeigt ist. ⇐\Leftarrow: Es gibt nach Inz2 zwei Punkte AA und BB, sodass g=A ⊻ Bg=A\vgr B und somit φ(g)=φ(A ⊻ B)\phi(g)=\phi(A\vgr B). Nun gilt φ(A)∈φ(g)\phi(A)\in\phi(g) und φ(B)∈φ(g)\phi(B)\in\phi(g), wegen der Bijektivität außerdem φ(A)≠φ(B)\phi(A)\ne\phi(B) und damit φ(g)=φ(A) ⊻ φ(B)\phi(g)=\phi(A)\vgr\phi(B), womit φ(A ⊻ B)=φ(A) ⊻ φ(B)\phi(A\vgr B)=\phi(A)\vgr\phi(B) gezeigt ist. □\qed

Satz DD15 (Umkehrung von Kollineationen)

Sind A=(P,G)\mathbf A=(\pset P,\pset G) und A′=(P′,G′)\bm A'=(\pset P',\pset G') zwei Inzidenzebenen, dann ist mit φ:P→P′\varphi:\pset P \to \pset P' auch ihre Umkehrung φ−1:P′→P\phi^\me:\pset P'\to \pset P eine Kollineation.

Beweis

Sei g′∈G′g'\in\pset G' eine Gerade mit den beiden Punkten A′A' und B′B' (Inz2 sichert deren Existenz). Da φ\vphi bijektiv ist, gibt es verschiedene A,B∈PA,B\in\pset P mit φ(A)=A′\vphi(A)=A' und φ(B)=B′\vphi(B)=B'. Für die Verbindungsgerade gilt: φ(A ⊻ B)=φ(A) ⊻ φ(B)=A′ ⊻ B′=g′\vphi(A\vgr B)=\vphi(A)\vgr\vphi(B)=A'\vgr B'=g', also ist φ−1(g′)=φ−1(φ(A ⊻ B))=A ⊻ B\vphi^\me(g')=\vphi^\me(\vphi(A\vgr B))=A\vgr B. Die Abbildung φ−1\vphi^\me überführt damit ebenfalls Geraden in Geraden und ist als Umkehrung einer Bijektion ebenfalls bijektiv, also eine Kollineation.□\qed

Satz ZR20 (Gruppe der Affinitäten)

Die Kollineationen einer Inzidenzebene A\bf A in sich, also ihre Affinitäten bilden eine Gruppe bezüglich der Hintereinanderausführung von Abbildungen. Das neutrale Element ist dabei die identische Abbildung id⁡\id. Diese Gruppe wird die Automorphismengruppe von A\bf A genannt und mit AutA{\mathcal Aut } \bf A bezeichnet.

Beweis

Die Hintereinanderausführung von Abbildungen ist assoziativ und die identische Abbildung id⁡\id ist neutrales Element bezüglich dieser. Im Satz DD15 haben wir gezeigt, dass die Umkehrung eine Kollineation wieder eine Kollineation ist. Bleibt zu zeigen, dass die Hintereinanderausführung von zwei Kollineationen ebenso eine Kollineation ist. Seien AA und BB zwei verschiedene Punkte auf einer beliebigen Geraden gg und φ\vphi und ψ\psi zwei Kollineation. Dann gilt φ(ψ(g))=φ(ψ(A ⊻ B))\vphi(\psi(g))=\vphi(\psi(A\vgr B))=φ(ψ(A) ⊻ ψ(B))=φ(ψ(A)) ⊻ φ(ψ(B))=\vphi(\psi(A)\vgr\psi(B))=\vphi(\psi(A))\vgr\vphi(\psi(B)).

Satz QV38

Sei φ\varphi eine Kollineation, dann gilt für beliebige Geraden gg und hh: aus g ∥ hg\para h folgt φ(g) ∥ φ(h)\varphi(g)\para\varphi(h).

Beweis

Für g=hg=h gilt die Behauptung trivial. Sei also g≠hg\ne h und φ(g) ∦ φ(h)\varphi(g)\npara\varphi(h), dann gibt es einen Punkt P=φ(g)∩φ(h)P=\varphi(g)\cap \varphi(h), also gilt φ−1(P)∈g,h\varphi^{-1}(P)\in g,h, im Widerspruch zu g ∥ hg\para h. □\qed

Beispiel (Automorphismengruppe der minimalen affinen Ebene)

In der minimalen affinen Ebene ist jede Permutation der vier Punkte eine Kollineation, da je zwei Punkte durch eine Gerade verbunden sind. Damit entspricht die Symmetriegruppe derjenigen des regulären Tetraeders, die bekanntlich die symmetrische Gruppe S4\bm S_4 ist.

Hochtechnologie ist im wesentlichen mathematische Technologie.

Enquete-Kommission der Amerikanischen Akademie der Wissenschaften

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Synthetische Geometrie