C*-Algebra

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.