Introducción
A partir de la noción de adjunción que definimos en la entrada anterior, es posible definir ciertos tipos especiales de transformaciones lineales: las transformaciones normales, las simétricas y las antisimétricas.
Primero veremos las transformaciones lineales simétricas y antisimétricas. Estos nombres quizás te recuerden a las matrices simétricas y antisimétricas. Existe una relación importante entre ambos conceptos, aunque no es tan directo enunciarla. Veremos esto con calma.
Después, hablaremos de las transformaciones normales. Este tipo de transformaciones están motivadas por la pregunta de qué sucede cuando una transformación conmuta con su adjunta. Definiremos esto de manera adecuada y demostraremos algunas propiedades que cumplen las transformaciones normales.
En esta entrada
Transformaciones simétricas y antisimétricas
Comencemos con las siguientes dos definiciones.
Definición. Sea
- Simétrica o auto-adjunta si
. - Antisimétrica o alternante si
.
Tal vez estos nombres te parezcan familiares. El siguiente problema nos ayudará a explicar la relación entre las transformaciones simétricas y las matrices que llevan el mismo nombre.
Problema. Sea
Solución. Por una proposición de la entrada anterior, por elegir una base ortonormal se tiene que la matriz correspondiente a
Sucede algo análogo con las matrices antisimétricas, lo cual queda como tarea moral.
Transformaciones normales
Introduzcamos una definición más.
Definición. Sea
Similarmente, diremos que una matriz
Ejemplo. La matriz
Las definiciones de transformaciones y matrices normales están conectadas mediante el siguiente resultado sencillo de demostrar.
Proposición. Si
Caracterización geométrica de transformaciones normales
Las matrices normales tienen algunas propiedades geométricas que las caracterizan. El siguiente enunciado formaliza esto.
Problema. Sea
para todo . . es normal.
Solución.
Como la igualdad anterior se da para todo
y por lo tanto
Más adelante…
Por la proposición que enunciamos para transformaciones normales, tenemos que si
Tarea moral
- Demuestra que la forma matricial de una transformación antisimétrica, bajo una base ortonormal, es una matriz antisimétrica.
- Demuestra que cualquier transformación lineal
en un espacio euclideano puede ser escrita de la forma , donde es transformación lineal simétrica y es transformación lineal antisimétrica. Demuestra que esta manera de escribir a es única. - Hemos platicado mucho de qué sucede cuando representamos transformaciones lineales en un espacio euclideano
mediante bases ortonormales. Pero, ¿qué pasa si no hacemos esto? Determina si lo siguiente es verdadero o falso cuando elegimos una base de que no sea ortonormal.- Si
es la matriz de una transformación en la base , entonces es la matriz de en la base . - Si
es simétrica, entonces su matriz en la base es simétrica. - Si
es normal, entonces su matriz en la base es normal.
- Si
- Sea
un rotación de ángulo . La representación matricial de en la base canónica está dada por
Verifica que es normal. - Sea
un espacio euclidiano y una transformación lineal normal. Prueba que es normal para todo real .
Entradas relacionadas
- Ir a Álgebra Lineal II
- Entrada anterior del curso: Adjunta de una transformación lineal
- Siguiente entrada del curso: Isometrías reales, transformaciones ortogonales y sus propiedades
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»
Buen día:
Casi al final de la entrada se encuentra el siguiente recordatorio:
«Recordatorio. Sea V un espacio euclidiano de dimensión finita con una base ortonormal β={v1,v2,…,vn}. Sea T:V→V una transformación lineal y A la matriz asociada a T con respecto a β. entonces para cualesquiera i,j∈[1,n], Aij=»
¿Por qué esto es verdad? No recuerdo haberlo visto antes.
Un saludo.
Más bien es al principio de la entrada. De todos modos, ya entendí.
Hola:
Al principio de la demostración del último teorema de la entrada se dice: «Supongamos que T es normal, por el teorema fundamental del álgebra, tenemos que el polinomio característico de se divide. Por lo tanto podemos aplicar el teorema de Schur para obtener una base ortonormal b={v1,…,vn} para V tal que si A es la matriz asociada a T con respecto a b, entonces A es triangular superior.» ¿Por qué sabemos que la matriz triangular superior está asociada T respecto a esa base?
Gracias.
Hola Rodrigo,
Eso es precisamente lo que dice el teorema de Schur para operadores lineales. Lo puedes revisar en la página 370 del libro de Stephen Friedberg.
Hola, en el ultimo teorema no debería ser vk, en en lugar v1, v2, …, vk, cuando descomponemos a T(), pues T(vk) es la k-esima columna de la matriz A?