Normaler Operator

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

Definition

Ist ein Hilbertraum und bezeichnet ${\mathcal {L}}(X)$ die Menge aller stetigen Endomorphismen von , 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 ist gleich dem Spektralradius: $\|A\|=\sup\{|\lambda |\colon \lambda \in \sigma (A)\}.$ Dabei bezeichnet $\sigma (A)$ das Spektrum von .
Die von erzeugte C^*-Algebra und die von 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.
Ein beschränkter Operator 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. ist genau dann normal, wenn $W_{1}W_{2}=W_{2}W_{1}$ .

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$ .

Basierend auf einem Artikel in:

Wikipedia.de

Normaler Operator

Definition

Beispiele

Eigenschaften

Verwandte Begriffe

Unbeschränkte Operatoren