Em matemática, sobretudo na álgebra linear, uma matriz auto-adjunta, hermitiana (português brasileiro) ou hermítica (português europeu) é uma matriz quadrada complexa que é igual à sua própria transposta conjugada - ou seja, o elemento na i-ésima linha e j-ésima coluna é igual ao conjugado complexo do elemento na j-ésima linha e i-ésima coluna, para todos os índices i e j:
ou em forma de matriz:
Matrizes hermitianas podem ser entendidas como a extensão complexa das matrizes simétricas reais.
Se a conjugada transposta de uma matriz
for indicada por
a propriedade hermitiana pode ser escrita de forma concisa como
As matrizes hermitianas recebem este nome em homenagem a Charles Hermite, que demonstrou em 1855 que matrizes desse tipo compartilham uma propriedade com matrizes simétricas reais de sempre ter autovalores reais. Outras notações equivalentes de uso comum são
no entanto observe que na mecânica quântica,
tipicamente significa apenas a conjugada complexa, e não a transposta da conjugada .
As matrizes hermitianas podem ser caracterizadas de várias maneiras equivalentes, algumas das quais estão listadas abaixo:
Uma matriz quadrada
é hermitiana se, e somente se, for igual à sua adjunta, ou seja, satisfizer
para qualquer par de vetores
em que
denota a operação de produto interno .
Também é assim que o conceito mais geral de operador autoadjunto é definido.
Uma matriz quadrada
é hermitiana se, e somente se, for tal que
Uma matriz quadrada
é hermitiana se, e somente se, for unitariamente diagonalizável com autovalores reais.
As matrizes hermitianas são fundamentais para a teoria quântica da mecânica matricial criada por Werner Heisenberg, Max Born e Pascual Jordan em 1925.
Nesta seção, a transposta conjugada da matriz
é indicada por
a transposta da matriz
é indicada por
e a conjugada da matriz
é indicada por
Considere o seguinte exemplo:
Os elementos diagonais devem ser reais, pois precisam coincidir com seus próprios conjugados complexos.
Entre as famílias bem conhecidas de matrizes hermitianas estão as matrizes de Pauli, as matrizes de Gell-Mann e suas generalizações. Na física teórica, tais matrizes hermitianas são frequentemente multiplicadas por coeficientes imaginários,[1] [2] resultando em matrizes skew-hermitianas.
Aqui, é oferecida outra matriz hermitiana útil usando um exemplo abstrato. Se uma matriz quadrada
é igual ao produto de uma matriz por sua transposta conjugada, ou seja,
então
é uma matriz semi-definida positiva hermitiana. Além disso, se
tem posto completo por linhas, então
é definida positiva.
- As entradas na diagonal principal (do canto superior esquerdo para o inferior direito) de qualquer matriz hermitiana são reais .
- Prova: pela definição de matriz hermitiana,
![{\displaystyle H_{ij}={\overline {H))_{ji))](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fa8265c5f6d4fc3b7cda6a06558c7d4d9aec855)
- Assim, para i = j segue-se a afirmação anterior.
- Somente as principais entradas diagonais são necessariamente reais; As matrizes hermitianas podem ter entradas complexas arbitrárias em seus elementos fora da diagonal, desde que as entradas diagonalmente opostas sejam conjugadas complexas.
- Uma matriz que possui apenas entradas reais é hermitiana se e somente se é simétrica. Uma matriz real e simétrica é simplesmente um caso especial de uma matriz hermitiana.
- Prova:
por definição. Portanto,
(simetria da matriz) se e somente se
(
é real).
- Toda matriz hermitiana é uma matriz normal. Isto significa que
- Prova:
então ![{\displaystyle AA^{\mathsf {H))=AA=A^{\mathsf {H))A.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab57bd9ed60c43df68821a97509b6a5aab1c929b)
- O teorema espectral em dimensão finita diz que qualquer matriz hermitiana pode ser diagonalizada por uma matriz unitária e que a matriz diagonal resultante tem apenas entradas reais. Isso implica que todos os autovalores de uma matriz hermitiana A com dimensão n são reais e que A possui n autovetores linearmente independentes. Além disso, uma matriz hermitiana tem autovetores ortogonais para autovalores distintos. Mesmo que existam autovalores degenerados, sempre é possível encontrar uma base ortogonal de ℂn consistindo em n autovetores de A.
- A soma de quaisquer duas matrizes hermitianas é hermitiana.
- Prova:
como afirmado.
- A inversa de uma matriz hermitiana invertível também é hermitiana.
- Prova: Se
então
de modo que
como afirmado.
- O produto de duas matrizes hermitianas A e B é hermitiano se, e somente se, AB = BA.
- Prova: Observe que
portanto
se e somente se ![{\displaystyle AB=BA.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c11e0bfc4b5c228062a3f3e8f29c759d8f2a77e7)
- Consequentemente, An é hermitiana se A é hermitiana e n é um número inteiro.
- Para um vetor a valores complexos arbitrário v, o produto
é real, dado que
Isso é especialmente importante em física quântica, onde as matrizes hermitianas representam operadores que medem propriedades de um sistema, por exemplo, rotação total, que precisam ser reais.
- As matrizes hermitianas complexas n por n não formam um espaço vectorial sobre os números complexos, ℂ, uma vez que a matriz identidade In é hermitiana, mas i In não é. No entanto as matrizes hermitianas complexas formam um espaço vetorial sobre os números reais, ℝ. No espaço vectorial de dimensão 2n2 das matrizes complexas n × n sobre ℝ, as matrizes complexas hermitianas formam um subespaço de dimensão n2. Se Ejk indica a matriz n por n com um 1 na posição j,k e zeros nas demais entradas, uma base (ortonormal em relação ao produto interno de Frobenius) pode ser descrita como se segue:
- juntamente com o conjunto de matrizes da forma
![{\displaystyle {\frac {1}{\sqrt {2))}\left(E_{jk}+E_{kj}\right){\text{ para ))1\leq j<k\leq n\quad \left({\frac {n^{2}-n}{2)){\text{ matrizes))\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef9c8a2e2eb3ce7f00de15c683ae79a464088df5)
- e as matrizes
![{\displaystyle {\frac {i}{\sqrt {2))}\left(E_{jk}-E_{kj}\right){\text{ para ))1\leq j<k\leq n\quad \left({\frac {n^{2}-n}{2)){\text{ matrizes))\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45813541076b66d5e7cc62bfc1ef09effb849995)
- em que
denota o número complexo
chamado de unidade imaginária .
- Se n autovetores ortonormais
de uma matriz hermitiana forem escolhidos e escritos como as colunas da matriz U, então uma decomposição em autovalores de A será
em que
e portanto
- em que
são os autovalores na diagonal da matriz diagonal ![{\displaystyle \Lambda .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69f31ae3ac22be0a40c4c1321e4792374285282e)
- O determinante de uma matriz hermitiana é real:
- Prova:
![{\displaystyle \det(A)=\det \left(A^{\mathsf {T))\right)\quad \Rightarrow \quad \det \left(A^{\mathsf {H))\right)={\overline {\det(A)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1240df64c3010e0be6eae865fdfcfe6f77bf5eb)
- Portanto, se
![{\displaystyle A=A^{\mathsf {H))\quad \Rightarrow \quad \det(A)={\overline {\det(A))).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c50b9e388ab7113e1fd94f3a08ca9e943dcd0769)
- (Alternativamente, o determinante é o produto dos autovalores da matriz e, como mencionado anteriormente, os autovalores de uma matriz hermitiana são reais.)
Fatos adicionais relacionados às matrizes hermitianas incluem:
- A soma de uma matriz quadrada e sua transposta conjugada
é hermetiana.
- A diferença de uma matriz quadrada e sua transposta conjugada
é skew-hermitiana (também chamada de anti-hermitiana). Isso implica que o comutador de duas matrizes hermitianas é skew-hermitiano.
- Uma matriz quadrada arbitrária C pode ser escrita como a soma de uma matriz hermitiana A e de uma matriz skew-hermitiana B. Isso é conhecido como a decomposição de Toeplitz de C [3] :p. 7
Em matemática, para uma dada matriz complexa hermitiana M e um vetor não nulo x, o quociente de Rayleigh[4]
é definido como: [3] :p. 234 [5]
Para matrizes e vetores reais, a condição de ser hermitiana reduz-se à de ser simétrica, e a conjugada transposta
à transposição usual
Observe que
para qualquer escalar real diferente de zero
Lembre-se também de que uma matriz hermitiana (ou simétrica real) tem autovalores reais.
Pode ser mostrado[carece de fontes] que, para uma dada matriz, o quociente de Rayleigh assume o seu valor mínimo
(o menor autovalor de M) quando
é
(o autovetor correspondente). Similarmente,
e
O quociente de Rayleigh é usado no teorema min-max para obter valores exatos de todos os autovalores. Também é usado em algoritmos de autovalores para obter uma aproximação de um autovalor a partir de uma aproximação de um autovetor. Especificamente, essa é a base para a iteração de quociente de Rayleigh.
A imagem do quociente de Rayleigh (para uma matriz que não é necessariamente hermitiana) é chamado de imagem numérica (ou espectro em análise funcional). Quando a matriz é hermitiana, a imagem numérica é igual à norma espectral. Ainda em análise funcional,
é conhecido como raio espectral. No contexto de C*-álgebras ou de mecânica quântica algébrica, a função que associa M ao quociente de Rayleigh R(M, x) para um x fixo e M variando pela álgebra seria chamada de "estado vetorial" da álgebra.
- Hazewinkel, Michiel, ed. (2001), «Hermitian matrix», Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer Hazewinkel, Michiel, ed. (2001), «Hermitian matrix», Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer
- Visualizar a matriz hermitiana como uma elipse com o Dr. Geo, de Chao-Kuei Hung da Universidade de Chaoyang, fornece uma explicação mais geométrica.
- "Hermitian Matrices" . MathPages.com .