Eine C*-Algebra ist eine komplexe Banach‑*‑Algebra A mit einer Involution * und einer Norm, die die C*-Identität ||a* a|| = ||a||^2 für alle a∈A erfüllt; äquivalent gilt ||a*||=||a||, die Norm ist submultiplikativ und vollständig. Einheitlichkeit ist optional; es gibt kommutative und nichtkommutative Varianten.

Prinzip

C*-Identitätsprinzip: Involution und Norm sind eng verknüpft, so dass analytische Eigenschaften (Norm, Vollständigkeit) die algebraische *‑Struktur widerspiegeln, was Spektraltheorie und Funktionalkalkül ermöglicht und die algebraischen Möglichkeiten einschränkt.

Demonstration

Kanonisches Beispiel: B(H), die Algebra der beschränkten linearen Operatoren auf einem Hilbert‑Raum mit Operatornorm und Adjungierung als Involution, ist eine C*-Algebra; kommutatives Beispiel: C0(X) mit Supremumsnorm und komplexer Konjugation als Involution.

Fehlanwendung

Anzunehmen, jede Banach‑*‑Algebra sei eine C*-Algebra, ohne die C*-Identität zu prüfen oder eine andere Involution zu verwenden; Normabschluss mit C*-Eigenschaft zu verwechseln.

Konsequenz

C*-Algebren besitzen einen mächtigen Funktionalkalkül, Spektraltheorie und Darstellungstheorie (z. B. GNS‑Konstruktion); kommutative C*-Algebren korrespondieren zu lokal kompakten Hausdorff‑Räumen und verbinden so mit der Topologie.

Umkehrung

Eine Banach‑*‑Algebra, die die C*-Identität nicht erfüllt oder eine inkompatible Involution hat, ist die inverse Gestalt; solche Algebren besitzen nicht die strikte spektrale Kontrolle von C*-Algebren.

Abgrenzung

Voraussetzung sind komplexe Skalare, eine Banach‑Norm und eine Involution *, die die C*-Identität erfüllt; reale Analogien und rein algebraische *‑Algebren liegen außerhalb der strikten Kategorie der C*-Algebren, und Von‑Neumann‑Algebren sind weiter durch schwach‑operatorische Abschlüsse abgegrenzt.

Semantische Spannung

Spannung zwischen C*-Algebra und Von‑Neumann‑Algebra: Beide sind *‑Algebren von Operatoren, doch C*-Algebren sind normabgeschlossen, während Von‑Neumann‑Algebren in schwächeren Operatorstopologien abgeschlossen sind und andere Charakterisierungen besitzen.

Synthese

Eine C*-Algebra verknüpft eine *‑Operation mit einer Banach‑Norm durch die C*-Identität, so dass algebraisches Adjungieren und analytische Normen zusammenfallen und einen stabilen Rahmen für Operatorentheorie, nichtkommutative Topologie und spektrale Analyse liefern.