Algèbre C*

Une algèbre C* est une *‑algèbre de Banach complexe A munie d'une involution * et d'une norme satisfaisant l'identité C*, ||a* a|| = ||a||^2 pour tout a∈A ; de façon équivalente la norme vérifie ||a*||=||a|| et est sous‑multiplicative et complète. L'unitalité est facultative ; on distingue variantes commutatives et non commutatives.