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

Selbstadjungierte Abb.: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 10:56 Mi 09.12.2009
Autor: ms2008de

Aufgabe
Sei V ein euklidischer (unitärer) Vektorraum [mm] \alpha, \beta [/mm] 2 selbstadjungierte Endomorphisen auf V.
Beweisen Sie, dass [mm] \alpha \circ \beta [/mm] genau dann selbstadjungiert ist, wenn [mm] \alpha \circ \beta [/mm] = [mm] \beta \circ \alpha [/mm]  

Hallo,

Also ich hab mal so angefangen: "=>": Sei [mm] \alpha \circ \beta [/mm] selbstadjungiert, dann folgt für alle u, v aus V gilt: < [mm] \alpha \circ \beta(u) [/mm] ,v> = [mm] . [/mm] Nur wie könnt ich nun dises Skalarprodukt so umformen, dass ich die Kommutativität von [mm] \alpha [/mm] und [mm] \beta [/mm] zeigen kann?
Bin absolut ratlos wie ich hier nun weiter mache.

Vielen Dank schon mal im voraus.

Viele Grüße

        
Bezug
Selbstadjungierte Abb.: Antwort
Status: (Antwort) fertig Status 
Datum: 11:07 Mi 09.12.2009
Autor: fred97


> Sei V ein euklidischer (unitärer) Vektorraum [mm]\alpha, \beta[/mm]
> 2 selbstadjungierte Endomorphisen auf V.
>  Beweisen Sie, dass [mm]\alpha \circ \beta[/mm] genau dann
> selbstadjungiert ist, wenn [mm]\alpha \circ \beta[/mm] = [mm]\beta \circ \alpha[/mm]
> Hallo,
>  
> Also ich hab mal so angefangen: "=>": Sei [mm]\alpha \circ \beta[/mm]
> selbstadjungiert, dann folgt für alle u, v aus V gilt: <
> [mm]\alpha \circ \beta(u)[/mm] ,v> = [mm].[/mm] Nur
> wie könnt ich nun dises Skalarprodukt so umformen, dass
> ich die Kommutativität von [mm]\alpha[/mm] und [mm]\beta[/mm] zeigen kann?
>  Bin absolut ratlos wie ich hier nun weiter mache.





$<  [mm] \alpha \circ \beta(u) [/mm]  ,v> =  [mm] = <\alpha(u), \beta(v)>= <\beta \circ \alpha(u),v [/mm] >$

Also:


$<  [mm] \alpha \circ \beta(u) [/mm]  ,v>= [mm] <\beta \circ \alpha(u),v [/mm] >$  für alle u und v

Es folgt:  $ [mm] \alpha \circ \beta [/mm] $ = $ [mm] \beta \circ \alpha [/mm] $

FRED


>  
> Vielen Dank schon mal im voraus.
>  
> Viele Grüße


Bezug
                
Bezug
Selbstadjungierte Abb.: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:26 Mi 09.12.2009
Autor: ms2008de

Danke soweit, aber nach welchen Regeln gilt denn:

> [mm]< \alpha \circ \beta(u) ,v> = = <\alpha(u), \beta(v)>= <\beta \circ \alpha(u),v >[/mm]
>  

Vor allem das 3. und 4. Gleicheitszeichen?

Eine Sesquilinearform sagt ja nur: Für alle u,v,w, x aus V und [mm] \delta [/mm] aus K gilt:
1. <u+v, w> = <u,w> + <v, w>
2. [mm] <\delta [/mm] *u, v> = [mm] \delta [/mm] <u,v>
3. <u, w+x> = <u,w> + <u,x>
4. <u, [mm] \delta [/mm] *w> = [mm] \overline{\delta} [/mm] <u,w>
Und des weiteren is die Sesquilineaform ja noch hermitesch und positiv definit, damit Sie ein Skalarprodukt definiert...

Viele Grüße

Bezug
                        
Bezug
Selbstadjungierte Abb.: Antwort
Status: (Antwort) fertig Status 
Datum: 11:34 Mi 09.12.2009
Autor: fred97


> Danke soweit, aber nach welchen Regeln gilt denn:
>  
> > [mm]< \alpha \circ \beta(u) ,v> = = <\alpha(u), \beta(v)>= <\beta \circ \alpha(u),v >[/mm]
>  
> >  

> Vor allem das 3. und 4. Gleicheitszeichen?

[mm] \alpha [/mm] und [mm] \beta [/mm] sind doch selbstadjungiert !

>  
> Eine Sesquilinearform sagt ja nur: Für alle u,v,w, x aus V
> und [mm]\delta[/mm] aus K gilt:
>  1. <u+v, w> = <u,w> + <v, w>

>  2. [mm]<\delta[/mm] *u, v> = [mm]\delta[/mm] <u,v>

>  3. <u, w+x> = <u,w> + <u,x>

>  4. <u, [mm]\delta[/mm] *w> = [mm]\overline{\delta}[/mm] <u,w>

> Und des weiteren is die Sesquilineaform ja noch hermitesch
> und positiv definit, damit Sie ein Skalarprodukt
> definiert...



Wir setzen T =  [mm] \alpha \circ \beta [/mm] und S = [mm] \beta \circ \alpha [/mm] und haben (s.o.):

                $<(T-S)(u),v>= 0 $ für alle u und v

Wähle v = (T-S)u, so ergibt sich: $<(T-S)(u),(T-S)(u)>= 0 $ für alle u , also

               (T-S)(u)= 0 für alle u

und somit T=S

FRED

>  
> Viele Grüße


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


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