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.

Principe

Principe de l'identité C* : l'involution et la norme sont étroitement liées de sorte que les propriétés analytiques (norme, complétude) reflètent la *‑structure algébrique, autorisant calcul fonctionnel et théorie spectrale tout en rigidifiant la structure algébrique.

Démonstration

Exemple canonique : B(H), l'algèbre des opérateurs bornés sur un espace de Hilbert avec la norme d'opérateur et l'adjoint comme involution, est une C*-algèbre ; exemple commutatif : C0(X) des fonctions continues s'annulant à l'infini, avec la norme du sup et la conjugaison complexe comme involution.

Mauvaise application

Prétendre qu'une quelconque *‑algèbre de Banach est une C*-algèbre sans vérifier l'identité C* ou en changeant l'involution ; confondre fermeture au sens de la norme et propriété C*.

Conséquence

Les C*-algèbres admettent un calcul fonctionnel puissant, théorie spectrale et théorie des représentations (construction GNS) ; les C*-algèbres commutatives sont équivalentes à des espaces localement compacts de Hausdorff, reliant à la topologie.

Inversion

Une *‑algèbre de Banach qui viole l'identité C* ou possède une involution incompatible est la notion inverse ; de telles algèbres n'ont pas le contrôle spectral rigide des C*-algèbres.

Limite

Exige un corps des scalaires complexe, une norme de Banach et une involution * satisfaisant l'identité C* ; les analogues réels et les *‑algèbres purement algébriques sont hors de la catégorie stricte des C*-algèbres, et les algèbres de von Neumann se distinguent par des clausures dans une topologie d'opérateurs plus faible.

Tension sémantique

Tension sémantique entre C*-algèbre et algèbre de von Neumann : toutes deux sont des *‑algèbres d'opérateurs mais la fermeture normique des C*-algèbres contraste avec la fermeture faible des algèbres de von Neumann et leurs caractérisations bicommutantes.

Synthèse

Une algèbre C* couple une involution * et une norme de Banach via l'identité C*, faisant coïncider adjoint algébrique et normes analytiques et fournissant un cadre robuste pour la théorie des opérateurs, la topologie non commutative et l'analyse spectrale.