Kurs:Lineare Algebra II/Euklidische Vektorräume

Aus Wikiversity

Wir wollen in reellen Vektorräumen Längen und Winkel von Vektoren messen. Als Methode verallgemeinern wir den Begriff des Skalarproduktes aus der anschaulichen Vektorrechnung im $\mathbb{R}^n$ .

[Bearbeiten] Skalarprodukt

[Bearbeiten] Definition 1.1

Sei $V$ ein reeller Vektorraum. Eine Abbildung, die jedem Paar von Vektoren $(u, v)$ eine reelle Zahl $\langle u, v \rangle$ zuordnet, heißt Skalarprodukt, wenn folgende Regeln erfüllt sind:

$(s 1)$ $\langle u, v \rangle$ ist linear in u und linear in v (bilinear),

$(s 2)$ $\langle u, v \rangle = \langle v, u \rangle$ (symmetrisch),

$(s 3)$ für $u \neq 0$ gilt $\langle u, u \rangle > 0$ (positiv definit).

Ein Euklidischer Vektorraum ist ein reeller Vektorraum mit einem Skalarprodukt

$\langle -, - \rangle : V \times V \to \mathbb{R}, \quad (u, v) \mapsto \langle u, v \rangle$ .

[Bearbeiten] Beispiele

Der euklidische Standard-Vektorraum ist der $\mathbb{R}^n$ mit dem Standard-Skalarprodukt: $\langle u, v \rangle := u^tv = \sum^n_{i=1} u_iv_i$ .
Ein Isomorphismus $\phi : V \to \mathbb{R}^n$ induziert auf $V$ ein Skalarprodukt durch $\langle u, v \rangle_\phi := \langle \phi(u), \phi(v) \rangle$ .
Eine reguläre Matrix $A \in Gl_n(\mathbb{R})$ induziert auf $\mathbb{R}^n$ ein Skalarprodukt durch $\langle u, v \rangle := u^tA^tAv$ . Für $A = \mathbb{E}_n$ erhält man das Standardskalarprodukt.
Auf dem Vektorraum der stetigen reellen Funktionen über einem abgeschlossenen Intervall $[a, b], C 0 ([a, b]),$ ist $\langle f, g \rangle := \int^b_a f(x)g(x) \, dx$ ein Skalarprodukt.

Test: Warum ist das letzte Beispiel ein Skalarprodukt?

[Bearbeiten] Bemerkungen

Die positive Definitheit erlaubt die Einführung der Norm (Länge) eines Vektors: $|x| := \sqrt{\langle x, x \rangle}$ .
Es gelten: $| r x | = | r | | x |$ und $| x | = 0$ gdw. $x = 0$ .

[Bearbeiten] Satz 1.2 (Cauchy-Schwarz-Ungleichung)

$|\langle u, v \rangle| \le |u||v|$ , (Zusatz: Gleichheit gilt gdw. $u, v$ linear abhängig).

Die Cauchy-Schwarz-Ungleichung rechtfertigt die Einführung eines Winkels $\varphi$ zwischen zwei von Null verschiedenen Vektoren durch die Formel:

$\cos(\varphi) := \frac{\langle u, v \rangle}{|u||v|}$ .

Die Regeln der anschaulichen Geometrie gelten weiter:

[Bearbeiten] Corollar 1.3

Dreiecksungleichung: $|u + v| \le |u| + |v|$ .

Kossinussatz: $|u + v|^2 = |u|^2 + |v|^2 - 2|u||v| \cos(\varphi)$ .

[Bearbeiten] Orthogonalität

Der Kosinus eines rechten Winkels hat den Wert Null. Deshalb wird definiert:

[Bearbeiten] Definition 1.4

Zwei Vektoren $u, v$ heißen orthogonal, wenn $\langle u, v \rangle = 0$ (Schreibweise: $u \perp v$ ).

Eine Menge von Vektoren ${v 1,..., v k}$ heißt Orthonormalsystem (ONS), wenn $\langle v_i, v_j \rangle = \delta_{ij}$ .

Ist die Menge zusätzlich eine Basis, dann heißt sie Orthonormalbasis (ONB).

