Autor Tema: ¿Qué pasa si la multiplicidad algebraica es >1?

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

05 Mayo, 2021, 06:44 pm
Leído 1320 veces

Chocolate

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 60
  • País: fr
  • Karma: +0/-0
Digamos que \( E \) es un endomorfismo y existe un valor propio con multiplicidad algebraica mayor que \( 1 \). ¿Aún se puede diagonalizar \( E \)?

05 Mayo, 2021, 07:21 pm
Respuesta #1

Luis Fuentes

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

Digamos que \( E \) es un endomorfismo y existe un valor propio con multiplicidad algebraica mayor que \( 1 \). ¿Aún se puede diagonalizar \( E \)?

Si. El endomorfismo diagonaliza si y sólo si se cumple:

1) La suma de multiplicidades algebraicas coincide con la dimensión del e.v. \( V \) donde trabajamos. Equivalentemente si todas las raíces del polinomio característico son reales\( ^{(1)} \).

2) Las multiplicidades algebraicas y geométricas de cada uno de los autovalores coinciden. La multiplicidad geométrica de un autovalor \( \lambda \) es el número de autovectores independientes asociados a él. Equivalentemente:

\( \textsf{m.geométrica}(\lambda)=dim(V)-rango(E-\lambda Id) \)

Saludos.

\( ^{(1)} \) Si en lugar de los reales, trabajamos en los complejos esta condición se cumple siempre y únicamente habría que verificar (2).

05 Mayo, 2021, 08:07 pm
Respuesta #2

Chocolate

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 60
  • País: fr
  • Karma: +0/-0
Hola

Digamos que \( E \) es un endomorfismo y existe un valor propio con multiplicidad algebraica mayor que \( 1 \). ¿Aún se puede diagonalizar \( E \)?

Si. El endomorfismo diagonaliza si y sólo si se cumple:

1) La suma de multiplicidades algebraicas coincide con la dimensión del e.v. \( V \) donde trabajamos. Equivalentemente si todas las raíces del polinomio característico son reales\( ^{(1)} \).

2) Las multiplicidades algebraicas y geométricas de cada uno de los autovalores coinciden. La multiplicidad geométrica de un autovalor \( \lambda \) es el número de autovectores independientes asociados a él. Equivalentemente:

\( \textsf{m.geométrica}(\lambda)=dim(V)-rango(E-\lambda Id) \)

Saludos.

\( ^{(1)} \) Si en lugar de los reales, trabajamos en los complejos esta condición se cumple siempre y únicamente habría que verificar (2).


Gracias  :) :) :)