20/02/2018, 10:34:52 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Forma canónica de Jordan y base  (Leído 100 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Cecilia
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 11


Ver Perfil
« : 11/02/2018, 02:50:11 pm »

Hola, a ver si alguien puede echarme una mano con este problema:
Determinar la forma canónica de Jordan, J, de un endomorfismo f que respecto de una base [texx]B=\{v_1,v_2, v_3 , v_4, v_5 \}[/texx] cumple:
(1) [texx] f (v_1 ) =-v_1[/texx]
(2) [texx]f (v_5 ) =-v_1[/texx]
(3) [texx]f (v_2 -v_3 ) = v_3 - v_2 [/texx]
(4) [texx] Ker(f -2Id) \neq{ Ker (f-2Id)^2}= \{x_1 +x_2 -x_3 =0 ,x_1 +x_4 =0, x_5 =0\}[/texx]
Obtenga una base de Jodan B' tal que [texx]M_{B'} (f) = J[/texx]
Obtenga dos planos invariantes por f : uno que contenga sólo dos rectas invariantes y otro que contenga infinitas rectas invariantes.

Gracias!
En línea
Masacroso
Pleno*
*****

Karma: +1/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 550


Ver Perfil
« Respuesta #1 : 11/02/2018, 05:05:50 pm »

Del punto (1) sabes que -1 es un valor propio de f. Del punto (2) y el (1) sabes que 0 es un valor propio de f (ya que [texx]f(v_1-v_5)=0[/texx]). Del punto (3) sabes que la multiplicidad de -1 es al menos 2 (ya que [texx]v_2-v_3[/texx] es linealmente independiente de [texx]v_1[/texx]). Del punto (4) sabes que 2 es un valor propio de f con multiplicidad al menos 2, sin embargo no me queda claro que son los [texx]x_k[/texx].

Si los [texx]x_k[/texx] en verdad fuesen [texx]v_k[/texx] entonces la dimensión de [texx]\ker(f-2I)^2[/texx] sería 3, lo cual es imposible sabiendo que

[texx]\displaystyle\Bbb R^5\supset\ker(f-2I)^2\oplus\ker(f)\oplus\ker(f+I)\supset\Bbb R^6[/texx]

Habría que aclarar esto. Asumiendo que la dimensión de [texx]\ker(f-2I)^5[/texx] fuese 2 entonces ya sabríamos qué forma tiene una matriz de Jordan de f, quedaría por ver qué forma tiene f o, de entre los cuatro puntos, hallar una base de Jordan a partir de los valores propios de f.



EDICIÓN: ah, vaya empanada que tengo... los [texx]x_k[/texx] se refieren a las coordenadas de los puntos. Es decir, los vectores de los puntos que pertenecen a [texx]\ker(f-2I)^2[/texx] son de la forma [texx](x_1,x_2,x_1+x_2,-x_1,0)[/texx], por tanto los vectores [texx](1,0,1,-1,0)[/texx] y [texx](0,1,1,0,0)[/texx] son una base de [texx]\ker(f-2I)^2[/texx] por lo cual tiene dimensión 2.

Entonces el polinomio característico de f es [texx]p(x)=x(x-2)^2(x+1)^2[/texx], por lo cual

[texx]\displaystyle J=\begin{bmatrix}0&0&0&0&0\\0&1&0&0&0\\0&0&1&0&0\\0&0&0&2&1\\0&0&0&0&2\end{bmatrix}[/texx]

es una de las posibles matrices de Jordan de f, ya que [texx]\Bbb R^5=\ker(f)\oplus\ker(f+I)\oplus\ker(f-2I)^2[/texx]. Para hallar B' debemos hallar una base de Jordan de cada espacio invariante a partir de vectores propios generalizados. De los tres primeros valores de la diagonal sabemos que la base B' comienza con los vectores [texx]v_5,v_1,v_2-v_3[/texx], sólo nos queda por determinar una base de Jordan del subespacio invariante [texx]\ker(f-2I)^2[/texx].

