Normaler Operator
# Normaler Operator

In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra.

## Definition

Ist $X$ ein Hilbertraum und bezeichnet ${\mathcal {L}}(X)$ die Menge aller stetigen Endomorphismen von $X$, so heißt ein Operator $A\in {\mathcal {L}}(X)$ normal, falls er mit seinem adjungierten Operator $A^{\ast }$ kommutiert, also wenn

    $AA^{\ast }=A^{\ast }A$

gilt.

## Beispiele

* Selbstadjungierte und unitäre Operatoren sind offenbar normal.
* Der unilaterale Shift ist ein Beispiel für einen nicht-normalen Operator.

## Eigenschaften

Sei $A\in {\mathcal {L}}(X)$ ein normaler Operator. Dann gilt:

* $\|Ax\|=\|A^{\ast }x\|$ für alle $x\in X$
* $\|Ax\|^{2}\leq \|A^{2}x\|\|x\|$ für alle $x\in X$
* Die Operatornorm von $A$ ist gleich dem Spektralradius: $\|A\|=\sup\{|\lambda |\colon \lambda \in \sigma (A)\}.$ Dabei bezeichnet $\sigma (A)$ das Spektrum von $A$.
* Die von $A$ erzeugte $C^*-Algebra$ und die von $A$ erzeugte Von-Neumann-Algebra sind kommutativ. Dieser Sachverhalt ermöglicht einen Funktionalkalkül.
* Die Diagonalisierbarkeit normaler Matrizen in der linearen Algebra verallgemeinert sich auf normale Operatoren in Form des Spektralsatzes.
* Eine Klassifikation normaler Operatoren besteht bzgl. unitärer Äquivalenz modulo kompakter Operatoren, indem man zur Calkin-Algebra übergeht, die im endlich-dimensionalen Fall $\{0\}$ ist. Das ist im Artikel zur Calkin-Algebra ausgeführt.
* Ein beschränkter Operator $A$ in einem komplexen Hilbertraum lässt sich zerlegen in $A=W_{1}+i\,W_{2}$ mit dem „Realteil“ $W_{1}={\tfrac {1}{2}}(A+A^{\ast })$ und dem „Imaginärteil“ $W_{2}={\tfrac {1}{2i}}(A-A^{\ast }).$ Dabei sind die Operatoren $W_{i}$ selbstadjungiert. $A$ ist genau dann normal, wenn $W_{1}W_{2}=W_{2}W_{1}$.

## Verwandte Begriffe

Ein Operator $A\in {\mathcal {L}}(X)$ heißt

* quasinormal, falls $A\,\!$ mit $A^{\ast }A$ vertauscht, das heißt $AA^{\ast }A=A^{\ast }AA$.
* subnormal, falls es einen Hilbertraum $Y$ gibt, so dass $X$ Unterraum von $Y$ ist, und einen normalen Operator $B\in {\mathcal {L}}(Y)$, so dass $B(X)\subset X$ und $A=B|_{X}$.
* hyponormal, falls $\|A^{\ast }x\|\leq \|Ax\|$ für alle $x\in X$.
* paranormal, falls $\|Ax\|^{2}\leq \|A^{2}x\|\|x\|$ für alle $x\in X$.
* normaloid, falls Operatornorm = Spektralradius, d. h.: $\|A\|=\sup\{|\lambda |;\lambda \in \sigma (A)\}$.

Es gelten folgende Implikationen:

normal $\Rightarrow$ quasinormal $\Rightarrow$ subnormal $\Rightarrow$ hyponormal $\Rightarrow$ paranormal $\Rightarrow$ normaloid.

## Unbeschränkte Operatoren

Ein unbeschränkter Operator $A:D(A)\subseteq X\to X$ mit Definitionsbereich $D(A)$ heißt normal falls

    $\|Ax\|=\|A^{\ast }x\|,\qquad \forall x\in D(A)=D(A^{\ast })$

gilt. Oben genannte äquivalente Charakterisierung der Normalität zeigt, dass es sich um eine Verallgemeinerung der Normalität beschränkter Operatoren handelt. Alle selbstadjungierten Operatoren sind normal, denn für diese gilt $A^{\ast }=A$.

