Matemáticas · Glosario

¿Qué es valor propio?

También llamado: espectro

Definición 3.1 Matemáticas universitarias — Grado 2 · Capítulo 3 — Reducción de endomorfismos

λK\lambda \in K es un valor propio de uu cuando u(x)=λxu(x) = \lambda x para algún x0x \neq 0 (un vector propio); el subespacio propio es Eλ(u)=ker(uλid)E_\lambda(u) = \ker(u - \lambda\,\mathrm{id}). El conjunto de los valores propios es el espectro Sp(u)\operatorname{Sp}(u). Un subespacio FF es estable cuando u(F)Fu(F) \subseteq F; los subespacios propios son estables, y los subespacios estables permiten definir endomorfismos inducidos uFu|_F.

La matriz A = psmallmatrix2 & 1\\ 1 & 2 psmallmatrix actuando sobre el plano: el vector genérico e_1 sale despedido de su recta, pero las direcciones propias v_1 = (1,1) y v_2 = (1,-1) se limitan a dilatarse, por 3 y por 1 (así que Av_2 = v_2: la imagen discontinua coincide con v_2). Diagonalizar es cambiar a la base (v_1, v_2), donde A pasa a ser diag(3, 1).
La matriz A=(2112)A = \left(\begin{smallmatrix}2 & 1\\ 1 & 2\end{smallmatrix}\right) actuando sobre el plano: el vector genérico e1e_1 sale despedido de su recta, pero las direcciones propias v1=(1,1)v_1 = (1,1) y v2=(1,1)v_2 = (1,-1) se limitan a dilatarse, por 33 y por 11 (así que Av2=v2Av_2 = v_2: la imagen discontinua coincide con v2v_2). Diagonalizar es cambiar a la base (v1,v2)(v_1, v_2), donde AA pasa a ser diag(3,1)\operatorname{diag}(3, 1).

Ejemplos

Ejemplo 3.4 (Mismo χ\chi, geometría distinta)

Las matrices

(2002)y(2102)\begin{pmatrix}2 & 0\\ 0 & 2\end{pmatrix} \qquad\text{y}\qquad \begin{pmatrix}2 & 1\\ 0 & 2\end{pmatrix}

comparten el polinomio característico (X2)2(X - 2)^2, la traza, el determinante y el espectro, y sin embargo no son semejantes: la primera tiene E2E_2 de dimensión 22 (multiplicidad geométrica 22) y la segunda de dimensión 11. El polinomio característico solo ve las multiplicidades algebraicas; las dimensiones de los subespacios propios son el invariante más fino, y el polinomio mínimo es quien arbitra (X2X - 2 frente a (X2)2(X - 2)^2). Moraleja para toda discusión sobre diagonalizabilidad: χ\chi preselecciona a los candidatos, pero quienes votan son los núcleos.

Ejemplo 3.8 (La diagonalización puesta a trabajar)

A=I+J=(211121112)A = I + J = \left(\begin{smallmatrix}2 & 1 & 1\\ 1 & 2 & 1\\ 1 & 1 & 2\end{smallmatrix}\right), con JJ la matriz de unos: de Sp(J)={3,0}\operatorname{Sp}(J) = \{3, 0\} (Ejemplo 2.19) se sigue Sp(A)={4,1}\operatorname{Sp}(A) = \{4, 1\}, con subespacios propios R(1,1,1)\R(1,1,1) y el plano {x+y+z=0}\{x + y + z = 0\}: dimensiones 1+2=31 + 2 = 3, luego diagonalizable (Teorema 3.6 (2)). Potencias sin ninguna matriz de cambio de base: con Π=J/3\Pi = J/3 el proyector sobre R(1,1,1)\R(1,1,1),

A=4Π+1(IΠ)Ak=4kΠ+(IΠ)=4k13J+I.A = 4\,\Pi + 1\cdot(I - \Pi) \quad\Longrightarrow\quad A^k = 4^k\,\Pi + (I - \Pi) = \frac{4^k - 1}{3}\,J + I .

(Comprobación con k=1k = 1: 413J+I=A\frac{4-1}3 J + I = A.) La moraleja: cuando los subespacios propios son visibles, los proyectores espectrales calculan potencias más deprisa de lo que jamás lo hará PDP1PDP^{-1}, y además la fórmula muestra la dinámica: AkA^k crece como 4k4^k a lo largo de (1,1,1)(1,1,1) y se queda quieto en el plano ortogonal.

Ejemplo 3.10 (Trigonalizando a mano)

B=(3111)B = \begin{pmatrix}3 & -1\\ 1 & 1\end{pmatrix}: χB=X24X+4=(X2)2\chi_B = X^2 - 4X + 4 = (X - 2)^2, y ker(B2I)=ker(1111)\ker(B - 2I) = \ker\left(\begin{smallmatrix}1 & -1\\ 1 & -1\end{smallmatrix}\right) es la recta generada por e1=(1,1)e_1' = (1, 1): un solo valor propio y un subespacio propio de dimensión uno; no es diagonalizable, pero sí trigonalizable (Teorema 3.9). Completemos la base con e2=(1,0)e_2' = (1, 0) y calculemos:

u(e1)=(2,2)=2e1,u(e2)=(3,1)=1e1+2e2,u(e_1') = (2, 2) = 2e_1', \qquad u(e_2') = (3, 1) = 1\cdot e_1' + 2\, e_2' ,

de modo que en la base (e1,e2)(e_1', e_2') la matriz es T=(2102)T = \left(\begin{smallmatrix}2 & 1\\ 0 & 2\end{smallmatrix}\right). La moraleja: la diagonal de TT estaba forzada (ambas entradas han de ser el valor propio doble 22); solo la entrada de la esquina dependía de la elección de e2e_2', y reescalar e2e_2' permite darle cualquier valor no nulo. Ese “11” que se resiste es la sombra de la parte nilpotente que Dunford aislará.

Leer en el capítulo →