Álgebra C*

Una álgebra C* es una *‑álgebra de Banach compleja A provista de una involución * y una norma que satisface la identidad C*, ||a* a|| = ||a||^2 para todo a en A; equivalentemente ||a*||=||a||, la norma es submultiplicativa y completa. La existencia de unidad es opcional; hay variantes conmutativas y no conmutativas.