Normaalne maatriks

Lineaaralgebras nimetatakse kompleksarvuliste elementidega ruutmaatriksit A normaalseks, kui see kommuteerub oma kaasmaatriksiga:

$A{A}^{†}=A^{†}A.$

Omadused

Iga maatriks on unitaarse maatriksi abil diagonaliseeritav parajasti siis, kui see on normaalne. See tähendab, et maatriks A on normaalne parajasti siis, kui see on esitatav diagonaalse maatriksi Λ ja unitaarse maatriksi U kaudu nii, et

$𝐀=𝐔\mathrm{\Lambda }{𝐔}^{*}$

kus

$\mathrm{\Lambda }=\mathrm{diag}({\lambda }_1,{\lambda }_2,\dots )$

${𝐔}^{*}𝐔=𝐔{𝐔}^{*}=𝐈.$

Tuleb rõhutada, et kuigi iga normaalne maatriks on diagonaliseeritav, pole iga diagonaliseeritav maatriks normaalne.

Maatriksi normaalsusega samaväärsetest tingimustest saab koostada üsna pika nimekirja. Olgu A n×n maatriks. Järgmised väited on samaväärsed:

1. A on normaalne.
2. A on diagonaliseeritav unitaarse maatriksi abil.
3. Iga vektor n-mõõtmelises vektorruumis (üle kompleksarvude) on esitatav maatriksi A ortogonaalsete omavektorite lineaarkombinatsioonina.
4. $\Vert Ax\Vert =\Vert A^{*}x\Vert$ iga vektori x korral.
5. $\mathrm{tr}(A^{*}A)=\sum _j^n|{\lambda }_j{|}^2.$ (See tähendab, et maatriksi A Frobeniuse norm on arvutatav A omaväärtuste abil.)
6. Maatriksi A Hermiitiline osa $\frac{1}{2}(A+A^{*})$ ja antihermiitiline osa $\frac{1}{2}(A-A^{*})$ kommuteeruvad.
7. $A^{*}$ on esitatav n-1 järku polünoomina maatriksist $A$.
8. $A^{*}=AU$, kus U on unitaarne maatriks.
9. U ja P kommuteeruvad, kus A = UP on maatriksi A polaarne dekompositsioon (U on unitaarne ja P mittenegatiivne maatriks).
10. A kommuteerub mõne normaalse maatriksiga N, millel pole korduvaid omaväärtuseid.

Erijuhud

Järgnevad kompleksarvulisete elementidega maatriksid on normaalsete maatriksite erijuhud: hermiitlised maatriksid, antihermiitilised maatriksid jaunitaarsed maatriksid.

Järgnevad reaalarvuliste elementidega maatriksid on normaalsete maatriksite erijuhud: sümmeetrilised maatriksid, kaldsümmeetrilised maatriksid ja ortogonaalsed maatriksid

Vaata ka

• Normaalne operaator