Forma canónica de Jordan

Saltar a navegación, búsqueda

En álgebra lineal, la forma canónica de Jordan es la forma de la matriz de un endomorfismo de espacios vectoriales en cierta base asociada a la descomposición en suma directa de subespacios invariantes bajo dicho endomorfismo.

Contenido

1 Definición
2 Motivación
3 Ejemplo

Definición

Recordemos que un endomorfismo es una aplicación lineal entre un mismo espacio vectorial $f:V(K)\longrightarrow V(K)$ (es decir tal que $f(\lambda x+\mu y)=\lambda f(x)+ \mu f(y), \forall\lambda\in K\land x,y\in V$ ).

Entre el espacio vectorial de los endomorfismos $E n d (V)$ y el anillo de las matrices cuadradas existe un isomorfismo que, fijada una base en $V (K)$ , asigna una única matriz a cada endomorfismo (por supuesto si se cambia de base, la matriz también cambiará).

Supóngase que se tienen dos bases de $V (K)$ llamadas $\hat B_{V}=\{\hat v_{k}\},B_{V}=\{v_{i}\}$ de modo que

$v_{i}=\Lambda_{ik}\hat v_{k}$

$\hat v_{k}=\Lambda_{ki}^{-1}v_{i}$

y sea $a i j$ y $\hat a_{kl}$ las matrices asociadas al endomorfismo en las respectivas bases de modo que $f (v i) = a i j v j$ y $f(\hat v_{k})=\hat a_{kl}\hat v_{l}$ , entonces las matrices se relacionan por

$f(v_{i})=a_{ij}v_{j}\longrightarrow$

$f(\Lambda_{ik}\hat v_{k})=a_{ij}\Lambda_{il}\hat v_{l}\longrightarrow$

$\Lambda_{ik}f(\hat v_{k})=a_{ij}\Lambda_{il}\hat v_{l}\longrightarrow$

$\Lambda_{ik}\hat a_{kl}\hat v_{l}=a_{ij}\Lambda_{il}\hat v_{l}\longrightarrow$

$\Lambda_{ik}\hat a_{kl}=a_{ij}\Lambda_{il}\longrightarrow$

$\hat a_{kl}=\Lambda_{ki}^{-1}a_{ij}\Lambda_{il}$

es decir hay una relación de similaridad entre ellas.

Un endomorfismo se dice diagonalizable por similaridad (o simplemente diagonalizable) si existe una base en la que su matriz asociada sea una matriz diagonal. Sin embargo la diagonalización no está asegurada, es decir no es posible decir que todo endomorfismo sea diagonalizable. La importancia de la diagonalización nos motiva a obtener una base en la que la matriz asociada a un endomorfismo no diagonalizable sea más simple aunque no diagonal. Para ello se seguirán las mismas técnicas que para diagonalización, usando la teoría sobre autovalores y autovectores (también llamados valores y vectores propios o en inglés eigenvalues y eigenvectors). Recordemos que dado un operador lineal $T:V\rightarrow V$ decimos que W subespacio de V es T-invariante si $\forall u \in W$ se tiene que $T(u)\in W$

Motivación

Considérese la situación de una matriz diagonalizable. Una matriz cuadrada es diagonalizable si la suma de las dimensiones de los espacios propios (eigenspaces) es el número de filas o columnas de la matriz. Examinemos la matriz siguiente:

$A=\begin{pmatrix} 322 & -323 & -323 & 322 \\ 325 & -326 & -325 & 326 \\ -259 & 261 & 261 & -260 \\ -237 & 237 & 238 & -237 \end{pmatrix}$

Tenemos valores propios de A que son sólo λ = 5, 5, 5, 5. Ahora bien, la dimensión del núcleo de A-5I es 1, por lo tanto A no es diagonalizable. Sin embargo, podemos construir la forma de Jordan de esta matriz. Dado que la dimensión es 1, sabemos que la forma de Jordan está compuesta de solo un bloque de Jordan, es decir, la forma de Jordan de A es:

