www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Lineare Algebra - Moduln und Vektorräume" - ON-Basis
ON-Basis < Moduln/Vektorraum < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Moduln und Vektorräume"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

ON-Basis: Ansatz
Status: (Frage) beantwortet Status 
Datum: 01:33 Do 22.01.2009
Autor: T_sleeper

Aufgabe
Sei [mm] (V,<,>) [/mm] ein euklidischer Vektorraum und [mm] ||...||:V\rightarrow\mathbb{R}[/mm] die induzierte Norm.

(a) Sei [mm] (v_{1},...,v_{n}) [/mm] eine ON-Basis von V. Man zeige, dass [mm] \forall v,w\in V [/mm]gilt:

[mm]=\overset{n}{\underset{i=1}{\sum}}.[/mm]

(b) Sei [mm] (v_{1},...,v_{r})[/mm] ein Orthonormalsystem von V. Es gelte:

[mm] ||v||^{2}=\overset{r}{\underset{i=1}{\sum}}^{2}\,\,\,\,\forall v\in V [/mm].

Man zeige, dass [mm] (v_{1},...,v_{r})[/mm] eine ON-Basis von V ist.

Hallo,

also ich weiß, dass orthonormale Vektoren paarweise senkrecht aufeinander stehen und jeweils die Norm eins besitzen.
Damit gilt dann für das Skalarprodukt: [mm] \langle v_i, v_j\rangle [/mm] = [mm] \delta_{ij}. [/mm]

Ich habe bei (a) die Vektoren v und w als Linearkombination der Basisvektoren geschrieben, also etwa so:
[mm] \overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i}=v\,\,\,\lambda_{i}\in\mathbb{R} [/mm] für [mm] i\in\{1,...,n\}[/mm] und entsprechend dann für w (nur anstelle von lambdas stehen da müs).

Ich hab dann versucht das in die rechte Seite meiner Gleichung einzusetzen und umzuformen, bis am Ende [mm] [/mm] da steht.
Das hat aber nicht geklappt.

Ist das Vorgehen so richtig? Gibt es dabei irgendwelche Tricks, auf die ich besonders achten muss?

Und zu b habe ich bis jetzt noch keinen Ansatz.

        
Bezug
ON-Basis: Antwort
Status: (Antwort) fertig Status 
Datum: 02:30 Do 22.01.2009
Autor: felixf

Hallo

> Sei [mm](V,<,>)[/mm] ein euklidischer Vektorraum und
> [mm]||...||:V\rightarrow\mathbb{R}[/mm] die induzierte Norm.
>  
> (a) Sei [mm](v_{1},...,v_{n})[/mm] eine ON-Basis von V. Man zeige,
> dass [mm]\forall v,w\in V [/mm]gilt:
>  
> [mm]=\overset{n}{\underset{i=1}{\sum}}.[/mm]
>  
> (b) Sei [mm](v_{1},...,v_{r})[/mm] ein Orthonormalsystem von V. Es
> gelte:
>  
> [mm]||v||^{2}=\overset{r}{\underset{i=1}{\sum}}^{2}\,\,\,\,\forall v\in V [/mm].
>  
> Man zeige, dass [mm](v_{1},...,v_{r})[/mm] eine ON-Basis von V ist.
>  Hallo,
>  
> also ich weiß, dass orthonormale Vektoren paarweise
> senkrecht aufeinander stehen und jeweils die Norm eins
> besitzen.
>  Damit gilt dann für das Skalarprodukt: [mm]\langle v_i, v_j\rangle[/mm]
> = [mm]\delta_{ij}.[/mm]
>  
> Ich habe bei (a) die Vektoren v und w als Linearkombination
> der Basisvektoren geschrieben, also etwa so:
>  
> [mm]\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i}=v\,\,\,\lambda_{i}\in\mathbb{R}[/mm]
> für [mm]i\in\{1,...,n\}[/mm] und entsprechend dann für w (nur
> anstelle von lambdas stehen da müs).
>
> Ich hab dann versucht das in die rechte Seite meiner
> Gleichung einzusetzen und umzuformen, bis am Ende [mm][/mm] da
> steht.
>  Das hat aber nicht geklappt.

Setz es doch mal auf beiden Seiten ein.

> Ist das Vorgehen so richtig? Gibt es dabei irgendwelche
> Tricks, auf die ich besonders achten muss?

Du musst [mm] $\langle v_i, v_j \rangle [/mm] = [mm] \delta_{i j}$ [/mm] beachten und dass das Skalarprodukt bilinear ist. Mehr nicht.

> Und zu b habe ich bis jetzt noch keinen Ansatz.

Du musst zeigen dass es eine Basis ist. Wenn es keine ist, ist der Spann nicht der ganze Vektorraum.

Tipp: suche einen Vektor $v$ mit [mm] $\| [/mm] v [mm] \| [/mm] = 0$ und $v [mm] \neq [/mm] 0$.

LG Felix


Bezug
                
Bezug
ON-Basis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:23 Mo 26.01.2009
Autor: T_sleeper


> Setz es doch mal auf beiden Seiten ein.
>  

Ich kann es doch aber nicht auf beiden Seiten gleichzeitig einsetzen. Dann würde ich doch nie zu einem Beweis der Gleichung kommen.
Oder meintest du, ich sollte es nun auch mal in die rechte Seite einsetzen?
Das habe ich gemacht. Dann steht da [mm] =<\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i},\overset{n}{\underset{i=1}{\sum}}\mu_{i}v_{i}>. [/mm]
So und dann bin ich schon wieder überfragt. Wie geht es nun mit dem Umformen weiter?

Grüße T_sleeper


Bezug
                        
Bezug
ON-Basis: Antwort
Status: (Antwort) fertig Status 
Datum: 00:29 Mo 26.01.2009
Autor: felixf

