[LA] Satz zon Caley - Hamilton

[AfI] Analysis für Informatiker
[Diskrete] Diskrete Strukturen
[LA] Lineare Algebra
[Stocha] Einführung in die angewandte Stochastik
[NumRech] Numerisches Rechnen

Satz zon Caley - Hamilton

Beitragvon $veno » 07.07.07 23:45

Hallo!

Habe mal ne Verständnissfrage zum Satz von Caley Hamilton.

Und zwar Beim Beweis der Korrektheit (3.45) wird bewiesen, dass x_phi(phi)(v)=0 für alle v aus V.

Mir ist schon klar, das der beweis korrekt ist, aber ich frage mich dann, dass wenn dies für alle v aus V bewiesen wurde, dies nicht bei folgendem beispiel (3.46) gilt. Dort passt das zwar, wenn man die Abbildungsmatrix einsetzt, aber nach dem was bewiesen wurde müsste doch auch x_phi(phi)(nullvektor)=0 gelten.

Dies ist aber:
phi(nullvektor) = nullvektor => x_phi(nullvektor) = (0,0)² - 5(0,0) - 2.

(0,0)² ist aber schon nicht definiert, der Satz gilt somit doch nicht, wo hab ich meinen Denkfehler???

Gruss sven
Benutzeravatar
$veno
 
Beiträge: 324
Registriert: 24.12.06 19:46
Wohnort: Aachen

Re: Satz zon Caley - Hamilton

Beitragvon fw » 08.07.07 00:25

$veno hat geschrieben:x_phi(phi)(nullvektor)=0 gelten.

Dies ist aber:
phi(nullvektor) = nullvektor => x_phi(nullvektor) = (0,0)² - 5(0,0) - 2.


Achtung! Du schreibst es oben richtig und machst es unten falsch!

Nochmal in TeX weil sauberer..

Es muss gelten:
\chi_{\varphi}(\varphi)(0) = 0

Und in dem von dir genannten Beispiel (3.46) gilt auch:
\chi_{\varphi}(\varphi)(0) \\<br />= \varphi^2(0) - 5\cdot\varphi^1(0) - 2\cdot\varphi^0(0) \\<br />= \varphi(\varphi(0)) - 5 \cdot \varphi(0) - 2 \cdot id_V(0) \\<br />= \varphi(0) - 5 \cdot 0 - 2 \cdot 0 \\<br />= 0

Dein Fehler war, dass du die Abbildung in das Polynom einsetzen musst und nicht die Bilder der Abbildung! Schau dir nochmal an was genau die Verknüpfungen im (End_K(V), +, \circ) (Ring und K-VR) sind, wie Potenzen dort definiert sind und was z.B. das neutrale Element bzgl. \circ (Komposition) ist (guck auch z.B. mal Beispiel (3.43)).

Hoffe das hilft dir nun :-)
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe


Zurück zu Mathematik