Dejemos que $M_n(\mathbb{R})$ denotan el espacio vectorial de reales $n\times n$ y que $A \in M_n(\mathbb{R})$ .
La parte (a) de esta pregunta dice: Supongamos que $B \in M_n(\mathbb{R})$ tal que $AB = I_n$ (el $n \times n$ matriz de identidad. Si $C \in M_n(\mathbb{R})$ tal que $CA = 0$ , entonces demuestre que $C = 0$ .
Ya he demostrado la parte (a).
La parte (b) pregunta: Supongamos que existe un número entero positivo mínimo $m$ tal que $t_0I + t_1A + \dots + t_mA^m = 0$ para algunos $t_0, \dots, t_m \in \mathbb{R}$ con $t_m \neq 0$ . Además, supongamos que $AB = I_n$ para algunos $B \in M_n(\mathbb{R})$ Demuestra que $t_0 \neq 0$ . (Sugerencia: Utiliza el resultado de la parte (a)).
Mi idea es utilizar la inducción en $m$ . Es decir, supongamos que
$$t_0I = 0.$$
Pero esto implica que $t_0 = 0$ desde $I$ es la identidad. Pero podríamos ver esto como
\begin{align*} t_0I &= 0 \\ t_0AB &= 0 \\ t_0CAB &= 0 \\ t_0C &= 0. \end{align*}
Pero no creo que este sea el enfoque correcto. Así que tengo algunas preguntas: (i) ¿Es éste el enfoque correcto? (ii) ¿Cómo puedo utilizar correctamente el resultado de la parte (a)? (iii) ¿Cuál es un buen recurso para este tipo de preguntas? El libro que estoy utilizando es "Linear Algebra Done Right by Sheldon Axler".
¡Estoy estudiando para mi comp de álgebra lineal en unas semanas así que cualquier ayuda es apreciada!
0 votos
Una vez que haya conseguido $t_0=0$ entonces cualquier cosa con la que lo multipliques será cero. Ya que asumimos $t_m\ne 0$ entonces $m\ge 1$ .