Diagonalización de matrices simétricas
Las matrices simétricas son las únicas que se diagonalizan sin deformar el espacio: sus vectores propios forman unos ejes perpendiculares, así que la matriz de paso es ortogonal ($P^{-1}=P^t$) y $P^tAP=\Lambda$. Aprenderás por qué sus valores propios son siempre reales, por qué los ejes salen perpendiculares, la receta de cinco pasos (con Gram-Schmidt dentro de cada subespacio propio) y qué hace el teorema espectral.
0Antes de empezar U p.220
En el tema 4 aprendiste a diagonalizar: buscar unos ejes (los vectores propios) en los que la matriz solo estira. Pero esos ejes pueden ser oblicuos: la matriz $\begin{pmatrix}1&2\cr0&3\end{pmatrix}$ tiene ejes que forman $45^\circ$. Una matriz simétrica ($A=A^t$) es la que garantiza lo mejor posible: sus ejes propios son perpendiculares entre sí (como los ejes de una elipse). Entonces, si los tomas de longitud $1$, la matriz de paso $P$ es ortogonal (tema 5.2) y diagonalizar es solo girar el sistema de referencia: $P^tAP=\Lambda$, sin calcular ninguna inversa. Y eso es lo que usarás en el tema 6 para dibujar cónicas y cuádricas.
Qué necesitas saber ya
- Del tema 4.3 (imprescindible): diagonalizar $A$ es hallar $P$ regular con $P^{-1}AP=\Lambda$; las columnas de $P$ son una base de vectores propios; $A$ es diagonalizable si y solo si todas las raíces del polinomio característico son reales ($\sum\alpha_i=n$) y $d_i=\alpha_i$ para cada valor propio (multiplicidad geométrica = algebraica). Del tema 4.2: $|A-\lambda I|=0$ y los subespacios propios $L_\lambda=\operatorname{Nuc}(A-\lambda I)$.
- Del tema 5.1: producto escalar estándar $x\cdot y=X^tY$, ortogonalidad, normalizar, y sobre todo Gram-Schmidt (lo necesitarás dentro de cada subespacio propio).
- Del tema 5.2: $P$ ortogonal $\iff P^tP=I\iff P^{-1}=P^t$ (columnas ortonormales), y el significado de giro/simetría de una ortogonal ($\det P=\pm1$).
- Del tema 1.2: traspuesta, $(AB)^t=B^tA^t$ y $(A^t)^t=A$. Del tema 4.1: matrices semejantes ($P^{-1}AP$) y congruentes ($P^tAP$).
- Un poco de números complejos (conjugado, $z\bar z=|z|^2\ge0$): solo para entender una demostración (sección 2).
Mapa del tema
| Apartado | Qué contiene | Dónde |
|---|---|---|
| 1 Matriz simétrica | Definición, operaciones que la conservan, animación 2D: una simétrica deforma la circunferencia en una elipse de ejes perpendiculares | U p.221 · L p.395 · E 5.26 C |
| 2 Dos hechos clave | Valores propios reales y subespacios propios ortogonales, con demostración | U p.221-223 · L Teor. 1 p.395-396 · E 5.26 B |
| 3 Diagonalización ortogonal | Teor. 5.7 y 5.8, «diagonalizable ortogonalmente ⇔ simétrica», teorema espectral, descomposición espectral | U p.223-224 · L p.396-398 · E 5.26 A, 5.27 |
| 4 Cómo se hace | Receta de 5 pasos, Gram-Schmidt dentro de $L_\lambda$, orden de $\Lambda$ y $P$, U Ej. 5.31–5.34 y Lay Ej. 3, animación 3D | U p.222-225 · L p.396-397 |
| 5 Tabla Lay ↔ U | Vocabulario y alcance | L |
| 6 Ejercicios del libro | E 5.26–5.33 + 11 ejemplos propios + autoevaluación | E pp.184-189 · U p.239 |
| 7 Ejemplos de examen | El ejercicio propio de 5.3 y tres ampliaciones sobre ejercicios de 4.2 y 4.3 | X |
| 8 Chuleta | Fórmulas con hipótesis, lista de comprobación, errores frecuentes | — |
(a) Diagonalizar ortogonalmente una simétrica concreta, dando $P$ ortogonal y $\Lambda$ (E 5.33). (b) Explicar en qué consiste (X Ene. 2020, ejercicio 5). (c) Demostrar propiedades: valores propios reales, $f(x)\cdot y=x\cdot f(y)$, $A=P^t\Lambda P$ ⇒ simétrica (E 5.26, 5.27). (d) Tests de «porque…»: ¿por qué solo tiene valores propios reales? ¿semejantes y/o congruentes? ¿qué valores de $x$ dan una simétrica? (E 5.29–5.32). (e) Construir una simétrica a partir de sus subespacios propios (variante propia sobre X Feb. 2020 B). Esta sección aparece directamente una sola vez en los exámenes (Ene. 2020, 1 punto); sobre todo es herramienta de 6.2-6.4 (formas cuadráticas y cónicas).
propio- Solo matrices reales. Todo lo de este tema vale para matrices con todos sus elementos reales (U lo recuerda en una nota al pie, p.221). Con matrices complejas simétricas el teorema es falso (Propio 11).
- Tres palabras que se parecen: simétrica ($A=A^t$), ortogonal ($A^tA=I$, tema 5.2) y diagonalizable ortogonalmente (existe $P$ ortogonal con $P^tAP$ diagonal). El teorema central dice: simétrica ⇔ diagonalizable ortogonalmente. Ninguna de las dos primeras implica la otra.
- U escribe $\Lambda$ para la matriz diagonal y $P$ para la matriz de paso con columnas = vectores propios; $\Lambda=P^{-1}AP$ y, si $P$ es ortogonal, $\Lambda=P^tAP$. Aquí se usa lo mismo.
- Notación de subespacios propios: aquí $L(\lambda)$ (o $L_\lambda$) es el subespacio propio del valor propio $\lambda$, así que $L(2)$ es el de $\lambda=2$. U los numera $L(1),L(2),\dots$ por orden de aparición (en su Ej. 5.32, $L(1)$ es el de $\lambda=2$ y $L(2)$ el de $\lambda=0$).
- Todo el tema usa el producto escalar estándar de $\mathbb R^n$.
1Matriz simétrica U p.221 L p.395
Una matriz cuadrada $A$ es simétrica si $A^t=A$, es decir $a_{ij}=a_{ji}$: lo que hay a un lado de la diagonal es el espejo de lo que hay al otro. Los elementos de la diagonal son cualesquiera.
Ejemplos: $\begin{pmatrix}1&0\cr0&3\end{pmatrix}$, $\begin{pmatrix}2&-1&5\cr-1&0&8\cr5&8&7\end{pmatrix}$, $\begin{pmatrix}a&b&c\cr b&d&e\cr c&e&f\end{pmatrix}$. No lo son $\begin{pmatrix}1&3\cr-3&0\end{pmatrix}$ (le falta el espejo: $3\neq-3$) ni $\begin{pmatrix}1&2\cr0&3\end{pmatrix}$.
U p.221 L p.395Surgen «de forma natural» en las aplicaciones (procesamiento de imágenes, estadística, mecánica…) y, en el tema 6, toda forma cuadrática se escribe con una matriz simétrica. Y sobre todo: son las matrices que no tuercen los ejes. Mira la animación: una matriz simétrica de $2\times2$ convierte la circunferencia unidad en una elipse, y los ejes de esa elipse son justo las direcciones de los vectores propios; como los dos ejes de una elipse son perpendiculares, los dos vectores propios lo son. Con una matriz no simétrica los ejes propios se «inclinan» y dejan de coincidir con los de la elipse.
Si $A,B$ son simétricas del mismo orden y $C$ es cualquier matriz para la que el producto existe:
- $A+B$, $\lambda A$, $A^k$ ($k\ge1$) y $A^{-1}$ (si existe) son simétricas. Por ejemplo $(A^2)^t=(AA)^t=A^tA^t=AA=A^2$.
- $C^tAC$, $C^tC$ y $CC^t$ son simétricas: $(C^tAC)^t=C^tA^t(C^t)^t=C^tAC$ (E 5.27 es el caso $C=P$).
- El producto $AB$ no es simétrico en general: $\begin{pmatrix}1&2\cr2&1\end{pmatrix}\begin{pmatrix}1&0\cr0&2\end{pmatrix}=\begin{pmatrix}1&4\cr2&2\end{pmatrix}$. Lo es si y solo si $AB=BA$ (es el X Feb. 2024, 2.ª sem., pregunta 1, resuelto en el tema 1.2).
Con el producto escalar estándar ($u\cdot v=u^tv$): $A$ es simétrica si y solo si $Ax\cdot y=x\cdot Ay$ para todos $x,y$. ($\Rightarrow$) $(AX)^tY=X^tA^tY=X^tAY=X^t(AY)$. ($\Leftarrow$) con $x=e_i$, $y=e_j$: $Ae_i\cdot e_j=a_{ji}$ y $e_i\cdot Ae_j=a_{ij}$, luego $a_{ji}=a_{ij}$. Es exactamente el apartado C del Ejercicio 5.26 (con $f(x)=AX$): «la matriz simétrica es la que no distingue entre aplicar $A$ al primer vector o al segundo». Es el hecho que hace funcionar todas las demostraciones de la sección 2.
E 5.26 C p.184 L p.4002Dos hechos clave: valores propios reales y ejes perpendiculares U p.221-223 L p.395-396
2.1 Los valores propios de una simétrica son reales
En general el polinomio característico de una matriz real puede tener raíces complejas (un giro de $90^\circ$ no tiene ninguna dirección propia real: $\lambda^2+1=0$). Para una simétrica $2\times2$, $\begin{pmatrix}a&b\cr b&c\end{pmatrix}$, el discriminante del polinomio $\lambda^2-(a+c)\lambda+(ac-b^2)$ vale $$(a+c)^2-4(ac-b^2)=(a-c)^2+4b^2=(a-c)^2+(2b)^2\ \ge 0,$$ una suma de cuadrados: nunca es negativa. Eso mismo ocurre en cualquier tamaño, aunque la razón es más sutil (hay que pasar por números complejos).
Todas las raíces de la ecuación característica de una matriz simétrica real son reales.
Demostración (la de U, con un pequeño arreglo). Sea $\lambda\in\mathbb C$ una raíz de $|A-\lambda I|=0$. Existe $X\in\mathbb C^n$, $X\neq0$, con $AX=\lambda X$.
- Conjuga: como $A$ es real, $\bar A=A$ y queda $A\bar X=\bar\lambda\bar X$ (así $\bar\lambda$ es valor propio con vector propio $\bar X$; en U son «$\lambda^*$» e «$Y$»).
- Multiplica $AX=\lambda X$ por $\bar X^t$ a la izquierda: $\bar X^tAX=\lambda\,\bar X^tX$.
- Traspón $A\bar X=\bar\lambda\bar X$: $\bar X^tA^t=\bar\lambda\bar X^t$; con $A^t=A$ y multiplicando por $X$ a la derecha: $\bar X^tAX=\bar\lambda\,\bar X^tX$.
- Restando: $(\lambda-\bar\lambda)\,\bar X^tX=0$. Pero $\bar X^tX=|x_1|^2+\dots+|x_n|^2\gt0$ porque $X\neq0$. Luego $\lambda=\bar\lambda$: $\lambda$ es real. $\blacksquare$
Aviso sobre el texto de U (p.221). U toma $X$ e $Y$ vectores propios de $\lambda$ y $\lambda^*$ «cualesquiera» y concluye $\lambda=\lambda^*$ de $\lambda X^tY=\lambda^*X^tY$; eso solo es válido si $X^tY\neq0$, cosa que U no justifica (el vector complejo $X=(1,i)$ cumple $X^tX=1+i^2=0$). Eligiendo $Y=\bar X$ se tiene $X^tY=\sum|x_i|^2\gt0$ y el argumento queda completo. En un examen basta con la idea: se conjuga, se usa $A^t=A$ y se compara.
U p.221 E 5.26 B p.184$A=\begin{pmatrix}1&0&1\cr0&2&0\cr1&0&1\end{pmatrix}$ (simétrica). Su ecuación característica es $$\begin{vmatrix}1-\lambda&0&1\cr0&2-\lambda&0\cr1&0&1-\lambda\end{vmatrix}=(1-\lambda)^2(2-\lambda)-(2-\lambda)=(2-\lambda)\big[(1-\lambda)^2-1\big]=(2-\lambda)\lambda(\lambda-2)=0 .$$ Los valores propios son reales: $\lambda_1=2$ con multiplicidad algebraica $\alpha_1=2$ y $\lambda_2=0$ con $\alpha_2=1$. Comprobación con la traza: $2+2+0=4=1+2+1$. Esta matriz es el hilo conductor de U en toda la sección (Ej. 5.31–5.34).
U p.2222.2 Los vectores propios de valores propios distintos son perpendiculares
Si $A$ es una matriz simétrica real de orden $n$, los subespacios de vectores propios asociados a valores propios distintos son ortogonales con el producto escalar estándar: si $Av_1=\lambda_1v_1$, $Av_2=\lambda_2v_2$ y $\lambda_1\neq\lambda_2$, entonces $v_1\cdot v_2=0$.
Demostración (U la enuncia sin probarla; esta es la de Lay, tres líneas):
$$\lambda_1(v_1\cdot v_2)=(Av_1)\cdot v_2=v_1^tA^tv_2=v_1^tAv_2=v_1\cdot(Av_2)=\lambda_2(v_1\cdot v_2).$$Luego $(\lambda_1-\lambda_2)(v_1\cdot v_2)=0$ y, como $\lambda_1\neq\lambda_2$, $v_1\cdot v_2=0$. El único paso que usa la simetría es $A^t=A$ (es $Ax\cdot y=x\cdot Ay$ de la sección 1). $\blacksquare$
U p.222 L p.395-396- $L(2)$ ($\lambda=2$). $(A-2I)X=0$: $\begin{pmatrix}-1&0&1\cr0&0&0\cr1&0&-1\end{pmatrix}X=0\iff x_1-x_3=0$. Con parámetros $x_1=\alpha,\ x_3=\alpha,\ x_2=\beta$: $X=\alpha(1,0,1)+\beta(0,1,0)$. Base $\{(1,0,1),(0,1,0)\}$, $\dim L(2)=2=\alpha_1$: un plano.
- $L(0)$ ($\lambda=0$). $AX=0$: $x_1+x_3=0,\ x_2=0$. Base $\{(1,0,-1)\}$: una recta, $\dim L(0)=1=\alpha_2$.
- Diagonalizable: $d_i=\alpha_i$ para los dos valores propios (U Teor. 4.7).
- $L(2)\perp L(0)$. Basta comprobar que una base de uno es ortogonal a una base del otro: $(1,0,1)\cdot(1,0,-1)=0$ y $(0,1,0)\cdot(1,0,-1)=0$. En concreto, $(4,3,4)=4(1,0,1)+3(0,1,0)\in L(2)$ y $(3,0,-3)\in L(0)$ cumplen $(4,3,4)\cdot(3,0,-3)=12-12=0$. Geométricamente: el plano $x_1=x_3$ y la recta $\langle(1,0,-1)\rangle$ (su normal) son perpendiculares.
El resultado habla de valores propios distintos. Si un valor propio tiene $\dim L_\lambda\ge2$, dos vectores propios del mismo valor propio pueden no ser ortogonales. En el ejemplo de U la base $\{(1,0,1),(0,1,0)\}$ del plano $L(2)$ sale ortogonal «por casualidad» ($0+0+0=0$); pero la base «natural» que da el método de los parámetros suele ser otra (por ejemplo $\{(1,0,1),(1,1,1)\}$ también es base de $L(2)$ y $(1,0,1)\cdot(1,1,1)=2\neq0$). Para construir una $P$ ortogonal hay que aplicar Gram-Schmidt dentro de cada subespacio propio de dimensión $\ge2$ (sección 4). Lay lo hace explícito en su Ejemplo 3 (p.396-397); U no.
L p.396-397 propio3Diagonalización ortogonal: Teoremas 5.7 y 5.8 U p.223-224 L p.396-397
Las matrices simétricas se pueden diagonalizar respecto de una base ortogonal (ortonormal) de vectores propios. En particular, toda simétrica real es diagonalizable (con $d_i=\alpha_i$ para todos sus valores propios).
Si $P$ es la matriz de paso (cambio de base) asociada a esa base, entonces $\Lambda=P^{-1}AP$: $A$ y $\Lambda$ son semejantes. Si la base es ortonormal, $P$ es una matriz ortogonal (sus columnas son ortonormales; tema 5.2). Se dice entonces que $A$ es diagonalizable ortogonalmente.
U p.223 L p.396Si $A$ es una matriz simétrica con elementos reales, existe una matriz de paso $P$ ortogonal tal que $$P^tAP=\Lambda,\qquad\text{equivalentemente}\qquad A=P\Lambda P^t,$$ con $\Lambda$ diagonal formada por los valores propios de $A$. En particular, $A$ y $\Lambda$ son semejantes ($\Lambda=P^{-1}AP$) y además congruentes ($\Lambda=P^tAP$), porque $P^{-1}=P^t$.
Por qué la ortogonalidad importa: (i) no hay que calcular $P^{-1}$, basta trasponer; (ii) la misma $P$ sirve para el cambio de base de matrices (semejanza, tema 4) y de formas cuadráticas (congruencia, tema 6); (iii) es un cambio entre bases ortonormales, así que conserva longitudes y ángulos (tema 5.2).
U p.224Sea $u$ un vector propio unitario de $A$ (existe, porque hay un valor propio real: sección 2.1) con $Au=\lambda u$. Si $x\perp u$ entonces $Ax\cdot u=x\cdot Au=\lambda\,x\cdot u=0$: $A$ manda el plano (o hiperplano) $u^\perp$ en sí mismo. Dentro de $u^\perp$, $A$ sigue siendo simétrica, de un tamaño menos. Se repite el argumento: se elige otro vector propio unitario dentro de $u^\perp$, y así hasta agotar la dimensión. Resultado: $n$ vectores propios unitarios y perpendiculares dos a dos, es decir, una base ortonormal de vectores propios. Dentro de un subespacio propio doble se elige el segundo vector del plano perpendicular al primero (eso es Gram-Schmidt).
propio$A$ es diagonalizable ortogonalmente $\iff$ $A$ es simétrica. La ida es el Teor. 5.8; la vuelta es una línea: si $A=P\Lambda P^t$ con $P$ ortogonal y $\Lambda$ diagonal, entonces $A^t=(P\Lambda P^t)^t=P\Lambda^tP^t=P\Lambda P^t=A$. En consecuencia, una matriz no simétrica no puede diagonalizarse ortogonalmente aunque sea diagonalizable (sus ejes propios existen, pero no son perpendiculares).
E 5.27 p.184 L p.396Una matriz simétrica $A$ de $n\times n$ cumple: (a) tiene $n$ valores propios reales, contando multiplicidades; (b) la dimensión de cada subespacio propio es igual a la multiplicidad del valor propio como raíz del polinomio característico ($d_i=\alpha_i$); (c) los subespacios propios son mutuamente ortogonales; (d) $A$ es diagonalizable ortogonalmente. (Al conjunto de valores propios se le llama el espectro de $A$.)
L p.397 U p.221-223Si $A=P\Lambda P^t$ con $P=(u_1\ \cdots\ u_n)$ ortogonal, multiplicando por columnas y filas resulta $$A=\lambda_1\,u_1u_1^t+\lambda_2\,u_2u_2^t+\dots+\lambda_n\,u_nu_n^t .$$ Cada $u_ju_j^t$ es la matriz de la proyección ortogonal sobre la recta $\langle u_j\rangle$ (tema 5.1), de rango 1. Es decir: una simétrica es «estirar por $\lambda_j$ en la dirección $u_j$», sumado sobre ejes perpendiculares. Sirve para reconstruir $A$ desde sus valores y vectores propios, y para calcular $A^k=\sum\lambda_j^ku_ju_j^t$ (Propios 5 y 8).
Ejemplo (Lay Ej. 4). $A=\begin{pmatrix}7&2\cr2&4\end{pmatrix}=8u_1u_1^t+3u_2u_2^t$ con $u_1=\tfrac1{\sqrt5}(2,1)$, $u_2=\tfrac1{\sqrt5}(-1,2)$: $8u_1u_1^t=\tfrac85\begin{pmatrix}4&2\cr2&1\end{pmatrix}$, $3u_2u_2^t=\tfrac35\begin{pmatrix}1&-2\cr-2&4\end{pmatrix}$, y la suma es $\begin{pmatrix}7&2\cr2&4\end{pmatrix}$.
L p.398| Diagonalizable (tema 4.3) | Diagonalizable ortogonalmente (este tema) | |
|---|---|---|
| Condición | $d_i=\alpha_i$ para todo valor propio (y raíces reales) | $A=A^t$ (y real) |
| Matriz de paso | $P$ regular: columnas = base de vectores propios cualquiera | $P$ ortogonal: columnas = base ortonormal de vectores propios |
| Inversa | $P^{-1}$ por Gauss-Jordan | $P^{-1}=P^t$ |
| Valores propios | pueden ser complejos | siempre reales |
| Ejemplo | $\begin{pmatrix}1&2\cr0&3\end{pmatrix}$: diagonalizable, ejes a $45^\circ$ | $\begin{pmatrix}3&1\cr1&3\end{pmatrix}$: ejes $y=x$ e $y=-x$, perpendiculares |
Por tanto: simétrica ⇒ diagonalizable (siempre) y ortogonalmente. Diagonalizable no implica simétrica. Y «ortogonal» no es «simétrica» (el giro de $90^\circ$ no es simétrico).
propio4Cómo se hace: receta de diagonalización ortogonal U p.222-225 L p.395-397
- Comprobar que $A=A^t$ (y que es real). Si no lo es, no se puede diagonalizar ortogonalmente (E 5.27).
- Valores propios: resuelve $|A-\lambda I|=0$ (todas las raíces son reales) y anota la multiplicidad $\alpha_i$ de cada una. Control: suma de valores propios = traza; producto = determinante.
- Subespacios propios: para cada $\lambda_i$, base de $L(\lambda_i)=\operatorname{Nuc}(A-\lambda_iI)$. Control: $\dim L(\lambda_i)=\alpha_i$ (lo garantiza el Teor. 5.7, pues una simétrica real es diagonalizable; si te sale menos, hay un error de cálculo).
- Ortogonalizar dentro de cada $L(\lambda_i)$: si $\dim L(\lambda_i)\ge2$ y la base no es ortogonal, aplica Gram-Schmidt solo dentro de ese $L(\lambda_i)$ (tema 5.1). Entre subespacios de valores distintos no hace falta: ya son ortogonales (sección 2.2). Los vectores nuevos siguen siendo propios, por ser combinaciones de vectores de $L(\lambda_i)$.
- Normalizar cada vector (dividir por su norma), poner los vectores como columnas de $P$ y los valores propios en $\Lambda$ en el mismo orden. Entonces $P$ es ortogonal, $P^{-1}=P^t$ y $P^tAP=\Lambda$. Comprueba al menos $P^tP=I$ y $AP=P\Lambda$.
Sea de nuevo $A=\begin{pmatrix}1&0&1\cr0&2&0\cr1&0&1\end{pmatrix}$, con $L(2)=\langle(1,0,1),(0,1,0)\rangle$ y $L(0)=\langle(1,0,-1)\rangle$.
- Base ortogonal de $\mathbb R^3$ (Ej. 5.33). Como $L(2)\perp L(0)$ (sección 2.2) y la base de $L(2)$ ya es ortogonal, $B'=\{(1,0,1),(0,1,0),(1,0,-1)\}$ es una base ortogonal de vectores propios. La matriz de paso y la diagonal son $$P=\begin{pmatrix}1&0&1\cr0&1&0\cr1&0&-1\end{pmatrix},\qquad \Lambda=P^{-1}AP=\begin{pmatrix}2&0&0\cr0&2&0\cr0&0&0\end{pmatrix}.$$ Aquí $P$ no es ortogonal: $P^tP=\operatorname{diag}(2,1,2)\neq I$. Sirve para $P^{-1}AP$, pero hay que calcular $P^{-1}$.
- Normalizar (Ej. 5.34). Se divide cada columna por su norma: $\|(1,0,1)\|=\sqrt2$, $\|(0,1,0)\|=1$, $\|(1,0,-1)\|=\sqrt2$: $$P=\begin{pmatrix}\frac1{\sqrt2}&0&\frac1{\sqrt2}\cr0&1&0\cr\frac1{\sqrt2}&0&-\frac1{\sqrt2}\end{pmatrix}.$$ Sus columnas son ortonormales, luego $PP^t=I_3$ y $P^{-1}=P^t$.
- Comprobación (la hace U): $P^tAP=\operatorname{diag}(2,2,0)=\Lambda$. ($\det P=-1$; no importa, es ortogonal igualmente: ver más abajo.)
- Qué habría pasado sin normalizar: con la $P$ del paso 1, $P^tAP=\operatorname{diag}(2\cdot2,\ 2\cdot1,\ 0\cdot2)=\operatorname{diag}(4,2,0)\neq\Lambda$: cada valor propio sale multiplicado por $\|v_i\|^2$. Es el error de «$P$ ortogonal» más frecuente (sección «Errores»).
$A=\begin{pmatrix}3&-2&4\cr-2&6&2\cr4&2&3\end{pmatrix}$ (simétrica). Su ecuación característica es $-(\lambda-7)^2(\lambda+2)=0$: $\lambda=7$ ($\alpha=2$) y $\lambda=-2$ ($\alpha=1$). Traza $12=7+7-2$.
- $L(7)$: $A-7I=\begin{pmatrix}-4&-2&4\cr-2&-1&2\cr4&2&-4\end{pmatrix}$ ⇒ una sola ecuación, $2x+y-2z=0$: un plano. Base «de los parámetros»: $v_1=(1,0,1)$, $v_2=(-1,2,0)$. No son ortogonales: $v_1\cdot v_2=-1\neq0$.
- Gram-Schmidt en $L(7)$: $z_2=v_2-\dfrac{v_2\cdot v_1}{v_1\cdot v_1}v_1=(-1,2,0)+\tfrac12(1,0,1)=\left(-\tfrac12,2,\tfrac12\right)\ \sim\ (-1,4,1)$. Sigue en $L(7)$ ($2(-1)+4-2=0$) y $z_2\cdot v_1=-1+0+1=0$.
- $L(-2)$: $(A+2I)X=0$ da $v_3=(-2,-1,2)$. Es ortogonal a $v_1$ y a $z_2$ sin hacer nada (valores propios distintos): $(-2,-1,2)\cdot(1,0,1)=0$, $(-2,-1,2)\cdot(-1,4,1)=2-4+2=0$.
- Normalizar: $\|v_1\|=\sqrt2$, $\|z_2\|=\sqrt{18}$, $\|v_3\|=3$. $$P=\begin{pmatrix}\frac1{\sqrt2}&-\frac1{\sqrt{18}}&-\frac23\cr0&\frac4{\sqrt{18}}&-\frac13\cr\frac1{\sqrt2}&\frac1{\sqrt{18}}&\frac23\end{pmatrix},\qquad\Lambda=\begin{pmatrix}7&0&0\cr0&7&0\cr0&0&-2\end{pmatrix},\qquad P^tAP=\Lambda,\ \ \det P=1 .$$
- El orden manda. Si $\Lambda=\operatorname{diag}(\lambda_1,\lambda_2,\lambda_3)$, la columna $j$ de $P$ debe ser un vector propio unitario de $\lambda_j$. Cambiar el orden en $\Lambda$ obliga a cambiarlo en $P$ (en E 5.33 los valores $3$ y $5$ están «cruzados» respecto de las columnas $e_4$, $e_3$).
- La solución no es única. Cada columna puede cambiar de signo, el orden de los valores propios es libre, y dentro de un $L_\lambda$ con $\dim\ge2$ hay infinitas bases ortonormales. Cualquier $P$ ortogonal que cumpla $P^tAP=\Lambda$ es correcta (por eso la animación 3D solo dibuja una elección).
- $\det P=\pm1$. Si $\det P=1$, $P$ es un giro; si $-1$, un giro compuesto con una simetría (tema 5.2). Cambiar el signo de una columna convierte una en otra y no afecta a $P^tAP=\Lambda$. Para las cónicas (tema 6) se querrá $\det P=1$.
- Valores propios repetidos con trampa: si el Teor. 5.7 dice $\dim L_\lambda=\alpha$, la dimensión no puede quedarse corta (a diferencia del tema 4.3, donde una matriz no simétrica sí puede tener $d\lt\alpha$). Si te sale $d\lt\alpha$ con una simétrica, revisa el cálculo de $\operatorname{rang}(A-\lambda I)$.
- Atajos con ortogonalidad: en $\mathbb R^3$, con dos vectores propios ya conocidos de valores distintos, el tercero sale con el producto vectorial (X Feb. 2017, sección 7); si conoces todos los $L_\lambda$ menos uno, el que falta es el complemento ortogonal.
- No normalizar: la $P$ de columnas ortogonales pero no unitarias no es ortogonal y $P^tAP\neq\Lambda$ (sale $\operatorname{diag}(\|v_i\|^2\lambda_i)$).
- Creer que dos vectores propios del mismo valor propio ya son ortogonales: solo lo son los de valores distintos. Dentro de un $L_\lambda$ de dimensión $\ge2$, Gram-Schmidt.
- Aplicar Gram-Schmidt a todo el conjunto de vectores propios, mezclando subespacios distintos: innecesario (y si lo haces mal, los vectores salen de su subespacio y dejan de ser propios).
- Desordenar columnas de $P$ y entradas de $\Lambda$.
- Usar $P^{-1}$ por Gauss-Jordan cuando $P$ es ortogonal: pierde tiempo y se equivoca; basta trasponer.
- Aplicarlo a una matriz no simétrica (por ejemplo, una triangular con valores propios distintos): diagonaliza, pero no ortogonalmente.
5Tabla Lay ↔ U: vocabulario y alcance L p.395-400
Lay trata este tema en su §7.1 «Diagonalización de matrices simétricas». Es más explícito que U en lo que U da por supuesto (demostración de la ortogonalidad, Gram-Schmidt en espacios propios, espectro). En el examen manda U.
| Concepto | U (oficial) | Lay |
|---|---|---|
| Valores propios reales | «Propiedad de los valores propios», p.221 (demostración con una laguna) | Teor. 3 a), p.397 (se deduce de un ejercicio de §5.5) |
| Vectores propios de valores distintos ortogonales | «Propiedad de los vectores propios», p.222 (sin demostración) | Teor. 1, p.395-396 (con demostración) |
| Diagonalizable ortogonalmente | Texto tras el Teor. 5.7, p.223 («en términos generales…») | Definición formal, $A=PDP^t$, p.396 |
| Simétrica ⇒ diagonalizable ortogonalmente | Teor. 5.7 y 5.8, p.223-224 | Teor. 2, p.396 (es un «si y solo si») |
| Recíproco (ortogonalmente ⇒ simétrica) | No lo enuncia (se pide en E 5.27) | Teor. 2, p.396 |
| $\dim L_\lambda=\alpha$ | Implícito en el Ej. 5.32, p.223 | Teor. 3 b), p.397 |
| Gram-Schmidt dentro de $L_\lambda$ | No (sus ejemplos ya vienen ortogonales) | Ejemplo 3, p.396-397 |
| Descomposición espectral | No | p.398 y Ejemplo 4 |
| Notación | $P^tAP=\Lambda$, $\Lambda$ diagonal; $L_i$ subespacio propio | $A=PDP^T$, $D$ diagonal; «espacio propio» |
| Semejantes y congruentes | Teor. 5.8, p.224 | No usa «congruente» aquí (lo hará con las formas cuadráticas, §7.2) |
Lay escribe $D$ donde U escribe $\Lambda$ para la matriz diagonal; ambos llaman $P$ a la matriz de paso. Lay supone siempre matrices reales en todo el capítulo 7. Donde Lay y U difieran en notación, manda U.
L p.395-3986Ejercicios del libro, resueltos E p.184-189
Los Ejercicios 5.26 a 5.33 de E son los de esta sección (los anteriores, hasta el 5.25, son de los temas 5.1 y 5.2; el Ejercicio 5.34, p.191, ya es de 5.4). Orden de estudio recomendado (de fácil a difícil): 5.27 → 5.26 → 5.30 → 5.29 → 5.28 → 5.31 → 5.32 → 5.33. Abajo están en el orden del libro. Pulsa «Mostrar soluciones» arriba para abrirlas todas.
- 5.26 A: el enunciado dice «una base de vectores ortogonales dos a dos»; literalmente la cumple cualquier endomorfismo (la base canónica). Debe leerse «una base de vectores propios ortogonales dos a dos». Además la solución escribe «digonalizan».
- 5.28: la solución plantea $P^{-1}AP=B$ pero lo convierte en $PA=BP$ (que corresponde a $A=P^{-1}BP$, como escribe al final) e intercambia los resultados de los dos productos. La conclusión ($P$ singular) es correcta.
- 5.30 C (pp.186-187): la solución dice «en general, las matrices con filas linealmente independientes no poseen valores propios reales». Es falso: $I$ tiene filas l.i. y valor propio real $1$; lo correcto es «no tienen por qué poseerlos». Tampoco señala que las filas de esta $A$ son l.d. ($\operatorname{rang}A=1$).
- 5.31 (p.187): la respuesta «ninguna es cierta» es correcta, pero la solución solo prueba la condición necesaria; omite la suficiencia (con raíces reales siempre existe una simétrica: la diagonal de las raíces). La condición exacta es $x\ge-\frac1{12}$ (no hay errata de signo en las opciones: A) no existen, B) $x\le\frac1{12}$, C) $x\le1$).
- 5.32 (p.188): la última línea queda incompleta («$P^tAP=B\Leftrightarrow P^{-1}BP$»); debe leerse «$P^tAP=B$ y, como $P^t=P^{-1}$, $P^{-1}AP=B$». El «Caso 2» (si los valores propios fueran otros) queda sin concluir: no serían semejantes.
- 5.33 (p.189): correcta, pero no comprueba $P^tAP=\Lambda$ («siendo $P$ y $D$ las matrices calculadas»); escribe $x$ como variable del polinomio y llama $D$ a la matriz que antes llamó $\Lambda$.
Bloque I — Propiedades de las simétricas (E 5.26–5.27)
Ejercicio 5.26 — base ortogonal de vectores propios, valores propios reales y $f(x)\cdot y=x\cdot f(y)$ E p.184
Si $A$ es la matriz simétrica asociada a un endomorfismo $f$ de $\mathbb R^3$ en la base canónica, se pide probar: A) $f$ posee una base de vectores ortogonales dos a dos con el producto escalar usual. B) Todos sus valores propios son reales. C) Considerando el producto escalar estándar, $f(\bar x)\cdot\bar y=\bar x\cdot f(\bar y)$.
Idea. Lo más natural es probar primero B, luego A. C es la propiedad que hace funcionar B y la ortogonalidad.
- Qué me piden
- Probar tres propiedades de una matriz simétrica: base ortogonal de vectores propios, valores propios reales y $f(x)\cdot y=x\cdot f(y)$.
- Cómo lo pienso
- Esto es el teorema espectral: no se me pide calcular nada, sino argumentar. Las dos primeras son el enunciado del teorema. La tercera sí se demuestra en una línea: la simetría permite pasar la matriz de un lado del producto escalar al otro.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Cito el teorema para A y B; para C escribo $(Ax)\cdot y=(Ax)^ty=x^tA^ty$ y uso $A^t=A$.
- B) Valores propios reales. Los valores propios son las raíces de $|A-\lambda I|=0$ (U p.153), en principio complejas. Sea $\lambda\in\mathbb C$ una raíz y $X\in\mathbb C^3$, $X\neq0$, con $AX=\lambda X$.
- Conjuga la igualdad: como $A$ es real, $A\bar X=\bar\lambda\bar X$. Multiplica la primera por $\bar X^t$ a la izquierda: $\bar X^tAX=\lambda\,\bar X^tX$.
- Traspón la segunda ($(A\bar X)^t=\bar X^tA^t=\bar X^tA$, por ser $A=A^t$) y multiplica por $X$ a la derecha: $\bar X^tAX=\bar\lambda\,\bar X^tX$.
- Resta: $(\lambda-\bar\lambda)\,\bar X^tX=0$. Como $\bar X^tX=|x_1|^2+|x_2|^2+|x_3|^2\gt0$ ($X\neq0$), $\lambda=\bar\lambda$, o sea $\lambda\in\mathbb R$. $\blacksquare$ (Es la demostración de la sección 2.1, que arregla la de U p.221.)
- A) Precisión del enunciado. Literalmente, una base de vectores ortogonales dos a dos la tiene cualquier endomorfismo: la canónica. Lo que se quiere probar (y lo que prueba E) es una base ortogonal formada por vectores propios de $f$.
- Por B, el polinomio característico (grado $3$) tiene sus $3$ raíces reales $\lambda_1,\dots,\lambda_r$ con multiplicidades $\alpha_i$, $\sum\alpha_i=3$. Por el Teor. 5.7 (U p.223), $A$ es diagonalizable respecto de una base ortogonal de vectores propios; en particular $d_i=\alpha_i$.
- Cómo se construye: en cada $L_{\lambda_i}$ se toma una base y se ortogonaliza con Gram-Schmidt (U p.208); los vectores obtenidos siguen en $L_{\lambda_i}$, luego siguen siendo propios. Vectores de subespacios propios distintos son ortogonales automáticamente (U p.222). Reuniendo las bases de cada $L_{\lambda_i}$ se obtienen $\sum d_i=3$ vectores ortogonales dos a dos y no nulos, luego linealmente independientes (U Teor. 5.2, p.206): una base ortogonal de $\mathbb R^3$ de vectores propios. Equivalente: existe $P$ ortogonal con $P^tAP=\Lambda$ (Teor. 5.8) y las columnas de $P$ son esa base. $\blacksquare$
- C) $f(x)\cdot y=x\cdot f(y)$. Con el producto estándar $u\cdot v=u^tv$ y $f(x)=AX$ (matriz en la base canónica): $f(x)\cdot y=(AX)^tY=X^tA^tY$ por $(AB)^t=B^tA^t$ (U p.13). Como $A^t=A$: $X^tA^tY=X^tAY=X^t(AY)=x\cdot f(y)$. $\blacksquare$
Error típico: creer que, con un valor propio doble, cualquier base del subespacio propio sirve para una $P$ ortogonal: dentro de $L_\lambda$ los vectores no tienen por qué ser ortogonales (Propio 4). Teoría: U §5.3 pp.221-224; U §1.2 p.13; U §5.1 pp.206-208.
Ejercicio 5.27 — $A=P^t\Lambda P$ implica $A$ simétrica E p.184
Si $A$ es la matriz real cuadrada tal que $A=P^t\Lambda P$ siendo $\Lambda$ una matriz diagonal, pruébese que $A$ es simétrica.
- Qué me piden
- Probar que $A=P^t\Lambda P$ es simétrica si $\Lambda$ es diagonal.
- Cómo lo pienso
- Una matriz es simétrica si coincide con su traspuesta. Transpongo el producto y recuerdo que al traspuesto de un producto se invierte el orden.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Calculo $A^t=(P^t\Lambda P)^t$ y uso que $\Lambda^t=\Lambda$ y $(P^t)^t=P$.
- Qué hay que probar. $A$ es simétrica si $A^t=A$. Calculamos $A^t$ y vemos si vuelve a dar $A$.
- Traspuesta de un producto de tres matrices. $(AB)^t=B^tA^t$ (U p.13), aplicada dos veces, da $(XYZ)^t=Z^tY^tX^t$ (se invierte el orden): $A^t=(P^t\Lambda P)^t=P^t\,\Lambda^t\,(P^t)^t$.
- Simplificar. $(P^t)^t=P$ y $\Lambda^t=\Lambda$ (una matriz diagonal solo tiene entradas en la diagonal, que la trasposición no mueve).
- Conclusión. $A^t=P^t\Lambda P=A$: $A$ es simétrica. $\blacksquare$
Observación. No hace falta que $P$ sea ortogonal ni regular: toda matriz $P^tDP$ con $D$ simétrica es simétrica (sección 1). Leído al revés, este ejercicio es la mitad «fácil» del teorema: si $A$ se diagonaliza con una $P$ ortogonal ($P^tAP=\Lambda$ ⇒ $A=P\Lambda P^t$), entonces $A$ es simétrica. Por eso una matriz no simétrica nunca es diagonalizable ortogonalmente (Propios 7 y 10).
Error típico: escribir $(P^t\Lambda P)^t=P^t\Lambda^tP^{tt}$ «sin invertir el orden» y llegar al resultado correcto por casualidad (aquí el producto es palíndromo). Con $(P\Lambda Q)^t$ el orden sí importa: $Q^t\Lambda P^t$. Teoría: U §1.2 p.13; U §5.3 p.224 (Teor. 5.8).
Bloque II — Preguntas de «justificar o elegir» (E 5.28–5.32)
Ejercicio 5.28 — mismo polinomio característico no implica semejantes E p.185
Si $A=\begin{pmatrix}2&0\cr0&2\end{pmatrix}$ y $B=\begin{pmatrix}2&1\cr0&2\end{pmatrix}$, se pide comprobar la veracidad de las siguientes proposiciones: A) No tienen el mismo polinomio característico. B) Como tienen el mismo polinomio característico, ambas matrices están asociadas al mismo endomorfismo (pero en distintas bases).
Idea. Es un ejercicio de repaso de 4.1-4.2 (E lo coloca en esta sección): ¿bastan los valores propios para saber si dos matrices son «la misma aplicación en bases distintas»?
- Qué me piden
- Comprobar que el mismo polinomio característico no implica ser semejantes.
- Cómo lo pienso
- Una de las dos matrices es $2I$: una matriz escalar solo es semejante a sí misma, porque $P^{-1}(2I)P=2I$ para toda $P$. La otra no es escalar.
- Qué uso
- Semejantes: comparten polinomio característico; el recíproco es falso.
- Por dónde empiezo
- Calculo ambos polinomios y razono con $2I$.
- A es falsa. Ambas son triangulares: el determinante es el producto de la diagonal. $|A-\lambda I|=(2-\lambda)^2=|B-\lambda I|$.
- Qué significa B. «Asociadas al mismo endomorfismo en distintas bases» equivale a ser semejantes: existe $P$ regular con $P^{-1}AP=B$ (U Def. 4.5, p.148). El Teor. 4.4 (U p.153) dice semejantes ⇒ mismo polinomio, pero no al revés.
- Argumento corto. $A=2I$ conmuta con todo: $P^{-1}(2I)P=2I$ para cualquier $P$. La única matriz semejante a $2I$ es $2I$, y $B\neq2I$. No son semejantes.
Argumento por multiplicidades. $\lambda=2$ tiene $\alpha=2$ en ambas. En $A$: $d=2-\operatorname{rang}(A-2I)=2-0=2$. En $B$:
$$d=2-\operatorname{rang}\begin{pmatrix}0&1\cr0&0\end{pmatrix}=1.$$Semejantes tendrían la misma dimensión de subespacio propio. Además $B$ no es diagonalizable ($d\lt\alpha$) y $A$ sí.
Argumento de E con $P$ genérica. $P^{-1}AP=B\iff AP=PB$. Con
$$P=\begin{pmatrix}p&q\cr r&s\end{pmatrix}:$$ $$AP=\begin{pmatrix}2p&2q\cr2r&2s\end{pmatrix}$$ $$PB=\begin{pmatrix}2p&p+2q\cr2r&r+2s\end{pmatrix},$$luego $p=0$, $r=0$: la primera columna de $P$ es nula y $|P|=0$. No existe $P$ regular. B es falsa.
Respuesta: A y B falsas.
Error típico: «mismo polinomio característico ⇒ semejantes». Falso en general; cierto para simétricas (o diagonalizables). Teoría: U §4.1 p.148; §4.2 p.153; §4.3 p.164.
Ejercicio 5.29 — $\begin{pmatrix}1&1\cr1&0\end{pmatrix}$: valores propios y diagonalizable E p.186
Se pide decidir si son ciertas las propiedades siguientes para la matriz $\begin{pmatrix}1&1\cr1&0\end{pmatrix}$: A) No tiene autovalores en $\mathbb R$. B) Tiene dos autovalores reales distintos y uno de ellos es $\frac{1+\sqrt5}{2}$. C) Es diagonalizable.
- Qué me piden
- Valores propios y diagonalizabilidad de una $2\times2$ simétrica con raíces irracionales.
- Cómo lo pienso
- El polinomio $\lambda^2-\lambda-1$ no tiene raíces enteras: saldrá $\frac{1\pm\sqrt5}{2}$. Que sean irracionales no importa: son reales y distintas, y eso basta para diagonalizar.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Resuelvo la ecuación de segundo grado y comparo raíces.
- A es falsa sin cuentas. La matriz es simétrica ($a_{12}=a_{21}=1$) y una simétrica real tiene todos sus valores propios reales (U p.221); al ser el polinomio de grado $2$, tiene $2$ raíces reales.
Polinomio característico:
$$\begin{vmatrix}1-\lambda&1\cr1&-\lambda\end{vmatrix}=-\lambda(1-\lambda)-1=\lambda^2-\lambda-1.$$- Raíces: $\lambda=\dfrac{1\pm\sqrt{1+4}}2=\dfrac{1\pm\sqrt5}2$: dos reales distintas, una es $\frac{1+\sqrt5}2$ (el número áureo). B cierta.
- C cierta. Una matriz $n\times n$ con $n$ valores propios distintos es diagonalizable (U p.163). Además, por ser simétrica, lo es ortogonalmente (Teor. 5.8).
- Comprobación de la ortogonalidad (propia). De $(A-\lambda I)v=0$, segunda fila: $v_1-\lambda v_2=0$, luego $v=(\lambda,1)$. Para las dos raíces: $(\lambda_1,1)\cdot(\lambda_2,1)=\lambda_1\lambda_2+1=-1+1=0$ (el producto de las raíces de $\lambda^2-\lambda-1$ es $-1$). Ortogonales, como predice U p.222.
Respuesta: A falsa; B y C ciertas.
Teoría: U §5.3 pp.221-224; U §4.3 p.163.
Ejercicio 5.30 — ¿por qué $\begin{pmatrix}1&2\cr2&4\end{pmatrix}$ solo tiene valores propios reales? E p.186
Se pide elegir la opción correcta. La matriz $A=\begin{pmatrix}1&2\cr2&4\end{pmatrix}$ solo tiene valores propios reales porque: A) $A$ está definida en $\mathbb R$. B) $A$ es simétrica. C) Sus filas son linealmente independientes.
- Qué me piden
- Explicar por qué una $2\times2$ simétrica tiene solo valores propios reales.
- Cómo lo pienso
- No basta que la matriz sea real (el giro de $90^\circ$ lo es y no tiene valores propios reales). La clave es la simetría.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Cito el teorema espectral.
Valores propios:
$$|A-\lambda I|=(1-\lambda)(4-\lambda)-4=\lambda^2-5\lambda=\lambda(\lambda-5):$$valores propios $0$ y $5$, reales.
A, falsa como razón. Ser real no basta:
$$\begin{pmatrix}0&1\cr-1&0\end{pmatrix}$$es real y su polinomio $\lambda^2+1$ no tiene raíces reales ($\pm i$).
- B, correcta. $A^t=A$ y toda simétrica real tiene sus valores propios reales (U p.221). Es la razón general.
C, falsa por dos motivos. (a) La premisa es falsa: la segunda fila es el doble de la primera, $\operatorname{rang}A=1$, $|A|=0$ (coherente con que $0$ sea valor propio). (b) Aunque las filas fueran l.i., eso no da valores propios reales:
$$\begin{pmatrix}0&1\cr-1&0\end{pmatrix}$$tiene filas l.i. y valores propios $\pm i$.
Respuesta: B.
Error típico: elegir A: «real ⇒ autovalores reales» es falso; real ⇒ los complejos aparecen en pares conjugados. Teoría: U §5.3 p.221.
Ejercicio 5.31 — ¿para qué $x$ es $\lambda^3-\lambda^2-3\lambda x$ el polinomio de una simétrica? E p.187
Los valores de $x$ para que $P(\lambda)=\lambda^3-\lambda^2-3\lambda x$ sea el polinomio característico de una matriz simétrica: A) No existen. B) Cumplen $x\le\frac1{12}$. C) Cumplen $x\le1$.
- Qué me piden
- ¿Para qué $x$ es $\lambda^3-\lambda^2-3x\lambda$ el polinomio característico de una simétrica?
- Cómo lo pienso
- Toda simétrica tiene todas sus raíces reales. El polinomio tiene $\lambda=0$ como factor común: saco $\lambda$ y queda un cuadrático cuyo discriminante debe ser no negativo.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Factorizo por $\lambda$ y estudio el discriminante del cuadrático.
- Convención de signo. U define el polinomio como $|A-\lambda I|$, que para $n=3$ empieza por $-\lambda^3$; el dado es mónico ($=|\lambda I-A|=-|A-\lambda I|$). Tienen las mismas raíces, que es lo que importa.
- Condición necesaria. Si $P$ es el polinomio de una simétrica real, sus $3$ raíces son reales (U p.221).
Factorizar: $P(\lambda)=\lambda(\lambda^2-\lambda-3x)$. Una raíz es $\lambda=0$ (siempre real). Las otras dos son reales $\iff$ el discriminante de $\lambda^2-\lambda-3x$ es $\ge0$:
$$\Delta=(-1)^2-4\cdot1\cdot(-3x)=1+12x\ge0\iff x\ge-\frac1{12}.$$- Condición suficiente (E no la comenta). Si $x\ge-\frac1{12}$, sean $r_1,r_2$ las raíces reales de $\lambda^2-\lambda-3x$; la matriz diagonal $\operatorname{diag}(0,r_1,r_2)$ es simétrica y su polinomio (mónico) es exactamente $P$. El conjunto buscado es exactamente $x\ge-\frac1{12}$.
- Opciones. A es falsa (por ejemplo $x=0$: $\operatorname{diag}(0,0,1)$). B es falsa: $x=-1\le\frac1{12}$ pero $\Delta=-11\lt0$, y $x=1$ sirve sin cumplir $x\le\frac1{12}$. C es falsa por el mismo $x=-1$ (y $x=2$ sirve sin cumplir $x\le1$).
Respuesta: ninguna es cierta (coincide con E).
Error típico: calcular mal el discriminante ($1-12x$) y elegir B. Teoría: U §5.3 p.221.
Ejercicio 5.32 — matrices congruentes y/o semejantes E p.188
Se pide justificar si se verifica que las matrices siguientes $A=\begin{pmatrix}1&1&0\cr1&2&-1\cr0&-1&1\end{pmatrix}$ y $B=\begin{pmatrix}0&0&0\cr0&1&0\cr0&0&3\end{pmatrix}$: A) Son congruentes y semejantes. B) Son congruentes pero no semejantes. C) Son semejantes pero no congruentes.
- Qué me piden
- Decidir si dos matrices son congruentes y/o semejantes.
- Cómo lo pienso
- Semejantes ⇒ mismo polinomio característico; congruentes (si son simétricas) ⇒ mismo número de valores propios positivos, negativos y nulos. Una de las matrices es diagonal y me da los valores propios.
- Qué uso
- Congruentes y semejantes: congruentes $B=Q^tAQ$ (conservan el signo de los valores propios si son simétricas, por Sylvester); semejantes $B=Q^{-1}AQ$ (conservan polinomio característico).
- Por dónde empiezo
- Calculo la inercia de la simétrica y comparo polinomios.
- Definiciones (U §4.1): $B$ es congruente con $A$ si $B=P^tAP$ con $P$ regular (Def. 4.4, p.147); semejante si $B=P^{-1}AP$ (Def. 4.5, p.148). Si $P$ es ortogonal, $P^t=P^{-1}$ (Teor. 5.6, p.216) y ambas cosas coinciden.
- $A$ es simétrica ($a_{12}=a_{21}=1$, $a_{13}=a_{31}=0$, $a_{23}=a_{32}=-1$). Por el Teor. 5.8 existe $P$ ortogonal con $P^tAP=\Lambda$. Basta ver si $\Lambda=B$ (salvo orden).
Polinomio característico (por la primera fila):
$$(1-\lambda)\big[(2-\lambda)(1-\lambda)-1\big]-1\cdot\big[(1-\lambda)-0\big]=(1-\lambda)\big[(2-\lambda)(1-\lambda)-2\big]=(1-\lambda)(\lambda^2-3\lambda)=-\lambda(\lambda-1)(\lambda-3).$$Valores propios $0,1,3$, los de $B$.
- Matriz de paso explícita (propia; E no la da). Resolviendo $(A-\lambda I)v=0$: $\lambda=0$: $v_1+v_2=0,\ -v_2+v_3=0\Rightarrow(1,-1,-1)$. $\lambda=1$: $v_2=0,\ v_1+v_2-v_3=0\Rightarrow(1,0,1)$. $\lambda=3$: $-2v_1+v_2=0,\ -v_2-2v_3=0\Rightarrow(1,2,-1)$. Son ortogonales dos a dos (valores propios distintos): por ejemplo $(1,-1,-1)\cdot(1,2,-1)=1-2+1=0$. Normalizando (aquí $\det P=-1$, que no importa: $P$ es ortogonal igualmente): $$P=\begin{pmatrix}\frac1{\sqrt3}&\frac1{\sqrt2}&\frac1{\sqrt6}\cr-\frac1{\sqrt3}&0&\frac2{\sqrt6}\cr-\frac1{\sqrt3}&\frac1{\sqrt2}&-\frac1{\sqrt6}\end{pmatrix},\qquad P^tP=I,\qquad P^tAP=\begin{pmatrix}0&0&0\cr0&1&0\cr0&0&3\end{pmatrix}=B .$$
- Conclusión. Como $P^t=P^{-1}$, $B=P^tAP=P^{-1}AP$: congruentes y semejantes. A cierta; B y C son falsas (cada una niega una de las dos relaciones).
Respuesta: A.
Error típico: pensar que congruencia y semejanza se excluyen; con $P$ ortogonal son la misma cosa. Teoría: U §4.1 pp.147-148; U §5.2 p.216; U §5.3 p.224.
Bloque III — Diagonalizar ortogonalmente (E 5.33)
Ejercicio 5.33 — diagonalizar ortogonalmente una simétrica $4\times4$ E p.189
Se pide diagonalizar ortogonalmente la siguiente matriz, $A=\begin{pmatrix}1&-1&0&0\cr-1&0&0&0\cr0&0&5&0\cr0&0&0&3\end{pmatrix}$, calculando su matriz de paso asociada.
- Qué me piden
- Diagonalizar ortogonalmente una simétrica $4\times4$ y dar la matriz de paso.
- Cómo lo pienso
- La matriz es diagonal por bloques ($2\times2$ y dos escalares): los autovectores del bloque viven en las dos primeras coordenadas y los otros son canónicos.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$. Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Diagonalizo el bloque $2\times2$ y completo con $e_3,e_4$, normalizando.
- Se puede. $A^t=A$ (real): por el Teor. 5.8 existe $P$ ortogonal con $P^tAP=\Lambda$.
Estructura por bloques.
$$A=\begin{pmatrix}M&0\cr0&D\end{pmatrix}$$ $$M=\begin{pmatrix}1&-1\cr-1&0\end{pmatrix}$$y $D=\operatorname{diag}(5,3)$. El determinante de una matriz diagonal por bloques es el producto de los determinantes:
$$|A-\lambda I|=\begin{vmatrix}1-\lambda&-1\cr-1&-\lambda\end{vmatrix}(5-\lambda)(3-\lambda)=(\lambda^2-\lambda-1)(\lambda-5)(\lambda-3)$$ (porque $(1-\lambda)(-\lambda)-(-1)(-1)=\lambda^2-\lambda-1$). Desarrollando: $\lambda^4-9\lambda^3+22\lambda^2-7\lambda-15$, el polinomio de E.- Valores propios: $\lambda_1=\frac{1-\sqrt5}2\approx-0{,}618$, $\lambda_2=\frac{1+\sqrt5}2\approx1{,}618$, $\lambda_3=3$, $\lambda_4=5$. Los cuatro son distintos ⇒ cada subespacio propio es una recta ($d=\alpha=1$, U p.163) y los vectores propios saldrán ortogonales sin Gram-Schmidt (U p.222).
- Vectores propios de $\lambda_{1,2}$. $(A-\lambda I)v=0$ da $(1-\lambda)v_1-v_2=0$, $-v_1-\lambda v_2=0$, $(5-\lambda)v_3=0$, $(3-\lambda)v_4=0$. Como $\lambda\neq5,3$: $v_3=v_4=0$; y $v_2=(1-\lambda)v_1$ (las dos primeras ecuaciones son proporcionales porque $|M-\lambda I|=0$).
$\lambda_1$: $1-\lambda_1=\frac{1+\sqrt5}2$ ⇒ $w_1=(2,\,1+\sqrt5,\,0,\,0)$. $\lambda_2$: $1-\lambda_2=\frac{1-\sqrt5}2$ ⇒ $w_2=(2,\,1-\sqrt5,\,0,\,0)$.
Comprobación: $w_1\cdot w_2=4+(1+\sqrt5)(1-\sqrt5)=4+(1-5)=0$ ✓. - Vectores propios de $3$ y $5$. $Ae_4=3e_4$ y $Ae_3=5e_3$ (columnas $4$ y $3$ de $A$): $\lambda_3=3\to e_4=(0,0,0,1)$, $\lambda_4=5\to e_3=(0,0,1,0)$. Son ortogonales a $w_1,w_2$ (soportes disjuntos).
- Normalizar. $\|w_1\|^2=4+(1+\sqrt5)^2=10+2\sqrt5$, $\|w_2\|^2=10-2\sqrt5$. Llamando $$a=\frac2{\sqrt{10+2\sqrt5}}=\sqrt{\tfrac{5-\sqrt5}{10}}\approx0{,}526,\qquad b=\frac{1+\sqrt5}{\sqrt{10+2\sqrt5}}=\sqrt{\tfrac{5+\sqrt5}{10}}\approx0{,}851,$$ resulta $\frac{w_1}{\|w_1\|}=(a,b,0,0)$ y $\frac{w_2}{\|w_2\|}=(b,-a,0,0)$. Nótese $a^2+b^2=1$ y $ab=\frac1{\sqrt5}$.
- Matriz de paso y diagonal (columnas en el orden $\lambda_1,\lambda_2,3,5$): $$P=\begin{pmatrix}a&b&0&0\cr b&-a&0&0\cr0&0&0&1\cr0&0&1&0\end{pmatrix},\qquad\Lambda=\begin{pmatrix}\frac{1-\sqrt5}2&0&0&0\cr0&\frac{1+\sqrt5}2&0&0\cr0&0&3&0\cr0&0&0&5\end{pmatrix}.$$
- $P$ es ortogonal (U Teor. 5.5, p.215): columnas unitarias ($a^2+b^2=1$) y ortogonales ($ab-ba=0$; las dos últimas son $e_4,e_3$). Luego $P^{-1}=P^t$ (aquí además $P^t=P$); $\det P=+1$.
Comprobación de $P^tAP=\Lambda$ (que E no hace). Por bloques basta con
$$Q=\begin{pmatrix}a&b\cr b&-a\end{pmatrix}$$($Q^t=Q$) y $M$:
$$MQ=\begin{pmatrix}a-b&b+a\cr-a&-b\end{pmatrix},$$$(1,1)$:
$$a(a-b)+b(-a)=a^2-2ab=\frac{5-\sqrt5}{10}-\frac2{\sqrt5}=\frac{1-\sqrt5}2=\lambda_1.$$
$(1,2)$: $a(b+a)+b(-b)=ab+a^2-b^2=\frac1{\sqrt5}-\frac{2\sqrt5}{10}=0$. $(2,1)$: $b(a-b)+(-a)(-a)=ab-b^2+a^2=0$.$(2,2)$:
$$b(b+a)+(-a)(-b)=b^2+2ab=\frac{5+\sqrt5}{10}+\frac2{\sqrt5}=\frac{1+\sqrt5}2=\lambda_2.$$Bloque inferior:
$$\begin{pmatrix}0&1\cr1&0\end{pmatrix}\begin{pmatrix}5&0\cr0&3\end{pmatrix}\begin{pmatrix}0&1\cr1&0\end{pmatrix}=\begin{pmatrix}3&0\cr0&5\end{pmatrix}$$(intercambiar filas y columnas permuta la diagonal). Luego $P^tAP=\Lambda$ ✓.
Error típico: desordenar columnas de $P$ respecto de $\Lambda$ (aquí es fácil: $e_4$ va con $3$ y $e_3$ con $5$), u olvidar normalizar (entonces $P$ no es ortogonal y $P^tAP\neq\Lambda$). Teoría: U §5.3 pp.223-224; U §5.2 pp.215-216.
Ejemplos propios, de fácil a difícil
Propio 1 — simétrica $2\times2$: la matriz de paso es un giro propio
Diagonaliza ortogonalmente $A=\begin{pmatrix}3&1\cr1&3\end{pmatrix}$.
- Qué me piden
- Diagonalizar ortogonalmente una $2\times2$ simétrica.
- Cómo lo pienso
- Dos valores propios distintos ⇒ dos vectores propios automáticamente perpendiculares. Solo me falta normalizarlos.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Polinomio, vectores propios y normalización.
- $A=A^t$ ⇒ diagonalizable ortogonalmente (Teor. 5.8).
- $|A-\lambda I|=(3-\lambda)^2-1=(\lambda-4)(\lambda-2)$.
$\lambda=4$:
$$A-4I=\begin{pmatrix}-1&1\cr1&-1\end{pmatrix}$$⇒ $v=(1,1)$. $\lambda=2$:
$$A-2I=\begin{pmatrix}1&1\cr1&1\end{pmatrix}$$⇒ $v=(-1,1)$. Ortogonales: $-1+1=0$.
Normas $\sqrt2$:
$$P=\frac1{\sqrt2}\begin{pmatrix}1&-1\cr1&1\end{pmatrix},$$$\Lambda=\operatorname{diag}(4,2)$; $P^tP=I$ y $P^tAP=\Lambda$.
$\det P=1$ y
$$P=\begin{pmatrix}\cos45^\circ&-\sin45^\circ\cr\sin45^\circ&\cos45^\circ\end{pmatrix}:$$giro de $45^\circ$. Los nuevos ejes son las rectas $y=x$ e $y=-x$ («ejes principales»); en la animación de la sección 1 es el preset $(3\ 1;\ 1\ 3)$.
Propio 2 — elegir el signo para que $P$ sea un giro propio
Diagonaliza ortogonalmente $A=\begin{pmatrix}1&2\cr2&-2\end{pmatrix}$ con $\det P=1$.
- Qué me piden
- Diagonalizar ortogonalmente eligiendo el signo para que $\det P=1$.
- Cómo lo pienso
- Cambiar el signo de un vector propio sigue dando un vector propio, pero cambia el signo de $\det P$. Si me piden $\det P=1$, elijo los signos al final.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Diagonalizo y ajusto el signo de una columna.
- $$|A-\lambda I|=(1-\lambda)(-2-\lambda)-4=\lambda^2+\lambda-6=(\lambda-2)(\lambda+3).$$
$\lambda=2$:
$$\begin{pmatrix}-1&2\cr2&-4\end{pmatrix}$$⇒ $(2,1)$. $\lambda=-3$:
$$\begin{pmatrix}4&2\cr2&1\end{pmatrix}$$⇒ $(-1,2)$. Ortogonales: $-2+2=0$.
- $$P=\frac1{\sqrt5}\begin{pmatrix}2&-1\cr1&2\end{pmatrix},$$
$|P|=\frac{4+1}5=1$ (giro de ángulo $\arctan\frac12\approx26{,}57^\circ$), $P^tAP=\operatorname{diag}(2,-3)$.
- Si se hubiera tomado $(1,-2)$ para $\lambda=-3$, saldría $|P|=-1$ (una simetría). Ambas son ortogonales y válidas; cambiar el signo de una columna convierte una en otra (útil en cónicas, tema 6).
Propio 3 — $3\times3$ con tres valores propios distintos propio
Diagonaliza ortogonalmente $A=\begin{pmatrix}1&1&0\cr1&0&1\cr0&1&1\end{pmatrix}$.
- Qué me piden
- Diagonalizar ortogonalmente una $3\times3$ con tres valores propios distintos.
- Cómo lo pienso
- Tres valores propios distintos: los tres vectores propios ya son perpendiculares entre sí. No hace falta Gram-Schmidt.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Resuelvo tres sistemas y normalizo.
Simétrica. Desarrollo por la primera fila:
$$(1-\lambda)[(-\lambda)(1-\lambda)-1]-1\cdot[(1-\lambda)-0]=(1-\lambda)(\lambda^2-\lambda-2)=(1-\lambda)(\lambda-2)(\lambda+1).$$Valores propios $2,1,-1$ (distintos). Traza: $2+1-1=2=1+0+1$ ✓.
- $\lambda=2$: $(1,1,1)$ (la suma de cada fila vale $2$). $\lambda=1$: $v_2=0,\ v_1+v_3=0$ ⇒ $(1,0,-1)$. $\lambda=-1$: $2v_1+v_2=0,\ v_2+2v_3=0$ ⇒ $(1,-2,1)$.
- Son ortogonales sin hacer nada (valores distintos): $(1,1,1)\cdot(1,0,-1)=0$, $(1,1,1)\cdot(1,-2,1)=0$, $(1,0,-1)\cdot(1,-2,1)=0$. Normalizando: $$P=\begin{pmatrix}\frac1{\sqrt3}&\frac1{\sqrt2}&\frac1{\sqrt6}\cr\frac1{\sqrt3}&0&-\frac2{\sqrt6}\cr\frac1{\sqrt3}&-\frac1{\sqrt2}&\frac1{\sqrt6}\end{pmatrix},\qquad P^tAP=\operatorname{diag}(2,1,-1).$$ Aquí $\det P=-1$; si se quiere un giro, cambia el signo de una columna.
Propio 4 — $3\times3$ con valor propio doble: Gram-Schmidt dentro de $L_\lambda$ propio
Diagonaliza ortogonalmente $A=\begin{pmatrix}2&1&1\cr1&2&1\cr1&1&2\end{pmatrix}$.
- Qué me piden
- Diagonalizar ortogonalmente una $3\times3$ con un valor propio doble.
- Cómo lo pienso
- Para el valor doble el plano propio tiene dimensión 2 y la base que obtengo no tiene por qué ser ortogonal. Ahí sí hay que ortogonalizar. El valor simple ya es perpendicular al plano.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Gram-Schmidt dentro del plano propio y normalización final.
- $A=I+J$ ($J$ = matriz de unos). $|A-\lambda I|=-(\lambda-4)(\lambda-1)^2$: $\lambda=4$ simple, $\lambda=1$ doble. Traza: $4+1+1=6$ ✓.
- $\lambda=4$: la suma de cada fila vale $4$ ⇒ $(1,1,1)$.
- $\lambda=1$: $A-I=J$, rango $1$ ⇒ $d=2=\alpha$; $L(1):\ x+y+z=0$, base de los parámetros $u=(1,-1,0)$, $w=(1,0,-1)$. No son ortogonales ($u\cdot w=1$): si se ponen tal cual, $P$ no sale ortogonal.
Gram-Schmidt en $L(1)$ (U p.208):
$$z_2=w-\frac{w\cdot u}{u\cdot u}u=(1,0,-1)-\frac12(1,-1,0)=\left(\frac12,\frac12,-1\right)\sim(1,1,-2).$$Sigue en $L(1)$ ($1+1-2=0$) y es ortogonal a $u$.
- $(1,1,1)$ es ortogonal a $u$ y a $(1,1,-2)$ automáticamente (valores distintos).
- $$P=\begin{pmatrix}\frac1{\sqrt3}&\frac1{\sqrt2}&\frac1{\sqrt6}\cr\frac1{\sqrt3}&-\frac1{\sqrt2}&\frac1{\sqrt6}\cr\frac1{\sqrt3}&0&-\frac2{\sqrt6}\end{pmatrix},$$
$\Lambda=\operatorname{diag}(4,1,1)$, $P^tAP=\Lambda$, $\det P=1$.
Error típico: usar $u,w$ tal cual: tras normalizar, $P^tP$ tiene un $\frac12$ fuera de la diagonal.
Propio 5 — reconstruir una simétrica: descomposición espectral $A=\sum\lambda_iu_iu_i^t$ L p.398
(a) Valores propios $8$ y $3$ con vectores unitarios $u_1=\frac1{\sqrt5}(2,1)$, $u_2=\frac1{\sqrt5}(-1,2)$: halla $A$. (b) $A$ simétrica $3\times3$ con $\lambda=5$ simple, vector propio $(1,1,1)$, y $\lambda=2$ doble: halla $A$.
- Qué me piden
- Reconstruir una simétrica a partir de valores propios y vectores propios unitarios.
- Cómo lo pienso
- Si conozco una base ortonormal de vectores propios, $A$ es la suma de $\lambda_i$ por la proyección sobre cada $u_i$: $A=\sum\lambda_iu_iu_i^t$.
- Qué uso
- Descomposición espectral: $A=\sum\lambda_iu_iu_i^t$ con $u_i$ ortonormales.
- Por dónde empiezo
- Calculo $u_iu_i^t$ y los sumo con sus pesos.
(a) $P=(u_1\ u_2)$ es ortogonal, luego $A=P\Lambda P^t=8u_1u_1^t+3u_2u_2^t$:
$$8u_1u_1^t=\frac85\begin{pmatrix}4&2\cr2&1\end{pmatrix},$$ $$3u_2u_2^t=\frac35\begin{pmatrix}1&-2\cr-2&4\end{pmatrix}$$y la suma es
$$A=\begin{pmatrix}7&2\cr2&4\end{pmatrix}$$(Lay Ej. 4). Cada $u_iu_i^t$ es la matriz de la proyección ortogonal sobre $\langle u_i\rangle$ (tema 5.1).
(b) Por ser simétrica, $L(2)=\langle(1,1,1)\rangle^\perp$ (U p.222; y $\dim L(2)=2$). Con $u=\frac1{\sqrt3}(1,1,1)$:
$$A=5\,uu^t+2\,(I-uu^t)=2I+3uu^t=2I+J=\begin{pmatrix}3&1&1\cr1&3&1\cr1&1&3\end{pmatrix}.$$- Comprobación de (b): $|A-\lambda I|=-(\lambda-5)(\lambda-2)^2$ ✓ y $A(1,1,1)^t=5(1,1,1)^t$ ✓.
Propio 6 — completar una simétrica con un vector propio; traza y determinante propio
$A=\begin{pmatrix}1&2&2\cr2&1&2\cr2&2&m\end{pmatrix}$ es simétrica y $(1,1,1)$ es vector propio. Halla $m$, los valores propios sin resolver la cúbica y una $P$ ortogonal.
- Qué me piden
- Completar una simétrica con un vector propio, hallar los valores propios y una $P$ ortogonal.
- Cómo lo pienso
- La simetría me da casi todas las entradas; el vector propio fija la que queda. Después, para no resolver una cúbica, uso traza y determinante con el valor propio ya conocido.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$. Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- $AX=\lambda X$ para la entrada que falta; luego traza y determinante.
- $A(1,1,1)^t=(5,5,4+m)^t=\lambda(1,1,1)^t$ ⇒ $\lambda=5$ y $4+m=5$ ⇒ $m=1$.
- $\operatorname{tr}A=3$ y $|A|=1(1-4)-2(2-4)+2(4-2)=5$. Traza = suma y determinante = producto de valores propios (invariantes de semejanza, U p.153; $A\sim\Lambda$). Con $\lambda_1=5$: $\lambda_2+\lambda_3=-2$, $\lambda_2\lambda_3=1$ ⇒ $t^2+2t+1=0$ ⇒ $\lambda_2=\lambda_3=-1$.
- $A+I=2J$ ⇒ $L(-1):\ x+y+z=0$ ($d=2=\alpha$). Igual que el Propio 4: $P$ con columnas $\frac{(1,1,1)}{\sqrt3},\frac{(1,-1,0)}{\sqrt2},\frac{(1,1,-2)}{\sqrt6}$ y $P^tAP=\operatorname{diag}(5,-1,-1)$ ($\det P=1$, como en el Propio 4).
Propio 7 — ¿es diagonalizable ortogonalmente? L p.396 · E 5.27
Decide, para cada matriz, si es diagonalizable y si es diagonalizable ortogonalmente: $\begin{pmatrix}2&1\cr1&2\end{pmatrix}$, $\begin{pmatrix}1&2\cr0&3\end{pmatrix}$, $\begin{pmatrix}1&1\cr0&1\end{pmatrix}$.
Criterio. Si $P^tAP=\Lambda$ con $P$ ortogonal, entonces $A=P\Lambda P^t$ es simétrica (E 5.27). Recíprocamente, simétrica ⇒ sí (Teor. 5.8). Por tanto diagonalizable ortogonalmente ⇔ simétrica.
- Qué me piden
- Decidir qué matrices son diagonalizables y cuáles lo son ortogonalmente.
- Cómo lo pienso
- Ortogonalmente exige simétrica. Diagonalizable exige $d=\alpha$. La tercera es el caso típico de bloque de Jordan.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Miro simetría y, si falta, rango de $A-\lambda I$.
- $$\begin{pmatrix}2&1\cr1&2\end{pmatrix}:$$
simétrica ⇒ sí, ortogonalmente (valores $3$ y $1$, vectores $(1,1)$, $(-1,1)$).
- $$\begin{pmatrix}1&2\cr0&3\end{pmatrix}:$$
valores propios $1,3$ distintos ⇒ diagonalizable (U p.163), con vectores $(1,0)$ y $(1,1)$, que forman $45^\circ$: no ortogonales. No es simétrica ⇒ no ortogonalmente (aunque sí diagonalizable).
- $$\begin{pmatrix}1&1\cr0&1\end{pmatrix}:$$
$\lambda=1$ doble con $d=1\lt2$ ⇒ ni siquiera diagonalizable (U Teor. 4.7).
Propio 8 — potencias y raíz cuadrada de una simétrica propio
(a) Calcula $A^n$ para $A=\begin{pmatrix}5&4\cr4&5\end{pmatrix}$ y una raíz cuadrada simétrica. (b) Una raíz cuadrada de la semidefinida $B=\begin{pmatrix}2&2\cr2&2\end{pmatrix}$.
- Qué me piden
- Calcular $A^n$ y una raíz cuadrada simétrica de una matriz simétrica.
- Cómo lo pienso
- Diagonalizo y aplico la función a la diagonal: $A^n=P\Lambda^nP^t$, y la raíz cuadrada es $P\Lambda^{1/2}P^t$. Para la semidefinida tengo un valor propio nulo.
- Qué uso
- Descomposición espectral: $A=\sum\lambda_iu_iu_i^t$ con $u_i$ ortonormales. $A^n=P\Lambda^nP^t$; raíz $=P\Lambda^{1/2}P^t$.
- Por dónde empiezo
- Diagonalizo ortogonalmente y elevo/raíz cada valor propio.
(a) Valores propios $9$ ($u_1=\frac{(1,1)}{\sqrt2}$) y $1$ ($u_2=\frac{(1,-1)}{\sqrt2}$). Con $A=P\Lambda P^t$:
$$A^n=P\Lambda^nP^t=9^nu_1u_1^t+1^nu_2u_2^t=\dfrac{9^n}2\begin{pmatrix}1&1\cr1&1\end{pmatrix}+\dfrac12\begin{pmatrix}1&-1\cr-1&1\end{pmatrix}$$(los $P^tP=I$ intermedios se cancelan; comprobado para $n=0,\dots,4$).
Raíz cuadrada (valores propios $\ge0$):
$$\sqrt A=P\sqrt\Lambda P^t=3u_1u_1^t+u_2u_2^t=\begin{pmatrix}2&1\cr1&2\end{pmatrix};$$en efecto
$$\begin{pmatrix}2&1\cr1&2\end{pmatrix}^2=\begin{pmatrix}5&4\cr4&5\end{pmatrix}.$$(b) $B$ tiene valores $4$ y $0$ (≥0):
$$\sqrt B=2u_1u_1^t+0=\begin{pmatrix}1&1\cr1&1\end{pmatrix},$$y su cuadrado es $B$ ✓.
- Si algún valor propio fuera negativo, $\sqrt\lambda$ no sería real y este método no da una raíz real simétrica.
Propio 9 — simétrica con $A^2=I$ = simetría ortogonal propio
Si $A=A^t$ y $A^2=I$, ¿qué matriz es? Da un ejemplo $3\times3$.
- Qué me piden
- Identificar qué matriz es una simétrica con $A^2=I$.
- Cómo lo pienso
- Si $A$ es simétrica y $A^2=I$, también $A^tA=I$: es ortogonal y simétrica. Sus valores propios son $\pm1$: es una simetría.
- Qué uso
- $A^2=I$ con $A$ simétrica: valores propios $\pm1$, es una simetría ortogonal.
- Por dónde empiezo
- Deduzco los valores propios y doy un ejemplo.
- $A^tA=A^2=I$ ⇒ $A$ es ortogonal (Teor. 5.5; es el X Sept. 2025 del tema 5.2). Y si $Av=\lambda v$, $v=A^2v=\lambda^2v$ ⇒ $\lambda=\pm1$.
- Diagonalizando ortogonalmente: $A$ deja fijo $L(1)$ y cambia de signo $L(-1)=L(1)^\perp$: es la simetría ortogonal respecto de $L(1)$.
Ejemplo: $u=\frac1{\sqrt3}(1,1,1)$,
$$H=I-2uu^t=\frac13\begin{pmatrix}1&-2&-2\cr-2&1&-2\cr-2&-2&1\end{pmatrix}.$$Es simétrica, $H^2=I$, $Hu=u-2u=-u$ ($\lambda=-1$) y $Hv=v$ si $v\perp u$ ($\lambda=1$ doble). $|H-\lambda I|=-(\lambda-1)^2(\lambda+1)$, $|H|=-1$: simetría respecto del plano $x+y+z=0$.
- Recíproco: simétrica y ortogonal ⇒ $A^2=A^tA=I$.
Propio 10 — mismos valores propios reales, pero ejes no perpendiculares propio
$A=\begin{pmatrix}1&2\cr2&1\end{pmatrix}$ y $B=\begin{pmatrix}1&4\cr1&1\end{pmatrix}$. Compara.
- Qué me piden
- Comparar una simétrica con otra matriz con los mismos valores propios pero no simétrica.
- Cómo lo pienso
- Los valores propios se parecen, pero los ejes propios de la no simétrica no serán perpendiculares.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Calculo ejes de ambas y el ángulo entre ellos.
- $|A-\lambda I|=(1-\lambda)^2-4$ y $|B-\lambda I|=(1-\lambda)^2-4$: ambas $(\lambda-3)(\lambda+1)$, valores propios reales distintos.
- Ambas diagonalizables y semejantes a $\operatorname{diag}(3,-1)$ ⇒ $A$ y $B$ son semejantes (la semejanza es transitiva, U §4.1).
- Vectores de $B$: $\lambda=3$: $(2,1)$; $\lambda=-1$: $(2,-1)$; y $(2,1)\cdot(2,-1)=3\neq0$. No hay base ortonormal de vectores propios: $B$ no es diagonalizable ortogonalmente (no es simétrica, Propio 7). Los de $A$ ($(1,1)$ y $(1,-1)$) sí son perpendiculares.
- ¿Congruentes? Si $B=P^tAP$, entonces $B^t=P^tA^tP=P^tAP=B$ sería simétrica (como en E 5.27). $B$ no lo es ⇒ no son congruentes, aunque sí semejantes (contrasta con E 5.32, donde ambas eran simétricas).
Propio 11 — la hipótesis «real» es imprescindible (nota fuera de alcance) U p.221
$C=\begin{pmatrix}1&i\cr i&-1\end{pmatrix}$ es simétrica ($C^t=C$) pero compleja. ¿Es diagonalizable?
- Qué me piden
- Ver que la hipótesis «real» es necesaria.
- Cómo lo pienso
- Una matriz compleja simétrica puede tener un valor propio doble con un único vector propio.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Calculo su polinomio y su $d$.
- $$|C-\lambda I|=(1-\lambda)(-1-\lambda)-i^2=\lambda^2-1+1=\lambda^2:$$
$\lambda=0$ doble.
- Como $C\neq0$, $d=2-\operatorname{rang}C=1\lt2$: no es diagonalizable (de hecho $C^2=0$).
- Por eso U restringe todo a matrices reales. (El análogo complejo correcto son las matrices hermíticas, $\bar C^t=C$; no es materia del curso.) En el examen basta recordar: «simétrica con elementos reales».
Autoevaluación de U (p.239) que corresponde a este tema
Cuestión 9 — «Una matriz simétrica posee una base de vectores propios y, además, dos vectores propios asociados a dos valores propios distintos son ortogonales» U p.239 · 314
Determínese si es verdadera la afirmación.
- Qué me piden
- Decidir si dos vectores propios de una simétrica son siempre ortogonales.
- Cómo lo pienso
- Solo lo son si corresponden a valores propios distintos; dentro del mismo valor propio se pueden elegir no ortogonales.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$.
- Por dónde empiezo
- Razono con un ejemplo con valor doble.
- Verdadera. Primera parte: una simétrica real es diagonalizable (Teor. 5.7, U p.223), luego tiene una base de vectores propios; de hecho ortonormal. Segunda parte: es la «Propiedad de los vectores propios» (U p.222; demostración en la sección 2.2).
- La solución oficial dice «Véase teoría. Nótese que como $A$ es diagonalizable (mediante una matriz de paso ortogonal), existe una base de vectores propios».
- Cuidado con la letra pequeña: la ortogonalidad es para valores propios distintos. Dos vectores propios del mismo valor propio no tienen por qué ser ortogonales, y la matriz debe ser real.
Las demás cuestiones de la autoevaluación de ese capítulo son del tema 5.1 (1-5, 7, 8), del tema 5.2 (la 6) y del tema 5.4 (la 10).
7Ejemplos de examen X
De los 24 exámenes escaneados (feb. 2017 – feb. 2026 y sept. 2017–2025), solo un ejercicio tiene como contenido principal este tema (Ene. 2020, tipo A, ejercicio 5: explicar la diagonalización ortogonal). Es la pregunta típica: teoría con procedimiento. Pero la diagonalización ortogonal es herramienta de otros ejercicios: aquí se desarrollan además tres ampliaciones (la parte de 5.3 de ejercicios ya resueltos en los temas 4.2 y 4.3, que enlazan al original sin duplicarlo) y, al final, los ejercicios de otros temas donde también interviene. Las soluciones oficiales son breves y a veces incompletas: aquí se desarrolla el razonamiento (el examen exige escribir el proceso lógico), todo verificado con sympy.
- Sept. 2025, pregunta 5 — «$A$ simétrica con $A^2=I_n$: ¿es ortogonal?» (sí, $A^tA=A^2=I$; es E 5.21 A): tema 5.2, #ex-sep25-5. En esta página: Propio 9.
- Ene. 2020 (A), problema, apartado b) — «la inversa de una simétrica regular es simétrica» ($ (A^{-1})^t=(A^t)^{-1}=A^{-1}$): tema 1.2, #ex-feb20a.
- E 4.25 — simétrica $3\times3$ con valor propio doble y $d=\alpha$: tema 4.3, #ej4-25 (allí se diagonaliza; con lo de este tema se puede exigir además que la $P$ sea ortogonal).
- Sept. 2017 (A), ejercicio 4 — test con $f(x_1,x_2)=(7x_1+4x_2,\,-2x_1+x_2)$ («¿es ortogonal? ¿admite matriz diagonal?»). Su matriz no es simétrica (es diagonalizable por tener valores propios $5\neq3$, pero no ortogonal): tema 4.3, #ex-sep17a-4. Buen contraste con este tema.
Método A — Explicar en qué consiste la diagonalización ortogonal
Ene. 2020 (tipo A), ejercicio 5 — diagonalización de una simétrica con matriz de paso ortogonal X Ene. 2020 (A) ej. 5
Explicar en qué consiste la diagonalización de una matriz simétrica (con elementos reales) mediante una matriz de paso ortogonal. (El examen avisa: «lo que no se justifica o se realiza por otra vía distinta a la pedida, no se puntúa».)
Modelo de respuesta, en pasos.
- Qué me piden
- Explicar la diagonalización de una simétrica por una matriz de paso ortogonal.
- Cómo lo pienso
- El enunciado pide describir con justificación: qué se hace y por qué la matriz de paso puede elegirse ortogonal.
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$. Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Describo los pasos y cito las propiedades.
- Punto de partida. Sea $A\in\mathcal M_{n\times n}(\mathbb R)$ simétrica, $A=A^t$. Diagonalizar $A$ es hallar $P$ regular y $\Lambda$ diagonal con $\Lambda=P^{-1}AP$ (U Def. 4.12, p.161). «Mediante una matriz de paso ortogonal» significa exigir además que $P$ sea ortogonal: $P^tP=I$, es decir $P^{-1}=P^t$ (U §5.2, pp.214-216). Entonces $\Lambda=P^{-1}AP=P^tAP$. Interés: no hay que calcular $P^{-1}$, y la misma $P$ sirve para la semejanza ($P^{-1}AP$, tema 4) y la congruencia ($P^tAP$, tema 6).
- Los valores propios son reales (U p.221). Idea de la prueba: se conjuga $AX=\lambda X$, se multiplica por $\bar X^t$ y se usa $A^t=A$ para llegar a $(\lambda-\bar\lambda)\bar X^tX=0$ con $\bar X^tX\gt0$. Consecuencia: el polinomio característico se descompone en factores lineales reales; la diagonalización nunca falla «por raíces complejas».
Vectores propios de valores propios distintos son ortogonales (U p.222; demostración de Lay, Teor. 1, p.396). Si $Av_1=\lambda_1v_1$, $Av_2=\lambda_2v_2$, $\lambda_1\neq\lambda_2$:
$$\lambda_1(v_1\cdot v_2)=(Av_1)^tv_2=v_1^tA^tv_2=v_1^tAv_2=\lambda_2(v_1\cdot v_2),$$luego $(\lambda_1-\lambda_2)\,v_1\cdot v_2=0$ y $v_1\cdot v_2=0$. El paso clave es $A^t=A$.
- Siempre existe una base ortonormal de vectores propios (U Teor. 5.7, p.223; Teor. 5.8, p.224). En particular toda simétrica real es diagonalizable ($\dim L_\lambda=$ multiplicidad; Lay Teor. 3 b, p.397).
- Procedimiento (U Ejemplos 5.32-5.34, pp.222-225): (i) polinomio característico $|A-\lambda I|$ y valores propios $\lambda_i$ (reales); (ii) base de cada $L_i=\operatorname{Nuc}(A-\lambda_iI)$; (iii) si $\dim L_i\ge2$ y la base no es ortogonal, Gram-Schmidt dentro de $L_i$ (U pp.207-208); entre subespacios distintos no hace falta; (iv) normalizar cada vector; (v) $P$ = esos vectores en columnas y $\Lambda=\operatorname{diag}(\lambda_1,\dots,\lambda_n)$ en el mismo orden. Entonces $P$ es ortogonal y $P^tAP=\Lambda$.
- Recíproco (E 5.27; Lay Teor. 2, p.396): si $A=P\Lambda P^t$ con $P$ ortogonal, $A^t=(P\Lambda P^t)^t=P\Lambda^tP^t=P\Lambda P^t=A$. Solo las simétricas se diagonalizan con matriz de paso ortogonal.
Ejemplo breve (propio):
$$A=\begin{pmatrix}2&2\cr2&-1\end{pmatrix}.$$$|A-\lambda I|=\lambda^2-\lambda-6=(\lambda-3)(\lambda+2)$. $L(3)$: $(A-3I)X=0\iff-x+2y=0$, $v_1=(2,1)$. $L(-2)$: $4x+2y=0$, $v_2=(-1,2)$. $v_1\cdot v_2=0$ (paso 3). Normas $\sqrt5$:
$$P=\frac1{\sqrt5}\begin{pmatrix}2&-1\cr1&2\end{pmatrix}$$($\det P=1$, un giro),
$$P^tAP=\begin{pmatrix}3&0\cr0&-2\end{pmatrix}.$$
Error típico: creer que basta con tomar vectores propios cualesquiera: si no se normalizan, $P$ no es ortogonal y $P^tAP\neq\Lambda$ (da $\operatorname{diag}(\|v_i\|^2\lambda_i)$). Y afirmar que dos vectores propios del mismo valor propio son automáticamente ortogonales (falso: $(1,-1,0)$ y $(1,0,-1)$ en el Propio 4).
Nota sobre la oficial: es correcta pero mínima. Dice que las simétricas son siempre diagonalizables, que los vectores propios de valores distintos son ortogonales y que $D=P^tAP$ con $P$ ortogonal. No menciona que los valores propios son reales, ni cómo se obtiene $P$ (normalizar; Gram-Schmidt si un valor propio es múltiple), ni por qué $P^{-1}=P^t$. Con la advertencia del examen, una respuesta completa debe incluir al menos los pasos 1, 3, 4 y 5.
Método B — Diagonalizar ortogonalmente la matriz obtenida en otro ejercicio (ampliaciones)
Feb. 2017 (A, 2.ª sem.) y Feb. 2022 (A), ejercicio 4 — ampliación: diagonaliza ortogonalmente la $A$ obtenida X Feb. 2017 / Feb. 2022 ej. 4 P
Enunciado del examen (Feb. 2022): «Si $A$ es una matriz simétrica de un endomorfismo cuyas dos primeras columnas son $(4,2,2)$ y $(2,1,1)$ y tal que $(2,1,-2)$ es un vector propio suyo, halle la matriz $A$.» (Feb. 2017: igual, en test, preguntando $a_{33}$.) Es también el E 4.23 (tema 4.2, #ej4-23). Lo ya resuelto en el tema 4.2: por ser simétrica, la tercera columna es $(2,1,b)$; $A(2,1,-2)^t=\lambda(2,1,-2)^t$ da $\lambda=3$ y $b=\frac{11}2$: $A=\begin{pmatrix}4&2&2\cr2&1&1\cr2&1&\frac{11}2\end{pmatrix}$. Ampliación (propia): diagonalízala ortogonalmente.
- Qué me piden
- Diagonalizar ortogonalmente la matriz obtenida en el examen.
- Cómo lo pienso
- Primero tengo que completar la matriz con la simetría y el vector propio dado.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Completo, y aplico la receta de diagonalización ortogonal.
- Un valor propio ya conocido: $\lambda=3$ con $v_2=(2,1,-2)$ (del enunciado).
- Otro gratis: $\lambda=0$. Las dos primeras columnas son proporcionales ($(4,2,2)=2(2,1,1)$), así que $|A|=0$ (U §1.3) y $0$ es valor propio. Vector: $AX=0$ con $C_1=2C_2$ sugiere $x=-1,\ y=2,\ z=0$: $A(-1,2,0)^t=(-4+4,\,-2+2,\,-2+2)=0$. $v_1=(-1,2,0)$.
- El tercero, por la traza. $A\sim\Lambda$ (Teor. 5.8) y las matrices semejantes tienen la misma traza (U p.153): $4+1+\frac{11}2=\frac{21}2=0+3+\lambda_3$ ⇒ $\lambda_3=\frac{15}2$. Control con el polinomio: $|A-\lambda I|=-\frac12\lambda(\lambda-3)(2\lambda-15)$.
Su vector, sin resolver ningún sistema. Al ser $A$ simétrica con tres valores propios distintos, $v_3$ es ortogonal a $v_1$ y a $v_2$ (U p.222), luego $v_3\parallel v_1\times v_2$:
$$(-1,2,0)\times(2,1,-2)=(2\cdot(-2)-0\cdot1,\ 0\cdot2-(-1)(-2),\ -1\cdot1-2\cdot2)=(-4,-2,-5)\ \to\ v_3=(4,2,5).$$Comprobación:
$$A(4,2,5)^t=(16+4+10,\ 8+2+5,\ 8+2+\frac{55}2)=(30,15,\frac{75}2)=\frac{15}2(4,2,5)$$✓.
- Ortogonalidad (control; no hace falta Gram-Schmidt porque los tres valores son distintos): $v_1\cdot v_2=-2+2+0=0$, $v_1\cdot v_3=-4+4+0=0$, $v_2\cdot v_3=8+2-10=0$.
- Normalizar: $\|v_1\|=\sqrt5$, $\|v_2\|=3$, $\|v_3\|=\sqrt{45}=3\sqrt5$. $$P=\begin{pmatrix}-\frac1{\sqrt5}&\frac23&\frac4{3\sqrt5}\cr\frac2{\sqrt5}&\frac13&\frac2{3\sqrt5}\cr0&-\frac23&\frac5{3\sqrt5}\end{pmatrix},\qquad P^tAP=\begin{pmatrix}0&0&0\cr0&3&0\cr0&0&\frac{15}2\end{pmatrix}.$$ ($\det P=-1$; aquí no importa.)
Error típico: olvidar normalizar $v_3=(4,2,5)$ (norma $3\sqrt5$, no $1$), o colocar en $\Lambda$ los valores en otro orden que las columnas de $P$. Teoría: U p.222; Teor. 5.8 p.224; U §4.2 p.153.
Feb. 2025 (2.ª sem.), problema 7 — ampliación: $P$ ortogonal y $A^{51}=P\Lambda^{51}P^t$ X Feb. 2025 (2.ª) P7
Enunciado: «Considere $A=\begin{pmatrix}-2&1\cr1&-2\end{pmatrix}$. Halle, si es posible, una matriz $P$ tal que $P^{-1}AP$ sea una matriz diagonal (1 punto). Determine de manera razonada si la matriz $A^{51}$ es diagonalizable (1 punto).» Ya resuelto en el tema 4.3: valores propios $-1$ (vector $(1,1)$) y $-3$ (vector $(1,-1)$), $P=\begin{pmatrix}1&1\cr1&-1\end{pmatrix}$ y $A^{51}=PD^{51}P^{-1}$ diagonalizable. Aquí solo se añade la versión de 5.3.
- Qué me piden
- Hallar una $P$ ortogonal y expresar $A^{51}$ con ella.
- Cómo lo pienso
- Dos valores propios distintos: vectores perpendiculares. Con $P$ ortogonal, $P^{-1}=P^t$ y la potencia es inmediata.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Normalizo los vectores y escribo $P\Lambda^{51}P^t$.
- $A$ es simétrica ($a_{12}=a_{21}=1$): es diagonalizable ortogonalmente (Teor. 5.8), así que la respuesta «sí es posible» se justifica incluso antes de calcular.
- Los vectores propios ya son ortogonales: $(1,1)\cdot(1,-1)=0$ (valores distintos). Norma $\sqrt2$ cada uno: $$P=\frac1{\sqrt2}\begin{pmatrix}1&1\cr1&-1\end{pmatrix},\qquad P^{-1}=P^t=P,\qquad P^tAP=\begin{pmatrix}-1&0\cr0&-3\end{pmatrix}.$$ ($\det P=-1$; aquí no importa.)
$A^{51}$: $A=P\Lambda P^t\Rightarrow A^{51}=P\Lambda^{51}P^t$ (los $P^tP=I$ intermedios se cancelan), con $\Lambda^{51}=\operatorname{diag}(-1,-3^{51})$: diagonalizable, con la misma $P$ ortogonal. Otra justificación, propia de 5.3: $(A^{51})^t=(A^t)^{51}=A^{51}$, luego $A^{51}$ es simétrica y, por el Teor. 5.8, diagonalizable (incluso ortogonalmente). Explícitamente:
$$A^{51}=-\frac12\begin{pmatrix}1+3^{51}&1-3^{51}\cr1-3^{51}&1+3^{51}\end{pmatrix}$$(coincide con $A^{51}$ calculada con sympy).
Error típico: dar $P$ con vectores sin normalizar y llamarla «ortogonal» (sus columnas son ortogonales pero no unitarias: $P^tP=2I\neq I$). Teoría: U Teor. 5.8 p.224; U §1.2 (traspuesta de un producto).
Método C — Construir una simétrica a partir de sus subespacios propios
Feb. 2020 (tipo B), ejercicio 4 — variante simétrica: matriz con $L(0)$ = el plano $x+y-2z=0$ y otro valor propio $6$ X Feb. 2020 (B) ej. 4
Enunciado: «Escribir la matriz de un endomorfismo de $\mathbb R^3$ tal que el subespacio de vectores propios asociados al valor propio $0$ sea el plano de ecuación $x+y-2z=0$.» Lo ya resuelto en el tema 4.2: la oficial da $\begin{pmatrix}1&1&-2\cr2&2&-4\cr1&1&-2\end{pmatrix}$ (correcta: su núcleo es el plano), no simétrica, y menciona «otra forma»: escribir una diagonal y una matriz de paso. Aquí se hace esa otra forma con $P$ ortogonal, que da una matriz simétrica. Variante (propia): halla una matriz simétrica con $L(0)$ = el plano y otro valor propio $6$.
- Qué me piden
- Construir una matriz simétrica con $L_0$ igual a un plano dado.
- Cómo lo pienso
- El núcleo debe ser exactamente el plano: rango 1, así que $A=\mu nn^t$ con $n$ la normal del plano (simétrica y de rango 1).
- Qué uso
- Teorema espectral (Teor. 5.7-5.8, U p.220): si $A$ es real y simétrica, todos sus valores propios son reales, los subespacios propios de valores distintos son ortogonales y existe $P$ ortogonal ($P^{-1}=P^t$) con $P^tAP=\Lambda$. $f(x)\bullet y=x\bullet f(y)$. Descomposición espectral: $A=\sum\lambda_iu_iu_i^t$ con $u_i$ ortonormales.
- Por dónde empiezo
- Tomo $n$ como los coeficientes del plano.
- El otro subespacio propio está forzado. Si $A$ es simétrica, $L(6)\perp L(0)$ (U p.222), y como $\dim L(0)=2$ en $\mathbb R^3$, $L(6)=L(0)^\perp=\langle(1,1,-2)\rangle$ (el complemento ortogonal de $ax+by+cz=0$ es $\langle(a,b,c)\rangle$).
- Base ortonormal de $L(0)$. El plano contiene $(1,-1,0)$ y $(1,1,1)$ ($1-1-0=0$, $1+1-2=0$), ortogonales entre sí ($1-1+0=0$): no hace falta Gram-Schmidt. Normalizados: $\frac1{\sqrt2}(1,-1,0)$, $\frac1{\sqrt3}(1,1,1)$; y $u_3=\frac1{\sqrt6}(1,1,-2)$.
- Montar $A=P\Lambda P^t$ con $\Lambda=\operatorname{diag}(0,0,6)$ (de $P^tAP=\Lambda$, porque $P^{-1}=P^t$). Como los dos primeros valores son $0$, solo queda la tercera columna: $$A=6\,u_3u_3^t=6\cdot\frac16\begin{pmatrix}1\cr1\cr-2\end{pmatrix}\begin{pmatrix}1&1&-2\end{pmatrix}=\begin{pmatrix}1&1&-2\cr1&1&-2\cr-2&-2&4\end{pmatrix}.$$
- Comprobación: es simétrica; $A(1,-1,0)^t=0$, $A(1,1,1)^t=0$; $A(1,1,-2)^t=(6,6,-12)=6(1,1,-2)$; $|A-\lambda I|=-\lambda^2(\lambda-6)$ y $\dim L(0)=3-\operatorname{rang}A=2$ (todas las filas proporcionales a $(1,1,-2)$). Así $L(0)$ es exactamente el plano $x+y-2z=0$.
Error típico: usar $A=P\Lambda P^t$ con una $P$ no ortogonal (por ejemplo con $(1,-1,0),(2,0,1)$, base del plano no ortogonal y sin normalizar): $P\Lambda P^t$ ya no es semejante a $\Lambda$ y los valores propios cambian. Con $P$ no ortogonal hay que usar $P\Lambda P^{-1}$. Teoría: U p.222, Teor. 5.8 p.224; Lay p.398.
Ejemplos propios con estos esquemas
Propio A — una simétrica y una que no lo es propio
a) Diagonaliza ortogonalmente $A=\begin{pmatrix}5&2\cr2&2\end{pmatrix}$. b) ¿Es $N=\begin{pmatrix}1&1\cr0&2\end{pmatrix}$ diagonalizable? ¿Ortogonalmente?
- Qué me piden
- Diagonalizar ortogonalmente una simétrica y estudiar una que no lo es.
- Cómo lo pienso
- Diagonalizable ortogonalmente ⇔ simétrica. La segunda no es simétrica: aun siendo diagonalizable, no podría serlo ortogonalmente.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Receta y comprobación de simetría.
- $A=A^t$ ⇒ diagonalizable con $P$ ortogonal (Teor. 5.8). $|A-\lambda I|=\lambda^2-7\lambda+6=(\lambda-6)(\lambda-1)$.
$L(6)$: $-x+2y=0$, $v_1=(2,1)$. $L(1)$: $4x+2y=0$, $v_2=(1,-2)$. $v_1\cdot v_2=0$ ✓. Normas $\sqrt5$:
$$P=\frac1{\sqrt5}\begin{pmatrix}2&1\cr1&-2\end{pmatrix},$$$P^tAP=\operatorname{diag}(6,1)$ ($\det P=-1$; aquí no importa).
- b) $N$ es triangular con valores propios $1,2$ distintos ⇒ diagonalizable (U p.163), con vectores $(1,0)$ y $(1,1)$, no ortogonales. No es diagonalizable ortogonalmente: si lo fuera, $N=P\Lambda P^t$ sería simétrica (E 5.27) y $N^t\neq N$.
Propio B — valor propio doble con Gram-Schmidt: $A=nn^t$ propio
Diagonaliza ortogonalmente $A=\begin{pmatrix}1&2&2\cr2&4&4\cr2&4&4\end{pmatrix}$.
- Qué me piden
- Diagonalizar ortogonalmente $A=nn^t$.
- Cómo lo pienso
- Tiene rango 1: el valor $0$ aparece doble con un plano propio, y el otro valor propio es $\|n\|^2$ con dirección $n$.
- Qué uso
- Receta de diagonalización ortogonal: (1) valores propios; (2) base de cada $L_\lambda$; (3) Gram-Schmidt dentro de cada $L_\lambda$ (los de valores distintos ya son ortogonales); (4) normalizar; (5) $P$ = vectores ortonormales por columnas, $\Lambda$ en el mismo orden; (6) comprobar $P^tP=I$ y $AP=P\Lambda$.
- Por dónde empiezo
- Plano $n^\perp$ con Gram-Schmidt y vector $n$.
- $A=nn^t$ con $n=(1,2,2)$: simétrica, rango $1$. Valores propios: $\lambda=9=n\cdot n$ (simple, vector $n$, pues $Ann^t n=nn^tn=9n$) y $\lambda=0$ doble (traza $9=9+0+0$ ✓).
- $L(9)=\langle(1,2,2)\rangle$. $L(0)=\operatorname{Nuc}A$: $x+2y+2z=0$ (el plano ortogonal a $n$), $\dim=2=\alpha$. Base de parámetros: $u=(-2,1,0)$, $w=(-2,0,1)$, no ortogonales ($u\cdot w=4$).
Gram-Schmidt en $L(0)$:
$$e_2=w-\frac{w\cdot u}{u\cdot u}u=(-2,0,1)-\frac45(-2,1,0)=\left(-\frac25,-\frac45,1\right)\sim(-2,-4,5).$$Control: $u\cdot e_2=4-4=0$; $n\cdot e_2=-2-8+10=0$ ✓.
- Normas: $\|n\|=3$, $\|u\|=\sqrt5$, $\|e_2\|=\sqrt{45}=3\sqrt5$: $$P=\begin{pmatrix}\frac13&-\frac2{\sqrt5}&-\frac2{3\sqrt5}\cr\frac23&\frac1{\sqrt5}&-\frac4{3\sqrt5}\cr\frac23&0&\frac5{3\sqrt5}\end{pmatrix},\qquad P^tAP=\operatorname{diag}(9,0,0),\ \det P=1.$$
Propio C — reconstruir la simétrica y calcular $A^n$ propio
$A$ es simétrica real de orden $3$ con valores propios $10$ (simple) y $1$ (doble), y $(2,1,2)$ es vector propio de $10$. Halla $A$, una $P$ ortogonal que la diagonalice, y $A^n$.
- Qué me piden
- Reconstruir una simétrica con un valor simple y otro doble y calcular $A^n$.
- Cómo lo pienso
- El vector propio del valor simple define el valor doble: el plano perpendicular. Así $A=10\,uu^t+1\,(I-uu^t)$.
- Qué uso
- Descomposición espectral: $A=\sum\lambda_iu_iu_i^t$ con $u_i$ ortonormales.
- Por dónde empiezo
- Normalizo el vector propio y construyo $A$ y $A^n$.
- $L(1)$ está determinado. $L(1)\perp L(10)=\langle(2,1,2)\rangle$ (U p.222) y $\dim L(1)=2$ (Teor. 5.7): $L(1)=\{2x+y+2z=0\}$.
Base ortonormal. Base de parámetros del plano: $a=(-1,2,0)$, $b=(-1,0,1)$ (no ortogonales: $a\cdot b=1$). Gram-Schmidt:
$$z=b-\frac{b\cdot a}{a\cdot a}a=(-1,0,1)-\frac15(-1,2,0)=\left(-\frac45,-\frac25,1\right)\sim(-4,-2,5).$$Normas: $\|(2,1,2)\|=3$, $\|a\|=\sqrt5$, $\|(-4,-2,5)\|=3\sqrt5$.
$$P=\left(\frac{(2,1,2)}3\ \ \frac{(-1,2,0)}{\sqrt5}\ \ \frac{(-4,-2,5)}{3\sqrt5}\right),$$$\Lambda=\operatorname{diag}(10,1,1)$, $\det P=1$.
- $A=P\Lambda P^t$. Atajo: $u_2u_2^t+u_3u_3^t=I-u_1u_1^t$ (las tres $u_iu_i^t$ suman $PP^t=I$), así $A=10\,u_1u_1^t+(I-u_1u_1^t)=I+9u_1u_1^t=I+vv^t$ con $v=(2,1,2)$ (porque $9u_1u_1^t=vv^t$): $$A=\begin{pmatrix}5&2&4\cr2&2&2\cr4&2&5\end{pmatrix}.$$ Comprobación: $A(2,1,2)^t=(20,10,20)=10(2,1,2)$; $|A-\lambda I|=-(\lambda-10)(\lambda-1)^2$.
$$A^n=P\Lambda^nP^t=10^nu_1u_1^t+(I-u_1u_1^t)=I+\dfrac{10^n-1}9\,vv^t.$$
Comprobación: $n=1$ da $A$; $n=0$ da $I$; coincide con $A^2,\dots,A^4$ calculadas directamente.
Error típico: escribir $A=P\Lambda P^{-1}$ con $P$ de columnas $(2,1,2),(-1,2,0),(-1,0,1)$ (no ortogonales) y luego «trasponer» en lugar de invertir: solo vale $P^{-1}=P^t$ si $P$ es ortogonal.
Para practicar — fronteras con otros temas (no se desarrollan aquí)
- 6.2 y 6.3 (formas cuadráticas: forma canónica por valores propios, signatura, rango): usan esta diagonalización ortogonal como herramienta, pero lo que se pide es de la forma cuadrática. Feb. 2024 (1.ª sem.), pregunta 6 (forma canónica de $x_1^2+4x_1x_2-2x_2^2$); Feb. 2022 (A) ej. 6; Sept. 2025 problema 8; Feb. 2018 (A) problema b); Feb. 2025 (2.ª sem.) problema 8 y Feb. 2026 (2.ª sem.) pregunta 6; Sept. 2024, Sept. 2023, Feb. 2023 (1.ª), Sept. 2022, Ene. 2020 (A) y Feb. 2017: pregunta o ejercicio 6.
- 6.1: Feb. 2026 (1.ª sem.) pregunta 6, matriz de una forma bilineal en otra base ($P^tAP$).
- 6.4 Cónicas: Feb. 2019 (A) ej. 6, Feb. 2019 (B) ej. 6, Sept. 2017 ej. 6, Feb. 2020 (B) ej. 6 (la diagonalización ortogonal lleva a los ejes de la cónica; la $P$ debe tener $\det=1$).
- 5.4 Mínimos cuadrados: Feb. 2017 pb. b) y Feb. 2018 (B) pb. c), Feb. 2019 (A) ej. 5, Feb. 2020 (B) pb. b) (en 5.4, $A^tA$ es una matriz simétrica semidefinida positiva: se diagonaliza ortogonalmente).
La oficial toma los vectores propios $(2,1),(-1,2)$ sin normalizar y da $Q=2x_1'^2-3x_2'^2$; con esa $P$ sale $P^tAP=\operatorname{diag}(10,-15)$, no $\operatorname{diag}(2,-3)$. Normalizar es lo que hace que $P^t=P^{-1}$. Se desarrolla en el tema 6.3.
X Feb. 2024 (1.ª) P68Chuleta, lista de comprobación y errores frecuentes
| Qué | Fórmula | Hipótesis / aviso |
|---|---|---|
| Simétrica | $A=A^t$, $a_{ij}=a_{ji}$ | Cuadrada; el tema solo vale con elementos reales |
| Valores propios | Todos reales (raíces de $|A-\lambda I|=0$); $\sum\lambda_i=\operatorname{tr}A$, $\prod\lambda_i=|A|$ (contando multiplicidades) | Simétrica real. En $2\times2$: $\Delta=(a-c)^2+4b^2\ge0$ |
| Vectores propios | $\lambda_1\neq\lambda_2\Rightarrow v_1\cdot v_2=0$ ($L_{\lambda_1}\perp L_{\lambda_2}$) | Solo valores propios distintos; dentro de un $L_\lambda$ hay que aplicar Gram-Schmidt |
| Multiplicidades | $d_i=\alpha_i$ siempre | Una simétrica real nunca tiene $d\lt\alpha$ |
| Diagonalización ortogonal | $P^tAP=\Lambda$, $P^{-1}=P^t$, $A=P\Lambda P^t$ (Teor. 5.8) | $P$ de columnas ortonormales (normalizar); $\Lambda$ con el mismo orden que $P$ |
| Semejante y congruente | $A$ es semejante y congruente a $\Lambda$ a la vez | Porque $P^{-1}=P^t$ (Teor. 5.8) |
| Recíproco | diagonalizable ortogonalmente $\iff$ simétrica | Matriz real (E 5.27; Lay Teor. 2) |
| Simetría con el producto escalar | $Ax\cdot y=x\cdot Ay$ | Producto escalar estándar (E 5.26 C) |
| Descomposición espectral | $A=\sum\lambda_ju_ju_j^t$; $A^k=\sum\lambda_j^ku_ju_j^t$ | $u_j$ unitarios y ortogonales (Lay p.398) |
| $\det P$ | $\pm1$: giro ($+1$) o giro + simetría ($-1$) | Cambiar el signo de una columna cambia el signo de $\det P$ |
- Reconocer una matriz simétrica y decir qué operaciones la conservan ($A^k$, $A^{-1}$, $C^tAC$; no $AB$) (sección 1; E 5.27).
- Explicar por qué los valores propios de una simétrica son reales (conjugar y usar $A^t=A$) y por qué los de valores distintos son ortogonales (E 5.26 B; X Ene. 2020).
- Enunciar los Teor. 5.7 y 5.8 y el recíproco («diagonalizable ortogonalmente ⇔ simétrica») (E 5.27; X Ene. 2020).
- Diagonalizar ortogonalmente una simétrica $2\times2$, $3\times3$ y $4\times4$ por bloques con la receta de cinco pasos, dando $P$ y $\Lambda$ en el mismo orden (E 5.33; Propios 1-4).
- Aplicar Gram-Schmidt dentro de un subespacio propio de dimensión $\ge2$ y normalizar (Propios 4, B, C).
- Comprobar el resultado: $P^tP=I$, $AP=P\Lambda$ y $\operatorname{tr}A=\sum\lambda_i$.
- Decidir si dos matrices son semejantes y/o congruentes cuando una es simétrica (E 5.28, 5.32) y cuándo una matriz diagonalizable no lo es ortogonalmente (Propio 7).
- Responder tests de «¿por qué tiene valores propios reales?» y «¿para qué parámetros es el polinomio de una simétrica?» (E 5.29-5.31).
- Construir una simétrica con valores y subespacios propios dados ($A=\sum\lambda_iu_iu_i^t$; X Feb. 2020 B), completar una simétrica con un vector propio (X Feb. 2017) y calcular $A^n$ (Propios 5, 6, 8, C).
- Explicar en un examen, con ejemplo, en qué consiste la diagonalización ortogonal (X Ene. 2020, modelo de respuesta).
- No normalizar los vectores propios: $P$ no es ortogonal y $P^tAP=\operatorname{diag}(\|v_i\|^2\lambda_i)\neq\Lambda$. (Es el error de la solución oficial de Feb. 2024, desarrollado en el tema 6.3.)
- «Los vectores propios de una simétrica son ortogonales» sin matizar: solo los de valores propios distintos. Con un valor doble, Gram-Schmidt dentro de $L_\lambda$.
- Desordenar las columnas de $P$ respecto de $\Lambda$.
- Aplicar el teorema a una matriz no simétrica o con elementos complejos. Diagonalizable ≠ diagonalizable ortogonalmente.
- Confundir simétrica con ortogonal (un giro es ortogonal y no simétrico; una simétrica no es ortogonal en general). Las dos a la vez: simétricas con $A^2=I$.
- Calcular $P^{-1}$ por Gauss-Jordan cuando $P$ es ortogonal: $P^{-1}=P^t$.
- Mal discriminante o mal polinomio característico (tests de E 5.31): comprueba siempre con traza y determinante.
- Pensar que mismo polinomio característico ⇒ semejantes (E 5.28): vale para simétricas, no en general.
- Creer que dos matrices semejantes son congruentes o al revés: solo coinciden si $P$ es ortogonal (Propio 10).
- Dejar de justificar («lo que no se justifica no se puntúa»): cita el teorema (valores reales, subespacios ortogonales, Teor. 5.8) y comprueba $P^tP=I$.