Hallo

> > Setz es doch mal auf beiden Seiten ein.
>  >  
>
> Ich kann es doch aber nicht auf beiden Seiten gleichzeitig
> einsetzen. Dann würde ich doch nie zu einem Beweis der
> Gleichung kommen.
>  Oder meintest du, ich sollte es nun auch mal in die rechte
> Seite einsetzen?
>  Das habe ich gemacht. Dann steht da
> [mm]=<\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i},\overset{n}{\underset{i=1}{\sum}}\mu_{i}v_{i}>.[/mm]
>  So und dann bin ich schon wieder überfragt. Wie geht es
> nun mit dem Umformen weiter?

Na, das Skalarprodukt ist bilinear. Benutz das doch mal.

LG Felix


Bezug
                                
Bezug
ON-Basis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:03 Mo 26.01.2009
Autor: T_sleeper

Okay, dann kann ich die summe schonmal rausziehen. Dann folgt:

[mm] =<\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i},\overset{n}{\underset{i=1}{\sum}}\mu_{i}v_{i}>=\overset{n}{\underset{i=1}{\sum}}<\lambda_{i}v_{i},\mu_{i}v_{i}> [/mm]

Ist das so okay? Aber dann müsste ich doch noch irgendetwas rausziehen können, oder?

Oder kann ich dann gleich schon schreiben

[mm] =\overset{n}{\underset{i=1}{\sum}}<\lambda_{i}v_{i},v_{i}> [/mm]  ?

Bezug
                                        
Bezug
ON-Basis: Antwort
Status: (Antwort) fertig Status 
Datum: 05:07 Mo 26.01.2009
Autor: felixf

Hallo

> Okay, dann kann ich die summe schonmal rausziehen. Dann
> folgt:
>  
> [mm]=<\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i},\overset{n}{\underset{i=1}{\sum}}\mu_{i}v_{i}>=\overset{n}{\underset{i=1}{\sum}}<\lambda_{i}v_{i},\mu_{i}v_{i}>[/mm]

Nein, so geht das sicher nicht. Weisst du was bilinear heisst?

Es ist doch nicht $<a+b, c+d> = <a,c> + <b,d>$!

> Ist das so okay? Aber dann müsste ich doch noch irgendetwas
> rausziehen können, oder?
>  
> Oder kann ich dann gleich schon schreiben
>  
> [mm]=\overset{n}{\underset{i=1}{\sum}}<\lambda_{i}v_{i},v_{i}>[/mm]
>  ?

Wieso? Das musst du erst begruenden!

LG Felix


Bezug
                                                
Bezug
ON-Basis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:09 Mo 26.01.2009
Autor: T_sleeper

Ok klar.
Dann nochmal:
Sei [mm] v:=\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i} [/mm] und [mm] w:=\overset{n}{\underset{j=1}{\sum}}\mu_{j}v_{j}. [/mm]

Dann gilt:

[mm] =<\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i},\overset{n}{\underset{j=1}{\sum}}\mu_{j}v_{j}>=\overset{n}{\underset{i=1}{\sum}}\lambda_{i}=\overset{n}{\underset{i=1}{\sum}}\lambda_{i}\overset{n}{\underset{j=1}{\sum}}\mu_{j} [/mm]

So müsste es erst einmal richtig sein, oder?
Dann bin ich ja schon ziemlich nah am Ergebnis dran. Aber wie mache ich weiter?

Bezug
                                                        
Bezug
ON-Basis: Antwort
Status: (Antwort) fertig Status 
Datum: 23:05 Mo 26.01.2009
Autor: felixf

Hallo

>  Dann nochmal:
>  Sei [mm]v:=\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i}[/mm]
> und [mm]w:=\overset{n}{\underset{j=1}{\sum}}\mu_{j}v_{j}.[/mm]
>  
> Dann gilt:
>  
> [mm]=<\overset{n}{\underset{i=1}{\sum}}\lambda_{i}v_{i},\overset{n}{\underset{j=1}{\sum}}\mu_{j}v_{j}>=\overset{n}{\underset{i=1}{\sum}}\lambda_{i}=\overset{n}{\underset{i=1}{\sum}}\lambda_{i}\overset{n}{\underset{j=1}{\sum}}\mu_{j}[/mm]
>  
> So müsste es erst einmal richtig sein, oder?

Ja.

>  Dann bin ich ja schon ziemlich nah am Ergebnis dran. Aber
> wie mache ich weiter?

Was weisst du ueber [mm] $$? [/mm]

LG Felix


Bezug
                                                                
Bezug
ON-Basis: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:44 Mo 26.01.2009
Autor: T_sleeper


>
> Was weisst du ueber [mm][/mm]?
>  
> LG Felix
>  


Ich weiß, dass  [mm]=1[/mm] für [mm]i=j[/mm] und sonst 0.

Dann könnte ich doch gleich schreiben [mm] =\overset{n}{\underset{i=1}{\sum}} [/mm]  oder? Sollte man noch irgendwelche anderen Zwischenschritte machen?

Bezug
                                                                        
Bezug
ON-Basis: Antwort
Status: (Antwort) fertig Status 
Datum: 03:02 Di 27.01.2009
Autor: felixf

Hallo

> Ich weiß, dass  [mm]=1[/mm] für [mm]i=j[/mm] und sonst 0.

Genau.

> Dann könnte ich doch gleich schreiben
> [mm]=\overset{n}{\underset{i=1}{\sum}}[/mm]  oder?

Und warum? Kannst du das auch irgendwie begruenden?

> Sollte man noch irgendwelche anderen Zwischenschritte
> machen?

Nun, man muss es zumindest begruenden.

LG Felix


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Moduln und Vektorräume"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]