Mathematik-Online-Lexikon: Erläuterung zu Zusammenhang und die Gruppen GL(n,K), SL(n,K)

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Lexikon: Erläuterung zu
	Zusammenhang und die Gruppen GL(n,K), SL(n,K)

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

$SL(n,\mathbb{R})$ , $SL(n,\mathbb{C})$ , $GL(n,\mathbb{C})$ sind zusammenhängend.
$GL(n,\mathbb{R})$ ist nicht zusammenhängend, die Zusammenhangskomponenten sind

$\displaystyle GL(n,\mathbb{R})^{+} = \{A \in GL(n,\mathbb{R}) \mid detA > 0 \},$

$\displaystyle GL(n,\mathbb{R})^{-} = \{A \in GL(n,\mathbb{R}) \mid detA < 0 \}.$
$GL(n,\mathbb{R})^{+}$ ist die Einskomponente von $GL(n,\mathbb{R})$ .
Sei , die Einskomponente. Dann gilt:
- $\tilde G$ ist Normalteiler von ,
- Die Zusammenhangskomponenten von sind die Nebenklassen von $\tilde G$ .

Seien , $B \in \tilde G$ und $\gamma$ , $\delta$ Wege von bzw. nach $E_{n}$ . Dann ist $\hspace{0.4cm} t \mapsto \gamma(t)\cdot \delta(t)^{-1}$ ein Weg von $A \cdot B^{-1}$ nach $E_{n}$ . Also gilt $A \cdot B^{-1} \in \tilde G$ und somit ist $\tilde G$ eine Untergruppe von .
Ausserdem ist für jedes $C \in G$ die Abbildung $\hspace{0.4cm} t \mapsto C \cdot \gamma(t) \cdot C^{-1}$ ein Weg von $C \cdot A \cdot C^{-1}$ nach $E_{n}$ . Damit ist $C \cdot A \cdot C^{-1} \in \tilde G$ und folglich ist $\tilde G$ ein Normalteiler von .
Mit $\tilde G$ sind auch alle Nebenklassen von $\tilde G$ zusammenhängend. Es bleibt zu zeigen, dass Elemente aus verschiedenen Nebenklassen nicht verbindbar sind. Sei $C \tilde G$ eine beliebige Nebenklasse mit $C\not\in\tilde G$ und mit $B \in \tilde G$ . Falls es einen Weg $\gamma$ von nach $E_{n}$ gibt, dann gibt es auch einen Weg von nach $C^{-1}$ , d.h. $C^{-1} \in \tilde G$ . Damit gilt $C \tilde G$ = $\tilde G$ . Daraus folgt, dass es keine Verbindung zwischen $\tilde G$ und einer Nebenklasse von $\tilde G$ gibt.

Nun wählen wir 2 verschiedene Nebenklassen $C \tilde G$ und $D \tilde G$ mit $C,D \not \in \tilde G$ . Falls es eine Vebindung zwischen den beiden gibt, dann sind auch $\tilde G$ und $DC^{-1} \tilde {G} \not = \tilde G$ verbunden, was nach dem obigen nicht sein kann. Damit entspricht eine Nebenklasse genau einer Zusammenhangskomponente.

(Autor: Borgart)

automatisch erstellt am 6. 11. 2006