Vous êtes sur la page 1sur 7

INTRODUCTION LA TOPOLOGIE

NON-COMMUTATIVE
AMAURY FRESLON
1. Introduction
1.1. Quest-ce que la topologie non-commutative ? Le terme to-
pologie non-commutative laisse gnralement perplexe, ou amne la
question suivante : Mais quest-ce qui commute en topologie ? . La
question est intressante, car il a fallut attendre plusieurs dcennies
pour quun rsultat classique de thorie des algbres doprateurs soit
interprt en termes topologiques. En eet, le thorme 3.4 arme quil
existe une correspondance parfaite entre les espaces topologiques et les
C*-algbres commutatives. Il sut donc de prendre des C*-algbres
non-commutatives pour faire de la topologie non-commutative !
Cette approche est extrmement fructueuse, comme nous le verrons.
En eet, la correspondance prcdente respecte un certain nombre
doprations, et permet notamment de transporter des thories de to-
pologie algbrique usuelle au cadre plus gnral des C*-algbres. Lune
de ces thories, la K-thorie, fournit un outil particulirement puissant
pour leur tude.
1.2. Organisation du texte. Les C*-algbres peuvent tre abordes
selon des points de vue assez dirent. Le fait quelles se trouvent ainsi
au conuent de diverses thories est un avantage pour leur tude. Nous
nous intressons ici aux trois aspects principaux : le point de vue abs-
trait, le point de vue topologique et le point de vue hilbertien.
Du point de vue abstrait, les C*-algbres forment une classe parti-
culire de C-algbres de Banach. On peut donc leur appliquer tous les
rsultats usuels de la thorie des algbres de Banach, notamment la
thorie spectrale et le calcul fonctionnel. Nous rappelons certains de
ces rsultats dans la premire partie.
Le calcul fonctionnel, qui ne se fait en gnral que pour des fonc-
tions holomorphes, peut tre tendu dans le cadre des C*-algbres au
fonctions continus. Ceci suggre dtudier de plus prs limportance
des C*-algbres de fonctions. Cette tude culmine avec le thorme de
Gelfand-Naimark 3.4 qui nous permet dintroduire la notion despace
non-commutatif (ou espace quantique).
Pour conclure cette section, nous abordons le point de vue hilbertien.
Il sagit ici de reprsenter une C*-algbre par des oprateurs agissant
1
2 AMAURY FRESLON
sur un espace de Hilbert. On peut alors raliser toute C*-algbre comme
une algbre de tels oprateurs.
Ce document est en fait un rsum du premier chapitre de [2]. Le
lecteur qui voudrait avoir porte de main les rsultats et les preuves
danalyse fonctionnelle peut consulter [1] qui couvre galement les bases
de la thorie des C*-algbres.
2. Algbres de Banach et C*-algbres
Nous dirons quune C-algbre est unifre si elle possde une unit
(le terme unitaire sera rserv certains lments des algbres). Nous
commenons par rappeler la dnition dune C-algbre de Banach.
Dnition 2.1. Une C-algbre de Banach est une C-algbre norme
complte (/, |.|) telle que pour tous x, y /,
|xy| |x||y|.
Dnition 2.2. Soit / une C-algbre, une involution sur / est une
application : / / qui est
additive : pour tous a, b /, (a + b)

= a

+ b

.
antilinaire : pour tout a / et tout C, (a)

= a

.
antimultiplicative : pour tous a, b /, (ab)

= b

.
Dnition 2.3. Une C*-algbre est une C-algbre de Banach / munie
dune involution telle que pour tout x /,
|x

