Algèbre de Banach

Pour les articles homonymes, voir Algèbre (homo-
nymie).
En mathématiques, l'algèbre de Banach est une des
structures fondamentales de l'analyse fonctionnelle, por-
tant le nom du mathématicien polonais Stefan Banach
(1892-1945).
1 Définition
Définition — Une algèbre de Banach (A, +, •, ×, ║ ║)
sur le corps K = ℝ ou ℂ est une K-algèbre associative
normée telle que l'espace vectoriel normé sous-jacent soit
en outre un espace de Banach (i.e. un espace vectoriel
normé complet).
Suivant les auteurs, la structure d'algèbre exige ou non
la présence d'un élément unité[1] . Les termes algèbre uni-
taire et algèbre non unitaire permettent de différencier les
structures. En analyse fonctionnelle, une algèbre de Ba-
nach est dite unitaire lorsqu'il existe un élément neutre,
nécessairement unique, e, et que la norme de e est 1.
On parle en outre d'algèbre de Banach commutative
quand la loi produit est commutative.
1.1 Exemples
• L'ensemble des nombres réels muni de la valeur ab-
solue, de la somme et du produit est une algèbre de
Banach réelle et unitaire. De même, l'ensemble des
nombres complexes, muni du module, de la somme
et du produit est une algèbre de Banach complexe et
unitaire. Ces exemples sont fondamentaux.
• Si H est un espace vectoriel réel ou complexe
normé complet, l'algèbre des opérateurs linéaires
bornés (c'est-à-dire des endomorphismes réels ou Le groupe G des éléments inversibles d'une algèbre de
complexes continus) de H est une algèbre de Ba- Banach est un ouvert.
nach réelle ou complexe (unitaire) pour la norme
d'opérateurs correspondante, la somme et la com-
position d'opérateurs. Delà en découle la théorie de
la représentation des algèbres de Banach.
• L'algèbre ℓ∞ (X) des fonctions bornées sur un en-
semble X (à valeurs réelles ou complexes), munie
de la norme de la convergence uniforme.
• Si X est un espace localement compact, la sous-
algèbre des fonctions continues et bornées.
• L'espace L1 des fonctions intégrables sur ℝ (modu-
lo l'égalité presque partout) est une algèbre de Ba-
nach non unitaire relativement au produit de convo-
lution. Dans la théorie de Riemann de l'intégration,
cette algèbre est construite à unique isomorphisme
près par complétion d'un espace raisonnable, par
exemple l'espace des fonctions continues à support
compact, muni de la norme L1 .
• Plus généralement, si G est un groupe localement
compact et μ « sa » mesure de Haar, l'espace de Ba-
nach L1 (μ) est une algèbre de Banach pour le produit
de convolution xy(g) = ∫ x(h) y(h−1 g) dμ(h).
2 Propriétés des algèbres unitaires
Soit A une algèbre de Banach unitaire, d'élément unité e.
2.1 Propriétés de l'application de passage
à l'inverse
Comme dans toute algèbre, les éléments inversibles de
A forment un groupe. Tout élément x appartenant à la
boule ouverte de centre e et de rayon 1 en fait partie, et
son inverse peut être exprimé comme somme de la série
géométrique de raison x.
∑
+∞
−1
∥x∥ < 1 =⇒ (e − x) = xn
n=0
Démonstration
Soient a un élément inversible de A et

• L'exemple (précédent) concerne notamment les al-

gèbres d'endomorphismes en dimension finie : en r = ∥a−1 ∥−1 .
particulier, Mn(ℝ) et Mn(ℂ) sont des algèbres de
Banach, pour une norme matricielle classique. Soit x un élément de A tel que

1
2 4 ARTICLE CONNEXE

isomorphe, par l'intermédiaire d'une isométrie, au corps

des nombres complexes (théorème de Gelfand-Mazur) ;
∥a − x∥ < r. en particulier, les idéaux maximaux des algèbres de Ba-
nach unitaires complexes sont des hyperplans fermés.
Alors

