Teorema di Hamilton-Cayley

Messaggioda 3m0o » 09/06/2019, 01:05

Questo "sofisma algebrico" mi è piaciuto così tanto che ve lo ripropongo.
Consideriamo il teorema di Hamilton-Cayley
Enunciato:
Sia \( f \) un endomorfismo di uno spazio vettoriale \( V \), \( \dim V=n < \infty \), e sia \( p_f(\lambda) \) il polinomio caratteristico di \( f \), sia inoltre \( A \) la matrice dell'endomorfismo \( f \). Allora \( p_f(A)=0 \).

"Dimostrazione":
\( p_f(\lambda)=\det(A-\lambda I_n )\), dunque \( p_f(A)=\det(A-A\cdot I_n)=0 \)

Nonostante in apparenza sembri corretto il ragionamento qui sopra è fallace! Perché?
3m0o
Cannot live without
Cannot live without
 
Messaggio: 330 di 5323
Iscritto il: 02/01/2018, 15:00

Re: Teorema di Hamilton-Cayley

Messaggioda Bokonon » 09/06/2019, 01:42

Perchè $p_f(A)=0$ ma con $0$ si intende una matrice nulla...mentre il determinante è uno scalare?
Avatar utente
Bokonon
Cannot live without
Cannot live without
 
Messaggio: 1374 di 5942
Iscritto il: 25/05/2018, 20:22

Re: Teorema di Hamilton-Cayley

Messaggioda 3m0o » 09/06/2019, 01:45

Esatto se \( R \) è un anello commutativo allora \( R^{n \times n } \ni 0= p_f(A)\), mentre \( \det(A-AI_n)=0 \in R \), non ha senso uguagliarli.
3m0o
Cannot live without
Cannot live without
 
Messaggio: 331 di 5323
Iscritto il: 02/01/2018, 15:00

Re: Teorema di Hamilton-Cayley

Messaggioda dissonance » 10/06/2019, 08:41

Eh si, questa è una cosa interessante. Qui c'è un'altra maniera di dimostrare che non si può semplicemente prendere \(\lambda=A\), pena l'incappare in contraddizioni grosse: https://math.stackexchange.com/a/1364515/8157
dissonance
Moderatore
Moderatore
 
Messaggio: 15413 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite