Introducción

En la entrada anterior dimos una relación entre matrices y formas bilineales. Como hemos hecho anteriormente, extenderemos este conocimiento para el caso de espacios vectoriales complejos. En esta entrada daremos una relación entre formas sesquilineales, formas cuadráticas hermitianas y matrices. Daremos la definición y veremos sus propiedades.

Gran parte de la relación que había para el caso real se mantiene al pasar a los complejos. Las demostraciones en la mayoría de los casos son análogas, así que la mayoría de ellas quedarán como tarea moral. Sin embargo, haremos énfasis en las partes que hacen que el caso real y el complejo sean distintos. Te recomendamos tener a la mano las entradas sobre formas bilineales y matrices y formas sesquilineales.

Matriz asociada a una forma sesquilineal y una forma cuadrática hermitiana

A partir de aquí, en esta entrada, asumiremos que $V$ es un espacio vectorial sobre $\mathbb{C}$ de dimensión finita. Recordemos que $S(V)$ se definió como el espacio de formas sesquilineales de $V$.

Definición. Sea $u_1,\dots ,u_n$ una base de $V$ y $\phi :V\times V\to \mathbb{C}$ una forma sesquilineal de $V$. La matriz de $\phi$ con respecto a la base $u_1,\dots ,u_n$ es la matriz
$$\begin{array}{r}A=[a_{ij}]\text{con}{a}_{ij}=\phi (u_i,u_j),\end{array}$$
para todo $i,j$ tal que $1\le i,j\le n$.

Veamos primero como escribir $\phi (x,y)$ en su forma matricial. Así como en el caso real, también podemos definir la matriz de una forma cuadrática usando su forma polar.

Definición. Sea $u_1,\cdots ,u_n$ una base de $V$ y $q$ una forma cuadrática hermitiana de $V$, la matriz de $q$ con respecto a la base $u_1,\dots ,u_n$ es la matriz de su forma polar en esa misma base.

Hasta ahora todo es muy parecido al caso real.

Evaluar la forma sesquilineal con su matriz

Como en el caso real, podemos la matriz de una forma sesquilineal para evaluarla. Sin embargo, hay que ser cuidadosos pues por la sesquilinealidad debemos conjugar el vector de coordenadas de la primer entrada de la forma sesquilineal.

Proposición. Sea $\phi$ una forma sesquilineal de $V$ y $\mathcal{B}$ una base de $V$. Sea $A$ la matriz de $\phi$ en la base $\mathcal{B}$. Sean $X$ y $Y$ los vectores de coordenadas de vectores $x$ y $y$ de $V$ en la base $\mathcal{B}$, respectivamente. Entonces: $$\phi (x,y)=X^{\ast }AY.$$

Aquí $X^{\ast }$ es la matriz transpuesta conjugada, es decir, la que se obtiene al conjugar todas las entradas de ${}^{t}X$. La demostración es análoga al caso real, cuidando en que en la primer entrada de una forma sesquilineal los escalares salen conjugados. Por ello, queda como ejercicio.

Tenemos dos consecuencias importantes de la proposición anterior:

• La matriz $A$ que hace $$\phi (x,y)=X^{\ast }AY$$ para cualesquiera $x,y$, es única.
• Se tiene que $\phi$ es hermitiana si y sólo si su matriz $A$ cumple $A=A^{\ast }$.

En el caso real no vimos las demostraciones de las afirmaciones análogas, así que ahora sí veremos las demostraciones de estas.

Proposición. Con la notación de arriba, $A$ es la unica matriz que cumple
$$\begin{array}{r}\phi (x,y)=X^{\ast }AY.\end{array}$$

Demostración. Supongamos que tenemos otra matriz $A^{\prime }=[a_{ij}^{\prime }]$ tal que $$\begin{array}{r}\phi (x,y)=X^{\ast }{A}^{\prime }Y.\end{array}$$ Tomando elementos $u_i$ y $u_j$ de la base $\mathcal{B}$, obtenemos que el vector de coordenadas $U_i$ (resp. $U_j$) de $u_i$ (resp. $u_j$) es el vector con $1$ en la entrada $i$ (resp. $j$) y cero en las demás. De este modo:

$$\begin{array}{rl}{a}_{ij}^{\prime }& =U_i^{\ast }{A}^{\prime }{U}_j\\ & =b(u_i,u_j)\\ & =a_{ij}.\end{array}$$

Esto muestra que las matrices $A$ y $A^{\prime }$ son iguales entrada a entrada, de modo que $A$ es única.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Proposición. Con la notación de arriba, $\phi$ es hermitiana si y sólo si $A=A^{\ast }$.