x| = |x|
2
.
Nous ne donnons pas ici les dnitions de sous-C*-algbres, sous-C*-
algbres engendre par une partie et morphismes de C*-algbres. Signa-
lons tout de mme que ces derniers seront appels -homomorphismes.
Nous nous attardons par contre sur la notion didal.
Dnition 2.4. Soit / une C*-algbre. On appelle idal de / tout
idal bilatre ferm de /. Un tel idal est automatiquement auto-
adjoint (i.e. stable par lapplication ).
Exemple 2.5. Comme nous le verrons dans la suite, les exemples sui-
vants sont en fait trs gnraux.
(1) Soit X un espace topologique compact (donc spar). On note
C(X) lalgbre des fonctions continues sur X valeurs dans C,
les oprations tant dnies ponctuellement. Munie de la norme
innie, C(X) est une C-algbre de Banach commutative. Si on
pose de plus, pour tout f C(X) et tout x X, f

(x) = f(x),
C(X) devient une C*-algbre commutative possdant de plus
une unit (la fonction constante gale 1).
(2) Si on ne suppose plus X compact mais seulement localement
compact, on dit quune fonction f : X C est nulle lin-
ni si pour tout > 0, il existe un compact K de X telle
INTRODUCTION LA TOPOLOGIE NON-COMMUTATIVE 3
que [f(x)[ < pour tout x X K. On peut alors munir,
en sinspirant de lexemple prcdent, lalgbre C
0
(X) des fonc-
tions continues sannulant linni sur X dune structure de
C*-algbre commutative (cette fois-ci sans unit si X nest pas
compact).
(3) Soit 1 un espace de Hilbert et B(1) lalgbre des oprateurs
linaires borns (i.e. continus) sur 1. On munit B(1) de la
norme subordonne la norme euclidienne et de ladjonction
(qui est une involution), cest alors une C*-algbre. De plus,
toute sous-algbre ferme stable par passage ladjoint de cette
algbre est galement une C*-algbre.
Dans toute la suite de cette section, / dsigne une C*-algbre uni-
fre (cest--dire possdant une unit). Le dernier exemple suggre les
dnitions suivantes.
Dnition 2.6. Soit a un lment de /,
(1) On dit que a est autoadjoint si a

= a.
(2) On dit que a est normal si a

a = aa

.
(3) On dit que a est un projecteur si a
2
= a

= a.
(4) On dit que a est une isomtrie si a

a = 1.
(5) On dit que a est unitaire si a

a = 1 = aa

.
(6) On dnit le spectre de a, not (a), par
(a) := C[(a .1) nest pas inversible.
Remarque 2.7. Nous ne donnons pas ici toutes les proprits lmen-
taires concernant les C*-algbres, mais lanalogie peut tre pousse bien
plus loin. Par exemple, un lment autoadjoint a toujours un spectre
rel. On dit quun autoadjoint est positif si son spectre est inclus dans
R
+
et on vrie quun lment est positif si et seulement sil scrit x

x
pour un certain x A.
Remarque 2.8. Les propositions (1) (2) font encore sens si / nest
pas unifre. Pour les autres, il faut commencer par ajouter une unit
/ laide du rsultat suivant an de donner un sens aux dnitions.
Proposition 2.9. Soit / une C*-algbre, il existe une unique C*-
algbre unifre ( isomorphisme unifre prs)

/ telle que / soit un
idal de

/ et que le quotient

/// soit isomorphe C. De plus, si /
est unifre alors

/

= / C.
Remarque 2.10. Ce rsultat est en fait la gnralisation non-commutative
du thorme de compactication dAlexandro.
Proposition 2.11. Soit / une C-algbre de Banach, alors pour tout
a dans A, (a) est un compact non-vide de C.
4 AMAURY FRESLON
Dnition 2.12. On appelle rayon spectral de a le rel
r(a) := sup[[, (a).
Les quelques rsultats suivants montrent que les notions purement
algbrique prcdentes permettent en fait de retrouver la norme (cest-
-dire toute linformation topologique) dune C*-algbre. Nous donnons
aussi une application importante la caractrisation de linjectivit
dun -homomorphisme.
Proposition 2.13. Soit / une C*-algbre et a /, alors on a r(a) =
lim|a
n
|
1/n
. De plus, si a est normal alors on a r(a) = |a|.
Proposition 2.14. Soit / une C*-algbre et a /, alors
|a| =

r(a

a).
Corolaire 2.15. Soit / et B deux C*-algbres et : / B un
-homomorphisme. Alors est injectif si et seulement sil est isom-
trique.
Nous rappelons le thorme suivant, d Riesz, sur les C-algbres
de Banach (voir par exemple [1] pour une dmonstration).
Thorme 2.16 (Calcul fonctionnel holomorphe). Soit / une algbre
de Banach unifre et a /, G un ouvert de C contenant (a) et
= (
1
, . . . ,
n
) un contour orient enlaant (a) et f une fonction
holomorphe sur G, alors la formule
f(a) :=

f(z)(z a)
1
dz
dnit un lment de / indpendant du contour choisi. De plus,
(1) Lapplication Hol(a) / est un morphisme de C-algbres,
Hol(a) dsignant lalgbre des fonctions holomorphes au voi-
sinage de (a).
(2) Si f(z) =

k
z
k
a un rayon de convergence r > r(a) alors
f(a) =

k
a
k
.
Dans le cas des C*-algbres, le rsultat prcdent peut tre considra-
blement amlior pour les lments normaux, cest lobjet du thorme
suivant. Remarquons que si P C[X], on peut sans dicult dnir
P(a) pour a dans une C-algbre quelconque.
Thorme 2.17 (Calcul fonctionnel continu). Soit / une C*-algbre
et a / un lment normal. Alors lapplication P P(a), dnie sur
les fonctions polynmiales sur (a) est une isomtrie. Elle admet donc
par le thorme de Stone-Weierstrass un unique prolongement en une
application
C((a)) C

(a)
INTRODUCTION LA TOPOLOGIE NON-COMMUTATIVE 5
qui est en fait un isomorphisme (isomtrique). De plus, on a alors pour
tout f C((a)),
(f(a)) = f((a)).
Remarque 2.18. La dernire partie de ce thorme est parfois connue
sous le nom de thorme spectral.
3. Le cas commutatif
Nous allons maintenant gnraliser le rsultat prcdent. Dans cette
section, / dsigne une C*-algbre commutative unifre.
Dnition 3.1. Le spectre de / est lensemble des morphismes dal-
gbres de / dans C, not Spec(/).
Remarque 3.2. Le terme spectre et la notation Spec(/) peuvent pa-
ratre surprenants. Cependant, le thorme de Gelfand-Mazur assure
que dans le cas commutatif ce Spec(/) est homomorphe au spectre
maximal (i.e. lensemble des idaux maximaux muni de sa topologie
de Jacobson) de / (qui est lui-mme alors homomorphe au spectre
premier).
Proposition 3.3. Soit : / C un morphisme dalgbres, alors
est continu et || 1.
En vertu de la proposition prcdente et du thorme de Banach-
Alaoglu qui arme que la boule unit de /

muni de sa topologie
faible- est un espace compact, on voit que Spec(/) est un espace
compact. On peut alors dnir lapplication suivante :
/ C(Spec(/))
a (h h(a))
appele transformation de Gelfand. Le rsultat essentiel est le suivant :
Thorme 3.4 (GelfandNaimark, premire version). La transforma-
tion de Gelfand est un isomorphisme.
Ainsi toute C*-algbre commutative unifre est en fait isomorphe
lalgbre des fonctions continues sur un espace compact. Si / nest pas
unifre, on commence par lui adjoindre une unit pour appliquer ensuite
le thorme prcdent qui donne un isomorphisme entre / et lalgbre
des fonctions nulles linni sur un espace localement compact.
Le rsultat prcdent est en fait plus fort si on lexprime dans le
langage des catgories :
Thorme 3.5 (GelfandNaimark, deuxime version). La transfor-
mation de Gelfand dnit une quivalence de catgories (contrava-
riante) entre la catgories des C*-algbres commutatives munies des
*-homomorphismes et la catgorie des espaces topologiques localement
6 AMAURY FRESLON
compacts munis des applications propres. En fait, la transformation de
Gelfand est linverse du foncteur X C
0
(X).
La signication essentielle du thorme prcdent est que la totalit
de linformation topologique dun espace localement compact X est
code de faon algbrique dans C
0
(X). On peut donc tablir un
dictionnaire entre ces deux objets, la liste suivante en est un aperu.
Espace topologique C*-algbre
compact unifre
connexe sans projecteur (non-trivial)
-compact -unifre
base dnombrable douverts sparable
ouverts idaux bilatres ferms
ouverts denses idaux essentiels
ferms quotients
compactication unitarisation
On peut formaliser la correspondance prcdente par le vocabulaire
suivant. Il ne faut toutefois pas attacher une trop grande importance
au terme quantique .
Dnition 3.6. Une C*-algbre (ventuellement non-commutative)
est appele espace quantique. Si elle est commutative, on dit alors quil
sagit dun espace classique.
Remarque 3.7. Certains auteurs, prfrant que les quivalences de cat-
gories soient covariantes, dnissent la catgorie des espaces quantiques
comme la catgorie oppose de celle des C*-algbres.
4. Le point de vue hilbertien
Comme nous lavons mentionn dans lintroduction, il existe un troi-
sime point de vue consistant voir les lments dune C*-algbre
comme des oprateurs agissant sur un espace de Hilbert. Ce point de
vue prsente lavantage dtre trs concret, et permet ensuite dutiliser
des outils danalyse fonctionnelle.
Dnition 4.1. Soit / une C*-algbre, une reprsentation de / est
la donne dun espace de Hilbert 1 et dun -homomorphisme
: / B(1).
Une reprsentation est dite dle si est injectif, elle est dite non-
dgnre si (/)1 est dense dans 1. Sil existe un vecteur 1 tel
que (/) est dense dans 1, la reprsentation est dite cyclique (et
est appel vecteur cyclique).
INTRODUCTION LA TOPOLOGIE NON-COMMUTATIVE 7
Dnition 4.2. Soit / une C*-algbre, un tat sur / est une forme
linaire positive de norme 1.
Exemple 4.3. Soit (, 1) une reprsentation cyclique et un vecteur
cyclique, alors lapplication
x / , (x)
dnit un tat sur /. Le rsultat suivant, souvent appel construction
GNS (pour Gelfand, Naimark et Segal), donne une rciproque de cette
construction.
Thorme 4.4 (Construction GNS). Soit / une C*-algbre et un
tat sur /. Alors il existe une reprsentation cyclique (, 1) de / et
un vecteur cyclique tels que pour tout x /, (x) = , (x).
Dnition 4.5. Soit / une C*-algbre, une reprsentation (, 1) de
/ est irrductible sil nexiste pas de sous-espace ferm non-trivial de
1 stable par /.
La question se pose naturellement de savoir quels tats donnent des
reprsentations irrductibles. Remarquons tout dabord que les tats
dune C*-algbre / forment un convexe ferm pour la topologie faible-
sur /

. Un point extrmal de ce convexe est appel tat pur. On a


alors le rsultat suivant :
Proposition 4.6. Soit / une C*-algbre et (, 1) une reprsentation
cyclique de /. Cette reprsentation est irrductible si et seulement si
ltat associ est pur.
Le rsultat dit en fait quune C*-algbre possde toujours assez de
reprsentations irrductible pour construire une reprsentation dle (il
sut en fait de prendre la somme des reprsentations GNS associes
tous les tats /).
Thorme 4.7 (Gelfand, Naimark). Soit / une C*-algbre quelconque,
alors / possde une reprsentation dle. Autrement dit, il existe un
espace de Hilbert 1 tel que / soit isomorphe une sous-algbre ferme
stable par passage ladjoint de B(1).
Rfrences
[1] J. B. Conway, A course in functional analysis, Springer, 1990.
[2] , A course in operator theory, American Mathematical Society, 2000.
E-mail address: amaury.freslon@ens.fr
URL: http://www.eleves.ens.fr/home/freslon

Vous aimerez peut-être aussi