Hermiittinen matriisi

Hermiittinen matriisi on neliömatriisi, jonka alkiot ovat kompleksilukuja ja joka on itsensä hermitoitu matriisi, eli matriisi on oman transpoosinsa kompleksikonjugaatti.^[1] Toisin sanoen rivillä ${\displaystyle i}$ ja sarakkeella ${\displaystyle j}$ oleva alkio on rivillä ${\displaystyle j}$ ja sarakkeella ${\displaystyle i}$ olevan alkion kompleksikonjugaatti:

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

Voidaan myös merkitä:

${\displaystyle {\boldsymbol {A}}={\boldsymbol {A}}^{*}\,}$,

tai kuten on tavallisempaa fysiikassa

${\displaystyle {\boldsymbol {A}}={\boldsymbol {A}}^{\dagger }\,.}$

Esimerkiksi

${\displaystyle {\begin{bmatrix}3&2+i\\2-i&1\end{bmatrix}}}$

on hermiittinen matriisi.

Jokaisen hermiittisen matriisin päädiagonaalin alkiot ovat aina reaalilukuja. Matriisi, jonka kaikki alkiot ovat reaalilukuja, on hermiittinen vain, jos se on symmetrinen matriisi, eli jos se on symmetrinen päädiagonaalin suhteen. Reaalinen symmetrinen matriisi on täten erikoistapaus hermiittisestä matriisista.

Jokainen hermiittinen matriisi on normaali, joten siihen voidaan soveltaa spektraalilausetta. Sen mukaan jokainen hermiittinen matriisi voidaan diagonalisoida unitaarisen matriisin avulla ja syntyneen diagonaalimatriisin alkiot ovat reaalilukuja. Tästä seuraa kaksi keskeistä tulosta:

• Hermiittisen matriisin ominaisarvot ovat reaalisia.
• Eri suuruisiin ominaisarvoihin liittyvät ominaisvektorit ovat toisiinsa nähden ortogonaalisia.

On siis mahdollista löytää ${\displaystyle \mathbb {C} ^{n}}$:n ortonormaali kanta, joka koostuu yksinomaan hermiittisen matriisin ominaisvektoreista.

Kahden hermiittisen matriisin summa on hermiittinen matriisi ja kääntyvän hermiittisen matriisin käänteismatriisi on hermiittinen. Hermiittisten matriisien ${\displaystyle {\boldsymbol {A}}}$ ja ${\displaystyle {\boldsymbol {B}}}$ tulo on hermiittinen vain, jos matriisit kommutoivat, eli jos ${\displaystyle {\boldsymbol {AB=BA}}}$.

Hermiittiset ${\displaystyle n\times n}$-matriisit muodostavat vektoriavaruuden reaalilukujen suhteen, mutta eivät kompleksilukujen suhteen. Tämän vektoriavaruuden dimensio on ${\displaystyle n^{2}}$. (Yksi vapausaste päälävistäjän alkiota kohti ja kaksi vapausastetta lävistäjän yläpuolella olevaa alkiota kohti.) Jos hermiittisen matriisin kaikki ominaisarvot ovat positiivisia, matriisia kutsutaan positiivisesti definiitiksi. Jos taas kaikki ovat epänegatiivisia, matriisi on positiivisesti semidefiniitti.

• Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013), s. 667 (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-6 (pdf). Viitattu 8.7.2019.