Matriz hermitiana

Charles Hermite, matemático francés

Una matriz hermitiana (o hermítica, en memoria del matemático francés Charles Hermite) es una matriz cuadrada de elementos complejos que tiene la característica de ser igual a su propia traspuesta conjugada. Es decir, el elemento en la i-ésima fila y j-ésima columna es igual al conjugado del elemento en la j-ésima fila e i-ésima columna, para todos los índices i y j:

$a_{i,j}=\overline{a_{j,i}}$

o, escrita con la traspuesta conjugada A*:

$A=(A^T{)}^{*}$

Por ejemplo,

$A=\left[\begin{array}{cc}3& 2+i\\ 2-i& 1\end{array}\right]$

es una matriz hermítica.

Propiedades

1. Sea $A=B+iC$, donde $A$ es hermitiana y $B$ y $C$ reales, entonces $B$ es simétrica ($B=B^T$) y $C$ antisimétrica ($C=-C^T$).
2. La inversa de una matriz hermitiana es también hermitiana, siempre y cuando la matriz inicial sea invertible ($\det A\ne 0$).
3. En relación con la propiedad 1, los autovalores de estas matrices son reales.
4. En una matriz hermitiana, los elementos de la diagonal principal son reales.
5. El determinante de una matriz hermitiana es un número real.

Diagonalización de matrices hermíticas

Sea $A\in {𝕜}^{n\times n}(𝕜=ℝ\text{ó}ℂ)$ Hermítica, es decir $A=A^H$. Entonces $A$ es diagonalizable unitariamente. O sea, se la puede descomponer de la siguiente manera:

$A=P\cdot \mathrm{\Delta }\cdot P^H$

En donde:

1. $P$ es una matriz unitaria y el conjunto $\mathrm{col}(P)$ es ortonormal y está formado por autovectores de $A$ asociados a sus respectivos autovalores. Estos vectores deben ir en orden, respecto de sus autovalores.
2. $\mathrm{\Delta }=\mathrm{diag}{[{\lambda }_1\cdots {\lambda }_n]}^T$ una matriz diagonal formada con autovalores de $A$ (todos reales)

Propiedades

• $P\in {𝕜}^{n\times n}$ es unitaria si y sólo si $P\cdot P^H=P^H\cdot P=I_n$ lo que implica que son ortogonales, es decir, ${\mathrm{col}}_i(P)\mathrm{\perp }{\mathrm{col}}_j(P^H)$ para todo i distinto de j, y si i es igual a j entonces $⟨{\mathrm{col}}_i(P),{\mathrm{col}}_i(P^H)⟩=1$. Donde $⟨\cdot ,\cdot ⟩$ es el producto interno canónico en ${𝕜}^n$.

Entonces el conjunto $\mathrm{col}(P)$ es una base ortonormal de ${𝕜}^n$. Observar que la implicación de que el producto interno de 1 si coinciden los subíndices, implica que $\mathrm{fil}(P)$ es un conjunto ortonormal.

Caso particular: cuando la matriz unitaria cumple además $P=P^T$ (observar que se trata sólo del caso real), entonces ocurre que $P\cdot P^T=P\cdot P=P^2=I_n$. En este caso la matriz $P$ se dice involutiva y está asociada a una reflexión respecto de un plano. Ver transformación de Householder

• Analicemos el siguiente caso suponiendo $A\cdot v=\lambda \cdot v$. O sea $\lambda \in 𝕜$ autovalor de $A$ asociado al autovector $v\in {𝕜}^n$:

$\bar{\lambda }⟨v,v⟩=⟨\lambda v,v⟩=⟨Av,v⟩=(Av{)}^H\cdot v=v^H{A}^H\cdot v=v^{H}A\cdot v=⟨v,Av⟩=⟨v,\lambda v⟩=\lambda ⟨v,v⟩$

De donde

$\bar{\lambda }⟨v,v⟩=\lambda ⟨v,v⟩⟺\bar{\lambda }=\lambda ⟺\lambda \in ℝ$

• Sean $v_1,\cdots ,v_n$ autovectores de la matriz Hermítica $A\in {𝕜}^{n\times n}$ asociados a los autovalores ${\lambda }_1,\cdots ,{\lambda }_n$ respectivamente. Supongamos que al menos, existe un par de estos últimos distintos, es decir, ${\lambda }_i\ne {\lambda }_j$ para algún par $1\le i,j\le n,i\ne j$. Entonces $v_i\mathrm{\perp }{v}_j$. Es decir, autovectores asociados a autovalores distintos son ortogonales

${\lambda }_i⟨v_i,v_j⟩=⟨{\lambda }_i{v}_i,v_j⟩=⟨A{v}_i,v_j⟩=v^H{A}^H{v}_j=v^{H}A{v}_j=⟨v_i,A{v}_j⟩=⟨v_i,{\lambda }_j{v}_j⟩={\lambda }_j⟨v_i,v_j⟩$

De donde

${\lambda }_i⟨v_i,v_j⟩={\lambda }_j⟨v_i,v_j⟩⟺({\lambda }_i-{\lambda }_j)⟨v_i,v_j⟩=0⟺v_i\mathrm{\perp }{v}_j$

Ejemplos

1) Sea $A=\left[\begin{array}{cc}1& 2\\ 2& 1\end{array}\right]$ una matriz real simétrica (caso particular de Hermítica, con Imag(A) = 0). Entonces, se ve que ${\lambda }_1=3$ es autovalor de $A$ asociado al autovector $v_1=(\genfrac{}{}{0ex}{}{1}{1})$, es decir que el autoespacio asociado a este autovalor es $S_{{\lambda }_1}=\mathrm{gen}\left\{(\genfrac{}{}{0ex}{}{1}{1})\right\}$

El otro autovalor es ${\lambda }_2=-1$ asociado al autovector $v_2=(\genfrac{}{}{0ex}{}{-1}{1})$, es decir que el autoespacio asociado a este autovalor es $S_{{\lambda }_2}=\mathrm{gen}\left\{(\genfrac{}{}{0ex}{}{-1}{1})\right\}$

Como se puede ver, $(v_1,v_2)=0$; es decir, son ortogonales. O sea $S_{{\lambda }_1}\oplus S_{{\lambda }_2}={ℝ}^2$

La descomposición de la matriz es:

$A=\left[\begin{array}{cc}\frac{1}{\sqrt{2}}& -\frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\end{array}\right]\cdot \left[\begin{array}{cc}3& 0\\ 0& -1\end{array}\right]\cdot \left[\begin{array}{cc}\frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\\ -\frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\end{array}\right]$

O si no:

$A=\left[\begin{array}{cc}-\frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\end{array}\right]\cdot \left[\begin{array}{cc}-1& 0\\ 0& 3\end{array}\right]\cdot \left[\begin{array}{cc}-\frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}\end{array}\right]$

Véase también

• Charles Hermite
• Matriz antihermítica
• Matriz normal
• Operador hermítico
• Subespacios fundamentales de una matriz

Enlaces externos

• Plantilla:MathWorld