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

Skalarprodukt von Endom 0: Endomorphismen Skalarprodukt
Status: (Frage) überfällig Status 
Datum: 14:35 Do 12.11.2009
Autor: Bappi

Aufgabe
Hallo!

Mir fehlt bei der Aufgabe der Ansatz:

Gegeben sei ein Endomorphismus f : [mm] \mathbb R^n \to \mathbb R^n, [/mm] für dessen zugehörige Matrix A [mm] \in \mathbb R^{n,n} [/mm] die Gleichung [mm] A^3A^t [/mm] = -E gelte.

(a) Zeigen Sie, dass daraus n = 2m mit m [mm] \in \mathbb [/mm] N folgt und die Matrix A orthogonal ist.

(b) Weisen Sie nach, dass [mm] \langle [/mm] Ax, [mm] x\rangle [/mm] = 0 für alle x [mm] \in \mathbb R^n [/mm] gilt.



Orthogonal ist Mir klar. Ich verstehe nicht, was ich überhaupt zeigen (und wie), dass aus der Definition n = 2m mit folgt.

zur (b)

Ich fällt mir nur der Ansatz ein, dass

[mm] \langle [/mm] Ax, [mm] x\rangle [/mm] = x^tA^tx

ist, aber das bringt mich auch nicht weiter...

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.


        
Bezug
Skalarprodukt von Endom 0: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:20 Sa 14.11.2009
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
        
Bezug
Skalarprodukt von Endom 0: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:17 Mo 16.11.2009
Autor: fred97

Wir haben:

          (*) $ [mm] A^3A^t [/mm]  = -E$

Daraus folgt zunächst, dass A invertierbar ist und, dass [mm] $A^{t}= -(A^{-1})^3 [/mm] ist. Insbesondere ist A mit [mm] A^t [/mm] vertauschbar.

Behauptung: A hat keinen reellen Eigenwert.

Beweis: Annahme, s [mm] \in \IR [/mm] sei ein Eigenwert von A. Sei x [mm] \in \IR^n [/mm] mit x [mm] \not=0 [/mm] und  $Ax = sx$

Weil A mit [mm] A^t [/mm] vertauschbar ist, erhalten wir:

  [mm] $||A^tx-sx||^2= <(A^t-sE)x, (A^t-sE)x>= <(A-sE)(A^t-sE)x,x>= <(A^t-sE)(A-sE)x,x>= [/mm] 0$

Also ist $A^tx=sx$. Aus (*) folgt dann:

        $-x = -Ex = A^3A^tx = s^4x$

Da A invertierbar ist, ist s [mm] \not= [/mm] 0 und somit [mm] s^4 [/mm] = -1, Widerspruch !



               (**) A hat also keine reellen Eigenwerte.

Sei p das charakteristische Pölynom von A. Wegen (**) ist p das Produkt von Polynomen 2. Grades, die in [mm] \IR [/mm] nullstellenfrei sind. Somit ist der Grad von p gerade. Andererseits ist der Grad von p = n. Somit ist n gerade.


Dass die Matrix A orthogonal ist, zeigst Du nun mal selbst ! Tipp: aus (*) folgt:

       (***)       [mm] $AA^t [/mm] = E  [mm] \gdw A^2 [/mm] = -E$


Zu (b) Da A ortogonal ist, folgt mit (***):

        $<Ax,x>= <Ax, A^tAx>= <A^2x,Ax>= -<x,Ax>= -<Ax,x>$

FRED

                

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


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