De la discusión de arriba sabemos que una base de ese espacio viene dada por [texx]x:=v_1+v_3-v_4[/texx] y [texx]y:=v_2+v_3[/texx], y como [texx]\ker(f-2I)\neq\ker(f-2I)^2[/texx] entonces o bien [texx]x[/texx] es un vector propio de 2 o bien lo es [texx]y[/texx], pero no ambos. Si lo fuese [texx]x[/texx] tendríamos que [texx](f-2I)y=x[/texx], y viceversa. Quedaría determinar cuál es cual y luego ver si la base [texx]x,y[/texx] (o la base [texx]y,x[/texx]) corresponde a una base de Jordan (ahora mismo no tengo muy claro de cómo debería seguir).

CORREGIDO: leer lo que pone Luis abajo.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 41.053


Ver Perfil
« Respuesta #2 : 12/02/2018, 06:51:58 am »

Hola
 
 Con estos datos no hay manera de saber cual es una base de Jordan.

 No hay manera de saber cual es el autovector asociado al [texx]2[/texx]. Lo único que sabemos es que tal autovector está en el subespacio invariante:

[texx]\langle v_1+v_3-v_4,v_2+v_3 \rangle[/texx]

 Si se quiere ver más claro, si consideramos la base:

[texx]B'=\{u_1,u_2,u_3,u_4,u_5\}=\{v_1-v_5,v_1,v_2-v_3,v_1+v_3-v_4,v_2+v_4\}[/texx]

 Las condiciones 1,2,3 equivalen a que:

[texx] f(u_1)=0,\quad f(u_2)=u_2,\quad f(u_3)=u_3[/texx]
 
 y la última condición que el endomorfismo restringido a [texx]<u_4,u_5>[/texx] tiene al [texx]2[/texx] como único autovalor con multiplicidad algebraica [texx]2[/texx] y geométrica [texx]1[/texx]. Pero podemos tomar cualquier vector en [texx]<u_4,u_5>[/texx] y construir un endomorfismo que lo tenga como autovector asociado al [texx]2[/texx] y cumpla todas las condiciones descritas.

Saludos.

P.D.
De la discusión de arriba sabemos que una base de ese espacio viene dada por [texx]x:=v_1+v_3-v_4[/texx] y [texx]y:=v_2+v_3[/texx], y como [texx]\ker(f-2I)\neq\ker(f-2I)^2[/texx] entonces o bien [texx]x[/texx] es un vector propio de 2 o bien lo es [texx]y[/texx], pero no ambos. Si lo fuese [texx]x[/texx] tendríamos que [texx](f-2I)y=x[/texx], y viceversa. Quedaría determinar cuál es cual y luego ver si la base [texx]x,y[/texx]

Como he dicho antes no tendría por que se el vector propio ninguno de los dos; simplemente cualquier combinación lineal de ambos.
En línea
Masacroso
Pleno*
*****

Karma: +1/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 550


Ver Perfil
« Respuesta #3 : 12/02/2018, 08:45:03 am »

De la discusión de arriba sabemos que una base de ese espacio viene dada por [texx]x:=v_1+v_3-v_4[/texx] y [texx]y:=v_2+v_3[/texx], y como [texx]\ker(f-2I)\neq\ker(f-2I)^2[/texx] entonces o bien [texx]x[/texx] es un vector propio de 2 o bien lo es [texx]y[/texx], pero no ambos. Si lo fuese [texx]x[/texx] tendríamos que [texx](f-2I)y=x[/texx], y viceversa. Quedaría determinar cuál es cual y luego ver si la base [texx]x,y[/texx]

Como he dicho antes no tendría por que se el vector propio ninguno de los dos; simplemente cualquier combinación lineal de ambos.

Cierto. Otro camino, más tortuoso, que se me ha ocurrido es hallar una matriz, llamémosla A, de f en base B a partir de los puntos dejados en el ejercicio que definen 5 ecuaciones (no lineales) con 5 incógnitas, es decir

[texx]\displaystyle Av_1=-v_1,\, Av_5=-v_1,\, A(v_2-v_3)=v_3-v_2,\, (A-2I)^2(v_2+v_3)=0,\, (A-2I)^2(v_1+v_3-v_4)=0[/texx]