$J=J_4(5)=\begin{pmatrix} 5 & 1 & 0 & 0 \\ 0 & 5 & 1 & 0 \\ 0 & 0 & 5 & 1 \\ 0 & 0 & 0 & 5 \end{pmatrix}$

Obsérvese que J puede escribirse como 5I+N, donde N es una matriz nilpotente. Puesto que ahora tenemos A similar a dicha matriz simple, podremos realizar cálculos que involucren a A usando la forma de Jordan, lo que en muchos casos puede simplificar el cálculo. Por ejemplo, calcular potencias de matrices es significativamente más sencillo usando la forma de Jordan.

Ejemplo

Hallar la forma canónica de Jordan de la matriz

$A=\begin{pmatrix} 1 & 2 & 3 & 0 & 0 \\ 0 & 1 & 2 & 0 & 0 \\ 0 & 0 & 1 & 2 & 0 \\ 0 & 0 & 0 & 2 & 1 \\ 0 & 0 & 0 & 0 & 1\end{pmatrix}$

Hallamos el polinomio característico:

P A (λ) = (1 - λ) 4 (2 - λ)

Sus raíces son $λ 1 = 1$ y $λ 2 = 2$ con multiplicidades 4 y 1 respectivamente.

$λ 1 = 1$

Comencemos con $λ 1$ , tenemos que hallar 4 vectores linealmente independientes, pues la multiplicidad de $λ 1$ es 4. Pero no valen 4 vectores cualesquiera. Hay que hacer lo siguiente:

Hallar la cadena de kernels $(A - λ 1 I),(A - λ 1 I) 2,(A - λ 1 I) 3,...$ hasta que la dimensión del último sea la multiplicidad de la raíz (4 en este caso).

$A - I=\begin{pmatrix} 0 & 2 & 3 & 0 & 0 \\ 0 & 0 & 2 & 0 & 0 \\ 0 & 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0\end{pmatrix}$

$K e r (A - I) = < (1,0,0,0,0) >$ Luego $d i m (K e r (A - I)) = 1$

$(A - I)^2=\begin{pmatrix} 0 & 0 & 4 & 6 & 0 \\ 0 & 0 & 0 & 4 & 0 \\ 0 & 0 & 0 & 2 & 2 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0\end{pmatrix}$

$K e r (A - I) 2 = < (1,0,0,0,0),(0,1,0,0,0) >$ Luego $d i m (K e r (A - I) 2) = 2$

$(A - I)^3=\begin{pmatrix} 0 & 0 & 0 & 14 & 6 \\ 0 & 0 & 0 & 4 & 4 \\ 0 & 0 & 0 & 2 & 2 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0\end{pmatrix}$

$K e r (A - I) 3 = < (1,0,0,0,0),(0,1,0,0,0),(0,0,1,0,0) >$ Luego $d i m (K e r (A - I) 3) = 3$

$(A - I)^4=\begin{pmatrix} 0 & 0 & 0 & 14 & 14 \\ 0 & 0 & 0 & 4 & 4 \\ 0 & 0 & 0 & 2 & 2 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0\end{pmatrix}$

$K e r (A - I) 4 = < (1,0,0,0,0),(0,1,0,0,0),(0,0,1,0,0),(0,0,0,1, - 1) >$ Luego $d i m (K e r (A - I) 4) = 4$

Ya hemos llegado a la dimensión máxima. Ahora tomamos un vector $v_4 \in Ker(A-I)^4$ pero que no pertenezca a ninguno de los anteriores. Por ejemplo, $v 4 = (0,0,0,1, - 1)$ . Ahora hallar $v_3,~v_2~y~ v_1$ es muy fácil:

v 3 = (A - I) v 4 = (0,0,2,0,0)

v 2 = (A - I) 2 v 4 = (A - I) v 3 = (6,4,0,0,0)

v 1 = (A - I) 3 v 4 = (A - I) v 2 = (8,0,0,0,0)

$λ 2 = 2$

$A - 2I=\begin{pmatrix} -1 & 2 & 3 & 0 & 0 \\ 0 & -1 & 2 & 0 & 0 \\ 0 & 0 & -1 & 2 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & -1\end{pmatrix}$