Demostración. Supongamos primero que $\phi$ es hermitiana. En particular, para $u_i$ y $u_j$ elementos de la base obtenemos que $\phi (u_i,u_j)=\overline{\phi (u_j,u_i)}.$ En términos de las entradas de la matriz $A$ obtenemos entonces que:

$$\begin{array}{rl}{a}_{ij}& =\phi (u_i,u_j)\\ & =\overline{\phi (u_j,u_i)}\\ & =\overline{a_{ji}}.\end{array}$$

Esto nos dice que $A=A^{\ast }$.

Ahora, suponiendo que $A=A^{\ast }$ se tiene directamente que $\phi (u_i,u_j)=\overline{\phi (u_j,u_i)}$ para cualquier par de elementos $u_i$ y $u_j$ de la base. De este modo, la forma sesquilineal es hermitiana en parejas de elementos de la base. Si tenemos ahora cualesquiera dos vectores $x$ y $y$ en $V$, basta con escribirlos en términos de la base $x=\sum _{i=1}^n{x}_i{u}_i$, $y=\sum _{j=1}^n{y}_j{u}_j$ y usar la proposición de la entrada de formas sesquilineales para obtener

$$\begin{array}{rl}\phi (x,y)& =\sum _{i=1}^n\sum _{j=1}^n\overline{x_i}{y}_j\phi (u_i,u_j)\\ & =\sum _{i=1}^n\sum _{j=1}^n\overline{x_i\stackrel{―}{y_j}\phi (u_j,u_i)}\\ & =\overline{\phi (y,x)},\end{array}$$

tal y como queríamos.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Esta última equivalencia da pie a definir una matriz hermitiana.

Definición. Sea $A\in M_n(\mathbb{C})$. Diremos que $A$ es conjugada simétrica o hermitiana si $A=A^{\ast }.$

Cambios de base

En el caso real, dos matrices que representan a una misma matriz difieren en un producto dado por una matriz de cambio de base y su transpuesta. En el caso complejo sucede algo parecido, pero debemos usar una matriz de cambio de base y su transpuesta conjugada.

Proposición. Supongamos que una forma sesquilineal $\phi$ tiene asociada una matriz $A$ con respecto a una base $\mathcal{B}$ y una matriz $A^{\prime }$ con respecto a otra base ${\mathcal{B}}^{\prime }$ . Sea $P$ la matriz de cambio de base de $\mathcal{B}$ a ${\mathcal{B}}^{\prime }$ . Entonces

$$\begin{array}{r}{A}^{\prime }=P^{\ast }AP.\end{array}$$

La demostración es análoga al caso real, cuidando la conjugación de los escalares que salen de la primera entrada de una forma sesquilineal.

Más adelante…

Hasta ahora ya hemos hablado de formas bilineales, sesquilineales y sus formas matriciales. También platicamos de algunos conceptos que surgen de estas ideas, como las formas cuadráticas y las cuadráticas hermitianas. La importancia de estos conceptos es que nos permiten hacer geometría en espacios vectoriales reales o complejos.

En la siguiente entrada explicaremos esto más a detalle. Un poco más adelante veremos cómo en espacios «con geometría» podemos definir conceptos de dualidad y ortogonalidad.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

1. Considera la matriz $\left(\begin{array}{cc}1+i& 0\\ 5& 1+2i\end{array}\right)$. ¿Con cuál forma sesquilineal de ${\mathbb{C}}^2$ está asociada bajo la base canónica? y ¿Con qué forma sesquilineal de ${\mathbb{C}}^2$ está asociada bajo la base $(1+i,1)$, $(1,2+i)$?
2. Prueba la proposición que dice cómo evaluar una forma sesquilineal usando su forma matricial y los vectores coordenada de vectores en cierta base dada.
3. Prueba la proposición de cambios de base para la forma matricial de una forma sesquilineal.
4. Demuestra que para cualesquiera dos matrices $A,B\in M_n(\mathbb{C})$ se tiene que
   $$\begin{array}{r}(AB{)}^{\ast }=B^{\ast }{A}^{\ast }.\end{array}$$
5. Demuestra que para cualquier matriz $B\in M_n(\mathbb{C})$ se tiene que las matrices $B^{\ast }B$ y $B{B}^{\ast }$ son hermitianas.

Entradas relacionadas

• Ir a Álgebra Lineal II.
• Entrada anterior del curso: Matrices de formas bilineales
• Siguiente entrada del curso: Espacios euclideanos y espacios hermitianos

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»