Une algèbre de Banach est une algèbre A sur R ou C qui est en même temps un espace de Banach pour une norme ||·|| vérifiant ||xy|| ≤ ||x||·||y|| pour tous x,y∈A et telle que A soit complète pour cette norme. L'algèbre peut être unitaire ou non ; la continuité de la multiplication est garantie par l'inégalité de la norme.

Principe

Compatibilité analytico‑algébrique : la norme contrôle la multiplication et la complétude permet d'appliquer des techniques analytiques (limites, séries, formules de rayon spectral) aux éléments algébriques.

Démonstration

Exemples : C([0,1]) muni de la multiplication point par point et de la norme du sup est une algèbre de Banach commutative et unitaire ; L1(G) muni de la convolution et de la norme L1 est une algèbre de Banach (généralement non commutative) associée à un groupe localement compact G.

Mauvaise application

Prétendre que tout homomorphisme d'algèbres entre algèbres de Banach est automatiquement continu sans hypothèses supplémentaires, ou ignorer la complétude lorsqu'on applique des outils analytiques à des éléments algébriques.

Conséquence

La structure d'algèbre de Banach donne accès à la théorie spectrale des éléments, à la transformée de Gelfand dans le cas unitaire commutatif, à des calculs fonctionnels et des résultats de stabilité pour perturbations ; les méthodes analytiques enrichissent l'étude algébrique.

Inversion

Une algèbre dépourvue d'une norme complète compatible ou dont la multiplication viole l'inégalité de norme n'est pas une algèbre de Banach ; les algèbres normées non complètes sont des objets strictement plus faibles.

Limite

Exige une topologie définie par une norme et la complétude ; exclut les algèbres topologiques plus générales (localement convexes, de Fréchet) qui ne sont pas normables ; les scalaires réels et complexes sont admis, mais une structure *‑ ou l'identité C* sont des contraintes supplémentaires au‑delà des axiomes de Banach.

Tension sémantique

Tension sémantique entre algèbre de Banach, C*-algèbre et algèbre normée : l'algèbre de Banach ajoute la complétude à une algèbre normée ; la C*-algèbre impose une involution et l'identité C*, rendant la structure beaucoup plus rigide qu'une algèbre de Banach générique.

Synthèse

Une algèbre de Banach relie la multiplication algébrique à une norme complète rendant la multiplication continue, ce qui permet d'appliquer méthodes spectrales et analytiques aux objets algébriques et forme le socle analytique pour l'analyse d'opérateurs et harmonique.