Posteo la demo hecha por Carlos Sànchez (en realidad mi apunte) porque tengo una duda

El teorema dice: " Si f es un endomorfismo sobre V y su polinomio caracterìstico, entonces

Demo

Si elegimos una base de V y además entonces
Se propone entonces probar que Para todos los vectores de la base B, es decir que se anula sobre una base. Luego serà como querìamos.

Entonces, adoptando la notación se propone calcular, para un ìndice j cualquiera:



Si es la matriz adjunta de se tiene por propiedad de adjunta que
O sea que es una matriz escalar

Si k es un ìndice cualquiera entonces:

por lo de antes, entonceS:


Luego queda que De aquì sobrevive el tèrmino k-èsimo por ser D.E^t una matriz escarlar , entonces:
como qerìamos.

Tengo una duda en el paso , es decir, cómo llega a eso. Hay un subìndice (ki) un poco confuso, que entiendo que quiere decir la columna k-esima del producto D.E^t, puesto que k es un ìndice cualquiera e i el que se mueve. ¿ayuda?

ya me perdi al principio



por que aparece esa delta sub ij ?

A ver...

porque es un polinomio , pero cuando uno hace es decir, especializa f en te quedan operaciones entre endomorfismos. El delta sub ij anula todo, excepto los valores de la "diagonal" (o sea con i=j) Y el I sub v es el endomorfismo idéntico

se entiende? Es medio complicado de entender al principio... te aconsejo sino que pienses en el polinomio ya desarrollado y cómo quedaría cuando lo especializas en f. yo lo hice a mano para caer.

no entiendo... esa delta es un endomorfismo que anula todo y la diagonal la deja como esta? tipo

Hola gente revivo este post xq me surgió una duda similar
no entiendo q hace acá:
Entonces adoptando la notación se propone calcular, para un ìndice j cualquiera:

No entiendo q hace en ese último paso
osea evalua un vector (?) la base(?) en la matriz de funciones(?)
Osea los pasos mal q bien los sigo pero no tengo ni la más pálida idea de q es lo q hace si alguien me puede ayudar estoy tremendamente agradecido.
Desde ya muchas gracias.

Tengo la misma duda de notación de danielito. La única forma que veo de que sea es si consideramos que ese determinante es de una matriz de endomorfismos, lo cual es bastante extraño para mi. Quizás es solo un tema de notación que no estoy acostumbrado.
Una prueba que me parece se entiende mejor es la que está en el apunte de Jerónimo, Sabia, y Tesauri (, página 148). Muestra que todos los minimales de los vectores de una base dividen al característico.

Si alguien puede aclarar esa notación (y el resto de la prueba de paso ), será agradecido

Para mí, es una matriz de endomorfismos y es como poner la función en toda la matriz y es la función si está en la diagonal y es 0 en otro lado, si es así la duda es como evaluas un vector en una matriz de endomorfismos entre otras. Tmb leí la demostración de Hamilton Cayley del apunte de jeronimo sabia y tesauri y está bueno al menos lo entiendo. Lo q tiene de bueno la demostración de Sanchez es que no necesitas definir el minimal ni nada lo tira casi al principio y no tenés q aprenderte más o menos de memoria un determinante. Así q bueno si alguien conoce algún libro o página donde lo demuestre así con endomorfismos y nos puede dar una mano bienvenido sea. Igual gracias por el dato FJL.
sALUDOS!!.