tal cual cayó — sin cambiar un número
Álgebra · convocatoria ordinaria
Convocatoria ordinaria · 2022-2023
curso 2022-2023 · 4 ejercicios
Empieza sin mirar: abre cada ejercicio cuando vayas a por él. Las resoluciones están en la otra pestaña.
La suma se ve, la intersección hay que buscarlaEspacios vectoriales
a) Sea el espacio vectorial y una familia libre. Siendo y , hallar una base y la dimensión de los subespacios y .
b) Sea un espacio vectorial, una base de , y
i. Demostrar que es otra base de y dar la matriz de cambio de base.
ii. Hallar las coordenadas del vector en la base .
iii. Si las coordenadas de un vector en la base son , ¿cuáles son sus coordenadas en la base ?
Bases y dimensiones de la suma y la intersección, y dos cambios de base.
Resolver guiado →El examen no publica solución: la resolución es propuesta nuestra, pendiente de revisión.
Cuando el núcleo es el tercer datoAplicaciones lineales
a) Sea una aplicación lineal. Definir y demostrar que es subespacio vectorial de .
b) Sea una aplicación lineal tal que , y
i. Calcular la matriz asociada a la aplicación lineal.
ii. Calcular bases y dimensiones de y . Clasificar la aplicación.
La definición y la demostración, la matriz asociada, y las dos bases.
Resolver guiado →El examen no publica solución: la resolución es propuesta nuestra, pendiente de revisión.
Cinco determinantes sin calcular ningunoEspacios vectoriales euclídeos
a) i. Sean tales que y . Calcular: , , , y .
ii. Demostrar las siguientes propiedades:
ii.a) Sean y matrices invertibles. Entonces .
ii.b) Sean y matrices invertibles y conmutativas, es decir, . Entonces y son conmutativas, y y también.
b) Sea el subespacio de .
i. Encontrar una base ortonormal de .
ii. Completando la base calculada en el apartado anterior, encontrar una base ortonormal de .
Los cinco determinantes, las dos demostraciones, y las dos bases ortonormales.
Resolver guiado →El examen no publica solución: la resolución es propuesta nuestra, pendiente de revisión.
Mismo polinomio característico, distinto finalDiagonalización de matrices cuadradas
a) i. Definir valor propio y vector propio de un endomorfismo.
ii. Sea una matriz cuadrada de orden . Demostrar que si , entonces los valores propios de son o .
iii. Sea una matriz cuadrada de orden inversible. Si es un valor propio de , demostrar que es valor propio de .
b) Dadas las siguientes matrices:
i. Comprobar que sus polinomios característicos son iguales.
ii. ¿Son diagonalizables? En los casos afirmativos, diagonalizar la matriz dando la matriz del cambio de base.
Las dos definiciones, las dos demostraciones, y el estudio de las dos matrices.
Resolver guiado →El examen no publica solución: la resolución es propuesta nuestra, pendiente de revisión.
El examen no publica solución. Todas estas resoluciones son propuesta nuestra y están pendientes de revisión.
La suma se ve, la intersección hay que buscarla
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
a) Sea el espacio vectorial y una familia libre. Siendo y , hallar una base y la dimensión de los subespacios y .
b) Sea un espacio vectorial, una base de , y
i. Demostrar que es otra base de y dar la matriz de cambio de base.
ii. Hallar las coordenadas del vector en la base .
iii. Si las coordenadas de un vector en la base son , ¿cuáles son sus coordenadas en la base ?
Bases y dimensiones de la suma y la intersección, y dos cambios de base.
- 01
Reconocer el camino
COMP1tiene dimensión y también. ¿Se puede concluir ya que tiene dimensión ?
Eso es. La fórmula que siempre vale es la de Grassmann, , y el término que se resta es justo el que hay que calcular.
puede ser todo lo grande que quiera: la dimensión de solo depende de los generadores que se dan, y esos están escritos.
La familia libre es , tres vectores. Todo lo que se genera con ellos vive dentro de un espacio de dimensión , así que es imposible de entrada.
Ser distintos no es ser independientes. Aquí es combinación de y , así que de los cuatro generadores sobra uno.
- 02
La dimensión de la intersección
COMP2¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…sería si la suma fuese directa, y no lo es: está en por definición y está en por ser combinación de y . Un vector no nulo en los dos basta para que la intersección no sea trivial.
significaría , y no lo son: está en y no en , porque la familia de partida es libre.
es la dimensión de , no la de la intersección. La intersección es siempre más pequeña que cualquiera de los dos, y solo tiene dimensión .
Un vector de se escribe y uno de se escribe . Iguala y usa que es libre.
Desarrollo
Un vector de la intersección admite las dos escrituras a la vez:
Como la familia es libre, se pueden igualar coeficiente a coeficiente: , y . O sea que el vector es , y
Grassmann lo confirma: .
- 03
Las coordenadas de x en la base nueva
COMP2Las coordenadas de en la base , en el orden .
cuatro coordenadas entre paréntesis, separadas por comas — componentes separadas por comasEsas son las coordenadas de en la base , que es el dato de partida. Lo que se pide es reescribirlo en , y para eso hay que resolver un sistema.
Los cuatro signos cambiados. Suele salir de resolver y despejar con el signo al revés en la última sustitución. Comprueba con : tiene que dar .
La cuarta coordenada. De la última ecuación sale , es decir : las dos valen , con el mismo signo.
Monta la matriz que tiene por columnas las coordenadas de en y resuelve .
Desarrollo
La matriz de cambio de a lleva por columnas las coordenadas de cada en :
y el sistema se resuelve de abajo arriba: la cuarta fila da , la tercera da , la primera da y la segunda .
Comprobación, que aquí es barata: .
- 04
Y el camino de vuelta
COMP2Si las coordenadas de en son , ¿cuáles son sus coordenadas en ?
cuatro coordenadas entre paréntesis, separadas por comas — componentes separadas por comasEsas son las de partida, en . La pregunta pide las de , y para pasar de a se multiplica por : es el sentido fácil, sin resolver ningún sistema.
La segunda coordenada. El lleva un signo menos dentro, así que aporta , no . Sumado al de , sale .
Ese es el resultado del apartado anterior, que va en el sentido contrario. Aquí no hay sistema que resolver: basta multiplicar.
Este sentido es el cómodo: .
Desarrollo
Y sin matriz, escribiéndolo a mano, sale lo mismo:
- 05
Justificar el argumento
COMP4Ordena el cálculo de la intersección. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Que dos subespacios se corten en algo no nulo no los hace iguales: aquí se cortan en una recta y cada uno es un plano distinto dentro de un espacio de dimensión . La igualdad exigiría que la intersección tuviera dimensión , la de los dos. El error de fondo es confundir «se cortan» con «coinciden», y es el mismo que lleva a decir que la suma es directa en cuanto los generadores parecen distintos.
El razonamiento, en orden
Un vector de se escribe de las dos maneras: y .
Al igualar y usar que es libre, los coeficientes se pueden comparar uno a uno.
De sale , y de los otros dos, y .
Luego la intersección es , de dimensión .
Resolución completa
a) La suma se lee de un vistazo. está generado por los cuatro generadores juntos:
y ahí sobra , que es la suma de los dos últimos. Queda , que es base porque la familia es libre:
La intersección hay que buscarla. Un vector que esté en los dos admite las dos escrituras a la vez, y la independencia permite comparar coeficientes: , , . Es decir, todo vector de la intersección es múltiplo de :
Y Grassmann cuadra: . Conviene hacer esta comprobación siempre, porque es gratis y caza el error de haber perdido una dimensión.
b) La matriz de cambio. Sus columnas son las coordenadas de los en :
El determinante no nulo es la demostración de que es base: cuatro vectores independientes en un espacio de dimensión .
i y ii, que van en sentidos contrarios. Y esto es lo que más se falla del ejercicio, así que va dicho aparte:
| de dónde a dónde | qué se hace |
|---|---|
| de a | multiplicar por |
| de a | resolver |
Para en hay que resolver el sistema, y sale . Para en basta multiplicar, y sale .
La comprobación de las dos es la misma y no cuesta nada: se sustituye y se mira si sale el vector de partida.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Cuando el núcleo es el tercer dato
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
a) Sea una aplicación lineal. Definir y demostrar que es subespacio vectorial de .
b) Sea una aplicación lineal tal que , y
i. Calcular la matriz asociada a la aplicación lineal.
ii. Calcular bases y dimensiones de y . Clasificar la aplicación.
La definición y la demostración, la matriz asociada, y las dos bases.
- 01
Reconocer el camino
COMP1El enunciado da dos imágenes y un núcleo. ¿Por qué eso basta para determinar del todo?
Exacto. El núcleo es la recta generada por , así que es el tercer dato. Y , y son independientes: una aplicación lineal queda determinada por lo que hace sobre una base.
Que sea cuadrada solo dice que sale y llega al mismo espacio. Los nueve coeficientes hay que sacarlos de los datos, y son exactamente los tres del enunciado.
Con dos vectores solo se sabe qué hace en el plano que generan. Fuera de ese plano podría hacer cualquier cosa: harían falta tantos datos como dimensión tiene el espacio de partida.
El núcleo dice qué se va a cero, no qué pasa con lo demás. Infinitas aplicaciones comparten núcleo: multiplicar por no cambia el núcleo y sí cambia la aplicación.
- 02
La imagen del primer vector de la base canónica
COMP2De y , ¿cuánto vale ?
tres coordenadas entre paréntesis, separadas por comas — componentes separadas por comasEse es , no . De sale que uno es el opuesto del otro.
El que va a cero es , que genera el núcleo. no está en el núcleo: no cumple .
Ese es , un dato del enunciado. Para llegar a hay que restarle , y esa se obtiene después.
, y es lineal.
Desarrollo
El núcleo es la recta , luego . Por linealidad:
- 03
La matriz asociada, entera
COMP2La matriz de en la base canónica. Escribe las filas separadas por punto y coma.
tres filas de tres números, con punto y coma entre filas — columnas con comas, filas con punto y comaEsa es la traspuesta: has puesto las imágenes por filas. En la matriz asociada las imágenes de la base van por columnas, porque así reproduce .
La primera columna es , con los dos signos negativos. Sale de .
La tercera columna es . Se te ha quedado la resta a medias.
Las columnas son , y , en ese orden. Las dos primeras ya están.
Desarrollo
Falta la tercera columna, y sale de la resta:
Poniendo las tres imágenes por columnas:
Y hay que comprobarla contra los tres datos, que es lo que separa una matriz buena de una plausible:
vector lo que pedía el enunciado está en el núcleo dato dato - 04
La dimensión de la imagen
COMP2¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…significaría que es sobreyectiva y, siendo un endomorfismo, también inyectiva —o sea, núcleo nulo—. Pero el enunciado da un núcleo de dimensión . La fórmula de las dimensiones no deja: .
es la dimensión del núcleo. La suma de las dos tiene que dar , la dimensión del espacio de partida.
, y el núcleo lo da el enunciado.
Desarrollo
El núcleo es una recta, así que y
Se ve también en las columnas de : la primera es la opuesta de la segunda, así que solo dos son independientes. Una base es .
- 05
Justificar el argumento
COMP4Ordena la clasificación de f. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Que la matriz sea cuadrada no da la biyectividad: la da que su determinante sea no nulo. Aquí —la primera columna es la opuesta de la segunda— y por eso no es biyectiva. La pieza además insinúa que el núcleo es una imposición externa, y no lo es: el núcleo sale de la aplicación, y el enunciado se limita a decírtelo para ahorrarte calcularlo.
El razonamiento, en orden
es la recta generada por , así que tiene dimensión .
Como el núcleo no es , no es inyectiva.
Por la fórmula de las dimensiones, , así que tampoco es sobreyectiva.
Luego es un endomorfismo que no es ni inyectivo ni sobreyectivo, y en particular no es automorfismo.
Resolución completa
a) El núcleo, y por qué es subespacio. .
Es subespacio porque contiene al —toda aplicación lineal cumple , así que no es vacío— y porque es cerrado para la combinación lineal: si , entonces
y por tanto vuelve a estar en el núcleo. Toda la demostración es una sola línea, la de la linealidad; lo demás es decir qué se está comprobando.
b) El núcleo es el tercer dato. Esta es la idea del ejercicio y conviene aislarla: el enunciado parece dar dos imágenes, pero da tres. El núcleo, escrito con y , es la recta generada por , y eso significa .
Los tres vectores , y son independientes —su determinante vale —, así que forman base de y queda determinada.
La matriz. Se despejan las imágenes de la base canónica una a una:
Bases y clasificación.
La imagen está generada por las columnas de , y de las tres solo dos son independientes porque la primera es la opuesta de la segunda.
Con esto, no es inyectiva —el núcleo no es nulo— ni sobreyectiva —la imagen no llena —. En un endomorfismo las dos cosas van siempre juntas: si falla una, falla la otra.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Cinco determinantes sin calcular ninguno
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
a) i. Sean tales que y . Calcular: , , , y .
ii. Demostrar las siguientes propiedades:
ii.a) Sean y matrices invertibles. Entonces .
ii.b) Sean y matrices invertibles y conmutativas, es decir, . Entonces y son conmutativas, y y también.
b) Sea el subespacio de .
i. Encontrar una base ortonormal de .
ii. Completando la base calculada en el apartado anterior, encontrar una base ortonormal de .
Los cinco determinantes, las dos demostraciones, y las dos bases ortonormales.
- 01
Reconocer el camino
COMP1De los cinco determinantes que se piden, ¿cuál es el único que depende del tamaño de la matriz y no solo de su determinante?
Eso es, y es el que más se falla. El determinante es lineal en cada fila por separado, así que multiplicar la matriz entera por multiplica el determinante por , con el orden. Aquí , luego .
y el orden de la matriz no interviene: sale de aplicar cuatro veces .
sea cual sea el orden. Sale de y de que .
Trasponer no cambia el determinante en ningún orden: . Es una de las propiedades más útiles, porque permite hacer con columnas todo lo que se hace con filas.
- 02
El determinante de 2B
COMP2Con y de orden , ¿cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…es : has sacado el una sola vez. El determinante es lineal en cada fila por separado, y aquí hay tres filas multiplicadas por .
es , que no pinta nada aquí. El factor que sale fuera es , y multiplica —no eleva— al determinante.
sale de , como si el factor fuese en vez de . El exponente es el orden de la matriz, no un producto.
Saca el de la primera fila, luego de la segunda, luego de la tercera. ¿Cuántos han salido?
Desarrollo
En general, para una matriz de orden , . Los otros cuatro salen de propiedades directas:
pedido propiedad valor - 03
El segundo vector de la base ortonormal de U
COMP2Aplicando Gram-Schmidt a en ese orden y normalizando, ¿cuál es el segundo vector?
tres coordenadas entre paréntesis; valen fracciones — componentes separadas por comasEse es el vector de partida, sin ortogonalizar ni normalizar. Su producto escalar con vale , así que no es perpendicular al primero.
Ese es el primero de la base, . El segundo tiene que ser perpendicular a él.
Esa es la dirección correcta, pero sin normalizar: su norma vale . Divídelo por y sale .
El signo de la segunda coordenada. La proyección que se resta es , y ; al normalizar queda , negativo.
Normaliza primero , cuya norma es . Luego réstale a su proyección sobre él.
Desarrollo
El primer vector es cómodo porque su norma es entera:
La proyección del segundo sobre el primero:
Las dos normas salen enteras — y —, lo que es una señal de que el examen está diseñado para hacerse sin calculadora.
- 04
El vector que completa la base de R³
COMP2El tercer vector, perpendicular a los dos anteriores y unitario. Toma el que sale del producto vectorial .
tres coordenadas entre paréntesis; valen fracciones — componentes separadas por comasEs el opuesto, y también sirve como base ortonormal: sale de . Pero el enunciado del paso pide , y el producto vectorial no es conmutativo: cambiar el orden cambia el signo.
El signo de la segunda coordenada. En el desarrollo por cofactores, la componente del producto vectorial lleva un menos delante, y es el error más repetido de esta cuenta.
Esa es la dirección, pero sin normalizar: su norma vale . Como y ya son unitarios y perpendiculares, su producto vectorial ya sale unitario; si te ha salido de norma es que has partido de los vectores sin normalizar.
Con dos vectores unitarios y perpendiculares, su producto vectorial es automáticamente unitario. No hace falta volver a dividir.
Desarrollo
y se comprueba que es unitario: .
Hay un camino alternativo que evita el producto vectorial: es un plano, y su ortogonal es la recta de los que cumplen las dos ecuaciones y . Sale la misma dirección.
- 05
Justificar el argumento
COMP4Ordena la demostración de que . Una pieza es falsa.
- Ve eligiendo las piezas en orden.
La primera mitad es cierta y la segunda es falsa, que es lo que hace peligrosa a la pieza. Si y conmutan, la inversa del producto existe igual —solo hace falta que las dos sean invertibles— y además coincide con , porque los dos órdenes dan lo mismo. La conmutatividad no es un obstáculo: es un caso particular cómodo, y es justo el del apartado ii.b).
El razonamiento, en orden
Por definición, la inversa de es la única matriz que cumple .
Se prueba con : .
Y por el otro lado, .
Cumple las dos igualdades, luego es la inversa y el orden queda invertido.
Resolución completa
a) i. Los cinco determinantes, sin calcular ninguno. Todos salen de propiedades, y ese es el ejercicio:
| pedido | propiedad | valor |
|---|---|---|
| el determinante es multiplicativo | ||
| trasponer no lo cambia | ||
| , con | ||
| multiplicativo, cuatro veces | ||
| de |
El único con trampa es el tercero: el factor sale de cada fila, y hay tres.
a) ii.a. La inversa de un producto. Basta exhibir la candidata y comprobar los dos lados:
y simétricamente por la izquierda. Como la inversa es única, queda . El orden se invierte, y es lo único que hay que recordar.
a) ii.b. Conmutar se hereda. De , multiplicando los dos lados por por la izquierda y por la derecha:
que es lo primero. Y repitiendo el mismo truco con sobre sale .
b) i. Gram-Schmidt, con números que salen a mano.
Las dos normas que aparecen son y : enteras. Cuando en este examen salen raíces feas, casi siempre es que hay una cuenta mal.
b) ii. Completar. El tercer vector tiene que ser perpendicular a los dos, y para eso está el producto vectorial:
que ya sale unitario porque los dos factores lo eran y eran perpendiculares. La base ortonormal de es , y vale también como base de .
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Mismo polinomio característico, distinto final
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
a) i. Definir valor propio y vector propio de un endomorfismo.
ii. Sea una matriz cuadrada de orden . Demostrar que si , entonces los valores propios de son o .
iii. Sea una matriz cuadrada de orden inversible. Si es un valor propio de , demostrar que es valor propio de .
b) Dadas las siguientes matrices:
i. Comprobar que sus polinomios característicos son iguales.
ii. ¿Son diagonalizables? En los casos afirmativos, diagonalizar la matriz dando la matriz del cambio de base.
Las dos definiciones, las dos demostraciones, y el estudio de las dos matrices.
- 01
Reconocer el camino
COMP1Las dos matrices tienen el mismo polinomio característico. ¿Qué se puede concluir de ahí sobre su diagonalización?
Compartir polinomio característico es necesario para ser semejantes, pero no suficiente. Aquí una es semejante a una diagonal y la otra no, así que no pueden ser semejantes entre sí.
La matriz de cambio se construye con los vectores propios, y esos no los da el polinomio: dependen de la matriz concreta. Aquí además una de las dos ni siquiera llega a tener suficientes.
Es justo lo que este ejercicio desmiente. El polinomio no ve la diferencia entre una matriz con dos direcciones propias para y otra con una sola.
Exacto, y por eso el enunciado pone las dos juntas. Comparten autovalores y —este último doble—, y una diagonaliza y la otra no. La diferencia está en cuántos vectores propios independientes hay para el .
- 02
El determinante que comparten
COMP2El polinomio característico es el mismo para las dos. ¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Si fuese , el sería autovalor y la matriz no sería inversible. Aquí los autovalores son , y , y su producto es .
Un signo. El producto de los autovalores es : los dos menos se cancelan.
saldría si el autovalor doble fuese en vez de . Desarrolla el determinante y compruébalo: sale .
El determinante es el producto de los autovalores, contados con su multiplicidad. O desarróllalo directamente por la primera fila.
Desarrollo
Desarrollando por la primera fila:
y para , desarrollando por la primera fila, también sale . Con la traza —que vale en las dos— y la suma de menores principales —que vale en las dos— el polinomio queda determinado:
- 03
La multiplicidad geométrica que decide
COMP2Para , ¿cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…es lo que sale para , y por eso no diagonaliza. Para , la matriz tiene sus tres filas proporcionales a : su rango es , así que el núcleo tiene dimensión .
significaría , es decir , y no lo es. La multiplicidad geométrica nunca supera a la algebraica, que aquí vale .
Si fuese , no sería autovalor. Y lo es: es raíz doble del polinomio característico.
Escribe y mira sus tres filas. ¿Cuántas son independientes?
Desarrollo
Las tres filas son múltiplos de , así que el rango vale y
que coincide con la multiplicidad algebraica de . Esa igualdad es la condición de diagonalización, y la cumple. Con pasa lo contrario:
tiene determinante pero rango —restando a la segunda y a la tercera queda dos veces la misma fila—, así que su núcleo tiene dimensión y falta una dirección propia.
- 04
El vector propio del autovalor simple
COMP2Un vector propio de asociado a , con la primera coordenada igual a .
tres coordenadas entre paréntesis, separadas por comas — componentes separadas por comasComprueba con la primera fila: , y debería dar . La tercera coordenada no es libre.
no cumple la segunda ecuación: . Además el paso pide primera coordenada .
El signo de la tercera. De la primera fila de sale , es decir : las dos últimas coordenadas son iguales.
Resuelve . La primera ecuación es .
Desarrollo
La primera fila da ; la segunda, . La tercera se cumple sola ——, que es la señal de que el sistema es compatible indeterminado, como tiene que ser.
Tomando :
- 05
Justificar el argumento
COMP4Ordena el argumento de por qué no diagonaliza. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
El signo del autovalor no tiene nada que ver. La prueba está en la propia : tiene el mismo autovalor doble y sí diagonaliza. Lo que decide es cuántos vectores propios independientes hay, o sea el rango de — un dato de la matriz, no del signo del número.
El razonamiento, en orden
y tienen el mismo polinomio característico, , luego los mismos autovalores: simple y doble.
Para el autovalor simple no hay nada que decidir: aporta exactamente una dirección propia en las dos matrices.
Todo se juega en : hace falta que valga , la multiplicidad algebraica.
En vale y en vale , así que diagonaliza y no.
Resolución completa
a) i. Las definiciones. es valor propio del endomorfismo si existe con , y ese es un vector propio asociado a . La condición no es un adorno: sin ella todo escalar sería valor propio.
a) ii. Si . Sea autovalor con vector propio . Aplicando dos veces:
y como , eso es . Luego y, al ser no nulo, , es decir .
a) iii. El autovalor de la inversa. De , multiplicando por :
La división es legítima porque : si es inversible, no puede ser autovalor suyo. Y el vector propio es el mismo.
b) i. El polinomio, que es el mismo. Los tres coeficientes de un polinomio característico de orden salen de la traza, la suma de menores principales y el determinante:
| traza | suma de menores | determinante | |
|---|---|---|---|
Autovalores: simple y doble, en las dos.
b) ii. Y aquí se separan. La condición de diagonalización es que cada autovalor aporte tantas direcciones propias como multiplicidad tiene. El simple siempre aporta una, así que todo depende del :
| rango | ¿basta? | |||
|---|---|---|---|---|
| filas todas múltiplas de | sí | |||
| dos filas iguales tras reducir | no |
La diagonalización de . Para el sistema se reduce a , que da dos vectores independientes: y . Para sale . Por tanto
con , que confirma que las tres columnas son independientes. El orden de las columnas de y el de la diagonal de tienen que coincidir; cambiarlo es correcto siempre que se cambien los dos a la vez.
Por qué este ejercicio merece recordarse. Es la forma más limpia de ver que el polinomio característico no decide la diagonalización. Dice qué autovalores hay y con qué multiplicidad algebraica; lo que falta —la geométrica— hay que calcularlo aparte, y es justo donde estas dos matrices, idénticas para el polinomio, se separan.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.