ALG `
EBRES LOCALEMENT m-CONVEXES 61
4. Th´eor`eme principal
Th´
eor`
eme.Soit Eune alg`ebre localement m-convexe commutative,
compl`ete et unitaire. Alors les conditions suivantes sont ´equivalentes :
(1) Tout ´el´ement xde Ea un spectre compact.
(2) Tout ´el´ement xde Ea un spectre born´e.
(3) Tout ´el´ement xde Eest r´egulier.
(4) L’espace Σ(E)est ´equiborn´e dans le dual (E0, σ(E0, E)).
(5) Le rayon spectral %Eest born´e sur E.
(6) Le rayon spectral %Eest Mackey continu en 0.
(7) L’alg`ebre Eest une Q-alg`ebre bornologique.
D ´e m o n s t r a t i o n. (1)⇒(2) est ´evident.
(2)⇒(3). Si un ´el´ement xde Ea un spectre born´e, cela signifie que
%E(x) est fini. Soit λ > 0 tel que λ>%E(x), alors %E(x/λ)<1 et donc la
s´erie P(xn/λn) converge dans Ed’apr`es la propri´et´e (3) sur %E(x) rappel´ee
dans le paragraphe 2 (Pr´eliminaires).
(3)⇒(1) est bien connue (voir [7] ou [2]).
(2)⇒(4). La propri´et´e (2) signifie que le rayon spectral %E(x) est fini
pour tout x. On sait par ailleurs que pour tout xdans Eon a l’´egalit´e
(2); donc l’ensemble {|ϕ(x)|:ϕ∈M(E)}est born´e, c’est-`a-dire que M(E)
est simplement born´e dans le dual topologique de E. Donc la restriction
`a tout sous-espace tonnel´e de Eest ´equicontinue d’apr´es le th´eor`eme de
Banach–Steinhaus. Montrons que cela a pour cons´equence que M(E), ainsi
que Σ(E), sont ´equiborn´es : en effet, d’apr´es [1], pour tout born´e de E,
il existe une sous-alg`ebre de Fr´echet Eαde Equi contient Bet tel que
Bsoit born´e dans Eαmais M(E)|Eαy est ´equicontinue. Donc l’ensemble
{ϕ(B) : ϕ∈M(E)}est born´e. Il en est de mˆeme pour Σ(E).
(4)⇒(5). Il est clair, d’apr´es l’´egalit´e (2), que %Eest born´ee si, et seule-
ment si, M(E) (ou Σ(E)) est ´equiborn´e.
(5)⇒(6). La semi-norme %Eest continue en 0 pour la topologie de la
Mackey-fermeture si, et seulement si, %E(xn) tend vers 0 si xntend vers 0
au sens de Mackey (voir [4]); ceci est ´equivalent au fait que %Eest born´e.
(6)⇒(7). Supposons que l’ensemble G(E) des ´el´ements inversibles de
Eadmette l’´el´ement unit´e ede l’alg`ebre comme point int´erieur pour la
topologie τ(E) de la Mackey-fermeture de E; cela signifie qu’il existe une
partie Pouverte pour τ(E), ´equilibr´ee et bornivore telle que
e−P⊂G(E).
Soit ε > 0. Pour tout λtel que |λ|> ε, si x∈εP , alors x/λ ∈Pet
λe −x∈G(E), c’est-`a-dire que %E(x)≤ε. D’o`u la continuit´e de %Epour
τ(E) en 0. Inversement, s’il existe Ppartie ´equilibr´ee bornivore, voisinage
de 0 pour τ(E) telle que x∈P, cela implique que %E(x)<1. On en d´eduit