matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

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
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-Lineare AlgebraIsomorphismus
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Uni-Lineare Algebra" - Isomorphismus
Isomorphismus < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Isomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:51 Mi 06.09.2006
Autor: Elbi

Aufgabe
Es sei K ein Körper und {0}[mm]\not= V[/mm] ein K-Vektorraum mit n:=Dim(V)<[mm]\infty[/mm]. Ferner sei [mm]\phi \in End_K(V)[/mm]. Zeigen sie:

a) Es sei [mm]1\le Grad(\mu_{\phi}) \le n[/mm]
(Hinweis: Induktion)

b) Es sei [mm]\mu_{\phi} (0) \not= 0[/mm] genau dann, wenn [mm]\phi[/mm] ein Isomorphismus ist.

c) Ist [mm]\phi[/mm] ein Isomorphismus, so gibt es [mm]\lambda_0,...,\lambda_{k-1} \in K[/mm] für ein [mm]1\le k \le n[/mm] mit
[mm]\phi^{-1}= \summe_{i=0}^{k-1} \lambda_i*\phi^i[/mm]
Geben Sie außerdem [mm]\mu_{\phi^-1}[/mm] an.

d) Es ist [mm]\phi[/mm] nilpotent (d.h. es existiert ein [mm]k \ge o[/mm] mit [mm] [mm[\phi^k=0[/mm]) [/mm] genau dann, wenn [mm]\phi^n=0[/mm] ist. Ist dies der Fall, so gilt [mm]\mu_{\phi}(X)=X^m[/mm], wobei [mm]m=min\{k \ge 0 | \phi^k = 0 \}[/mm].

HAllo ihr's

so da stehe ich wieder mit so einer aufgabe und weiß nicht so recht. Also zum Beispiel bei a). Wie soll ich denn da mit einer Indkution das zeigen. Induktion wie das geht ist klar aber wie ich damit die Behauptung zeigen soll. Ach mensch... und bei den anderen aufgaben stehe ich wieder ganz Ahnungslos da. Mag mir einer Tipps geben. Ich will das ja gerne alleine das machen, aber ich weiß nicht wie ich da anfangen kann, das ist doof und ich schaff dann nicht die Aufgabe. Hilft mir einer weiter, vielleicht, bitte?!
Danke im voraus

LG
Elbi

        
Bezug
Isomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 22:05 Mi 06.09.2006
Autor: felixf

Hallo Elbi!

> Es sei K ein Körper und {0}[mm]\not= V[/mm] ein K-Vektorraum mit
> n:=Dim(V)<[mm]\infty[/mm]. Ferner sei [mm]\phi \in End_K(V)[/mm]. Zeigen
> sie:
>  
> a) Es sei [mm]1\le Grad(\mu_{\phi}) \le n[/mm]
>  (Hinweis: Induktion)

Wie habt ihr denn [mm]\mu_\phi[/mm] definiert? Das ist doch das Minimalpolynom von [mm] $\phi$, [/mm] oder? Was wisst ihr denn ueber das Minimalpolynom und das charakteristische Polynom? Hattet ihr den Satz von Cayley-Hamilton?

> b) Es sei [mm]\mu_{\phi} (0) \not= 0[/mm] genau dann, wenn [mm]\phi[/mm] ein
> Isomorphismus ist.

Wie sieht die Determinante von Automorphismen aus? Und umgekehrt, wenn ein Endomorphismus kein Automorphismus ist, wie sieht dann die Determinante aus?

Und was hat die Determinante mit [mm]\mu_\phi(0)[/mm] zu tun? (Was hat sie mit dem charakteristischen Polynom zu tun, und wie ist dessen Beziehung zum Minimalpolynom?)

> c) Ist [mm]\phi[/mm] ein Isomorphismus, so gibt es
> [mm]\lambda_0,...,\lambda_{k-1} \in K[/mm] für ein [mm]1\le k \le n[/mm] mit
>  [mm]\phi^{-1}= \summe_{i=0}^{k-1} \lambda_i*\phi^i[/mm]

Setz doch mal [mm]\phi[/mm] in [mm]\mu_\phi[/mm] ein. Was kommt raus? Und dann multipliziere die Gleichung mit [mm]\phi^{-1}[/mm] und loese sie danach auf.

>  Geben Sie
> außerdem [mm]\mu_{\phi^-1}[/mm] an.

Multipliziere [mm]\mu_\phi(\phi)[/mm] mit [mm]\phi^{-k}[/mm], wobei $k$ der Grad von [mm] $\mu_\phi$ [/mm] ist. Hilft dir das weiter?

> d) Es ist [mm]\phi[/mm] nilpotent (d.h. es existiert ein [mm]k \ge o[/mm] mit
> [mm][mm[\phi^k=0[/mm])[/mm] genau dann, wenn [mm]\phi^n=0[/mm] ist.

Wenn [mm]\phi^n = 0[/mm] ist, dann ist [mm]\phi[/mm] natuerlich nilpotent. Ist andersherum [mm]\phi^k = 0[/mm] fuer ein beliebiges $k$, was kannst du dann ueber das Polynom [mm]t^k \in K[t][/mm] und das Minimalpolynom [mm]\mu_\phi \in K[t][/mm] sagen? Denk an die Eindeutigkeit der Primfaktorzerlegung in Polynomringen ueber Koerpern.

> Ist dies der
> Fall, so gilt [mm]\mu_{\phi}(X)=X^m[/mm], wobei [mm]m=min\{k \ge 0 | \phi^k = 0 \}[/mm].

LG Felix


Bezug
                
Bezug
Isomorphismus: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 12:56 Do 07.09.2006
Autor: Elbi

Hallo,

also den Satz von Cayley-Hamilton hatten wir, aber wie bringt mich das dabei jetzt weiter? Verstehe ich nicht um ehrlich zu sein.

LG

Elbi

Bezug
                        
Bezug
Isomorphismus: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:20 Fr 08.09.2006
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Lineare Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]