Kurs:Differentialgeometrie (Osnabrück 2023)/Orientierung/Anhang

Es seien $V$ und $W$ zwei zweidimensionale reelle Vektorräume mit den Basen $v_{1}, v_{2}$ bzw. $w_{1}, w_{2}$ . Es sei eine lineare Abbildung

φ : V ⟶ W

gegeben mit $φ (v_{1}) = a w_{1} + b w_{2}$ und $φ (v_{2}) = c w_{1} + d w_{2}$ . Die Matrix, die diese lineare Abbildung beschreibt, ergibt sich, indem man die Koordinaten des Bildvektors des $i$ -ten Basisvektors als $i$ -te Spalte schreibt. Bei der gegebenen Nummerierung ergibt sich also die Matrix

(\begin{matrix} a & c \\ b & d \end{matrix}),

und ihre Determinante ist $a d - c b$ . Wenn man hingegen die Reihenfolge von $v_{1}$ und $v_{2}$ vertauscht (also mit der Basis $u_{1} = v_{2}$ und $u_{2} = v_{1}$ arbeitet), so ist die beschreibende Matrix

(\begin{matrix} c & a \\ d & b \end{matrix})

mit der Determinante $c b - a d = - (a d - c b)$ . Abhängig von der gewählten Basis kann also die Determinante mal positiv, mal negativ sein (bei einem Endomorphismus kann das nicht passieren, wenn man vorne und hinten stets die gleiche Basis nimmt).

Im Folgenden ist es wichtig, dass man unter einer Basis nicht die Menge der Basisvektoren ${v_{1}, \dots, v_{n}}$ , sondern das geordnete Tupel $(v_{1}, \dots, v_{n})$ der Basisvektoren versteht.

Definition

Es sei $V$ ein endlichdimensionaler reeller Vektorraum. Man nennt zwei Basen $v_{1}, \dots, v_{n}$ und $w_{1}, \dots, w_{n}$ orientierungsgleich, wenn die Determinante ihrer Übergangsmatrix positiv ist.

Diese Relation zwischen Basen ist eine Äquivalenzrelation, und zwar eine, bei der es nur zwei Äquivalenzklassen (genannt Orientierungen oder Orientierungsklassen) gibt (außer beim Nullraum).

Definition

Es sei $V$ ein endlichdimensionaler reeller Vektorraum. Eine Orientierung auf $V$ ist eine Äquivalenzklasse von Basen von $V$ unter der Äquivalenzrelation, orientierungsgleich zu sein.^[1]

Es ist einfach, zu bestimmen, ob zwei Basen die gleiche oder die entgegengesetzte Orientierung besitzen, es macht aber keinen Sinn, die einzelnen Orientierungen zu benennen.

Definition

Es sei $V$ ein endlichdimensionaler reeller Vektorraum. Er heißt orientiert, wenn auf ihm eine Orientierung erklärt ist.

Ein Vektorraum wird dadurch orientiert, indem man beispielsweise sagt, dass $V$ die Orientierung tragen möge, die durch die Basis $v_{1}, \dots, v_{n}$ repräsentiert wird. Der Standardraum $ℝ^{n}$ trägt, wenn nichts anderes gesagt wird, die sogenannte Standardorientierung, die durch die Standardbasis $e_{1}, \dots, e_{n}$ repräsentiert wird.

Definition

Es seien $V$ und $W$ zwei endlichdimensionale orientierte reelle Vektorräume. Eine bijektive lineare Abbildung

φ : V ⟶ W

heißt orientierungstreu, wenn für jede Basis $v_{1}, \dots, v_{n}$ , die die Orientierung auf $V$ repräsentiert, die Bildvektoren $φ (v_{1}), \dots, φ (v_{n})$ die Orientierung auf $W$ repräsentieren.

Es genügt, diese Eigenschaft für eine einzige, die Orientierung repräsentierende Basis nachzuweisen, siehe Aufgabe 13.4.

Bei einem eindimensionalen reellen Vektorraum $V$ (einer Geraden) ist eine Orientierung einfach durch einen einzigen Vektor $v \neq 0$ gegeben, d.h. es wird einfach eine der beiden „Halbgeraden“ als „positiv“ ausgezeichnet. Dies ist wiederum äquivalent zu einer Identifizierung von $V$ mit $ℝ$ , der mit der Standardorientierung versehen ist, bei der $1$ positiv ist. Unter Bezug auf das Dachprodukt kann man generell die Orientierung auf einem reellen Vektorraum auf die Orientierung einer Geraden zurückführen, wie die folgende Aussage zeigt.

Lemma

Es sei $V \neq 0$ ein endlichdimensionaler reeller Vektorraum der Dimension $n$ .

Dann entsprechen durch die Zuordnung

$[v_{1}, \dots, v_{n}] ⟼ [v_{1} \land \dots \land v_{n}]$

die Orientierungen auf $V$ den Orientierungen auf $\overset{n}{⋀} V$ .

Beweis

Es seien $v_{1}, \dots, v_{n}$ und $w_{1}, \dots, w_{n}$ zwei Basen von $V$ mit der Beziehung

(\begin{matrix} v_{1} \\ ⋮ \\ v_{n} \end{matrix}) = M (\begin{matrix} w_{1} \\ ⋮ \\ w_{n} \end{matrix}) .

Dann gilt nach Korollar 57.6 (Lineare Algebra (Osnabrück 2024-2025))

v_{1} \land \dots \land v_{n} = (det M) w_{1} \land \dots \land w_{n},

woraus die Wohldefiniertheit der Abbildung und die Aussage folgt.

◻

↑ Bei einem $0$ -dimensionalen Vektorraum, also dem Nullraum, gibt es nur die leere Basis. Es ist aber dennoch sinnvoll, von zwei Orientierungen auf dem Nullraum zu sprechen, die wir durch $+$ und $-$ repräsentieren.

[1] Bei einem $0$ -dimensionalen Vektorraum, also dem Nullraum, gibt es nur die leere Basis. Es ist aber dennoch sinnvoll, von zwei Orientierungen auf dem Nullraum zu sprechen, die wir durch $+$ und $-$ repräsentieren.

[1]