# Normale matrix

In de lineaire algebra is een normale matrix een vierkante matrix van complexe getallen waarvan de eigenvectoren onderling loodrecht op elkaar staan.
Dat betekent dat een vierkante matrix $A$ over de complexe getallen normaal is als $A$ en de geconjugeerde getransponeerde matrix $A^{*}$ ervan commutatief zijn:
    $A^{*}A=AA^{*}$
De geconjugeerde getransponeerde matrix $A^{*}$ heeft als elementen de complex geconjugeerde elementen van de getransponeerde matrix van $A$
Een complexe matrix $A$ is dan en slechts dan normaal wanneer $A$ gelijksoortig met een diagonaalmatrix $D$ is, dus zodat er een matrix $U$ is waarvoor $A=U^{-1}DU$. De matrix $U$ moet een unitaire matrix zijn.
Dit betekent dat $A$ door een geschikte rotatie van de complexe basisvectoren in een diagonaalmatrix overgaat. Met andere woorden: $A$ is dan en slechts dan normaal als er een diagonaalmatrix $D$ en een unitaire matrix $U$ bestaan, zodanig dat $A=U^{-1}DU$. Voor een reële normale matrix kan dit een complexe rotatie naar niet-reële basisvectoren zijn. De kolommen van $U^{-1}$ zijn de eigenvectoren van $A$

## Voorbeelden

* Alle complexe veelvouden van de eenheidsmatrix zijn normaal, omdat ze met alle matrices commutatief zijn.
* Iedere hermitische matrix is normaal, omdat daarvoor geldt dat $A^{*}=A$. Om dezelfde reden zijn anti-hermitische matrices, waarvoor $A^{*}=-A$, normaal. Reële symmetrische en antisymmetrische matrices zijn hiervan bijzondere gevallen.
* Iedere unitaire matrix is normaal. Een matrix is unitair wanneer $A^{*}A=I$. Door van beide leden de geconjugeerde getransponeerde te nemen, wordt dit $AA^{*}=I$. Onder de reële matrices zijn dit de orthogonale matrices.
* Er bestaan ook normale matrices die niet tot een van deze bijzondere verzamelingen behoren, bijvoorbeeld
       $A={\begin{pmatrix}1&1&0\\0&1&1\\1&0&1\end{pmatrix}}$
    is normaal omdat
       $A^{*}={\begin{pmatrix}1&0&1\\1&1&0\\0&1&1\end{pmatrix}}\$ en
       $AA^{*}={\begin{pmatrix}2&1&1\\1&2&1\\1&1&2\end{pmatrix}}=A^{*}A$
* De verzameling van normale matrices is noch voor de optelling, noch voor de matrixvermenigvuldiging gesloten. Als evenwel twee normale matrices $A$ en $B$ commutatief zijn, dan zijn hun som en product ook normaal. Dit doet zich voor als $A$ en $B$ gelijksoortige matrices zijn, dus zodat $A=U^{-1}BU$ met $U$ een unitaire matrix.

## Eigenschappen

* Een reële matrix $A$ is normaal dan en slechts dan als $A$ en de getransponeerde $A^{\text{T}}$ van $A$ commutatief zijn:
       $A^{\text{T}}A=AA^{\text{T}}$
* Een complexe matrix is dan en slechts dan normaal als de eigenvectoren ervan loodrecht op elkaar staan. Hierbij wordt loodrecht geïnterpreteerd in termen van het standaardinproduct op de complexe n-dimensionale ruimte.
* Een complexe matrix $A$ is dan en slechts dan normaal als $A$ en de hermitische matrix $A^{*}$ van $A$ commutatief zijn:
       $A^{*}A=AA^{*}$
* Een willekeurige vierkante matrix $A$ heeft een polaire ontbinding $A=UP$, waarin $U$ een unitaire matrix is en $P$ een positief semi-definiete matrix. Als $A$ inverteerbaar is, zijn $U$ en $P$ eenduidig bepaald. Als $A$ normaal is, dan zijn $U$ en $P$ commutatief.
* Een driehoeksmatrix die normaal is is een diagonaalmatrix.

## Oneindig-dimensionale ruimten

De spectraalstelling gaat er dieper op in wanneer matrices gelijkvormig zijn.
Een normale operator $A$ in een complexe hilbertruimte is een begrensde lineaire operator of transformatie van de hilbertruimte, die met zijn toegevoegde operator commutatief is.
Voor normale operatoren bestaat een spectraaltheorie. Met iedere meetbare complexe functie $f$ op het spectrum van de operator associeert men op natuurlijk wijze een operator $f(A).$ Met de complex toegevoegde functie ${\overline {f}}$ correspondeert de geconjugeerde getransponeerde operator $f(A^{*})=f(A)^{*}$ en de vermenigvuldiging van functies gaat in de samenstelling van operatoren over.
Als de normale operator compact is, dan heeft de hilbertruimte een orthonormale schauderbasis, die volledig uit eigenvectoren van de operator bestaat.
* ↑ $A^{*}={\overline {A}}^{\text{T}}$, met de aantekening dat ${\overline {A}}$ de complex geconjugeerde van $A$ is.