3 Note
∥a−1 (a − x)∥ < 1
[1] Dans le tome II de ses Éléments d'analyse, Jean Dieudonné
donc e − a−1 (a − x) est inversible. L'élément a étant
impose l'existence d'un élément neutre dans la définition
inversible, le produit d'une algèbre de Banach. Au contraire, N. Bourbaki ne le
suppose pas[réf. souhaitée] .

a(e − a−1 (a − x)) = x

4 Article connexe
l'est aussi ; ainsi la boule ouverte de centre a et de rayon r
est incluse dans le groupe des inversibles, ce qui démontre
que ce dernier est ouvert. Conjecture de Kaplansky

L'application de passage à l'inverse est un

homéomorphisme de G sur G, ce qui confère à G • Portail de l’analyse
une structure de groupe topologique. Il s’agit même
d'une application différentiable (infiniment, par récur-
rence), la différentielle au point x étant donnée par la
même formule (et la même démonstration) que pour les
matrices inversibles :

dx Inv(h) = −x−1 hx−1 .

L'hypothèse de complétude est essentielle et ces ré-

sultats tombent en défaut dans les algèbres normées
non complètes. Par exemple considérons l'algèbre ℝ[X]
des polynômes à coefficients réels, munie de n'importe
quelle norme d'algèbre. Le groupe des inversibles est ℝ*
qui est inclus dans le sous-espace vectoriel strict ℝ de
ℝ[X] et est donc d'intérieur vide ; il n'est donc pas ou-
vert. Ceci montre en particulier que ℝ[X] ne peut être
muni d'une structure de ℝ-algèbre normée complète.
D'ailleurs, d'après le théorème de Baire, un espace vecto-
riel normé de dimension dénombrable n'est jamais com-
plet : voir le § « Complétude » de l'article sur les espaces
vectoriels normés.

2.2 Idéaux et algèbre quotient

Les idéaux maximaux d'une algèbre de Banach unitaire
sont fermés.
Démonstration

Soient A une algèbre de Banach unitaire, G son groupe

des inversibles et I un idéal maximal de A. I est disjoint
de l'ouvert G. Son adhérence J l'est donc aussi : J est donc
un idéal strict de A. Comme on a par ailleurs I inclus dans
J et I maximal, on a I = J et I est donc fermé dans A.
Une algèbre de Banach unitaire complexe (non commu-
tative a priori) dont tout élément non nul est inversible est
 3

5 Sources, contributeurs et licences du texte et de l’image

5.1 Texte
• Algèbre de Banach Source : http://fr.wikipedia.org/wiki/Alg%C3%A8bre%20de%20Banach?oldid=109957630 Contributeurs : Phe-bot,
Touriste, Dake, Sherbrooke, Kilom691, Necrid Master, YurikBot, Flo, Pduceux, Jean-Luc W, L'œuf, Euterpia, Peps, Ektoplastor, Thijs !bot,
Mû, Valvino, TouristeCatégorisant, SieBot, Ambigraphe, SniperMaské, Kikoogay, HerculeBot, WikiCleanerBot, Luckas-bot, Anne Bauval,
Cynddl, EmausBot, Erasmus.new, WikitanvirBot, ChuispastonBot, Addbot et Anonyme : 3

5.2 Images
• Fichier:Disambig_colour.svg Source : http://upload.wikimedia.org/wikipedia/commons/3/3e/Disambig_colour.svg Licence : Public do-
main Contributeurs : Travail personnel Artiste d’origine : Bub’s
• Fichier:Nuvola_apps_kmplot.svg Source : http://upload.wikimedia.org/wikipedia/commons/e/e8/Nuvola_apps_kmplot.svg Licence :
LGPL Contributeurs : ? Artiste d’origine : ?

5.3 Licence du contenu

• Creative Commons Attribution-Share Alike 3.0