Digo "5 incógnitas" porque para determinar [texx]A[/texx] es suficiente con saber a qué vectores corresponden los [texx]Av_k[/texx]. Pero no tengo una idea clara si tal sistema es resoluble o de cómo tratar de resolverlo.

En línea
Cecilia
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
España España

Mensajes: 11


Ver Perfil
« Respuesta #4 : 12/02/2018, 09:25:05 am »

Muchas gracias! Y con respecto a los planos invariantes? Tendría que hallar Ker(J), Ker(J-id) y Ker(J-2id)?? En ese caso me salen dos rectas invariantes y un plano invariante...El plano invariante seria el que contiene dos rectas invariantes y el plano formado por las dos rectas invariantes el que contiene infinitas?? Gracias de nuevo.
En línea
Masacroso
Pleno*
*****

Karma: +1/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 550


Ver Perfil
« Respuesta #5 : 12/02/2018, 10:45:02 am »

Muchas gracias! Y con respecto a los planos invariantes? Tendría que hallar Ker(J), Ker(J-id) y Ker(J-2id)?? En ese caso me salen dos rectas invariantes y un plano invariante...El plano invariante seria el que contiene dos rectas invariantes y el plano formado por las dos rectas invariantes el que contiene infinitas?? Gracias de nuevo.

Me imagino que por plano te refieres a un subespacio invariante de dos dimensiones. Por ejemplo tenemos que Pues arriba ya tienes especificado los únicos dos que existen, que son [texx]\ker(f+I)[/texx] y [texx]\ker(f-2I)^2[/texx] son dos subespacios invariantes de dimensión 2. Es decir: la matriz de Jordan es una de las formas en las que se puede describir [texx]f[/texx] a través de sus subespacios invariantes, que son sus espacios propios generalizados. Inspeccionando J puedes ver que los primeros tres valores de la diagonal definen tres subespacios invariantes de dimensión 1 cada uno de ellos. También el cuarto valor de la diagonal define un subespacio invariante de dimensión 1. Entonces cualquier par de estos subespacios invariantes define un subespacio invariante de dimensión 2. Además tenemos que el último bloque de la diagonal define un subespacio de dimensión 2, el cual corresponde a [texx]\ker(f-2I)^2[/texx].

CORREGIDO Y AMPLIADO.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 41.053


Ver Perfil
« Respuesta #6 : 12/02/2018, 08:01:00 pm »

Hola

Cierto. Otro camino, más tortuoso, que se me ha ocurrido es hallar una matriz, llamémosla A, de f en base B a partir de los puntos dejados en el ejercicio que definen 5 ecuaciones (no lineales) con 5 incógnitas, es decir

[texx]\displaystyle Av_1=-v_1,\, Av_5=-v_1,\, A(v_2-v_3)=v_3-v_2,\, (A-2I)^2(v_2+v_3)=0,\, (A-2I)^2(v_1+v_3-v_4)=0[/texx]

Digo "5 incógnitas" porque para determinar [texx]A[/texx] es suficiente con saber a qué vectores corresponden los [texx]Av_k[/texx]. Pero no tengo una idea clara si tal sistema es resoluble o de cómo tratar de resolverlo.

Pero da igual como lo enfoques. Lo que he mostrado en mi anterior mensaje es que hay infinitos endomorfismos en las condiciones descritas; y cualquier elección de cualquier vector en el espacio invariante asociado al dos es válida (coherente con todos los datos del enunciado) como autovector asociado al dos.

Muchas gracias! Y con respecto a los planos invariantes? Tendría que hallar Ker(J), Ker(J-id) y Ker(J-2id)?? En ese caso me salen dos rectas invariantes y un plano invariante...El plano invariante seria el que contiene dos rectas invariantes y el plano formado por las dos rectas invariantes el que contiene infinitas?? Gracias de nuevo.

El que contiene infinitas rectas invariantes tiene que estar generado por dos autovectores asociados al mismo autovalor, es decir, tienes que ser el subespacio característico asociado al [texx]1[/texx]: [texx]\langle v_1,v_2-v_3\rangle
[/texx].

Saludos.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!