Autor Tema: Prueba de la forma canónica de Jordan

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

28 Marzo, 2024, 10:37 pm
Leído 92 veces

alumnolibre

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 98
  • País: pe
  • Karma: +0/-0
Hola, alguien puede ayudarme sobre como probar existencia de la forma canónica de Jordan sin usar transformaciones lineales. si hubiera alguna bibliografia me ayudaría mucho

29 Marzo, 2024, 09:06 am
Respuesta #1

Fernando Revilla

  • "Há tantos burros mandando em homens de inteligência, que, às vezes, fico pensando que a burrice é uma ciência." -Antonio Aleixo.
  • Administrador
  • Mensajes: 12,340
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • "Las matemáticas son demasiado humanas."- Brouwer
    • Fernando Revilla
Hola, alguien puede ayudarme sobre como probar existencia de la forma canónica de Jordan sin usar transformaciones lineales. si hubiera alguna bibliografia me ayudaría mucho

No acabo de entender lo de "sin usar transformaciones lineales". ¿Podrías dar más detalles?

30 Marzo, 2024, 03:45 pm
Respuesta #2

alumnolibre

  • $$\Large \color{#5372a0}\pi\,\pi$$
  • Mensajes: 98
  • País: pe
  • Karma: +0/-0
Hola, mi pregunta va, debido a que encontré este extracto de un trabajo de investigación

Captura-de-pantalla-2024-03-30-094129" border="0

No sé si tiene algún sentido mi pregunta

30 Marzo, 2024, 05:04 pm
Respuesta #3

ani_pascual

  • $$\Large \color{#5b61b3}\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 1,673
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • שמע ישראל יהוה אלהינו יהוה אחד
    • Kepler_Ck
Hola:
Hola, mi pregunta va, debido a que encontré este extracto de un trabajo de investigación
..
No sé si tiene algún sentido mi pregunta
No sé si irán por ahí los tiros en esa parte del trabajo de investigación, pero te pongo un ejemplo teórico.
Sea \( A\in{\cal M}_3(\mathbb{R}) \); supongamos que su polinomio característico es \( p(\lambda)=|A-\lambda I|=(\lambda -a)(\lambda-b)^2 \), siendo \( a,b\in \mathbb{R} \) los autovalores  de \( A \), pero que \( A \) no es diagonalizable debido a que el espacio de autovectores asociado a \( b \) tiene dimensión \( 1 \). Entonces existe una matriz del tipo \( J=\left(\begin{array}{ccc}a&0&0\\0&b&1\\0&0&b\end{array}\right) \) semejante a \( A \) llamada matriz de Jordan, es decir, existe una matriz regular \( P \) tal que \( J=P^{-1}AP \).
En efecto, sea \( u=(u_1,u_2,u_3) \) un vector que genera el espacio de autovectores asociado al autovalor \( a \) y sea \( v=(v_1,v_2,v_3) \) un vector que genera el espacio de autovectores asociado al autovalor \( b \). Basta con hallar un tercer vector \( w=(w_1,w_2,w_3) \) que cumpla que \( (A-bI)w=v\Longleftrightarrow Aw=v+bw \) y así, tomando \( P=\left(\begin{array}{ccc}u_1&v_1&w_1\\u_2&v_2&w_2\\u_3&v_3&w_3\end{array}\right) \) resulta que \( AP=PJ\Longleftrightarrow J=P^{-1}AP \)

30 Marzo, 2024, 06:30 pm
Respuesta #4

Fernando Revilla

  • "Há tantos burros mandando em homens de inteligência, que, às vezes, fico pensando que a burrice é uma ciência." -Antonio Aleixo.
  • Administrador
  • Mensajes: 12,340
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • "Las matemáticas son demasiado humanas."- Brouwer
    • Fernando Revilla
    Existe una forma de tratar la teoría de las formas canónicas de Jordan partiendo de matrices \( A(\lambda)\in \mathbb K [\lambda]^{n\times n} \) i.e. matrices cuadradas cuyos elementos son polinomios de \( \mathbb K [\lambda] \) y definiendo transformaciones elementales y relaciones de semejanza entre ellas. Esta teoría está expuesta en el capítulo 13 de

        https://www.math.uni-bielefeld.de/~grigor/kurosh-higher-algebra.pdf.

Este enfoque es efectivamente no común. De hecho nunca no lo he visto usar en los cursos de preparación universitaria que impartí. No obstante, el extracto de ese trabajo de investigación que proporciona alumnolibre da suficientes detalles sobre la formalización del mismo.