www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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
Dt. Schulen im Ausland: Mathe-Seiten:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Lineare Algebra" - Diagonalisierbarkeit
Diagonalisierbarkeit < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Diagonalisierbarkeit: Aufgabe
Status: (Frage) beantwortet Status 
Datum: 18:57 So 10.07.2005
Autor: jennyf

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


Die Aufgaben lautet:
Es sei A  [mm] \in [/mm] M(n,n) eine komplexe Matrix mit [mm] A^k [/mm] = E für ein [mm] k\in \IN. [/mm] Zeigen sie, dass A diagonalisierbar ist.

Ich weiß ja, dass jede komplexe Matrix in Linearfaktoren zerfällt, also auf jeden Fall schon mal trigonalisierbar ist.
Außerdem hab ich mir gedacht, dass ja gilt:
S^-1AS =D (Diagonalmatrix )
[mm] \gdw (S^-1AS)^k=D^k [/mm]
[mm] \gdw S^-1A^kS=D^k [/mm]
[mm] \gdw S^-1ES=D^k [/mm]

Aber ich komme irgendwie nicht so ganz weiter.
Wäre euch für eine Antwort sehr dankbar.

        
Bezug
Diagonalisierbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 23:37 So 10.07.2005
Autor: Micha

Hallo!

> Die Aufgaben lautet:
>  Es sei A  [mm]\in[/mm] M(n,n) eine komplexe Matrix mit [mm]A^k[/mm] = E für
> ein [mm]k\in \IN.[/mm] Zeigen sie, dass A diagonalisierbar ist.
>  
> Ich weiß ja, dass jede komplexe Matrix in Linearfaktoren
> zerfällt, also auf jeden Fall schon mal trigonalisierbar
> ist.
>  Außerdem hab ich mir gedacht, dass ja gilt:
>  S^-1AS =D (Diagonalmatrix )
>  [mm]\gdw (S^-1AS)^k=D^k[/mm]
>  [mm]\gdw S^-1A^kS=D^k[/mm]
>  [mm]\gdw S^-1ES=D^k[/mm]
>  

Ich denke man kann das über den Satz über die Hauptraumzerlegung (vergl. Fischer S. 261) zeigen. Der besagt nämlich, dass sich die zugehöre Abbildung F zu eine Matrix in einen diagonalisierbaren Anteil und einen nilpotenten Anteil zerlegen lässt, wobei eine Form existiert, wo dann eben auch auf der Diagonalen die Eigenwerte stehen hat und in der Ecke den nilpotente Anteil.

Da deine Abbildung idempotent ist (also [mm] $A^k [/mm] = E$), heißt das, dass alle Elemente nicht nilpotent sein können, denn wenn sie einmal auf 0 abgebildet werden, haben sie keine Chance, jemals wieder das ursprüngliche Element zu werden. Also ist der nilpotente Anteil nur die 0 und damit ergibt sich nach dem Satz (und dem Nachstehenden Korollar) die behauptung, dass die Matrix diagonalisierbar ist.

Gruß MIcha ;-)

Bezug
                
Bezug
Diagonalisierbarkeit: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:11 Mo 11.07.2005
Autor: jennyf

ich weiß ja die Matrix ist komplex, also auf jeden Fall trigonalisierbar
[mm] \exists [/mm] also ein S, so dass SAS^-1=D+N
Auf [mm] A^k [/mm] übertragen: [mm] SA^kS^-1=(D+N)^k [/mm]
[mm] \Rightarrow SES^-1=(D+N)^k [/mm]
SES^-1=E² (???)  [mm] \Rightarrow E²=(D+N)^k \Rightarrow [/mm] N=0
Würde die Lösung dann so stimmen???

Bezug
                
Bezug
Diagonalisierbarkeit: Rückfrage zur Mittteilung
Status: (Frage) beantwortet Status 
Datum: 20:07 Mi 13.07.2005
Autor: jennyf

Ist meine Lösung im vorherigen Beitrag richtig oder kann man das auch anders aufschreiben?

Bezug
                        
Bezug
Diagonalisierbarkeit: Antwort
Status: (Antwort) fertig Status 
Datum: 20:22 Mi 13.07.2005
Autor: Stefan

Hallo Jenny!

Ganz so leicht geht es nicht. Man müsste dann schon sauber aus

$E = [mm] \sum\limits_{i=0}^k D^iN^{k-i}$ [/mm]

(beachte, dass $N$ und $D$ in der additiven Jordanzerlegung kommutieren und daher der Binomische Lehrsatz greift)

folgern, dass $N=0$ gilt.

Ich habe aber eine bessere Idee und einen völlig neuen Lösungsvorschlag:

Für das Polynom [mm] $p(X)=X^k-1 \in \IC[X]$ [/mm] gilt ja:

$p(A)=0$.

Bekanntlich zerfällt $p$ über [mm] $\IC$ [/mm] in paarweise verschiedene (!) Linearfaktoren (es handelt sich bei den Nullstellen von $p$ ja gerade um die $k$ verschiedenen komplexen Einheitswurzeln).

Da das Minimalpolynom von $A$ ein Teiler von $p$ ist, zerfällt es ebenfalls in paarweise verschiedene Linearfaktoren.

Daraus folgt, dass $A$ diagonalisierbar ist.

Viele Grüße
Stefan

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


^ Seitenanfang ^
www.vorhilfe.de