+1 Daumen
903 Aufrufe

Aufgabe:

Sei V ein euklidischer Vektorraum und seien v1, ...., vr, r ∈ ℕ, orthonormale Vektoren in V, d.h. <vi, vj>=δij i, j ∈ {1,...,r}. Zeigen Sie die Äquivalenzen der folgenden Aussagen:

(i) {v1,...,r} ist eine Basis von V

(ii) Für v ∈ V gilt: <v, vi>= 0 für i= 1,...,r ⇒v=0

(iii) Für alle v ∈ V gilt: v= \( \sum\limits_{i=1}^{r}{<v_i,v>v_i} \)

(iv) Für v ∈ V gilt: <v, w> = \( \sum\limits_{i=1}^{r}{<v,v_i><v_i,w>} \) für alle w ∈ V.

(v) Für alle v ∈ V gilt: ||v||2 =\( \sum\limits_{i=1}^{r}{|<v,v_i>|^2} \)


Mein Ansatz:

(i)→(ii)

Zu zeigen: v=0

Sei  {v1,..,vr} eine Basis von V, weiterhin sei v∈ V gegeben mit >v,vi>=0 für alle i ∈{1,..,r}. Hieraus folgt: v∈ L(v1,...,vr)= Lineare Hülle=V={0}, d.h. v=0.

(ii)→(iii)

Es gelte ∀v∈V: (<v,vi>=0 ∀i ∈{1,..,r}⇒v=0

Bezeichnet "*"

Zu zeigen: ∀w∈V w=\( \sum\limits_{i=1}^{r}{<w,v_i>v_i} \)

Sei w ∈V setze: v=w=\( \sum\limits_{i=1}^{r}{<w,v_i>v_i} \)

Wir überprüfen ob "*" für w erfüllt ist.

Sei j ∈ {1,..,r}. Dann gilt: <w=\( \sum\limits_{i=1}^{r}{<w, v_i>v_i,v_j>=0} \)

=<w,vi>-\( \sum\limits_{i=1}^{r}{<<w,v_i<v_i,v_j>} \)

=<w,vj>-\( \sum\limits_{i=1}^{r}{<w,v_i><v_i,v_j>=0} \)

für 0= i≠j oder 1=i=j.

Bei (iii)→(iv) und von (iv)→(v) habe ich extreme Probleme. Ich gehe stark davon aus, dass ich das was ich nun bei (iii) gezeigt habe bei (iv) benutzen muss und das selbe dann auch im letzten Schritt. Allerdings sehe ich da keinen für mich sinnvollen Schritt. Wobei ich auch ehrlich sagen muss, dass ich bis zum hier gezeigten Punkt nicht 100% sicher bin ob das so stimmt und ganz durchsehen tue ich da auch noch nicht.

Wäre daher sehr dankbar, wenn man mir das mal zeigen könnte und verständlich erklären kann. Weil es könnte so Aussage von meinem Dozenten ja auch sein, dass die Reihenfolge anderes leichter wäre bzw. es muss ja nicht Äquivalent sein.

Ansonsten wünsche ich euch allen ein schönes Osterfest.

Freundliche Grüße

noxa

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

 (iii)→(iv)

Wenn du hast

Für alle v ∈ V gilt: v= \( \sum\limits_{i=1}^{r}{<v_i,v>v_i} \)
Dann gilt ja auch  w= \( \sum\limits_{i=1}^{r}{<v_i,w>v_i} \) .
==>  <v,w> = < \( \sum\limits_{i=1}^{r}{<v_i,v>v_i} \) , \( \sum\limits_{i=1}^{r}{<v_i,w>v_i} \)  > 
Wegen der Bilinearität des Skalarproduktes kannst du daraus eine Doppelsumme machen,
 =  \( \sum\limits_{j=1}^{r}   \sum\limits_{i=1}^{r}  <{<v_j,v>v_j}  ,{<v_i,w>v_i} >\) 
und die Faktoren rausziehen
 =  \( \sum\limits_{j=1}^{r}   \sum\limits_{i=1}^{r}  {<v_j,v><v_i,w><v_j,v_i} >\) 
Und da es eine Orthonormalbasis ist, sind die hinteren Skalarprodukte bei verschiedenen
Indizes 0 und sonst 1, also bleibt von der Doppelsumme nur die einfache Summe
=  \( \sum\limits_{i=1}^{r}  {<v_i,v><v_i,w>*1}\)  und wegen der
Symmetrie des Skalarproduktes ist das (iv).

und (v) ist doch wohl nur der Spezialfall von (iv) mit w=v.

Avatar von 289 k 🚀

Danke dir für diese tolle Antwort. Das heißt mein Weg von (i) bis (iii) ist so korrekt? Hat mich einiges an nerven gekostet.

Würdest du es selbst auch so aufschreiben oder gibt es da eventuell noch ein paar Sachen die Mathematischer schöner (für Korrekteure) sein könnten?

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community