aus Wikipedia, der freien Enzyklopädie
In der Funktionalanalysis verallgemeinert der normale Operator den Begriff der normalen Matrix aus der linearen Algebra . Ist
X
{\displaystyle X}
ein Hilbertraum , so heißt ein Operator
A
∈
L
(
X
)
{\displaystyle A\in {\mathcal {L}}(X)}
normal, falls er mit seiner Adjungierten
A
∗
{\displaystyle A^{\ast }}
kommutiert, d.h. wenn
A
A
∗
=
A
∗
A
.
{\displaystyle AA^{\ast }=A^{\ast }A.}
Dabei bezeichnet
L
(
X
,
Y
)
{\displaystyle {\mathcal {L}}(X,Y)}
die Menge aller stetigen linearen Abbildungen von
X
{\displaystyle X}
nach
Y
{\displaystyle Y}
und
L
(
X
)
:=
L
(
X
,
X
)
{\displaystyle {\mathcal {L}}(X):={\mathcal {L}}(X,X)}
die Menge der stetigen Endomorphismen von
X
{\displaystyle X}
.
Eigenschaften
Sei
A
∈
L
(
X
)
{\displaystyle A\in {\mathcal {L}}(X)}
ein normaler Operator. Dann gilt:
‖
A
x
‖
=
‖
A
∗
x
‖
{\displaystyle \|Ax\|=\|A^{\ast }x\|}
für alle
x
∈
X
{\displaystyle x\in X}
‖
A
x
‖
2
≤
‖
A
2
x
‖
‖
x
‖
{\displaystyle \|Ax\|^{2}\leq \|A^{2}x\|\|x\|}
für alle
x
∈
X
{\displaystyle x\in X}
Operatornorm = Spektralradius , d.h.:
‖
A
‖
=
sup
{
|
λ
|
;
λ
∈
σ
(
A
)
}
{\displaystyle \|A\|=\sup\{|\lambda |;\lambda \in \sigma (A)\}}
Die von
A
{\displaystyle A}
erzeugte C* -Algebra und die von
A
{\displaystyle 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 endlich-dimensionalen Fall
{
0
}
{\displaystyle \{0\}}
ist. Das ist im Artikel zur Calkin-Algebra ausgeführt.
Verwandte Begriffe
Ein Operator
A
∈
L
(
X
)
{\displaystyle A\in {\mathcal {L}}(X)}
heißt
quasinormal , falls
A
{\displaystyle A\,\!}
mit
A
∗
A
{\displaystyle A^{\ast }A}
vertauscht, das heißt
A
A
∗
A
=
A
∗
A
A
{\displaystyle AA^{\ast }A=A^{\ast }AA}
.
subnormal , falls es einen Hilbertraum
Y
{\displaystyle Y}
gibt, so dass
X
{\displaystyle X}
unterraum von
Y
{\displaystyle Y}
ist, und einen normalen Operator
B
∈
L
(
Y
)
{\displaystyle B\in {\mathcal {L}}(Y)}
, so dass
B
(
X
)
⊂
X
{\displaystyle B(X)\subset X}
und
A
=
B
|
X
{\displaystyle A=B|_{X}\,\!}
hyponormal , falls
‖
A
∗
x
‖
≤
‖
A
x
‖
{\displaystyle \|A^{\ast }x\|\leq \|Ax\|}
für alle
x
∈
X
{\displaystyle x\in X}
.
paranormal , falls
‖
A
x
‖
2
≤
‖
A
2
x
‖
‖
x
‖
{\displaystyle \|Ax\|^{2}\leq \|A^{2}x\|\|x\|}
für alle
x
∈
X
{\displaystyle x\in X}
.
normaloid , falls Operatornorm = Spektralradius, d.h.:
‖
A
‖
=
sup
{
|
λ
|
;
λ
∈
σ
(
A
)
}
{\displaystyle \|A\|=\sup\{|\lambda |;\lambda \in \sigma (A)\}}
.
Es gelten folgende Implikationen:
normal
⇒
{\displaystyle \Rightarrow }
quasinormal
⇒
{\displaystyle \Rightarrow }
subnormal
⇒
{\displaystyle \Rightarrow }
hyponormal
⇒
{\displaystyle \Rightarrow }
paranormal
⇒
{\displaystyle \Rightarrow }
normaloid.
Literatur
Harro Heuser: Funktionalanalysis . B.G. Teubner, Stuttgart (1986), 3-519-22206-X.