Teorema di Hamilton-Cayley

Messaggioda Dorian » 18/06/2008, 19:08

Dice che, dato $phi$ endomorfismo di uno spazio vettoriale $V$:

$P_(phi)(phi) = 0_(end(V))$

cioè che il polinomio caratteristico valutato in $phi$ dà l'applicazione identicamente nulla...

Questo risultato si può dimostrare in diverse maniere... Ma non così:

$P_(phi)(x)$ = $det (x1_n-phi)$ = $det (phi1_n-phi)$ = $det (phi-phi)$ = $det (0_n)$ = $0$

Come mai??? L'unica spiegazione (poco convincente) che mi sò dare è che il teorema dice:

$P_(phi)(phi) = 0_(end(V))$ (zero=applicazione nulla)...

Mentre la pseuso-dimostrazione dice:

$P_(phi)(phi) = 0$ (zero=elemento del corpo)...

E' così?
In cuor di donna quanto dura amore?
-(Ore).
Ed ella non mi amò quant'io l'amai?
-(Mai).
Or chi sei tu che sì ti lagni meco?
-(Eco).
Avatar utente
Dorian
Average Member
Average Member
 
Messaggio: 137 di 546
Iscritto il: 18/12/2007, 18:35
Località: Treviso

Messaggioda pat87 » 18/06/2008, 20:18

Infatti $P_{\phi}(\phi)$ è ancora un endomorfismo (o una matrice). Il teorema afferma che il seguente endomorfismo è quello nullo (matrice nulla).
Mentre è sbagliato procedere in questo modo poiché il determinante è sempre un numero (elemento del corpo).
$Gal(QQ(root(3)(2),e^{(2\pi*i)/3}):QQ) \cong S_3$
Avatar utente
pat87
Junior Member
Junior Member
 
Messaggio: 169 di 343
Iscritto il: 28/11/2007, 22:30

Messaggioda Dorian » 18/06/2008, 21:19

pat87 ha scritto:Infatti $P_{\phi}(\phi)$ è ancora un endomorfismo (o una matrice). Il teorema afferma che il seguente endomorfismo è quello nullo (matrice nulla).
Mentre è sbagliato procedere in questo modo poiché il determinante è sempre un numero (elemento del corpo).


Grazie della risposta.
Pensavo che l'errore della pseudo-dimostrazione fosse a monte... Cioè che la sostituzione, fatta in quella maniera, non fosse giustificata...
In cuor di donna quanto dura amore?
-(Ore).
Ed ella non mi amò quant'io l'amai?
-(Mai).
Or chi sei tu che sì ti lagni meco?
-(Eco).
Avatar utente
Dorian
Average Member
Average Member
 
Messaggio: 138 di 546
Iscritto il: 18/12/2007, 18:35
Località: Treviso


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite