In der Mathematik nennt man ein Element einer *-Algebra normal, wenn es mit seinem Adjungierten kommutiert.
Definition
Sei eine *-Algebra, so heißt ein Element normal, falls es mit kommutiert, also die Gleichung erfüllt.
Die Menge der normalen Elemente wird mit oder bezeichnet.
Besonders interessant ist der Fall, bei dem eine vollständige normierte *-Algebra ist, die die C*-Eigenschaft () erfüllt, eine sogenannte C*-Algebra.
Beispiele
Jedes selbstadjungierte Element einer *-Algebra ist normal. Jedes unitäre Element einer *-Algebra ist normal. Ist eine C*-Algebra und ein normales Element, so erhält man aus dem stetigen Funktionalkalkül für stetige Funktionen auf dem Spektrum weitere normale Elemente
Kriterien
Sei eine *-Algebra. Dann gilt:
Ein Element ist genau dann normal, wenn die von erzeugte *-Unteralgebra, d. h. die kleinste *-Unteralgebra, die enthält, kommutativ ist. Jedes Element lässt sich eindeutig in Real- und Imaginärteil zerlegen, das heißt es existieren selbstadjungierte Elemente , sodass , wobei die imaginäre Einheit bezeichnet. Genau dann ist normal, wenn gilt, das heißt, wenn Real- und Imaginärteil kommutieren.
Eigenschaften In *-Algebren
Sei ein normales Element einer *-Algebra Dann gilt:
Das adjungierte Element ist ebenfalls normal, da für die Involution * gilt.
In C*-Algebren
Sei ein normales Element einer C*-Algebra Dann gilt:
Es ist , da für normale Elemente mit der C*-Eigenschaft gilt. Jedes normale Element ist ein normaloides Element, das heißt, der Spektralradius ist gerade die Norm von , also Dies folgt aus der Spektralradiusformel durch wiederholtes Anwenden der vorherigen Eigenschaft. Es lässt sich ein stetiger Funktionalkalkül entwickeln, der es – vereinfacht gesagt – ermöglicht, in stetige Funktionen auf dem Spektrum von einzusetzen.
Siehe auch
Normale Matrix Normaler Operator
Literatur
Jacques Dixmier: C*-algebras. Aus dem Französischen von Francis Jellett. North-Holland, Amsterdam/New York/Oxford 1977, ISBN 0-7204-0762-1. Dirk Werner: Funktionalanalysis. 8. Auflage. Springer, 2018, ISBN 978-3-662-55407-4.
Einzelnachweise
Kategorie:Funktionalanalysis