Dreiecke/Kongruenzen/Einführung in Invariantentheorie/Textabschnitt

Beispiel

Wir betrachten Dreiecke im ${}\mathbb {R} ^{2}$. Die Ebene ${}\mathbb {R} ^{2}$ sei mit dem Standardskalarprodukt versehen, sodass wir Längen, Winkel und Flächeninhalte zur Verfügung haben. Eine affine Isometrie (oder eine Kongruenz) der Ebene ist eine Abbildung

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2}$

der Form

$P\mapsto AP+v,$

wobei ${}A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}$ eine lineare Isometrie ist, also durch eine orthogonale Matrix beschrieben wird, und wobei ${}v\in \mathbb {R} ^{2}$ ein (Verschiebungs)-Vektor ist. In Koordinaten liegt also die Abbildung

${\begin{pmatrix}x\\y\end{pmatrix}}\mapsto {\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}+{\begin{pmatrix}v_{1}\\v_{2}\end{pmatrix}}$

vor. Orthogonal bedeutet, dass die Spaltenvektoren eine Orthonormalbasis bilden. Im zweidimensionalen bedeutet dies, dass entweder ${}A$ eine Drehmatrix

${}A={\begin{pmatrix}\operatorname {cos} \,\alpha &-\operatorname {sin} \,\alpha \\\operatorname {sin} \,\alpha &\operatorname {cos} \,\alpha \end{pmatrix}}\,$

oder eine gespiegelte Drehmatrix (oder uneigentliche Drehmatrix)

${}A={\begin{pmatrix}\operatorname {cos} \,\alpha &\operatorname {sin} \,\alpha \\\operatorname {sin} \,\alpha &-\operatorname {cos} \,\alpha \end{pmatrix}}\,$

ist. Zu den ebenen Kongruenzen gehören insbesondere Verschiebungen, Achsenspiegelungen, Punktspiegelungen und Drehungen, die auch aus der Schule bekannt sind. Diese Abbildungen erhalten allesamt das Skalarprodukt, Längen, Winkel (aber ohne die Orientierung) und Flächeninhalte.

Unter einem Dreieck in der Ebene verstehen wir einfach ein Tupel aus drei Punkten der Ebene, also ein geordnetes Tripel ${}{\left(P_{1},P_{2},P_{3}\right)}$ mit ${}P_{i}=\left(x_{i},\,y_{i}\right)$. Die Dreieckspunkte sind also geordnet und wir erlauben auch degenerierte (oder ausgeartete) Dreiecke, beispielsweise können die Punkte kolinear sein oder auch zusammenfallen. Eine Kongruenz ${}g$ überführt ein Dreieck ${}\triangle$ in ein neues Dreieck, und zwar ist das Bilddreieck durch

${}g(\triangle )=g{\left(P_{1},P_{2},P_{3}\right)}={\left(g(P_{1}),g(P_{2}),g(P_{3})\right)}\,$

definiert. Zwei Dreiecke ${}\triangle _{1}$ und ${}\triangle _{2}$ heißen geordnet kongruent, wenn es eine Kongruenz gibt, die das eine Dreieck in das andere überführt (bei einer nicht geordneten Kongruenz kann man noch die Nummerierung der Punkte ändern). Die (geordnete) Kongruenz von Dreiecken ist eine Äquivalenzrelation. Unter einer Kongruenz bleiben diejenigen Größen eines Dreiecks erhalten, die generell unter einer Kongruenz erhalten bleiben, also der Flächeninhalt, die Länge der Seiten, und daraus abgeleitete Größen wie der Umfang des Dreiecks, die Länge der kleinsten Seite, usw., dagegen werden andere Größen des Dreiecks verändert, seine Lage im Raum, die Koordinaten seiner Punkte.

Da ein Dreieck durch die Koordinaten seiner Eckpunkte vollständig beschrieben wird, müssen alle dem Dreieck zugeordneten Größen als eine Funktion der sechs Koordinaten ${}\left(x_{1},\,y_{1},\,x_{2},\,y_{2},\,x_{3},\,y_{3}\right)$ ausdrückbar sein. Eine Größe ist also einfach eine zunächst beliebige Funktion

$\mu \colon \mathbb {R} ^{6}\longrightarrow \mathbb {R} ,\,\triangle \longmapsto \mu (\triangle ),$

(man kann auch andere Wertebereiche zulassen). Man sagt, dass eine solche Funktion nur von der Kongruenzklasse abhängt oder invariant unter der Kongruenz ist, wenn für jedes Dreieck ${}\triangle \in \mathbb {R} ^{6}$ und jede Kongruenz ${}g$ die Gleichheit

${}\mu (\triangle )=\mu (g(\triangle ))\,$

gilt. Eine solche invariante Funktion nennt man auch eine innere Größe des Dreiecks, da sie nicht von der Lage des Dreiecks in der Ebene abhängt (wobei man sowohl die invariante Funktion als auch den Wert einer solchen an einem bestimmten Dreieck als innere Größe bezeichnet).

