Autor Tema: Aplicaciones lineales

0 Usuarios y 1 Visitante están viendo este tema.

17 Enero, 2024, 01:54 pm
Leído 994 veces

carlosgv

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 39
  • País: es
  • Karma: +0/-0
Buenas, necesito ayuda con esta demostración.

Sea \( E \) un espacio vectorial sobre un cuerpo \( k \) y \( T \) un endomorfismo de \( E \) diagonalizable con \( e\in{E} \) tal que \( T^r(e)=\overrightarrow{0} \) para algún \( r\in{\mathbb{N}} \), probar que entonces \( e\in{Ker(T)} \).

17 Enero, 2024, 02:21 pm
Respuesta #1

ani_pascual

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,221
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • שמע ישראל יהוה אלהינו יהוה אחד
    • Kepler_Ck
Hola:
Buenas, necesito ayuda con esta demostración.

Sea \( E \) un espacio vectorial sobre un cuerpo \( k \) y \( T \) un endomorfismo de \( E \) diagonalizable con \( e\in{E} \) tal que \( T^r(e)=\overrightarrow{0} \) para algún \( r\in{\mathbb{N}} \), probar que entonces \( e\in{Ker(T)} \).
Intenta usar que existe una matriz diagonal \( D \) y matrices invertibles \( P,P^{-1} \) tales que \( T=PDP^{-1} \), a ver si por ahí...
Saludos

17 Enero, 2024, 02:43 pm
Respuesta #2

carlosgv

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 39
  • País: es
  • Karma: +0/-0
No estoy muy experimentado en el álgebra lineal, pero había pensado lo siguiente:

\( T(e)=\overrightarrow{0} \) si y solo si \( e=\overrightarrow{0} \), ya que \( T(e)=T(e) \) y por ser \( T \) una aplicación lineal es \( T(e-e)=\overrightarrow{0} \)
Ahora, aplicando \( T^(r-1) \) se tiene que \( T^(r-1)(T(e))=\overrightarrow{0} \) por hipótesis, lo que implica que \( T(e)=\overrightarrow{0} \) y por definición de núcleo es \( e\in{Ker(T)} \)

No se utiliza que \( T \) sea diagonalizable, así que no tengo mucha esperanza en que sea correcto.

17 Enero, 2024, 03:48 pm
Respuesta #3

ani_pascual

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,221
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • שמע ישראל יהוה אלהינו יהוה אחד
    • Kepler_Ck
Hola:
\( T(e)=\overrightarrow{0} \) si y solo si \( e=\overrightarrow{0} \), ya que \( T(e)=T(e) \) y por ser \( T \) una aplicación lineal es \( T(e-e)=\overrightarrow{0} \)
Ahora, aplicando \( T^(r-1) \) se tiene que \( T^(r-1)(T(e))=\overrightarrow{0} \) por hipótesis, lo que implica que \( T(e)=\overrightarrow{0} \) y por definición de núcleo es \( e\in{Ker(T)} \)

No se utiliza que \( T \) sea diagonalizable, así que no tengo mucha esperanza en que sea correcto.
Esa doble implicación marcada en rojo, creo que no es correcta. Siempre es \( e=0\Longrightarrow T(e)=0 \) pero el recíproco no es siempre cierto; piensa en un ejemplo en el que \( dim\, ker(T)\geq 1 \). Lo que puedes deducir de \( T^r(e)=0 \) es que \( T(e)\in ker(T^{r-1}) \) o que \( T^{r-1}(e)\in ker(T) \).
Respecto a una resolución del ejercicio, la veo clara si todos los valores propios son no nulos, pero si el cero es valor propio, tengo mis dudas. A ver qué opinan los expertos  ;D
Añadido
Creo que también es cierto cuando el cero es un valor propio.
Saludos

17 Enero, 2024, 05:24 pm
Respuesta #4

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Sea \( E \) un espacio vectorial sobre un cuerpo \( k \) y \( T \) un endomorfismo de \( E \) diagonalizable con \( e\in{E} \) tal que \( T^r(e)=\overrightarrow{0} \) para algún \( r\in{\mathbb{N}} \), probar que entonces \( e\in{Ker(T)} \).

Se puede enfocar de varias formas dependiendo de los resultados que hayas dado sobre endomorfismos diagonalizables. Pero por ejemplo, con lo más básico.

Por definición si es diagonalizable existe una base de autovectores \( \{u_1,u_2,\ldots,u_n\} \), de manera que \( T(u_i)=\lambda_i\cdot u_i \).

Entonces si \( e=x_1u_1+x_2u_2+\ldots+x_nu_n \) y \( T^r(e)=0 \),

\( 0=T^r(e)=\lambda_1^rx_1u_1+\lambda_2^rx_2u_2+\ldots+\lambda_n^rx_nu_n \)

es decir \( \lambda_i^rx_i=0 \) para \( i=1,2,\ldots,n \), es decir, \( \lambda_i=0 \) ó \( x_i=0 \) para cada \( i=1,2,\ldots,n \). Por tanto:

\( \lambda_ix_i=0 \) para \( i=1,2,\ldots,n \)

y así:

\( T(e)=\lambda_1x_1u_1+\lambda_2x_2u_2+\ldots+\lambda_nx_nu_n=0 \) y \( e\in ker(T) \).

Saludos.