Hierbei bezeichnet $δ i j$ das Kronecker-Symbol: $\delta_{ij} = \left\{ \begin{matrix} 1 & i = j \\ 0 & i \neq j \end{matrix} \right.$ .

[Bearbeiten] Lemma 1.5

Ein ONS ist stets linear unabhängig.

[Bearbeiten] Eigenschaften

Sei ${v 1,..., v n}$ eine ONB, dann gelten die folgenden Formeln:

$x = \sum^n_{i=1} \langle x, v_i \rangle v_i$ ,
$|x|^2 = \sum^n_{i=1} \langle x, v_i \rangle^2$ ,
$\langle x, y \rangle = \sum^n_{i=1} \langle x, v_i \rangle\langle y, v_i \rangle$ ,
Bessel-Ungleichung: $|x|^2 \ge \sum^k_{i=1} \langle x, v_i \rangle^2$ ; Zusatz: Gleichheit gdw. $x \in Lin\{v_1, ..., v_k\}$ .

[Bearbeiten] Satz 1.6

Jeder endlich erzeugte Unterraum eines euklidisches Vektorraumes hat eine ONB: Sei ${v 1,..., v k}$ linear unabhängig, dann existieren Vektoren $v'_i \in Lin(v_1, ..., v_i)$ , so dass $v' 1,..., v' i$ eine ONB von $L i n (v 1,..., v i)$ für $i = 1,..., k$ ist.

Der Beweis ergibt sich aus dem Orthonormalisierungsverfahren: Induktiv gilt die folgende Formel

$v'_{i+1} := \frac{\tilde{v}}{|\tilde{v}|}, \quad \tilde{v} := v_{i+1} - \langle v_{i+1}, v'_1 \rangle v_1' - ... - \langle v_{i+1}, v'_i \rangle v_i'$ .

In einem Euklidischen Vektorraum hat jeder Unterraum einen ausgezeichneten komplementären Unterraum, sein orthogonales Komplement:

[Bearbeiten] Satz 1.7

Sei $U$ ein endlich erzeugter Unterraum von $V$ , dann gilt $V = U \oplus U^\perp$ , wobei das orthogonale Komplement von $U$ durch $U^\perp := \{x | \forall u \in U : \langle x, u \rangle = 0\}$ gebildet wird.

Test: Warum ist $U^\perp$ ein Unterraum?

Der Beweis ergibt sich aus der eindeutigen Zerlegung jedes Vektors in die Summe von seinem Lot bezüglich $U$ aus $U^\perp$ und seiner orthogonalen Projektion auf $U$ .

[Bearbeiten] Corollar 1.8

Sei $u 1,..., u r$ eine ONB von $U$ , dann ist die orthogonale Projektion $pr^\perp_U: V \to U$ durch folgende Formel gegeben: $pr^\perp_U(x) = \sum^r_{i=1} \langle x, u_i \rangle u_i$ .

Zur Erinnerung: Zu jeder Zerlegung $V = U \oplus W$ gehören zwei Projektionsoperatoren $pr_1, pr_2 \in Hom(V, V)$ mit den folgenden Eigenschaften:

$k e r (p r 1) = i m (p r 2) = W, k e r (p r 2) = i m (p r 1) = U$ ,
$pr^2_i = pr_i$ ,
$p r i (x) = x$ gdw. $x \in im(pr_i)$ ,
${0,1}$ ist die Menge der Eigenwerte von $p r i$ .

[Bearbeiten] Corollar 1.9

Sei $u 1,..., u r$ ein ONS in einem endlich erzeugten euklidischen Vektorraum, dann existiert eine orthonormierte Ergänzung zu einer ONB.

Die Ergänzung ergibt sich aus einer ONB von $U^\perp$ , $U$ erzeugt durch die Vektoren des gegebenen ONS.
Als besonders wichtige Aussage folgt die eindeutige Lösbarkeit des folgenden Minimalproblems:

[Bearbeiten] Corollar 1.10

Das Minimalproblem $\{u \in U | |x - u| = minimal\}$ besitzt die eindeutige Lösung $x_0 := pr^\perp_U(x)$ .

Der Abstand $d (x, U)$ entspricht der Länge des Lotes. Dabei ist das Lot das Bild von $x$ bei der Projektion auf den zweiten Summanden $pr^\perp_{U^\perp}(x)$ .
Anwendungsbeispiel: Methode der kleinsten Quadrate und lineare Ausgleichsrechnung. Ist ein lineares Gleichungssystem nicht lösbar, dann ist die beste Näherungslösung zu bestimmen.

[Bearbeiten] Satz 1.11

Sei $A x = b$ ein lineares Gleichungssystem, dann ist jede Lösung $x 0$ der Normalengleichung $A t A x = A t b$ eine Lösung des Minimalproblems: $|Ax_0 - b| \le |Ax - b|$ für alle $x$ .

Dabei ist die Normalengleichung stets lösbar, da $\mathcal{S}(A^tA) = \mathcal{S}(A^t)$ , also insbesondere $r g (A t A) = r g (A)$ . Die Lösung ist eindeutig, falls $r g (A) = n$ , $n$ - Spaltenzahl. Zum Beweis benötigen wir das folgende

[Bearbeiten] Lemma 1.12

Die Vektoren ${a 1,..., a k}$ sind linear unabhängig gdw. die Determinante (Gramsche Determinante) der k-Matrix aus den Skalarprodukten nicht verschwindet $G(a_1, ..., a_k) := \det(\langle a_i, a_j \rangle) \neq 0$ .

[Bearbeiten] Orthogonale Abbildungen und orthogonale Matrizen

[Bearbeiten] Definition 1.13

Ein linearer Operator auf einem euklidischen Vektorraum, der Längen der Vektoren erhält, heißt orthogonale Abbildung. Eine quadratische Matrix $A$ heißt orthogonale Matrix, wenn $A t = A - 1$ .

Eigenschaften von orthogonalen Abbildungen und Matrizen:

Ein orthogonaler Operator erhält das Skalarprodukt und ist winkeltreu.
Ein orthogonaler Operator hat höchstens die Eigenwerte $1$ und $- 1$ .
Ein orthogonaler Operator bildet eine ONB auf eine ONB ab.
Die Determinante einer orthogonalen Matrix ist $1$ oder $- 1$ .
Die Menge aller orthogonalen $(n, n)$ -Matrizen bildet eine Untergruppe (orthogonale Gruppe) $\mathcal{O}_n \subset Gl_n$ .
Die Spalten resp. Zeilen einer orthogonalen Matrix bilden eine ONB des Euklidischen Standardraumes.

[Bearbeiten] Satz 1.14

Sei $L$ ein Operator von einem Euklidischen Vektorraum $V$ und $B$ eine ONB:

$L$ ist orthogonale Abbildung gdw. die Matrixdarstellung $M^B_B(L)$ eine orthogonale Matrix ist.

[Bearbeiten] Lemma 1.15

Ist $n$ ungerade und $A \in \mathcal{O}_n$ , dann folgt aus $| A | = 1$ stets $| A - I n | = 0$ und aus $| A | = - 1$ stets $| A + I n | = 0$ .

Beispiele:

Im $\mathbb{R}^2$ sind orthogonale Abbildungen Drehungen um dem Ursprung und orthogonale Spiegelungen an Geraden

durch $0$ .

Die zugehörigen orthogonalen Matrizen sind:

$D_\varphi := \begin{pmatrix} \cos(\varphi) & \sin(\varphi) \\ \sin(\varphi) & -\cos(\varphi) \end{pmatrix}$ und $D'_\varphi := \begin{pmatrix} \cos(\varphi) & -\sin(\varphi) \\ \sin(\varphi) & \cos(\varphi) \end{pmatrix}$ .

Orthogonale Abbildungen im $\mathbb{R}^3$ sind Drehungen um eine Achse oder Drehungen um eine Achse mit anschließender orthogonaler Spiegelung an der zur Drehachse orthogonalen Ebene.

[Bearbeiten] Lemma 1.16

Ist $L$ orthogonaler Operator und $U \subset V$ ein $L$ -invarianter Unterraum, dann ist auch $U^\perp$ $L$ -invariant, d.h. $L(U^\perp) \subseteq U^\perp$ .

Hinweis: Für jede orthogonale Abbildung gilt: Sind $r := \dim(V_{\lambda=1})$ und $s := \dim(V_{\lambda=-1})$ die Dimensionen der Eigenräume, dann ist $L$ eine Verknüpfung von $a := \frac{n - r - s}{2}$ Drehungen in $a$ zueinander orthogonalen Ebenen von $V$ und von $s$ orthogonalen Spiegelungen an Hyperebenen, die paarweise orthogonal zueinander sind.

[Bearbeiten] Euklidische Punkträume

Ist der Translationsraum eines reellen affines Raumes mit einem Skalarprodukt versehen, so sprechen wir von einem Euklidischen Punktraum. Hier können Abstände bestimmt und Winkel gemessen werden. Der Abstand zweier Punkte ist die Länge des Verbindungsvektors $d(P,Q) := |\vec{PQ}|$ .

[Bearbeiten] Definition 1.17

Der Abstand $d (H 1, H 2)$ zweier (windschiefer) affiner Unterräume ist das Infimum der Abstände zwischen Punkten der beiden Unterräume.

Der Abstand affiner Unterräume ist stets endlich:

[Bearbeiten] Lemma 1.18

In je zwei affinen Unterräumen $H 1, H 2$ gibt es zwei Punkte $P 1, P 2$ von minimalem Abstand:

d (P 1, P 2) = d (H 1, H 2)

.

Testfrage: Unter welchen Bedingungen sind die Punkte $P i$ eindeutig bestimmt?

Im Spezialfall Punkt und Hyperebene kann der Abstand aus der Hesseschen Normalform abgelesen werden.
Eine Hyperebene $H$ im euklidischen Standardraum $\mathbb{R}^n$ ist Lösungsmenge einer linearen Gleichung $a 1 x 1 + ... + a n x n = b$ . Ist der Vektor $a = (a 1,..., a n)$ normiert, dann heißt die Gleichung Hessesche Normalform der Hyperebene $H$ (evtl. nach Multiplikation der Gleichung mit $- 1$ gilt stets $b \ge 0$ und die Normalform ist eindeutig).

[Bearbeiten] Satz 1.19

Sei $P$ ein Punkt und $a 1 x 1 + ... + a n x n = b$ die Hessesche Normalform der Hyperebene H, dann gilt

$d(P,H) = |\langle a, \vec{OP} \rangle|$ .

Testfrage: Welche geometrische Bedeutung besitzen $a$ und $b$ bzgl. $H$ und das Vorzeichen des Skalarproduktes bzgl. der Lage von $P$ zu $H$ ?

[Bearbeiten] Information: verwandte Begriffe, komplexe Version, nichteuklidische Räume

[Bearbeiten] Normierte und metrische Räume

An dieser Stelle sei auf verwandte Begriffe hingewiesen, die insbesondere in der Funktionalanalysis benutzt werden:

[Bearbeiten] Definition 1.20

Ein $K$ -Vektorraum (wobei $K \subset \mathbb{C}$ ) heißt normiert, falls es eine Abbildung (Norm) $\|\_\| : V \to \mathbb{R}_+$ gibt, die folgenden Regeln genügt:

(1) $\|x\| > 0$ für alle $x \neq 0$ ; (2) $\|rx\| = |r| \cdot \|x\|$ ; (3) $\|x + y\| \le \|x\| + \|y\|$ .

[Bearbeiten] Definition 1.21

Eine Menge $M$ heißt metrischer Raum, falls es eine Abbildung (Abstandsfunktion) $\rho: M \times M \to \mathbb{R}_+$ gibt, die folgenden Regeln genügt:

(1) $ρ(a, b) > 0$ für alle $a \neq b$ ; (2) $ρ(a, b) = ρ(b, a)$ ; (3) $\rho(a, b) \le \rho(a, c) + \rho(c, b)$ .

Jeder euklidische VR ist normiert, jeder normierte VR ist metrisch durch $\|x\| := \sqrt{\langle x, x \rangle}$ resp. $\rho(x, y) := \|x - y\|$ . Die Umkehrungen gelten nicht.

Beispiel: Für jeden Körper $K$ definiert der Hamming-Abstand eine Metrik auf $K n$ durch

$\rho(x, y) := \# \{i|x_i \neq y_i\}$ .

Der Hamming-Abstand spielt eine zentrale Rolle bei der Beschreibung effektiver Codes.

[Bearbeiten] Information: Unitäre Vektorräume

Schließlich wollen wir die Begriffsbildungen des euklidischen VR und des Skalarproduktes auf den Fall komplexer Vektorräume ausdehnen. Betrachten wir zunächst den Standardfall: $\mathbb{C}^n$ enthält $\mathbb{R}^n$ als reellen Unterraum und ist selbst ein reeller VR der Dimension $2 n$ :

$\mathbb{R}^n \subset \mathbb{C}^n \cong \mathbb{R}^{2n}; \quad x \mapsto x; \quad z = x + iy \mapsto (x, y)$ .

Wir wollen die reelle Standardnorm so auf $\mathbb{C}^n$ fortsetzen, dass sie mit den obigen Abbildungen verträglich ist. Damit ergibt sich $|z|^2 = x^2_1 + ... + x^2_n + y^2_1 + ... + y^2_n = z_1\overline{z}_1 + ... + z_n\overline{z}_n = z^t \cdot \overline{z}$ .

[Bearbeiten] Definition 1.22

Eine Abbildung $L: V \to W$ zwischen komplexen VR heißt semilinear, falls

$L (z + w) = L (z) + L (w)$ und $L(\lambda z) = \overline{ \lambda} L(z)$ .

Die Abbildung ’komplexe Konjugation’ auf $\mathbb{C}^n$ ist semilinear. Das Standardbeispiel führt auf die folgende Verallgemeinerung des Skalarproduktes im Komplexen:

[Bearbeiten] Definition 1.23

Ein Paar $(V, h)$ eines komplexen Vektorraumes und einer Abbildung $h: V \times V \to \mathbb{C}$ heißt unitär, falls $h$ folgende Regeln erfüllt:

(1) $h (u, v)$ ist linear in $u$ und semilinear in $v$ (sesquilinear),

(2) $h (u, v) = h (v, u)$ (Bedingung (1) + (2) definiert eine Hermitesche Form, speziell ist $h (u, u)$ reell),

(3) für $u \neq 0$ gilt $h (u, u) > 0$ (positiv definit).

Bemerkungen:

Jede Matrix $H = A + iB \in Mat(n, n; \mathbb{C})$ induziert eine sesquilineare Form $h H$ auf den $\mathbb{C}^n$ durch $h_H(z,w) := z^tH\overline{w}$ . Dabei entsprechen Realteil bzw. Imaginärteil von $h H$ jeweils Bilinearformen auf $\mathbb{C}^{2n}$ induziert durch die Matrizen

$\begin{pmatrix} A & 0 \\ 0 & A \end{pmatrix}$ bzw. $\begin{pmatrix} 0 & -B \\ B & 0 \end{pmatrix}$ .

$h H$ ist Hermitesch gdw. $A$ symmetrisch und $B$ schiefsymmetrisch.
Ein unitärer VR ist normiert durch $\|w\|^2 := h(w,w)$ .
Es gilt die Cauchy-Schwarz-Ungleichung. Damit kann der Winkel zwischen Vektoren definiert werden. Die Begriffe ’orthogonal’, ’orthogonales Komplement’ und ’ONB’ sind wörtlich zu übertragen.
Ebenso kann das Orthonormierungsverfahren im unitären Raum verwendet werden.

[Bearbeiten] Information: Nichteuklidische Geometrie

Der Verzicht auf die Bedingung der positiven Definitheit führt zu Vektoren der Länge Null und sogar von imaginärer Länge. So gibt das Modell des $\mathbb{R}^4$ mit der nichteuklidischen ’Länge’

$|(t, x_1, x_2, x_3)|^2 := (ct)^2 - x^2_1 - x^2_2 - x^2_3, \quad c > 0$

einen mathematischen Hintergrund für die Beschreibung der speziellen Relativitätstheorie und zum Verstehen ihrer Besonderheiten.