Der Flächeninhalt (vergleiche Aufgabe; man verschiebe den Eckpunkt $(x_{3},y_{3})$ des Dreiecks in den Nullpunkt und betrachte dann die daran anliegenden Seiten als Vektoren) des Dreiecks wird durch

${}{\begin{aligned}\mu (\triangle )&={\frac {1}{2}}\vert {\det {\begin{pmatrix}x_{1}-x_{3}&x_{2}-x_{3}\\y_{1}-y_{3}&y_{2}-y_{3}\end{pmatrix}}}\vert \\&={\frac {1}{2}}\vert {{\left(x_{1}-x_{3}\right)}{\left(y_{2}-y_{3}\right)}-{\left(y_{1}-y_{3}\right)}{\left(x_{2}-x_{3}\right)}}\vert \\&={\frac {1}{2}}\vert {x_{1}y_{2}-x_{2}y_{1}-x_{1}y_{3}+x_{3}y_{1}-x_{3}y_{2}+x_{2}y_{3}}\vert \end{aligned}}$

gegeben. Aufgrund der inhaltlichen Interpretation als Flächeninhalt eines Dreiecks muss es sich um eine innere Größe handeln. Dies lässt sich aber auch rechnerisch überprüfen. Um den Rechenaufwand zu minimieren, sind folgende einfache Vorüberlegungen sinnvoll:

• Wenn eine Funktion ${}\mu$ invariant ist, so ist auch jede Funktion invariant, die nur von dieser Funktion abhängt; wenn also der Ausdruck

${}\nu (\triangle )=x_{1}y_{2}-x_{2}y_{1}-x_{1}y_{3}+x_{3}y_{1}-x_{3}y_{2}+x_{2}y_{3}$ unter einer bestimmten Kongruenz invariant ist, so ist insbesondere auch der Betrag davon unter dieser Kongruenz invariant.

• Da man jede Kongruenz als

Hintereinanderschaltung von besonders einfachen Kongruenzen schreiben kann, nämlich von Verschiebungen, Drehungen und eventuell einer Spiegelung an der ${}x$-Achse, genügt es, die Invarianz unter diesen erzeugenden Kongruenzen zu zeigen.

Betrachten wir also diese speziellen Kongruenzen. Bei einer Verschiebung ${}g$ um den Vektor ${}\left(w,\,z\right)$ ist

${}{\begin{aligned}\nu (g(\triangle ))&=\nu \left(x_{1}+w,\,y_{1}+z,\,x_{2}+w,\,y_{2}+z,\,x_{3}+w,\,y_{3}+z\right)\\&=\det {\begin{pmatrix}x_{1}-w-{\left(x_{3}-w\right)}&x_{2}-w-{\left(x_{3}-w\right)}\\y_{1}-z-{\left(y_{3}-z\right)}&y_{2}-z-{\left(y_{3}-z\right)}\end{pmatrix}}\\&=\det {\begin{pmatrix}x_{1}-x_{3}&x_{2}-x_{3}\\y_{1}-y_{3}&y_{2}-y_{3}\end{pmatrix}}\\&=\nu (\triangle ).\end{aligned}}$

Für eine Drehung ${}D$ um den Winkel ${}\alpha$ und einen Vektor ${}v\in V$ und die zugehörige Verschiebung ${}V_{v}$ gilt ${}V_{-D(v)}\circ D\circ V_{v}=D$. Da wir die Invarianz unter einer Verschiebung schon bewiesen haben, können wir annehmen, dass der dritte Eckpunkt der Nullpunkt ist, dass also ${}(x_{3},y_{3})=(0,0)$ ist. Damit ist aufgrund des Determinantenmultiplikationssatzes

${}{\begin{aligned}\nu (D(\triangle ))&=\det {\left({\begin{pmatrix}\operatorname {cos} \,\alpha &-\operatorname {sin} \,\alpha \\\operatorname {sin} \,\alpha &\operatorname {cos} \,\alpha \end{pmatrix}}{\begin{pmatrix}x_{1}&x_{2}\\y_{1}&y_{2}\end{pmatrix}}\right)}\\&=\det {\begin{pmatrix}\operatorname {cos} \,\alpha &-\operatorname {sin} \,\alpha \\\operatorname {sin} \,\alpha &\operatorname {cos} \,\alpha \end{pmatrix}}\det {\begin{pmatrix}x_{1}&x_{2}\\y_{1}&y_{2}\end{pmatrix}}\\&=\det {\begin{pmatrix}x_{1}&x_{2}\\y_{1}&y_{2}\end{pmatrix}}\\&=\nu (\triangle ).\end{aligned}}$

Für die Spiegelung ${}S={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}$ ist schließlich

