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:
una matriz diagonal formada con autovalores de (todos reales)
Propiedades
editar
es unitaria si y sólo si lo que implica que son ortogonales, es decir, para todo i distinto de j, y si i es igual a j entonces . Donde es el producto interno canónico en .
Entonces el conjunto es una base ortonormal de . Observar que la implicación de que el producto interno de 1 si coinciden los subíndices, implica que es un conjunto ortonormal.
Caso particular: cuando la matriz unitaria cumple además (observar que se trata sólo del caso real), entonces ocurre que . En este caso la matriz se dice involutiva y está asociada a una reflexión respecto de un plano. Ver transformación de Householder
Analicemos el siguiente caso suponiendo . O sea autovalor de asociado al autovector Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle v \in \Bbbk^{n}}
:
De donde
Sean autovectores de la matriz Hermítica asociados a los autovalores respectivamente. Supongamos que al menos, existe un par de estos últimos distintos, es decir, para algún par . Entonces . Es decir, autovectores asociados a autovalores distintos son ortogonales
De donde
Ejemplos
editar
1) Sea una matriz real simétrica (caso particular de Hermítica, con Imag(A) = 0). Entonces, se ve que es autovalor de asociado al autovector , es decir que el autoespacio asociado a este autovalor es
El otro autovalor es asociado al autovector , es decir que el autoespacio asociado a este autovalor es
Como se puede ver, ; es decir, son ortogonales. O sea