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 - Skalarprodukte" - Orthogonalbasis
Orthogonalbasis < Skalarprodukte < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Skalarprodukte"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Orthogonalbasis: Tipp
Status: (Frage) beantwortet Status 
Datum: 12:17 Mo 09.05.2011
Autor: chesn

Aufgabe
Sei K = [mm] \IZ/2\IZ [/mm] und [mm] \phi [/mm] eine symmetrische Bilinearform auf [mm] K^2 [/mm] mit

  [mm] A_{\phi,E} [/mm] = [mm] \pmat{ 0&1 \\ 1&0}, E=\{e_1,e_2\} [/mm]

(a) Beweise, dass [mm] \phi(v,v) [/mm] = 0 [mm] \forall [/mm] v [mm] \in K^2 [/mm] gilt. Insbesondere besitzt [mm] K^2 [/mm] keine Orthogonalsbasis bezüglich [mm] \phi. [/mm]

(b) Ist [mm] \phi [/mm] ausgeartet?

zu (a):

[mm] \phi(v,v)=(v_1,v_2)*\pmat{ 0&1 \\ 1&0}*\pmat{ v_1 \\ v_2 } [/mm] = [mm] v_1*v_2 [/mm] + [mm] v_1*v_2 [/mm]

Fallunterscheidung:

Für [mm] v_1*v_2 [/mm] = 0 gilt [mm] \phi(v,v)=0 \in [/mm] K.
Für [mm] v_1*v_2 [/mm] = 1 gilt [mm] \phi(v,v)=0 \in [/mm] K.

[mm] K^2 [/mm] besitzt keine Orthogonalbasis bzgl [mm] \phi: [/mm]

Sei B eine Orthogonalbasis von [mm] K^2 [/mm] bzgl [mm] \phi. [/mm] Seien v,w [mm] \in [/mm] B, es muss gelten: [mm] \forall [/mm] v,w [mm] \in [/mm] B : v [mm] \not= [/mm] w [mm] \Rightarrow [/mm] <v,w> = 0.

[mm] \phi(v,w) [/mm] = [mm] (v_1,v_2)*\pmat{ 0&1 \\ 1&0}*\pmat{ w_1 \\ w_2 } [/mm] = [mm] w_1v_2 [/mm] + [mm] w_1v_2 [/mm] = 0
[mm] \gdw v_1w_2 [/mm] = [mm] v_2w_1 \gdw [/mm] v=w [mm] \Rightarrow [/mm] Widerspruch zur Vorraussetzung v [mm] \not= [/mm] w !

[mm] K^2 [/mm] besitzt also keine Orthogonalbasis bzgl. [mm] \phi. [/mm]

(b) Hier bin ich mir nicht sicher, aber würde sagen [mm] \phi [/mm] ist nicht ausgeartet wegen [mm] det(A_{\phi,E}) \not= [/mm] 0 ?!

Vielen Dank fürs drüberschauen! :)

        
Bezug
Orthogonalbasis: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:31 Mo 09.05.2011
Autor: chesn

Kann niemand helfen? Oder liege ich mit der Lösung total daneben?

Soll übrigens heißen [mm] v_1w_2 [/mm] + [mm] v_2w_1 [/mm] = 0 .. Tippfehler. ;)

Vielen Dank schonmal! :]

Bezug
        
Bezug
Orthogonalbasis: Antwort
Status: (Antwort) fertig Status 
Datum: 16:42 Mo 09.05.2011
Autor: fred97


> Sei K = [mm]\IZ/2\IZ[/mm] und [mm]\phi[/mm] eine symmetrische Bilinearform
> auf [mm]K^2[/mm] mit
>  
> [mm]A_{\phi,E}[/mm] = [mm]\pmat{ 0&1 \\ 1&0}, E=\{e_1,e_2\}[/mm]
>  
> (a) Beweise, dass [mm]\phi(v,v)[/mm] = 0 [mm]\forall[/mm] v [mm]\in K^2[/mm] gilt.
> Insbesondere besitzt [mm]K^2[/mm] keine Orthogonalsbasis bezüglich
> [mm]\phi.[/mm]
>  
> (b) Ist [mm]\phi[/mm] ausgeartet?
>  zu (a):
>  
> [mm]\phi(v,v)=(v_1,v_2)*\pmat{ 0&1 \\ 1&0}*\pmat{ v_1 \\ v_2 }[/mm]
> = [mm]v_1*v_2[/mm] + [mm]v_1*v_2[/mm]
>  
> Fallunterscheidung:
>  
> Für [mm]v_1*v_2[/mm] = 0 gilt [mm]\phi(v,v)=0 \in[/mm] K.
>  Für [mm]v_1*v_2[/mm] = 1 gilt [mm]\phi(v,v)=0 \in[/mm] K.

O.K.


>  
> [mm]K^2[/mm] besitzt keine Orthogonalbasis bzgl [mm]\phi:[/mm]

Das brauchst Du doch nichz mehr zeigen, das folgt doch schon aus Obigem !!

Falls es eine Orthogonalbasis gäbe, so hätte man

                     $ [mm] \phi(v,v) [/mm] $ [mm] \ne [/mm]  0 für mindestens ein v $ [mm] \in K^2 [/mm] $

>  
> Sei B eine Orthogonalbasis von [mm]K^2[/mm] bzgl [mm]\phi.[/mm] Seien v,w [mm]\in[/mm]
> B, es muss gelten: [mm]\forall[/mm] v,w [mm]\in[/mm] B : v [mm]\not=[/mm] w
> [mm]\Rightarrow[/mm] <v,w> = 0.
>  
> [mm]\phi(v,w)[/mm] = [mm](v_1,v_2)*\pmat{ 0&1 \\ 1&0}*\pmat{ w_1 \\ w_2 }[/mm]
> = [mm]w_1v_2[/mm] + [mm]w_1v_2[/mm] = 0
>  [mm]\gdw v_1w_2[/mm] = [mm]v_2w_1 \gdw[/mm] v=w [mm]\Rightarrow[/mm] Widerspruch zur
> Vorraussetzung v [mm]\not=[/mm] w !
>  
> [mm]K^2[/mm] besitzt also keine Orthogonalbasis bzgl. [mm]\phi.[/mm]
>  
> (b) Hier bin ich mir nicht sicher, aber würde sagen [mm]\phi[/mm]
> ist nicht ausgeartet wegen [mm]det(A_{\phi,E}) \not=[/mm] 0 ?!

Stimmt

FRED

>  
> Vielen Dank fürs drüberschauen! :)


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra - Skalarprodukte"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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