${}\nu (S(\triangle ))=\nu {\left({\begin{pmatrix}1&0\\0&-1\end{pmatrix}}{\begin{pmatrix}x_{1}-x_{3}&x_{2}-x_{3}\\y_{1}-y_{3}&y_{2}-y_{3}\end{pmatrix}}\right)}=-\nu (\triangle )\,.$

Die Funktion ${}\nu$ ist also nicht invariant unter der Spiegelung, wohl aber ihr Betrag oder das Quadrat davon (letzteres gilt über jedem Körper). Die Funktion ${}\nu$ (oder $\nu ^{2}$ oder $\vert {\nu }\vert$) enthält auch die Information, ob das Dreieck ausgeartet ist oder nicht, nämlich genau dann, wenn ${}\nu$ den Wert ${}0$ annimmt.

Betrachten wir die Seitenlängen. Da wir mit geordneten Dreiecken arbeiten, sind (für ${}i\neq j$) die Seitenlängen

${}L_{ij}={\sqrt {{\left(x_{i}-x_{j}\right)}^{2}+{\left(y_{i}-y_{j}\right)}^{2}}}\,$

invariant unter Kongruenzen (sie sind nicht invariant unter Umnummerierungen, da diese ja beispielsweise $L_{12}$ in $L_{13}$ überführen). Der Ausdruck ${}U=L_{12}+L_{13}+L_{23}$, also der Umfang, ist invariant unter den Kongruenzen, aber auch unter Umnummerierungen.

Die Invarianz der Seitenlängen ist ein Spezialfall der Invarianz der Skalarprodukte. Isometrien erhalten das Skalarprodukt, dies ist ihre definierende Eigenschaft. Zu ${}i\neq j$ (und ${}k$ die dritte Zahl aus $\{1,2,3\}$) sei

${}{\begin{aligned}S_{ij}&:=\left\langle {\begin{pmatrix}x_{i}-x_{k}\\y_{i}-y_{k}\end{pmatrix}},{\begin{pmatrix}x_{j}-x_{k}\\y_{j}-y_{k}\end{pmatrix}}\right\rangle \\&={\left(x_{i}-x_{k}\right)}{\left(x_{j}-x_{k}\right)}+{\left(y_{i}-y_{k}\right)}{\left(y_{j}-y_{k}\right)}\\&=x_{i}x_{j}-x_{i}x_{k}-x_{j}x_{k}+x_{k}^{2}+y_{i}y_{j}-y_{i}y_{k}-y_{j}y_{k}+y_{k}^{2}.\end{aligned}}$

Das ist also das Skalarprodukt der beiden vektoriellen Seiten, die am Eckpunkt ${}P_{k}$ anliegen. Diese Funktionen sind invariant unter geordneten Kongruenzen. Die Invarianz der Winkel (an einer bestimmten Ecke) zwischen zwei Dreiecksseiten folgt direkt aus der Invarianz der Skalarprodukte der zwei Seiten.

Es gibt eine Reihe von elementargeometrischen Sätzen, die besagen, dass ein Dreieck bis auf Kongruenz durch die Angabe gewisser Größen bestimmt ist, z.B. durch die Angabe der drei Seitenlängen oder die Angabe eines Winkels und der Längen der beiden anliegenden Seiten. Betrachten wir die drei Längen als Abbildung (die wir die Längenabbildung nennen)

$L\colon \mathbb {R} ^{6}\longrightarrow \mathbb {R} ^{3},\,\triangle \longmapsto \left(L_{12}(\triangle ),\,L_{13}(\triangle ),\,L_{23}(\triangle )\right).$

Zwei Dreiecke sind genau dann kongruent, wenn ihre Werte unter der Abbildung ${}L$ übereinstimmen. Die Faser der Abbildung über einem Längentupel ${}\ell _{1},\ell _{2},\ell _{3}$ besteht aus allen geordneten Dreiecken, deren Seitenlängen gleich ${}\ell _{i}$ sind. Die Abbildung ist nicht surjektiv, da das Längentupel eines Dreiecks in ${}\mathbb {R} _{\geq 0}^{3}$ liegt und die Dreiecksungleichung ${}\ell _{1}\leq \ell _{2}+\ell _{3}$ (und Permutationen davon) erfüllen muss (über einem algebraisch abgeschlossenen Körper ist die Abbildung aber surjektiv). Wenn ${}\mu \colon \mathbb {R} ^{6}\rightarrow \mathbb {R}$ irgendeine invariante Funktion ist, so ist diese auf den Kongruenzklassen, also den Fasern von ${}L$, konstant, und somit gibt es eine eindeutig bestimmte Funktion ${}{\tilde {\mu }}\colon \mathbb {R} ^{3}\rightarrow \mathbb {R}$ mit ${}\mu ={\tilde {\mu }}\circ L$. In einem gewissen Sinn beschreiben die ${}L_{ij}$ sämtliche invarianten Funktionen.