Ker(A - 2I) = <(14,4,2,1,0)>. Ya tenemos los 5 vectores de la nueva base.

Matriz de cambio de base

$P=\begin{pmatrix} 8 & 6 & 0 & 0 & 14 \\ 0 & 4 & 0 & 0 & 4 \\ 0 & 0 & 2 & 0 & 2 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & -1 & 0\end{pmatrix}$

Matriz Canónica de Jordan en la base P

Para hallar la matriz de Jordan sólo hay que hacer las imágenes por A, de los vectores de la base de Jordan, y expresarlos en dicha base:

$Av_1 = v_1 \Rightarrow (1,0,0,0,0)$

$Av_2 = v_1 + v_2 \Rightarrow (1,1,0,0,0)$

$Av_3 = v_2 + v_3 \Rightarrow (0,1,1,0,0)$

$Av_4 = v_3 + v_4 \Rightarrow (0,0,1,1,0)$

$Av_5 = 2v_5 \Rightarrow (0,0,0,0,2)$

$J=\begin{pmatrix} 1 & 1 & 0 & 0 & 0 \\ 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 2\end{pmatrix}$

Se cumple $J = P - 1 A P$

Obtenido de "Forma can%C3%B3nica de Jordan"

Categoría: Matrices

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

Forma canónica de Jordan — En álgebra lineal, la forma canónica de Jordan o forma normal de Jordan, llamada así en honor del matemático francés Camille Jordan, responde a la siguiente cuestión: para una matriz cuadrada dada M sobre un campo K, hasta qué punto puede… … Enciclopedia Universal
Jordan — El nombre inglés Jordan proviene del hebreo Yarden, que significa alguien con descendencia , y fue asimilado al latín como Jordanus, al árabe como Urdunn, al italiano Giordano, en español Jordán, en francés Jourdain, en flamenco y neerlandés… … Wikipedia Español
Camille Jordan — Saltar a navegación, búsqueda Camille Jordan Camille Jordan (Lyon 1838 París 1922) Fue un matemático francés conocido tanto por su trabajo, fundamental, sobre la teoría de los grupos como por su influyente Curso de análisis (Cours d’analyse).… … Wikipedia Español
Exponenciación — Saltar a navegación, búsqueda La exponenciación es una operación definible en un álgebra sobre un cuerpo normada completa o álgebra de Banach (espacio vectorial normado completo que además es un anillo) que generaliza la función exponencial de… … Wikipedia Español
Factorización de matrices — Saltar a navegación, búsqueda En álgebra lineal la factorización de una matriz es la descomposición de la misma como producto de dos o más matrices según una forma canónica. Según las aplicaciones de la factorización podemos distinguir los… … Wikipedia Español
Logaritmo de una matriz — En matemática, el logaritmo de una matriz es una función matricial que generaliza el logaritmo escalar a matrices. En cierto sentido es la función inversa de la exponenciación de matrices. Contenido 1 Definición 2 Propiedades 3 Cálculo del… … Wikipedia Español
Subespacio invariante — Dada una transformación lineal T: V → V se dice que un subespacio W de V es un subespacio invariante frente a T (o T invariante) si para todo vector w ∈ W se cumple que T(w) ∈ W. Dicho de otra manera, W es un subespacio invariante si T(W) ⊂ W.… … Wikipedia Español
Exponencial de matrices — Saltar a navegación, búsqueda La exponencial de matrices es una función definida sobre las matrices cuadradas, parecida a la función exponencial. Sea X una matriz nxn de números reales o complejos. La exponencial de X denotada por eX o exp(X) es… … Wikipedia Español
Exponencial de una matriz — La exponencial de matrices es una función definida sobre las matrices cuadradas, parecida a la función exponencial. Sea una matriz nxn de números reales o complejos, la exponencial de denotada por o es la matriz dada por la serie de potencia … Wikipedia Español
Traza de una matriz — de 4×4. En álgebra lineal, la traza de una matriz cuadrada A de nxn está definida como la suma de los elementos de la diagonal principal de A. Es decir, donde … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Forma canónica de Jordan

Forma canónica de Jordan

Contenido

Definición

Motivación