MSM 1952 42 1 0

M MORIAL DES SCIENCES MATHMATIQUES
LIE C ARTAN
La thorie des groupes finis et continus et lanalysis situs
Mmorial des sciences mathmatiques, fascicule 42 (1952), p. 1-61.
<http://www.numdam.org/item?id=MSM_1952__42__1_0>
Gauthier-Villars, 1952, tous droits rservs.

Laccs aux archives de la collection Mmorial des sciences math-
matiques implique laccord avec les conditions gnrales dutilisation
(http://www.numdam.org/legal.php). Toute utilisation commerciale ou im-
pression systmatique est constitutive dune infraction pnale. Toute copie
ou impression de ce fichier doit contenir la prsente mention de copyright.
Article numris dans le cadre du programme

Numrisation de documents anciens mathmatiques
http://www.numdam.org/
&SM m*6
MMORIAL
DES
SCIENCES MATHMATIQUES
PUBLIE SOUS LE PATRONAGE DE
L'ACADMIE DES SCIENCES DE PARIS,

DES ACADMIES DE BELGRADE, BRUXELLES, BUCAREST, COMBRE, CRACOVIE, KIEW,
MADRID, PRAGUE, ROME, STOCKHOLM (FONDATION M I T T A G - L E F F L E R ) ,
DE LA SOCIT MATHMATIQUE DE FRANCE, AVEC LA COLLABORATION DE NOMBREUX SAVANTS.
DIRECTEUR
Henri V I L L A T
Membre de l'Institut,
Professeur la Sorbonne,
Directeur du Journal de Mathmatiques pures et appliques .
FASCICULE XLII
La thorie des groupes finis et continus et l'Aiialysis sitns

Par LIE CAIITAN
Membre de l'Institut
Professeur la Facult des Sciences de Paris
PARIS
GAUTHIER-VILLARS, IMPRIMEUR-EDITEUR
LIBRAIRE DO BUREAU DES LONGITUDES, DE L'COLE POLYTECHNIQUE
Quai des Grands-Augustins, 55
Nouveau tirage
1952
Copyright by Gauthier-Villars, ig52.
Tous droits de traduction, de reproduction et d'adaptation
rservs pour tous pays.
LA
THORIE DES GROUPES FINIS ET CONTINUS

ET
L'ANALYSIS SITUS
Par M. lie CAUTAN.
INTRODUCTION.
La premire ide d'appliquer des considrations d'Analyss si tus

la thorie des groupes finis et continus remonte Hurwitz[4] qui,
en 1897, se servit, dans la recherche des invariants, d'intgrales
appliques tout le domaine de certains groupes clos (groupe
linaire d'une forme d'Hermite dfinie positive, groupe orthogonal).
Ce procd fut utilis en 1925 par H. Weyl [8] qui, grce des
considrations tf Analyses situs appliques aux groupes semi-simples
clos, fit faire des progrs importants la thorie de la reprsentation
linaire des groupes semi-simples, thorie dont E. Cartan avait pos
les bases en 1912 en se plaant au point de vue infinitsimal de S. Lie,
mais avec une lacune qu'on n'a pas encore russi combler par voie
algbrique.-A un point de vue diffrent, H. Poincar [o, 6, 7 ] , dans
trois Mmoires pntrants publis en 1900, 1901 et 1908, montra
l'importance du rle jou par les transformations singulires d'un
groupe dans la thorie de la structure de ce groupe, rle analogue
celui que jouent les points critiques d'une fonction analytique.
Signalons enfin deux Mmoires de O. Schreier [24 et 25], parus en
1926 et 1927, sur les groupes continus abstraits envisags d'un point
de vue trs gnral.
Dans tous ces travaux qui, part ceux relativement rcents de
H. Weyl et O. Schreier, sont rests^ isols, les groupes finis et con-
tinus sont tudis dans leur domaine entier d'existence et non pas
2 EUE CARTAN.
seulement, avec S. Lie, au voisinage de la transformation identique :

ce sont des tudes intgrales et non locales . Le but de ce Fasci-
cule est de passer en revue, en se plaant au point de vue intgral,
un certain nombre de problmes fondamentaux que pose la thorie
des groupes, soit qu'on envisage, comme au Chapitre I, un groupe
fini et continu comme une varit l'intrieur de laquelle on a dfini
une loi de multiplication ou de composition associative, satisfaisant
un minimum de conditions de continuit, soit qu'on introduise, comme
au Chapitre II, pour obtenir ce que j'appelle les groupes de Lie, des
hypothses supplmentaires sur les proprits analytiques de la loi de
composition du groupe. On ne connat aucun groupe fini et continu
qui ne soit pas un groupe de Lie; un thorme fondamental (n 26)
montre que si un tel groupe existe, il ne peut tre isomorphe aucun
groupe linaire. Dans la thorie mme des groupes de Lie, signalons
l'insuffisance des dmonstrations ordinaires du troisime thorme
fondamental qui ne prouvent l'existence, un systme de constantes
dk$ tant donn, que d'un morceau de groupe, incapable peut-tre
de se prolonger pour former un groupe complet; une dmonstration
rigoureuse du thorme est rsume au Chapitre IL Signalons aussi
la recherche des conditions ncessaires et suffisantes auxquelles doit
satisfaire un sous-groupe $*, connexe ou mixte, d'un groupe de Lie G
pour que g soit le plus grand sous-groupe laissant invariant un point
d'une varit transforme transitivement par G : ces conditions ne
sont pas de nature exclusivement locale. Les varits susceptibles
d'tre transformes transitivement par un groupe de Lie ne sont du
reste pas quelconques au point de vue de Y Analysis situs.
Le Chapitre 111 est consacr l'tude des groupes clos, qui jouent
un rle si important dans les applications. Le Chapitre IV expose les
principes, envisags du point de vue de la thorie des groupes, de la
thorie des espaces riemanniens symtriques due E. Cartan, dont
les applications la Gomtrie et la thorie des groupes elle-mme
" sont d'une grande varit.
La thorie de la reprsentation linaire des groupes clos, a\ec les
applications qu'on en peut faire la thorie des systmes orthogonaux
complets de fonctions dans une varit close transforme transitive*
ment par un groupe clos, est laisse compltement de ct dans ce
Fascicule, dont elle aurait trop facilement fait dborder le cadre,
peut-tre dj trop tendu.
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS.
CHAPITRE I.
GNRALITS SUR LES VARITS ET LES GROUPES CONTINUS ABSTRAITS.
I. Varits; varits closes et ouvertes1.
1. La notion de varit est suggre par celles de ligne et de sur-

face plonges dans l'espace ordinaire. Nous la prciserons, la gnra-
liserons et la limiterons en mme temps par l'introduction d'un
certain nombre de postulats, analogues ceux qui ont t noncs
par F. Hausdorff dans ses Grundzge der Mengenlehre (Leipzig,
i9'4).
Nous appellerons varit n dimensions un ensemble d'lments
ou points tel qu'on puisse dfinir un systme de sous-ensembles,
appels voisinages, satisfaisant aux conditions suivantes :
A. A chaque voisinage V est associe une correspondance biuni-
coque dtermine entre les points de V et les points d'une hyper-
sphre 2 de Vespace euclidien n dimensions. Les points de V q u i
correspondent des points intrieurs 2 seront dits intrieurs <Vi
les autres constituent la frontire de V.
B. Tout point de la varit est intrieur au moins un voisi-
nage.
G. Soient 1? un voisinage quelconque, 2 l1 hypersphre qui lui est
associe, M un point intrieur V, m le point correspondant de 2
et o- une hypersphre de centre m intrieure 2 . Il existe un
voisinage V intrieur J et tel que les correspondants dans 2
de tous les points de V appartiennent CT.
D. Soient M un point appartenant l'intrieur ou la frontire
de *V, m son correspondant dans 2 , V un voisinage contenant M
son intrieur. Il existe une hypersphre cr<le centre m telle que
les correspondants dans <V de tous les points de 2 qui appar-
tiennent cr soient intrieurs V .
E. Etant donns deux points distincts M et N, on peut trouver
deux voisinages ayant respectivement M ^ N leur intrieur et
n'ayant aucun point commun.
4 LIE CARTAN,
2. Un point A de la varit est dit point d'accumulation pour

un ensemble infini de points distincts de cette varit si tout voisinage
contenant A son intrieur contient au moins un point de l'ensemble
distinct de A. Tout ensemble infini de points distincts appartenant
un mme voisinage *V admet au moins un point d'accumulation appar-
tenant V (en vertu des postulats A, D et du thorme de Bolzano-
Weierstrass).
On dit qu'une suite infinie de points A n A 2 , . . ., A, . . . tend vers
un point limite A si, tant donn un voisinage quelconque ^contenant
A son intrieur, tous les points de l'ensemble sont, partir d'un
certain rang, intrieurs V. La suite infinie ne peut pas tendre vers
un autre point limite B (en vertu du postulat E).
De tout ensemble infini admettant un point d'accumulation A on
peut extraire une suite infinie de points distincts tendant ver A.
Il rsulte des postulats A, C et D que la correspondance biunivoque
qui existe entre l'intrieur d'un voisinage V Ql l'intrieur de l'hyper-
sphre 2 qui lui est associe est bicontinue. On peut donc dfinir
analytiquement d'une manire univoque les points intrieurs tout
voisinage d'une varit n dimensions au moyen de n coordonnes,
de telle sorte que deux points infiniment voisins aient des coordonnes
infiniment voisines.
3. Un chemin continu est un ensemble de points qu'on peut mettre

en correspondance biunivoque avec les valeurs numriques d'une
variable relle t satisfaisant o < < i , de telle sorte que si tn-+t0, la
suite des points correspondant tn tende vers le point correspondant
A.
La varit est dite connexe si deux points quelconques peuvent
tre relis par un chemin continu. Nous ne considrerons que dos
varits connexes ou formes d'un nombre fini ou d'une infinit
dnombrable de varits connexes.
4. Admettons maintenant l'hypothse supplmentaire suivante :

F. / / est possible de trouver des voisinages en nombre fini ou
en infinit dnombrable tels que tout point de la varit soit
intrieur au moins l'un de ces voisinages.
Nous conviendrons de dire pour abrger que la varit est recou-
verte par les voisinages considrs.
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 5
Rangeons les voisinages considrs dans un certain ordre

vu vt, ...r vn, ....
Nous supprimerons de la suite prcdente le premier voisinage *Va
pour lequel tout point intrieur *Va est intrieur l'un au moins
des voisinages prcdents. Nous recommencerons cette opration
sur la nouvelle suite obtenue, et ainsi de suite. Aous. arriverons
ainsi une suite de voisinages telle que dans chaque voisinage
Vi de la suite il existe au moins un point intrieur qui ne soit
intrieur aucun des voisinages <V\, Va, . . . , ^ i _ i . Une telle suite
sera dite normale.
5. Les varits susceptibles d'tre recouvertes par une suite nor-

male finie de voisinages se distinguent des autres par des proprits
caractristiques. En effet, considrons dans une telle varit un
ensemble infini de points; il existera au moins un des voisinages de
la suite, soit *Va, contenant une infinit de points de l'ensemble, par
suite (n 2) l'ensemble donn admet au moins un point d'accumu-
lation.
Supposons au contraire que la varit soit recouverte par une suite
normale d'une infinit dnombrable de voisinages. Prenons dans
chaque voisinage *Vi un point M4 intrieur Vt, mais qui ne soit
intrieur aucun des voisinages prcdents. L'ensemble infini ainsi
obtenu ne peut avoir aucun point d'accumulation. Un tel point A en
effet serait intrieur un certain voisinage % sans tre intrieur
aux voisinages prcdents; soit VA un voisinage (n'appartenant pas
la suite normale) intrieur V* et contenant A son intrieur; aucun
des points M ^ , MA +2 ? ..." de l'ensemble n'appartient Vk et par
suite Vk ne peut contenir qu'un nombre fini de points de l'ensemble,
ce qui est en contradiction avec l'hypothse.
Nous dirons qu'une varit est ouverte ou close suivant qu'on
peut ou non trouver des ensembles infinis de points n'admettant
aucun point d'accumulation.
On voit que si une varit close peut tre recouverte par une
infinit dnombrable de voisinages, elle peut l'tre par un nombre
fini de voisinages (gnralisation du thorme de Heine-Borel).
Une varit forme d'une infinit dnombrable de varits connexes
ne peut tre close.
LIE CARTAN.
II. - Groupes finis et continus abstraits.
6. On appelle groupe abstrait un ensemble d'lments sur

lesquels on a dfini une opration, dite multiplication, faisant corres-
pondre deux lments quelconques A, B rangs dans un certain
ordre un troisime lment not AB, et satisfaisant aux conditions
suivantes :
a. Il existe un lment I .(lment unit) tel que, pour tout

lment A, on ait IA = Al = A;
Jb. A tout lment k. correspond un lment krx tel que kkr{ = 1;
c. On a
( A B ) C = A(I)G).
Il rsulte de ces hypothses que l'on a aussi A"*A = I. En effet

l'galit BA = CA entrane B = C; par suite le produit A""1 A = J se
confond avec I cause des galits JA~' = A- 1 AA- 1 = A"' I = IA" 1 .
L'galit AB = AC entrane donc aussi B = C. <
7. On peut associer chaque lment A du groupe abstrait une

opration ou transformation V>k, savoir celle qui fait correspondre
l'lment M du groupe l'lment M ' = AM. Cet ensemble de trans-
formations contient la transformation identique | ; chaque
transformation 5A correspond une transformation inverse A_i;
enfin la rsultante des transformations \ et B effectues succes-
sivement est la transformation
J\1'=I)(AM) = ( B A ) M ,
qui correspond l'lment BA. Nous dirons que les transforma-

tions v ralisent le groupe abstrait comme groupe de transforma-
tions. Elles constituent le groupe des paramtres du groupe abstrait.
Les transformations M ' = M A dfinissent le second groupe des
paramtres.
8. Le groupe abstrait est dix, fini et continu d'ordre r si ses l-

ments engendrent une varit r dimensions; si de plus, tant
donnes deux suites infinies d'lments kn et B tendant respec-

tivement vers A et B, la suite infinie d'lments kftBfl tend vers AB;
si enfin, kn tendant vers I, A~' tend vers I. Si V0 est un voisinage de
la varit du groupe contenant son intrieur l'lment I, l'ensemble
des lments kV0 obtenus en multipliant A par les lments de V9
pourra tre regard comme un autre voisinage contenant l'lment A
son intrieur. Il en sera de mme de l'ensemble des lments *v70A.
Le groupe fini et continu est dit connexe ou mixte suivant que sa
varit est connexe ou bien forme d'un nombre fini ou d'une infinit
dnombrable de varits connexes; l'une des familles connexes d'l-
ments dont il est compos, savoir celle qui contient l'lment I,
dfinit par elle-mme un groupe.
9. La varit d'un groupe abstrait fini et continu satisfait toujours

d'elle-mme l'hypothse F : elle peut tre recouverte par une
infinit dnombrable de voisinages kHV0, en dsignant par V9
un quelconque des voisinages contenant l'lment l son intrieur.
Nous allons d'abord montrer que tout lment du groupe, qu'on
peut supposer connexe, peut tre obtenu par la multiplication d'un
nombre fini d'lments intrieurs V0. Joignons en effet l'lment I
un lment donn A par un chemin continu, un lment variable
du chemin dpendant d'un paramtre t variant de o i. Soit t0 la
borne infrieure de l'ensemble des valeurs de t correspondant aux
lments du chemin qui ne peuvent pas tre obtenus par le procd
indiqu, et soit A 0 l'lment correspondant. L'lment A0 lui-mme
ne peut pas tre le produit d'un nombre fini q d'lments intrieurs
V0, car pour toutes les valeurs de t suprieures t0 et suffisamment
voisines de t0, on aurait un lment qui serait le produit de q -h i
lments intrieurs V^ Considrons maintenant le voisinage A 0 ^ 0 ;
il contient des lments de la courbe correspondant des valeurs de t
infrieures / 0 et aussi voisines qu'on veut de t0, par exemple un
lment A'0 = k0s, s tant aussi voisin de 1 qu'on veut, par exemple
assez voisin de I pour que s~* appartienne V0 ; il en rsulte que
l'lment A 0 = A ' o s"' est le produit d'un nombre fini d'lments int-
rieurs V{), ce qui est contraire l'hypothse.
Donnons-nous maintenant un entier/?; on peu!, par hypothse,
mettre les lments de V0 en correspondance biunivoque continue
avec les points d'une hypersphre 2 de rayon R dans l'espace ordi-
8 LIE CARTAN.
naire r dimensions. On peut trouver un nombre p jouissant de la

proprit suivante : si A<, A t , . . . , A , sont/? points intrieurs 2 ,
cl si M|, M 2 , . . ., M^ sont galement intrieurs 2 , mais respec-
tivement intrieurs aux hypersphres de rayon p et de centres A,,
A 2 , . . . , A^, le produit M t M2 . . . Mp appartient au voisinage
A , A 2 . ..kp^V. Le nombre p tant ainsi dtermin, nous pouvons
trouver l'intrieur de 2 une suite de points en nombre fini, soit
Ci, C 2 , . . ., Q y telle que tout point intrieur 2 soit intrieur
l'une au moins des hypersphres de rayon p et de centres C,, C 21 ...,
Q y II en rsulte que tout lment susceptible d'tre obtenu par
multiplication de p lments intrieurs V0 est intrieur l'un au
moins des (NP)P voisinages C a i C a j . . . C ^ ^ o . Cette proprit ayant
lieu quel que soit p, on arrive ainsi une suite dnombrable de voisi-
nages A*VQ tels que tout lment du groupe soit intrieur l'un au
moins de ces voisinages [cf. 24, p . 19].
Tout groupe fini et continu clos peut donc tre recouvert par
un nombre fini de voisinages ktVQ, tandis qu'un groupe fini et
continu ouvert ne peut l'tre que par une infinit dnombrable
de tels voisinages. En particulier tout groupe mixte clos ne contient
qu'un nombre fini de familles connexes d'lmenls.
III. Sous-groupes.
10. Un sous-groupe d'un groupe abstrait G est un groupe dont

tous les lments appartiennent G. Un sous-groupe peut ne con-
tenir qu'un nombre fini d'lments. S'il en contient une infinit, il
peut tre continu ou non. Dans ce dernier cas, il y a encore une
distinction faire. Le sous-groupe g est dit proprement discontinu
dans G si l'on peut trouver dans G un voisinage V0 contenant I
son intrieur et ne contenant aucun lment de g diffrent de I.
Dans le cas contraire le sous-groupe est improprement discontinu
dans G : chaque lment de g est alprs, dans G, lment d'accumu-
lation pour l'ensemble des lments de g.
Le sous-groupe g est dit ferm dans G si tout lment d'accu-
mulation, dans G, de l'ensemble des lments de g appartient aussi
g : tout sous-groupe proprement discontinu est ferm dans G.
Dans le cas contraire, le sous-grqupe est dit ouvert dans G.
L'ensemble des lments d'un sous-groupe g ouvert dans G et de
ses lments d'accumulation forme un nouveau sous-groupe g, qui

est ferm dans G.
Si le groupe G est clos, les sous-groupes g ferms dans G sont les
sous-groupes clos.
11. On appelle transform d'un lment M du groupe G par un

lment A de ce groupe l'lment AMA - 1 . On dit qu'un sous-groupe
g est invai iant dans G si les transforms des lments de g par les
diffrents lments de G appartiennent encore g. Dans ce cas l'en-
semble des lments kg obtenus en multipliant un lment donn A
de G par les diffrents lments de g est identique l'ensemble des
lments gk. Si l'on regarde de tels, ensembles comme de nouveaux
lments, on peut dfinir sur eux une multiplication associative, en
convenant que le produit de kg par Bg est kBg. Ces nouveaux l-
ments dfinissent un groupe abstrait dont l'lment unit est g\ on le
dsigne par le symbole Gjg.
On appelle centre d'un groupe l'ensemble des lments du groupe
qui sont changeables avec tous les lments du groupe. Ces lments
forment un sous-groupe commutatif invariant dans G. Le centre de G
se confond avec G si G est commutatif.
IV. Les groupes abstraits d'ordre 1.
12. On peut dterminer facilemeut tous les groupes finis et continus

connexes d'ordre i. Soit VQ un voisinage contenant son intrieur
l'lment I ; on peut le reprsenter par un segment de droite sur lequel
on pourra prendre pour origine le point correspondant I ; les abscisses
x des points du segment varieront, par exemple, de a -f- a. Si x '
et x' sont les abscisses de deux points suffisamment voisins de l'origine,
par exemple compris entre b et + ft, le produit des deux lments
correspondants appartiendra V0) si &" est l'abscisse du point repr-
sentant ce produit, on aura une relation
<p tant une fonction continue. On dmontre facilement que <p est une
fonction croissante de ses deux arguments
On peut alors trouver, dans l'intervalle (o, b)y une racine et une
10 LIE CARTAN.
seule des quations successives

?(, ,) = .
(<7 s . rt2 ) = i,
?(, ) = n-l
Les nombres a,, a 2 , > /M vont en dcroissant et restent

positifs; ils tendent donc vers une limite a > o . Mais comme on a
? ( a , ) < f a . a)< o ( a . tf) = tf,,-i.
il en rsulte, la limite,
o(a. a)< a = 9(0. a);
cela n'est possible que si a = o.

Soit S/t l'lment de paramtre # /t . Attribuons l'lment SJ" un
nouveau paramtre^; pour les lments de celte nature, les nou-
veaux paramtres se succdent dans le mme ordre que les anciens et
la multiplication de deux lments dont les nouveaux paramtres
sont t et t1 donne un lment dont le nouveau paramtre est t -\- t'.
L'attribution d'un nouveau paramtre t s'tend par continuit tous
les lments dont l'ancien paramtre x est compris entre o et a et la
formule de multiplication devient
tT= t->-t' ( o < / . /', fi).
Si nous convenons de poser S w = 2 f , on peut dfinir 2 comme

tant (2,) w , pour tout entier positif n3 puis 2 + , comme tant le
produit 2 lf 2f, pour t compris entre o et 1. La loi de multiplication
s'tend pour ces nouveaux lments du groupe. Enfin on dfinira 2_ r
comme (S/)" 1 , pour t positif, et la loi de multiplication s'tend
encore.
On est sr d'avoir obtenu par ce procd tous les lments du
groupe (n 9), mais on a peut-tre obtenu chacun plusieurs fois. S'il
en est ainsi et si c est la plus petite valeur positive de t pour laquelle
2 t . est l'lment I, c'est que l'lment le+c est le mme que l'l-
ment 2*. Le groupe obtenu est alors clos, tandis que dans le cas con-
traire, / pouvant varier dp oc -t- 00 sans que les lments du
groupe soient obtenus deux fois, le groupe est ouvert.
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. II
Les groupes connexes d'ordre i sont donc tous commutatif s; les

uns sont ouverts, les autres sont clos.
On peut ajouter que tous les groupes ouverts sont au fond iden-
tiques, ainsi que tous les groupes clos : on peut toujours en effet,
dans le cas d'un groupe clos, prendre un nouveau paramtre t' dont
la priode sait i au lieu de c.
V. Isomorphisme.
13. Un groupe G est dit isomorphe d'un groupe G's'il est possible
de faire correspondre un lment de G' un lment dtermin de G
de telle sorte que si A', B', O sont trois lments de G' satisfaisant
A ' B ' = C , les trois lments correspondants A, B, G de G satis-
fassent AB = C. A l'lment unit Y de G' correspond ncessairement
l'lment unit I de G.
L'isomorphisme est dit holodrique si tout lment de G correspond
un lment et un seul de G' ; il est hmidrique dans le cas con-
traire : les lments de G' qui ont pour correspondant l'lment
unit de G forment un sous-groupe invariant de G'.
Deux groupes finis et continus de mme ordre G et G' sont dits
localement isomorphes si l'on peut tablir une correspondance bi-
univoque continue entre les lments d'un voisinage *v?0 de G contenant
soiynterieur l'lment unit et ceux d'un voisinage VQ de G'conte-
nant son intrieur l'lment unit, cette correspondance satisfai-
sant la condition que si A, B et C sont trois lments de *V0 tels
que AB = C, les lments correspondants de V0 satisfassent
A'B'=C.
Supposons que la varit de l'un des groupes, de G par exemple,
soit simplement connexe. Cela signifie que tout contour continu
ferm peut tre dform d'une manire continue de manire se
rduire un point. Soit alors S un lment quelconque de G n'ap-
partenant pas "VQ. Joignons l'lment unit I S par un chemin
continu (C) et prenons sur ce chemin des points intermdiaires S t ,
S 2 , . . . . S/,, i tels que les lments Si, Sy'S^, . . ., S~_tS appar-
tiennent V0; dsignons-les par s,, s2, . . . , sp ; soient s\, s2, ..., s'p
les lments correspondants de V0, et considrons l'lment"
S' =s\s\ . . .s' de G'. Il est facile de voir que si l'on prend sur le
chemin {C) une autre suite de points intermdiaires, on arrivera
I* LIS CARTAN.
toujours au mme lment S'. Enfin on arrive encore au mme lment

en dformant suffisamment peu le chemin (C) joignant I S.
Comme la varit de G est simplement connexe, on fait ainsi corres-
pondre tout lment S de G un lment bien dtermin S' de G'.
Un raisonnement analogue montre que tout lment S' de G'
provient d'au moins un lment S de G, et l'on voit facilement qu'on
a entre les deux groupes une correspondance isomorphique, G' tant
isomorphe de G.
14. Si l'isomorphisme n'est pas holodrique, il correspondra l'l-

ment unit F de G' plusieurs lments de G, en nombre fini ou infini,
qui engendreront un sous-groupe proprement discontinu de G.
Soient I, T,, T 2 , . . . les lments de ce sous-groupe. Si l'lment S
de G correspond l'lment S' de G', tous les autres lments de G
qui jouiront de la mme proprit seront de la forme T S et aussi de
la forme ST/; mais l'galit T . S ^ S T , exige, si S est trs voisin
de I, queT, soit gal T/, et par suite, en se dplaant par continuit
dans la varit du groupe, l'indice j ne peut que rester gal l'in-
dice i. Les lments T,- appartiennent donc au centre (n 11) du
groupe G.
Par suite si le groupe G' est localement isomorphe au groupe
simplement connexe G, l'lment unit de G' correspond un
sous-groupe proprement discontinu du centre de G.
15. Ce thorme admet une rciproque. Soit g un sous-groupe pro-

prement discontinu du centre de G. Prenons pour nouveaux lments
les ensembles Sg = gS, o S est fixe et g dsigne successivement
tous les lments qui le composent. Dfinissons la multiplication de
ces nouveaux lments par la relation
on \oit immdiatement que les nouveaux lments S g engendrent un

groupe abstrait fini et continu G' localement isomorphe de G et tel
qu' l'lment unit de G' ( savoir g) corresponde le sous-groupe g
donn.
La recherche des groupes localement isomorphes de G revient
donc celle des sous-groupes proprement discontinus du centre
de G.
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. l3
Par exemple si G est le groupe des translations de la droite, il est

confondu avec son centre et tout sous-groupe proprement discontinu
est form des puissances exposant entier d'une translation particu-
lire : on obtient le groupe clos d'ordre 1.
Le groupe G des similitudes de la droite est simplement connexe
et son centre se rduit l'lment unit. Tout groupe qui lui est
localement isomorphe lui est donc intgralement isomorphe.
16. Etant donn un groupe abstrait fini et continu connexe G, le

problme de la recherche des groupes qui lui sont localement iso-
morphes est donc rsolu si G est simplement connexe. Dans le cas con-
traire, on peut construire un groupe G simplement connexe localement
isomorphe G. Introduisons pour cela [13, 25] de nouveaux lments
dont chacun sera l'ensemble [ S, (C)] d'un lment de G et d'un chemin
continu (C) joignant 1 S; nous continuerons de dire que les deux
lments [S, (C)] e t [ S ' , ( C ) ] sont identiques si S' = S et si Ton peut
passer par dformation continue de ( C ) ( C ) . On dfinira le produit
de deux lments [S, (C)] et [S', ( C ) ] en imaginant un lment P
mobile sur (C), considrant le produit SP qui, suivi partir de S,
dcrira un certain chemin (C") ; le produit cherch sera [S', (C) -+- (C)].
On vrifie facilement que cette dfinition satisfait aux conditions
pour que les nouyeaux lments [S, ((2)] constituent un groupe
abstrait G. Ce groupe est videmment simplement connexe et il est
d'autre part localement isomorphe G. A l'lment unit de G corres-
pondent autant d'lments de G qu'il y a dans la varit d G de
contours ferms irrductibles les uns aux autres. Le sous-groupe
commutatif proprement discontinu du centre de G qui correspond
l'lment unit de G est le groupe fondamental, au sens de l'Ana-
lysis situs, de la varit de G. Nous lui donnerons de prfrence le
nom de groupe de connexion, rservant, comme nous allons le faire
dans le numro suivant, une signification toute diffrente l'expression
groupe fondamental .
VI. Espaces homognes.
17. On appelle espace homogne n dimensions une varit con-

nexe n dimensions dans laquelle opre transitivement un groupe fini
MMORIAL BBS S C . MATH. W 4 * . *
14 L1E CARTAN.
et continu G. Cela veut dire qu'il existe dans la varit un groupe fini
et continu de transformations ponctuelles satisfaisant aux conditions
suivantes :
i Toute transformation de G fait correspondre un point M
de la varit un point dtermin M! ;
2 Etant donns deux points quelconques M et M' de la varit,
il existe au moins une transformation du groupe amenant M
en M']
3 Si la suite des points M,, M 2 , . . . M, . . . de la varit tend
vers un point limite M et si la suite des transformations S, S 2 , . . . ,
S, . . . du groupe tend vers une transformation S, le point M'n
transform de M par Sn tend vers le point M; transform de M
par S.
Cette dernire condition exprime que la continuit dans la varit

du groupe (considr comme groupe abstrait) assure la continuit
des effets produits sur les points de l'espace.
Un espace homogne doit donc tre regard comme l'ensemble
d'une varit connexe et d'un groupe G oprant transitivement dans
cette varit. Nous dirons que G est le groupe fondamental de
l'espace.
On peut dfinir les \ oisinages d'un espace homogne par l'ensemble
des points transforms d'un point fixe O par les transformations d'un
voisinage quelconque du groupe fondamental. Un espace homogne
peut donc tre tecouvert par une infinit dnombrable de voisi-
nages. Un espace homogne dont le groupe fondamental est clos
est videmment clos, niais la rciproque n'est pas vraie. La droite
prOjective par exemple, qui est un espace clos une dimension, est
transforme transitivement par le groupe homographique d'une
variable, qui est ouvert.
18. L'ensemble des transformations de G qui laissent invariant un

point particulier donn O de l'space forme un sous-groirpc g de G
qui est manifestement ferm dans G, car si une suite infinie de trans-
formations de g tend vers une transformation S de G, cette transfor-
mation laisse le point O invariant; nous reviendrons plus loin (n 29)
sur cette importante proprit.
Il peut arriver que G admette des transformations laissant fixes
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. l5
tous les points de l'espace; elles appartiennent ncessairement g et

elles engendrent un sous-groupe y invariant dans G : le groupe de
transformations de l'espace est alors en ralit G/y. Si l'on exclut
l'ventualit envisage, c'est donc que le sous -groupe g ne contient
aucun sous-groupe invariant dans le groupe total.
CHAPITRE II.
LES GROUPES DE LIE.
I. Dfinition et rappel des thormes fondamentaux [1].

19. Nous dirons qu'un groupe abstrait finiet continu est un groupe
de Lie si l'on peut trouver, dans un voisinage suffisamment petit *s\
de l'lment unit, un systme de coordonnes ou paramtres (rels)
ax, a2, ..., ar tel que les paramtres c,- de l'lment C = AB rsultant
de la multiplication de l'lment A de paramtres ai par l'lment B
de paramtres 6,- s'expriment par des fonctions
ct= ,(CT, b)
admettant des drives partielles continues des deux premiers ordres.

Le problme de savoir s'il existe des groupes finis et continus
d'ordre r > i qui ne soient pas des groupes de Lie n'a en somme
jamais t abord. Nous verrons, plus loin (n 26) le seul rsultat
prcis qu'on connaisse sur la question.
Si l'on a affaire un groupe de Lie, on peut choisir les paramtres
du groupe de manire que les cp, soient des fonctions analytiques
de leurs arguments [2]. Les oprations de chaque groupe des para-
mtres (n 7) sont de plus engendres par des transformations
infinitsimales X,, X.2, . . ., X r linairement indpendantes.
Les crochets deux deux des transformations infinitsimales satis-
font des relations de la forme
(0 X,(X / )-X / (X l ) a (X I X / )=2cyA,;
s
les constantes (relles) cijs satisfont des relations algbriques
(*) ^(OiipC^h-hC/kpCpih-^CkipCp/h) = o ( . / . k, h = i, v . . . , r ) f
l6 LIE CARTAN.
qui se dduisent de l'identit de Jacobi

[ ( X , X / ) X * | H - [ ( X / X A ) X i J + [(X jl .X|)Xy] = o.
Si un groupe de transformations autre que l'un des groupes des

paramtres ralise\e groupe abstrait, et si ce groupe admet des trans-
formations infinitsimales, elles satisfont aussi aux relations (i) avec
les mmes constantes cfjs.
20. Aux proprits prcdentes, qui constituent les deux premiers

thormes fondamentaux de S. Lie, on peut ajouter les suivantes [13].
Si dans un certain voisinage du groupe on a fait choix d!un systme de
coordonnes a,, ...,an l'lment infinitsimal S - ' S * ^ peut tre
reprsent par le symbole 2W*XA, O les formes de Pfaff w, satisfont
aux relations (quations de Maurer-Cartan)
(3) </,()-8 ,(//) = 2 * / / * i(^)y()-

U
De mme la transformation infinitsimale S rt+rfa S^ peut tre repr-

sente par le symbole 2w*X*, avec les relations
( f\ ) */ m,( 8 ) 8 m, ( r/) = ^ 6-,-/, mt ( d) v / ( o ).
Les formes <*>., sont invariantes par le premier groupe des para-
mtres, les formes va, par le second groupe des paramtres.
Enfi:i le groupe peut tre dfini, dans un voisinage suffisamment
petit V0 de l'lment unit, par ses paramtres canoniques, chaque
opration tant caractrise par les paramtres a, de la transformation
infinitsimale 2<,-XJ qui l'engendre. Les formes w avec ces para-
mtres canoniques, peuvent tre obtenues [11] par l'intgration des
quations diffrentielles
'fax
(5) 7F=^'' +2 C "'/xft/COy.
'./'
en prenant la solution qui s'annule pour t = o et y faisant ensuite t = i.
Dans ces quations il faut regarder les arguments a, et da, comme
des paramtres constants, les <S tant des fonctions inconnues de la
variable indpendante t.
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS S1TUS. 17
Les formes ms peuvent de mme tre obtenues par l'intgration

des quations
(6) -j~ das 2 CU aiw/
Tous ces rsultats peuvent tre regards comme classiques.
21. Le troisime thorme fondamental de S. Lie exprime que

si l'on a un systme de constantes C/y* satisfaisant aux relations (a),
il existe un groupe fini et continu d'ordre r dont les transformations
infinitsimales indpendantes satisfont aux relations (1). On peut par
exemple, pour le dmontrer, intgrer les quations (5) comme il a
t dit plus haut : les quations de Pfaff
(7) tOg ( a' ; du' ) = tog ( u ; du )
sont, en vertu des relations (a), compltement intgrables et donnent

pour les u\ des fonctions des m et de r paramtres at- dfinissant un
groupe d'ordre r satisfaisant aux conditions voulues; on prendra par
exemple pour paramtre ae- la valeur de u] pour ut = . . . = ur= o.
En ralit la dmonstration prcdente, comme du reste les autres
dmonstrations connues, sauf la premire de Lie dont nous parlerons
bientt, est tout fait insuffisante. Les c*)* sont des formes linaires
en duK, du2, - . . , dur dont les coefficients sont des fonctions .analy-
tiques entires des variables 11,-, mais le dterminant des-coefficients
des dut n'est diffrent de zro que dans un certain voisinage de l'ori-
gine Ui=o. De plus le dterminant serait-il partout diffrent de
zro, cela ne suffirait pas pour assurer l'existence de transformations
finies du groupe valable dans tout l'espace des M/. Il suffit, pour s'en
convaincre, de considrer l'quation simple
du' _ du
I + M' 2 ~" I -+- w 2 '
qui ne fournit aucune transformation finie valable dans tout le

domaine d'existence de la variable relle u.
On a donc dmontr en dfinitive l'existence d'un ensemble de
transformations dfinies pour des valeurs suffisamment petites
des paramtres, dans une rgion suffisamment petite de l^p^j^r>
euclidien des u,, et le produit de deux des transformatk
18 LIE CARTAN.
semble, dans le cas o ce produit est dfini dans la rgion consi-

dre, appartient encore l'ensemble. On a obtenu en somme un
morceau de groupe oprant dans un morceau d'espace. Il est
ncessaire de prouver qu'on peut prolonger ce morceau d'espace et
ce morceau de groupe de manire a obtenir une varit dans laquelle
opre un groupe.
22. La premire dmonstration de Lie, lorsqu'elle est valable au

point de vue local, fournit aisment la base d'une dmonstration
rigoureuse. Elle consiste partir des r transformations infinitsi-
males
(8) K.--.2^.,.
qui satisfont aux relations ( i ) ; elles engendrent, pour des valeurs
suffisammentpetites des paramtres, un morceau de groupe, dont toutes
les oprations sont valables dans tout C espace des eA\ en les multi-
pliant entre elles un nombre fini de fois, et cela de toutes les manires
possibles, on obtient un groupe de transformations linaires bien
dfini dans tout l'espace euclidien des variables e(. Le raisonnement
n'est valable que si les r transformations (8) sont linairement ind-
pendantes, ce qui exige que le groupe infinitsimal n'admette aucune
transformation infinitsimale distingue, c'est--dire changeable
avec toutes les autres. Il en est ainsi par exemple si la forme
e
r ( ) ^ CiCjCtA/tCf/tA.
i /,A,h -
qui donne la somme des carrs des racines de l'quation de Killing
Se r w -8 f / } =o ( = J S' ' . = 7 V
a son discriminant diffrent de zro. Les groupes qui satisfont cette

condition sont les groupes simples ou semi-simples [3].
Dans le cas gnral on peut dmontrer le thorme directement
en commenant par le cas des groupes intgrbles. On peut choisir
la base infinitsimale d'un groupe intgrable et les paramtres
U], . . ., ur de manire que le tableau des coefficients de dux, . . ., dur
dans <i, . . ., GV soit de la forme

1 o o ... o
* cx * o . . o
l
es . o ,
U, tant une forme linaire par rapport aux variables u{, . K., u,{,
les termes figurs par des astrisques tant, pour la tlme ligne, des
fonctions analytiques entires des variables ut, . . ., u{_\ ( ' ) . L'int-
gration des quations (^) donne alors pour les u\ des fonctions ana-
lytiques entires des u, et des paramtres a,, valeurs initiales des u't.
On a donc directement un groupe dont la varit est homomorphe
l'espace euclidien et qui opre dans un espace homomorphe l'es-
pace euclidien. Ce groupe est simplement connexe.
Dans le cas d'un groupe infinitsimal non intgrable G, admettant
un plus grand sous-groupe invariant intgrable g, on peut, pour
obtenir un groupe fini de la structure infinitsimale donne, se
ramener l'intgration d'un systme de Pfaff
ias{u'; du')= 3Lsl(a)o)i(u ; du)-r . . .H- a ^ ( a ) t o , ( , du),
les <S tant les formes dont il vient d'tre question pour les groupes
intgrables, les aij(a) tant les coefficients d'un groupe linaire
semi-simple de structure infinitsimale conique. La conclusion est la
mme, la varit du groupe obtenu est forme des points (a, u) dont
chacun est l'ensemble d'un point de la varit du groupe linaire
semi-simple et d'un point de l'espace euclidien des u,.
II. Groupe adjoint.

Gnration d'un groupe par ses transformations infinitsimales.
23. Si Sa est une opration particulire d'un groupe G, S une
( 1 ) I! peut arriver cependant que pour deux lignes conseculives, par exemple
la iime et la (i-f-iJi*, on ait
les lments al} et a H , (y < i) tant des fonctions entires de u lf ,

20 LIE CARTAN.
opration variable, l'quation
dfinit une opration T a faisant passer de Sw la transforme u,

de S par S a . Ces oprations T a sont des automorphies du groupe,
en ce sens que si Sw et S^ sont transformes en Su, et S^, le produit
SStt est transform en Slf*SM.. De plus elles forment un groupe, qui
est le groupe adjoint de Lie. En particulier elles laissent invariante
la transformation identique et transforment entre elles linairement
les transformations infinitsimales : de ce point de vue, elles consti-
tuent le groupe adjoint linaire T de G. Les transformations infini-
tsimales de T sont prcisment donnes par les formules (8) : la
transformation -Se.X,, transforme par eXs, devient en effet
La transformation infinitsimale VaÊj a pour coefficients les l-

s
ments de la matrice Hrt :
(9) Ha =
cette matrice va jouer un rle fondamental dans la question de la

gnration d'un groupe par ses transformations infinitsimales.
24. Dans un voisinage V* suffisamment petit de l'opration iden-

tique, toute opration du groupe admet un systme de paramtres
canoniques dtermins (a,, . . . , ar), ceux del transformation infini-
tsimale qui l'engendre. Suivons maintenant dans la varit du groupe
un chemin continu partant de l'opration identique; soit S(t) l'op-
ration correspondant un point de ce chemin, qu'on peut supposer
dpendre d'un paramtre t. On pourra suivre de proche en proche les
paramtres canoniques attribuer S(t); en effet si les a,- sont les
paramtres de S (t), on pourra calculer les paramtres ai^-dai
de S(-f-tf) si les paramtres w, de [S()]-'S(-f-d*) sont des
formes linaires indpendantes de dax, . . . , dar. Or les quations (5)
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SI TUS. 21
intgres montrent que les w, se dduisent des da, en effectuant la

substitution linaire reprsente par la matrice
1
a + nJ-HS-4-
H + . . . = eT" T
H + . . . ++ --!, H" M * _-I '
3!H-)-...+ n
dont le dterminant ne s'annule que si l'une des racines caract-

ristiques de la matrice Ha (racines de Killing) est un multiple entier
non nul de 2i7r. Par consquent tant qu'on n'arrivera pas une
transformation S dont les paramtres canoniques (obtenus par
continuit de proche en proche) donneront la matrice H a une
racine de Killing multiple entier nonnul de zni, on pourra pour-
suivre la dtermination des paramtres canoniques.
Les transformations S du groupe pour lesquelles on sera arrt
sont celles pour lesquelles la substitution correspondante T du groupe
adjoint linaire admet une racine caractristique e** gale i, mais
provenant par continuit d'une racine diffrente de i. Si l'on sait
d'avance que ces transformations singulires forment, dans la varit
du groupe, des varits r 2 dimensions au plus, on pourra tou-
jours atteindre une transformation non singulire sans rencontrer
une transformation singulire, et par suite le groupe (ou du moins
l'ensemble de ses transformations non singulires) sera tout entier
engendr par ses transformations infinitsimales.
Dans le cas contraire, il pourra arriver, contrairement ce qu'avait
cru dmontrer H. Poincar [5], que les transformations infinitsimales
n'engendrent qu'une portion du groupe. Le cas le plus simple est
fourni par le groupe des substitutions linaires unimodulaires relles
de deux variables
I0
x' a x +-b y,
( ) 1 , .
{ y = ax-+-b'y;
les substitutions pour lesquelles l'quation (a ^)(b' ^) fea;= o
admet deux racines relles ngatives, distinctes (a-\-b'<C 2) ne
peuvent tre engendres par aucune transformation infinitsimale du
groupe.
25. Dans le cas particulier d'un groupe G de substitutions linaires
relles, on peut arriver un rsultat assez intressant. Toute substi-
tution du groupe non susceptible d'tre engendre par une substitu-
tion infinitsimale peut tre regarde comme le produit de deux
substitutions du groupe changeables entre elles, dont l'une est invo-
22 EL1E CARTAN.
lutive et dont l'autrje est engendre par une substitution infinitsimale.

La dmonstration s'appuie sur la considration du groupe G' obtenu
en regardant comme complexes les paramtres rels de G; d'une
manire plus prcise, G' est le groupe linaire 2.r paramtres rels
engendr par les substitutions infinitsimales Xi, . . . , X, de G et par
les substitutions / X , , i X 2 . . ., *X,.
Il importe cet gard de remarquer qu'tant donn un groupe G
d'ordre r, il n'existe pas toujours un groupe G' d'ordre %r dont G
soit un sous-groupe et tel que les %r paramtres canoniques rels
de G' s'obtiennent en donnant aux r paramtres canoniques de G des
valeurs complexes arbitraires. Nous citerons comme exemple le
groupe G simplement connexe infinitsimalement isomorphe au
groupe homographique d'une variable relle.
III Les sous-groupes d'un groupe de Lie.
26. On peut dmontrer, relativement aux sous-groupes d'un groupe

de Lie, deux thormes fondamentaux.
Le premier thorme est le suivant : Tout sous-groupe continu
d'un groupe de Lie est un groupe de Lie. D'une manire plus pr-
cise on peut trouver, dans la varit de G et dans celle de g, deux
voisinages VQ et v0 entourant l'lment unit, et suffisamment petits
pour que les diffrentes oprations de v0 intrieures *V0 soient celles
qui sont engendres par une certaine famille linaire de transforma-
tions infinitsimales de G. Un cas particulier de ce thorme, celui
qui se rapporte aux sous-groupes du groupe linaire de n variables,
a t dmontr par J. von Neumann [23].
Soient N et /i les ordres respectifs de G et de g. Prenons, dans
l'espace euclidien <S>N N dimensions des paramtres canoniques de G,
une hypersphre 2 ayant pour centre l'origine et de rayon R assez
petit pour que deux points distincts intrieurs 2 reprsentent deux
lments distincts de G; nous conviendrons d'appeler module d'un
lment de G intrieur 2 la distance de son point reprsentatif
l'origine. Considrons maintenant dans g un voisinage v0 entourant
l'lment unit, dont nous supposerons tous les lments de module
infrieur R; il est loisible de le supposer reprsent par une hyper-
sphre a de rayon r de l'espace euclidien &n n dimensions, le centre
reprsentant l'lment unit. Soit R ' < R la borne infrieure des
modules des lments de g reprsents par les points frontires de cr.

Prenons un nombre R " < R ' ; nous pourrons trouver dans &n une
hypersphre Q de rayon r assez voisin de r pour que les lments
de g extrieurs cr' et intrieurs cr soient tous de module suprieur
R;/. Dterminons enfin un nombre e assez petit pour que le produit
d'un lment de g intrieur l'hypersphre <7e de rayon s par un l-
ment de g intrieur cr' soit lui-mme intrieur cr.
Cela pos, considrons dans a une suite infinie d'lments tendant
vers l'origine; soient A,, A 2 , . . . , A, . . . les points correspondants
de S; les demi-droites joignant, dans N , l'origine ces points
admettent au moins une demi-droite d'accumulation A; prenons sur
cette demi-droite un point quelconque H situ une distance
donne R0^R'' de l'origine. Si sn est l'lment de g reprsent
dans <N par A, dterminons le plus grand entier pn tel que sn et
toutes ses puissances jusqu' sn inclusivement soient de module
infrieur R0. Dans l'espace &n, le point reprsentatif de s\, si n est
assez grand pour que sn soit l'intrieur de cre, sera l'intrieur
de cr, et mme, comme son module est infrieur R", l'intrieur de o-';
il en sera de mme de toutes les autres puissances. Dans l'espace &s
les points reprsentatifs sont tous intrieurs l'hypersphre de
rayon R0 et ils admettent manifestement le point H comme lment
d'accumulation; on peut donc extraire de leur suite une suite infinie
partielle de points tendant vers H. La suite des points correspondants
de &n, tous intrieurs cr1, admet dans &n au moins un lment d'ac-
cumulation, et comme elle ne peut pas dans G en admettre plus d'un,
c'est donc que le point H reprsente un lment de g intrieur o*.
Le raisonnement fait pour H est valable pour tous les points de de
module infrieur R" et par suite R'. Autrement dit le voisinage v0
de g contient tous les lments de module infrieur R' d'un
sous-groupe engendr par une transformation infinitsimale
de G.
On voit facilement alors que toutes les transformations infinitsi-
males de G appartenant g engendrent un sous-groupe de Lie g' con-
tenu dans g, et dont les lments de module infrieur R' appar-
tiennent tous au voLsinage vQ de g. Il ne peut pas y avoir l'intrieur
de l'hypersphre 2' de rayon R' d'autre lment appartenant v0. En
effet un tel lment s pourrait tre joint l'lment unit de g par un
chemin continu appartenant v0 et dont tous les lments seraient de
24 LIE CARTAN.
module infrieur R. Soit A le point intrieur 2 reprsentatif de cet

lment; la varit lieu des lments sg serait, l'intrieur de 2 , une
varit analytique passant par A, de mme dimension n que l'ordre
de g1 ; la varit plane N //' dimensions issue de l'origine et ortho-
gonale gJ rencontrerait cette varit en un point dtermin ; on aurait
ainsi une suite de points tendant vers l'origine en mme temps que A
et tels que les droites joignant l'origine a ces points feraient des
angles tendant vers - avec les droites qui engendrent gf; il en rsul-
terait l'existence dans g de transformations infinitsimales distinctes
de celles de g, contrairement l'hypothse. Le thorme est ainsi
compltement dmontr.
On en dduit en particulier la consquence suivante. Tout groupe
linaire fini et continu est un groupe de Lie. Il en serait de mme
de tout groupe projectif, conforme, etc. Si donc il existe un groupe
fini et continu qui ne soit pas un groupe de Lie, il ne peut tre
isomorphe aucun groupe linaire. La question de savoir si tout
groupe de Lie est isomorphe un groupe linaire est encore, comme
on sait, en suspens.
27. Le second thorme fondamental est relatif aux sous-groupes
ferms dans G. Il s'nonce de la manire suivante. Si un sous-
groupe g d'un groupe de Lie G est ferm dans G sans tre pro-
prement discontinu, on peut trouver dans G un voisinage VQ
suffisamment petit de l'lment unit pour que tous les lments
de g intrieurs V0 soient ceux qui sont engendrs par une cer-
taine famille linaire de transformations infinitsimales de G.
La dmonstration est analogue la prcdente, mais plus simple,
le point de dpart tant encore la considration d'une suite infinie
d'lments de g tendanl vers l'lment unit dans G.
Il rsulte en particulier de ce second thorme que tout sous-
groupe g improprement discontinu est ouvert dans G, le sous-
groupe form de g et de ses lments d'accumulation dans G
tant un groupe de Lie continu.
IV. Les espaces homognes

dont le groupe fondamental est un groupe de Lie.
28. Parmi les espaces homognes dont le groupe fondamental est
un groupe de Lie (espaces homognes de Lie) se trouvent en parti-
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 2&
culier les varits des groupes de Lie,* dans lesquelles opre transiti-
vement l'un ou l'autre des groupes des paramtres. Ces espaces ne
sont pas, au point de vue de VAnalysis situs, des varits quel-
conques, comme le montre l'examen du cas de deux dimensions. Les
groupes de Lie detix paramtres sont commutatifs ou isomorphes
au groupe des similitudes de la droite. La varit d'un groupe com-
mutatif est homomorphe soit au plan euclidien (groupe des transla-
tions du plan), soit au cylindre de rvolution, soit au tore. Quant
la varit du groupe des similitudes de la droite x[r = ax-\-b(a> o),
elle est homomorphe au plan euclidien (ou un demi-plan, ce qui
est la mme chose); ce groupe est donc simplement connexe et comme
son centre se rduit l'opration identique, il n'en existe pas d'autre
qui ait la mme structure infinitsimale. Nous obtenons donc, comme
seules varits de groupes de Lie d'ordre 2, le plan euclidien, le
cylindre de rvolution et le tore.
29. Considrons maintenant un espace homogne de Lie quel-

conque E admettant un groupe continu connexe G pour groupe fon-
damental. Le plus grand sous-groupe g qui laisse invariant un point
particulier O de l'espace est, comme nous l'avons vu (n 18), ferm
dans G, et par suite (n 27) proprement discontinu ou bien continu,
connexe ou mixte. De plus il n'admet aucun sous-groupe invariant
dans G.
Rciproquement soit g un sous-groupe quelconque ferm dans G
et n'admettant aucun sous-groupe invariant dans G; soient r n
et n les ordres respectifs de g et de G. S'il existe un espace homo-
gne transform transitivement par G et tel que g soit le plus grand
sous-groupe laissant invariant un point O de l'espace, on pourra
associer chaque point M de l'espace l'ensemble S g des transforma-
tions de G amenant O en M, et qui sont toutes obtenues en multipliant
une transformation particulire S par toutes les transformations de g.
Considrons alors l'ensemble des lments ou points S g. Ils
forment une varit n dimensions satisfaisant aux conditions voulues.
Dfinissons en effet le voisinage d'un point Sg comme l'en-
semble des points s S g, o s est un lment arbitraire d'un voi-
sinage Vo de l'lment unit dans G. Choisissons arbitrairement
n transformations infinitsimales X, . . . , X/ formant avec les r n
transformations infinitsimales de SgS~x une base pour le groupe G;
26 LIE CARTAN.
tout lment s est, d'une manire et d'une seule, le produit d'une

transformation t de V0 engendre par e, X , - | - . . . -r-X et d'une
transformation de V0 appartenant S^S" 1 ; on a donc
sSg^tSg;
on peut donc faire correspondre tout point du voisinage VoSg -

considr un point (et, .. .,etl) d'un espace euclidien n dimensions
intrieur une hypersphre de rayon suffisamment petit. D'autre part,
deux points distincts de cette hypersphre correspondent deux
points distincts tSg; s'il n'en tait pas ainsi, et cela quelque
petit qu'on prenne le voisinage V0, c'est qu'on pourrait trouver une
suite infinie de couples d'lments tn, t'lt tendant vers l'lment unit
et tels que ^ t S soit de la forme *nSR, l'lment Rn appartenant g ;
on aurait donc
Cr'=SRS-i,
t tendant vers l'lment unit, sans appartenir au voisinage

immdiat de l'lment unit dans g. Mais cela est en contradiction
avec le second thorme fondamental (n27) relatif aux sous-groupes
g ferms dans G. Le postulat A est ainsi vrifi. Les autres postulats
ne soulvent aucune difficult, sauf peut-tre le dernier E, qui se
dmontre de la manire suivante. Si tant donns deux points
distincts'S^ et S'g, on ne pouvait pas trouver deux voisinages de ces
points n'ayant aucun point commun, c'est qu'on pourrait trouver
une suite infinie de couples d'lments s,n s'n de G tendant \ers l'l-
ment unit et tels que
on aurait alors
Rw appartenant g] l'lment R7I tendrait vers S~*S', qui n'appar-

tient pas g, ce qui est en contradiction avec l'hypothse que g est
ferm dans G.
Il est bien clair qu'on pourrait, pour engendrer l'espace homogne,
partir de tout autre sous-groupe SQ^S" 1 homologue de g dans G.
30. On peut, au lieu de supposer que l'espace E est transform

transitivement par un groupe isomorphe holodrique de G, supposer
simplement qu'il est transform par un groupe infinitsimalement

isomorphe de G. Dans ce cas le sous-groupe g peut contenir des
lments formant un sous-groupe y invariant dans G, mais non con-
tinu; comme d'autre part y est constitu par l'ensemble des transfor-
mations de G qui laissent invariants tous les points de l'espace, il est
ferm dans G et par suite dans g\ il est donc proprement discon-
tinu dans g. Chacun de ses lments est alors invariant par lui-mme
dans G, autrement dit appartient au centre de G. Les espaces hoho-
gnes transforms transitivement par G, avec la possibilit qu'tl
existe dans G un sous-groupe non continu laissant invariants
tous les points de l'espace, sont donc associs aux diffrents sous-
groupes g ferms dans G et n'admettant, comme sous-groupe
possible invariant dans G, qu'un sous-groupe proprement dis-
continu du centre de G.
Si G est simplement connexe, on pourra donc construire, au
moyen de G, tous les espaces homognes admettant pour groupe
fondamental un groupe infinitsimalement isomorphe de G.
31. Supposons le groupe G simplement connexe. Le sous-groupe g

peut tre connexe ou mixte; dans ce dernier cas la famille con-
nexe g0 de g qui contient l'lment unit .est invariante par toutes
les transformations de g.
Si g est connexe, l'espace homogne E est simplement con-
nexe. Prenons en effet dans E un contour ferm (C) partant de O
et y revenant et associons par continuit chaque point M de ce
contour une des transformations de G amenant O en M, la trans-
formation de dpart tant la transformation identique. Au contour (C)
correspondra dans la varit de G un chemin (C) partant de l'l-
ment unit et aboutissant un lment de g, chemin qu'on pourra
fermer sans sortir de g, puisque g est connexe. On pourra dformer
d'une manire continue le contour ferm ( C ) ainsi obtenu de
manire le rduire un point. Cette dformation entranera une
dformation continue correspondante du contour (C), qui peut ainsi
se rduire un point. c. Q. F. D.
Si g n'est pas connexe, chaque famille connexe gt constituant g
correspond dans l'espace E un ensemble de contours ferms rduc-
tibles les uns aux autres par dformation continue; pour les obtenir, on
joint, dans la varit de G, l'lment unit un lment de gi par un
28 LIE CARTAN.
chemin continu ; les lments de ce chemin fournissent des transfor-

mations qui, appliques au point O, donnent dans E un contour
ferm. D'une manire gnrale il y a autant de contours ferms irr-
ductibles les uns aux autres dans E qu'il y a dans g de familles con-
nexes distinctes. Le groupe de connexion de l'espace E, au sens
de V Analysis si tus, est le groupe abstrait dont chaque lment (ei)
peut tre identifi la famille gt, le produit (e) (ej) tant gal (e*)
siles produits des lments de gi par les lments de gj donnent les
lments de gk-
32. De ce qui prcde rsulte une consquence intressante. Ne

supposons plus G simplement connexe. Si l'espace homogne E est
simplement connexe, on peut affirmer que le sous-groupe g de G
associ l'espace E est connexe. Si au contraire l'espace E n'est pas
simplement connexe, on peut affirmer ou que le sous-groupe g n'est
pas connexe, ou que le groupe G n'est pas simplement connexe. C'est
ce qui se passe par exemple pour la droite projective transforme
transitivement par le groupe homographique (connexe) d'une
variable; la droite projective n'est pas simplement connexe, mais le
sous-groupe g qui laisse invariant le point x = oo est le groupe
xl=ax-\- b (a > o), qui est connexe; donc le groupe homogra-
phique n'est pas simplement connexe. On peut tirer la mme con-
clusion pour le groupe linaire unimodulaire de deux variables relles,
qui transforme transitivement le plan euclidien point (d'o l'on a
enlev l'origine), et pour lequel le sous-groupe g qui laisse invariant
le point ( i , o) est le groupe connexe
x'= x 4- ay,
Ces remarques montrent le grand intrt que peut prsenter, pour

l'tude topologique d'un espace homogne, l'tude topologique du
groupe fondamental de cet espace.
33. Indiquons en terminant que la connaissance de tous les

types de groupes de Lie deux variables permet la dtermination de
tous les espaces homognes de Lie deux dimensions. Contentons-
nous de signaler le rsultat.
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSlS SITUS. 29
Tout espace homogne de Lie deux dimensions est homo-

morphe l'un des espaces suivants :
Le plan euclidien;
Le cylindre de rvolution;
Le plan projectif point;
Lasphr;
Le plan projectif;
Le tore.
Les trois premiers sont ouverts, les trois derniers sont clos. On
voit que la surface de Riemann d'une courbe algbrique de genre
suprieur i ne peut tre transforme transitivement par aucun
groupe de Lie. Uu thorme analogue, mais moins restrictif en ce
qui concerne la nature du groupe, a t dmontr par V. van Dantzig
et B. L. van der Waerden [261-
V. Espaces homognes orientables et non orientables;

volume; espaces homognes mtriques.
34. Soient G le groupe fondamental d'un espace homogne, g le

sous-groupe associ, y le sous-groupe du groupe adjoint linaire
correspondant g. Supposons que dans la base infinitsimale de G
les /- n dernires transformations infinitsimales soient celles qui
engendrent g, ou du moins la partie connexe de g qui contient l'l-
ment unit. Les substitutions linaires de y portent sur les para-
mtres et de la transformation infinitsimale 2e/X, la plus gnrale
du groupe, mais, comme y laisse videmment invariant l'ensemble
des transformations de g, ces substitutions transforment entre eux
ls paramtres e%, e 2 , . . . , en\ nous dsignerons par y le groupe
linaire qui indique comment ces n paramtres sont transforms.
Supposons que le dterminant des diffrentes substitutions de y
soit toujours positif; l'espace E sera alors orientable. Considrons un
paralllpipde construit sur n vecteurs infiniment petits OA; issus
du point origine O ; chaque point A/ peut tre obtenu en appliquant
fczzn
O une transformation infinitsimale } e^X*. Rangeons les n vec-
teurs dans un certain ordre et convenons de dire que le paralll-

MM. nBS S C MATH. 42 3
3o L1E CARTAN.
ppde est de sens positif ou ngatif suivant que le dterminant

(e^J est positif ou ngatif. Par toute transformation de g, le parall-
lpipde sera chang en un autre qui aura le mme sens que le
premier, car on passe des valeurs e,'}, e\[, . . ., e( aux valeurs trans-
formes par une substitution de y, la mme pour tous les indices i.
On pourra de mme dfinir le sens d'un paralllpipde infiniment
petit d'origine A diffrente de O en ramenant &on origine en 0 par
une transformation de G, et le sens se conserve par toute transfor-
mation de G.
Si au contraire certaines substitutions de y sont de dterminant
ngatif, l'espace n'est pas orientable.
Si le sous-groupe g est connexe, il est clair que le dterminant des
substitutions du groupe linaire connexe y est toujours positif;
l'espace est donc orientable. La varit d'un groupe est en parti-
culier toujours orientable.
35. Les considrations prcdentes permettent de dfinir le volume

d'un paralllpipde infiniment petit d'un espace homogne si toutes
les substitutions linaires de y sont de dterminant gal i (espaces
orientables), ou de dterminant gal =h i (espaces non orientables).
Le volume ainsi dfini se conserve par toute transformation de G.
Prenons en particulier la varit d'un groupe G, considre comme
un espace transform transitivement par le premier groupe des para-
mtres. Ici g se rduit la transformation identique. Dfinissons le
volume du paralllpipde d'origine O (lment unit) et construit
sur les vecteurs que dfinissent le*> transformations infinitsi-
males e{\\, ^2^2i i ?rXr, comme tant gal p< *3. . . e,. L'l-
ment de volume de l'espace sera [12, 13]
le second membre tant un produit extrieur.

Si au contraire on regarde la varit du groupe comme un espace
transform transitivement par le second groupe des paramtres, on a
un second lment de volume [12, 13]
//T = W\ Wn . . . VSf .
36. Si le groupe linaire y laisse invariante une forme quadratique

LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 3l
dfinie positive, par exemple e'\-\- e'i + . . . -f- e';t, il existe dans l'espace
homogne E une mtrique riemannienne invariante par G. Soit en effet
A un point infiniment voisin du point origine O ; appelons distance OA
la quantit y/'e\ H- e\-\-. . .-\-e;t, en dsignant par e\, . . . , e les para-
mtres de la transformation infinitsimale e,X|-f-. . . 4-^X,i qui
amne O en A. Si, par une transformation de g, A vient en A', on
voit que la distance OA' est gale la distance OA. On; dfinit alors
la distance MN de deux points infiniment voisins M etN, en amenant
M en O par une transformation de G; si alors N vient en A, on
pose MN = OA; la distance obtenue est indpendante de la transfor-
mation qui a amen M en O. Elle se conserve par une transformation
quelconque de G.
Analytiquement, si Sa et Sa+da sont deux transformations de G
amenant respectivement O en deux points infiniment voisins M et N,
et si S^Sa+da a pour symbole <o,X,-+-., . - f - w r X 0 on a
I\JN~ = w'f-i-wjJH-.. .-f- o>;-,.
En particulier l'espace du groupe G, considr comme transform

transitivement par le premier groupe des paramtres, admet une
infinit de mtriques invariantes par ce groupe : il suffit de prendre
une forme quadratique dfinie positive coefficients constants arbi-
traires en w,, w2, . . ., a>. Si l'on prend pour g, au lieu de la trans-
formation identique, un sous-groupe proprement discontinu fini, y
est un groupe linaire fini qui laisse toujours invariante au moins
une forme quadratique dfinie positive, et par suite l'espace E
/dimensions associ g admet toujours au moins une mtrique inva-
riante par G.
CHAPITRE 111.
LES GROUPES DE LIE CLOS.
I. Volume d'un groupe clos.
37. Nous avons vu (n 3o) qu'on pouvait dfinir dans la varit d'un
groupe de Lie deux volumes diffrents. Il est vident que chacun
MMORIAL DES SC. MATH. N 4 2 . 3
3a LIE CARTAN.
d'eux est fini si le groupe est clos, puisque la varit peut tre recou-
verte par un nombre fini de voisinages, dont chacun a un volume
fini.
Si au contraire le groupe est ouvert, l'un et l'autre des volumes de
sa varit sont infinis. Soient en effet V un voisinage de l'lment
unit et V0 un voisinage intrieur *s?0 et suffisamment petit pour
que, s et s' tant deux lments quelconques de V 0 , l'lment AS' -1
appartienne *s?0. Nous savons que p tant un entier quelconque, il
existe des lments de G qui ne peuvent pas tre obtenus par multi-
plication de p lments intrieurs "s?0, sans quoi la varit de G
pourrait tre recouverte par un nombre fini de voisinages. Soit
alors S un lment de cette nature :
S = SiS2...sq (q >p);
nous pouvons supposer que q est le nombre minimum de facteurs

qu'on peut prendre l'intrieur de Vi} pour obtenir S. Considrons
les voisinages
V'0. stS.V'H, *!*,*,**%. ...;
on voit facilement qu'ils n'ont deux deux aucun" lment com-

mun; ils ont d'autre part tous le mme premier volume vf, volume
de ^ 0 . On peut donc trouver dans la varit du groupe autant de
rgions qu'on veut, toutes de volume vf et n'ayant aucun point
commun. c. Q. F . D.
Les deux volumes qu'on peut dfinir dans la varit d'un groupe
clos sont identiques.
II. Le thorme de H. Weyl.
38. Il existe pour les groupes linaires clos G, connexes ou mixtes,

un thorme fondamental d H. Weyl [8, p. 28g], c'est qu'un tel
groupe laisse invariante au moins une forme d'Ileimite dfinie
positive.
Supposons d'abord le gioupe G conneve, dfini par les quations
t\r=yâlkjrk ( / = . 1, > , . . . . n).

A
o les coefficients ath dpendent naturellement de la substitution S

LA THORIE DES GROUPES FINIS ET CONTINUS ET LANALYSIS SITUS. 33
du groupe. Nous dsignerons les-seconds membres par S#t- et leurs

complexes conjugus par Sxt. Formons l'intgrale suivante tendue
toute la varit du groupe :
SJT, S.r,-i- S,r s Srs - h . . .-+- S J ? S J ? ) */T$;

/<
c'est une forme d'Hermite dfinie positive F ( # , , . . . , n). Elle est

invariante par G, car si l'on effectue sur les variables Xi la substi-
tution particulire S 0 , la forme devient
SSoJ?i S S o J ? i - + - . . . - + - SSoJ7 SSflj?//) d'Zs

/<
en posant SS 0 = S' et remarquant que drs= tfrs., si Ton a pris pour
dz le second lment de volume, on dmontre le thorme.
Si le groupe G est mixte, il est ncessairement form d'un nombre
fini de familles connexes; il suffit alors de dfinir la forme F par la
somme d'autant d'intgrales qu'il y a de familles dans le groupe.
Si le groupe limaire clos G est coefficients rels, on peut substi-
tuer la forme d'Hermite une forme quadratique dfinie positive.
39. Une consquence particulire du thorme de Weyl est que

les coefficients ay des substitutions d'un groupe linaire clos sont
borns, car si l'on suppose que la forme invariante F est, par exemple^
F ===.#,.#, H- XsJC2-h. . .-h xnxn,

on a
(0 ^ q i A - i = is
Celte proprit peut du reste se dmontrer directement. Appelons

module d'une substitution linaire la quantit i/"S?ozljalj. Si les
coefficients n'taient pas borns, on pourrait trouver une suite infinie

de substitutions S,, S 2 , . . . , S, . . . du groupe telle que le module de
chacune soit suprieur au double du module de la prcdente, et
cette suite ne pourrait avoir aucun lment d'accumulation dans le
groupe.
On peut ajouter une autre proprit essentielle qui dcoule de la
prcdente, c'est que les racines >. de l'quation caractristique de S,
34 LIE CARTAN.
savoir
/7 n i* ... a,
a
rt2i <*.2 ' in
-_(),
Cln\ <t//2 . . . Ci,,/,
sont toutes de module gal i. En effet ou peut, par un changement

pralable de variables, supposer que l'une des quations de la substi-
tution S est
.r', - X r, ;
la substitution S'* aurait donc } n pour coefficient, et cette quantit ne
peut tre borne que si 1 est de module i. Il rsulte enfin de l que
le dterminante de la substitution, qui est le produit des racines carac-
tristiques, est de module gal i. On pourrait dire directement que
chaque substitution S est associe la substitution v1 = Ae qui indique
comment S change les volume*; ces substitutions ne peuvent engen-
drer un groupe clos que M A est de module gal i. C'est du reste
la raison du fait qu'il ne peut > avoir dans la varil d'un groupe clos
qu'une seule espce de volumes.
40. On peut rattacher aux considrations prcdentes le thorme

important suivant : Tout groupe linaire born et algbrique est
clos. Un groupe linaire Ci sera dit born si les coefficients de ses
quations sont borns, et algbrique s'il est dfini par un systme de
relations algbriques entires entre les coefficients. Le thorme est
peu prs vident, car tout ensemble infini de substitutions du
groupe admet au moins, les coefficients tant borns, un lment
d'accumulation 2 dans le groupe de toutes les substitutions linaires
portant sur les variables donnes, et 2 appartient au groupe G, car
ses coefficients satisfont aux relations algbriques entires donnes.
Le groupe orthogonal de n variables relles, le groupe linaire
d'une forme d'Hermite dfinie positive, le groupe linaire unimodu-
laire d'une telle forme sont donc des groupes clos. Mais leurs sous-
groupes ne sont pas tous clos, comme le prouve l'exemple du groupe
,r''=- ela i. j ' e""ay
au paramtre rel a, m tant une constante relle irrationnelle; ce

groupe n'est pas clos, et cependant il laisse invariante la forme
d'Hermite rx-\-yy.
III. La structure des groupes clos.
41. Si un groupe G est clos, son groupe adjoint T l'est aussi; il

laisse donc invariante au moins une forme quadratique dfinie positive,
soit
F ( e ) = ef -f- ej-t-...-*- ef\
en exprimant que la transformation infinitsimale E, (n 22) du groupe

adjoint laisse F invariante, on obtient les relations
On peut donc choisir la base d'un groupe clos de manire avoir

(0 cl/k cjkl = ckl/ = clk/ ck/l = cIlk.
On en dduit, pour le coefficient de e\ dans la forme cp(e) dfinie

au n 22,
La forme cp(e) est donc dfinie ou semi-dfinie ngative : c'est

du reste une proprit qui rsulte immdiatement du fait qu'elle repr-
sente la somme des carrs des racines caractristiques des substitutions
infinitsimales du groupe adjoint et que ces racines sont purement
imaginaires, sans quoi les racines caractristiques des substitutions
finies du groupe adjoint ne pourraient tre de module i.
42. Regardons ex,e-x, ...,e, comme les coordonnes rectangu-

laires d'un point dans un espace euclidien r dimensions. Si T laisse
invariante dans cet espace une varit plane passant par l'origine,
elle laisse aussi invariante la varit orthogonale. On peut donc sup-
poser choisie la base infinitsimale du groupe de manire que T laisse
invariantes sparment les varits planes dfinies par lesp^ premiers
axes de coordonnes, puis parles p2 suivants, puis par le s/>3 suivants,
et ainsi de suite, T ne laissant invariante aucune varit plane plus
petite contenue dans Tune des varits prcdentes. Un calcul facile
montre alors que les constantes cljk ne peuvent tre diffrentes de
zro que si les indices i, /', k appartiennent tous les trois, soit la
suite des/>i premiers indices, soit la suite desy>2 suivants et ainsi de
36 LIE CARTAN.
suite. Les transformations infinitsimales de chaque suite engendrent

un groupe et le.groupe G est, au moins au voisinage de l'l-
ment identique, le produit direct d'un certain nombre d'autres
groupes G,, G . . . , G*. Cela veut dire que toute transformation
de G suffisamment voisine de la transformation identique peut tre
regarde, d'une manire et d'une seule, comme le produit d'une
transformation de G,, d'une transformation de G2, etc., ces h trans-
formations composantes tant changeables entre elles (et prises~cha-
cune dans le voisinage de la transformation identique).
Les groupes composants G,, G 2 , . . . , GA sont simples, car ils ne
peuvent videmment admettre aucun sous-groupe invariant continu,
un tel sous-groupe invariant correspondant une varit plane inva-
riante par T.
43. Certains des groupes composants peuvent tre un paramtre.

Supposons d'abord qu'ils jouissent tous de celte proprit. Les
constantes c/y* sont alors toutes nulles et Ton a un groupe commu-
tatif clos. Le groupe simplement connexe de mme structure infini-
tsimale est le groupe des translations de l'espace euclidien r dimen-
sions. Pour passer de ce dernier un groupe clos, il faut en dter-
miner un sous-groupe proprement discontinu; on voit immdiatement
que le groupe clos peut toujours ôbtenir en regardant comme iden-
tiques deux translations dont les projections diffrent de nombres
entiers. Un tel groupe est donc toujours isomorphe holodrique au
groupe linaire
x\ = elaixu x'. el"*x *',.= el"> x,
aux paramtres a%, a*, .'. ., ar.

Tout groupe linaire isomorphe au prcdent est rductible la
forme
les mkh tant des entiers arbitraires. Pour que l'isomorphisme

soit holodrique, il faut et il suffit qu'on puisse rciproquement expri-
mer a,, a 2 , . . ., ,. par des combinaisons linaires coefficients
entiers des n formes N^/n,**(/= i, 2, . . ., n).
k
Il est intressant de remarquer que le groupe G admet une infinit
continue d'automorphies locales, celles qu'on obtient en effectuant
LA THORIE DES GROUPES FMHS ET CONTINUS ET L'ANALYSIS SITUS. %J
sur les ai une substitution linaire arbitraire. Mais une telle auto-
morphie locale ne peut se prolonger dans tout le groupe que si la
substitution est coefficients entiers et de dterminant gal : i.
44. Tout groupe clos est (infinitsimalement) i e produit direct

d'un groupe commutatif et d'un autre groupe pour lequel la forme <p(e)
est dfinie ngative. Les groupes pour lesquels la forme <p(e) est de
discriminant non nul sont les groupes simples et semi-simples. Nous
allons tudier sommairement les groupes pour lesquels la forme y(e)
est dfinie.
IV. Les groupes semi-simples clos.
45. Soit G un groupe connexe pour lequel la forme y(e) est

dfinie :
9 ( 0 = ( H-I-*--.--*-*?);
les constantes de structure ce*./A satisfont alors aux relations (2) et

par suite la forme cp(e) est dfinie ngative. Nous allons montrer que
le groupe adjoint linaire T est clos.
Considrons en effet [9, 21] l'ensemble des automorphies linaires
de G, c'est--dire l'ensemble des substitutions linaires
-2 ak
ik ek-
qui, effectues sur les paramtres d'une transformation infinitsi-

male ^ C/X/, conservent les relations de structure
1
(X / X / )=2< ? //A-XX.
k
Elles sont dfinies par les relations algbriques entires
(3) 2a*iA/c*A*=2c'/**** ^'%J' S = ' '*' ""' ' ^

X,// k
Le groupe des automorphies linaires est donc algbrique et aussi

born puisqu'il laisse invariante la forme <p(e). U est donc-clos (n 40).
Or le groupe adjoint linaire T en est un sous-groupe, et mme un.
sous-groupe invariant, car la transforme par une auiomorphie iX de
38 LIE CARTAN.
la transformation Ta du groupe adjoint

(Ta) SM'=SaSwS^
est la transformation Ta qui provient de l'lment Sa de G transform
de Srt par l'automorphie cl. Le groupe Tr est donc (n 42), au moins
infinitsimalement, le produit direct de T par un groupe I\ chan-
geable avee T; mais il est impossible que ce groupe I\ ne se rduise
pas l'opration identique, car il donnerait des automorphies linaires
laissant invariante chaque transformation Ttl du groupe adjoint et
par suite chaque lment de G.
Le groupe T est donc identique T', ou, du moins, il constitue
l'une des familles connexes, en nombre fini, qui composent Y'. Il est
donc clos.
46. Nous allons maintenant montrer que le groupe G lui-mme
est clos; il suffit pour cela de dmontrer avec H. Weyl [8, p. ."l8o j,
que le groupe simplement connexe de la mme structure infinitsimale
ne recouvre le groupe adjoint qu'un nombre fini de fois, ou encore
qu'i7 existe dans la varit du groupe adjoint un nombre fini de
contours ferms irrductibles tes uns aux autres par dformation
continue. Ce nombre sera celui des lments du centre du groupe
simplement connexe de la structure infinitsimale donne.
Il est ncessaire, pour dmontrer ce thorme, d'tablir au pra-
lable quelques proprits du groupe adjoint T. Supposons qu'on
puisse trouver l transformations infinitsimales indpendantes de T
qui soient changeables entre elles et qui ne soient toutes la fois
changeables avec aucune autre transformation infinitsimale; nous
pouvons supposer que ces / transformations sont E,, Ej, . . . , E*. Le
sous-groupe y de T qu'elles engendrent est clos, parce que c'est une
des parties connexes du groupe born et algbrique form des subs-
titutions de f qui laissent invariantes les variables et, e2, . .., e/.
Ce sous-groupe y est d'autre part commutatif; par suite (n 13) les
racines caractristiques de sa transformation infinitsimale la plus gn-
rale aiE 4 -f-a 2 E 2 -f-.. .-h-a/E/ sont de la forme db /wff, les wa tant
des combinaisons linaires coefficients entiers de l paramtres cano-
niques <p,, <p2, . . . , <p/, dfinis chacun air prs et dpendant eux-
mmes linairement des paramtres aA, a2, . . ., a/, galement cano-
niques. Les racines caractristiques sont deux deux gales et oppo-
ses parce que le groupe y est coefficients rels.
47. Les transformations infinitsimales de y qui ne sont pas sin-

gulires, c'est--dire pour lesquelles aucune des quantits wa ne
s'annule, tant invariantes par y, admettent chacune oo"-' homo-
logues dans T, et, comme elles dpendent de / paramtres, on voit
que les transformations de y et leurs homologues dpendent de
r paramtres. Les transformations singulires de y, invariantes par
un sous-groupe / + 2 paramtres au moins, admettent chacune oo' 1- '- 2
homologues au plus et, comme elles dpendent de / 1 paramtres
au plus, les transformations singulires de T dpendent de
r / 2 + ( / - i ) = r S
paramtres au plus. Il en rsulte en particulier (n 24) que toutes

les transformations finies non singulires de T, et aussi de G,
admettent des transformations infinitsimales gnratrices, lien
est de mme du reste des transformations singulires, qui sont limites
de transformations non singulires, car on peut toujours supposer
que les paramtres cp,, cp2, . . . , cp^ d'une transformation infinitsimale
gnratrice soient compris entre o et 2ir, c'est--dire borns, et dans
ces conditions les transformations infinitsimales gnratrices d'une
suite infinie de transformations finies non singulires tendant vers
une transformation finie singulire admettent au moins un lment
d'accumulation, qui fournit une transformation infinitsimale gn-
ratrice de la transformation singulire. Tout groupe semi-simple
forme y(e) dfinie est donc compltement engendr par ses
transformations infin itsi maies.
48. Considrons maintenant, dans l'espace euclidien / dimensions

dont les coordonnes rectangulaires sont les paramtres canoniques
<?,, . . ., ai d'une transformation de y, les hyperplans
Les premiers dlimitent autour de l'origine un certain nombre

d'angles polydres (D,), (D 2 ), . . . ; les derniers dlimitent avec les
premiers, l'intrieur de ces angles polydres, un certain nombre de
polydres (Pi), (P2) ayant l'origine pour sommet. Dcrivons
dans la varit de T un chemin (C) allant de l'lment unit un
lment quelconque T; nous pouvons toujours au besoin, par une
petite dformation, supposer que ce chemin ne rencontre aucun l-
4o L1E GARTAN.
ment singulier. Suivons par continuit, les paramtres <pf, <p2, . . . , 9/

de l'lment variable sur (C); partant de l'origine, nous pntrerons
dans un ds polydres (P) sans en sortir jamais; par suite tout l-
ment de T est homologue un lment de y ayant son image
l'intrieur ou sur la frontire d'un des polydres (P). Supposons
maintenant que le contour (C) revienne l'lment unit; le point
image intrieur ( P ) , partant de l'origine, aboutira ncessairement
un de sommets de (P) correspondant la transformation identique
de F (pour la transformation identique de F, les &>a sont tous des
multiples de 2 7r). Si le point image revient l'origine, le contour
ferm qu'il dcrit peut tre rduit l'origine par une suite d'homo-
thties de rapport k dcroissant de 1 o et le contour ferm (C?)
peut tre corrlativement rduit un point par dformation con inue.
Si au contraire le point image intrieur (P) va de l'origine un
autre sommet, le contour ((3) ne pourra pas tre rduit un point
par dformation continue, car s'il le pouvait, il serait toujours pos-
sible de raliser la rduction sans jamais rencontrer les lments
singuliers, qui forment des varits r i dimensions seulement,
mais alors le point image, ne sortant pas de (P), irait toujours de
l'origine au mme sommet de (P), ce qui est absurde.
Il y a donc [ 15] dans la varit de T autant de contours ferms
irrductibles les uns aux autres qu'il y a dans le polydre (P)
de sommets reprsentant la transformation identique. Ce nombre
tant fini, le thorme est dmontr.
49. Les diffrents polydres (P) qui rayonnent autour de l'origine

dans l'espace l dimensions reprsentent chacun toutes les transfor-
mations du groupe. En particulier deux polydres voisins (P) et (P*),
contigus par une face latrale issue de l'origine, sont symtriques
l'un de l'autre par rapport a celte face. Il existe une transformation
du groupe adjoint transformant les transformations infinitsimales
de y intrieures (P) dans les transformations infinitsimales de y
intrieures (Pi). Toutes ces transformations de y en lui-mme
engendrent un groupe fini ( S ) . Il n'y a pas du reste dans le groupe
adjoint T d'autre transformation laissant y invariant; sinon en effet
une de ces transformations T laisserait invariant l'angle polydre (D) ;
ar suite il existerait une transformation infinitsimale X non singu-
lire de y invariante par T; or la transformation T peut toujours tre
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 4*
engendre par une transformation infinitsimale de T laissant X inva-

riante; mais les seules transformations infinitsimales de T chan-
geables avec X appartiennent toutes y ; la transformation T laisserait
donc invariantes toutes les transformations de y, ce qui est absurde.
L'angle polydre (D) est donc la rgion fondamentale du groupe
fini (S) dont les oprations gnratrices sont les symtries par rap-
port aux faces latrales de (D). Le nombre des polydres (P) qui
rayonnent autour de l'origine est gal au nombre des oprations
de ( S ) . Le nombre des faces latrales de (D) est gal au rang i du
groupe [K)j.
50. La recherche des autoaiorphies de G peut se rattacher aux

considrations prcdentes. Elle se ramne la recherche des rota-
tions et symtries autour de l'oiiginc qui laissent invariante la figure
forme par les angles polydres (D), ( D 4 ) , etc. Le nombre de ces
oprations est un multiple du nombre des oprations de ( S ) ; sa
connaissance donne immdiatement le nombre de familles connexes
distinctes dans lesquelles se dcompose le groupe total r' des aulo-
morphies de G. Ce nombre, pour les groupes simples, est gal i, 't
ou 6, il a t dtermin par E. Cartan [10].
51. 11 existe quatre classes gnrales de groupes simples clos et, en

outre, cinq groupes exceptionnels. Les groupes des classes gnrales
sont isomorphes :
A. Au groupe linaire unimodulaire d'une forme d'Hermite dfinie
positi\e / 4 - i variables; ce groupe est simplement connexe et
recouvre /-f-i fois son groupe adjoint; il admet, pour / > i , deux
familles distinctes d'automorphies.
B et D. Au groupe orthogonal de n(n = 2/-+-1 ou / * = = * / > 8 )
variables relles; ce groupe recouvre deux fois son groupe adjoint
si n est pair et une seule fois si n est impair; il est recouvert deux
fois par le groupe simplement connexe de la mme structure; le
nombre de ses familles connexes distinctes d'aulomorphiesest 1 pour
n impair, 6 pour n = 8, et 2 pour n pair et suprieur 8.
C. Au groupe linaire qui laisse invariantes la forme d'Hermite
XiX\ +- X*X->-. . . - H X+lX+l
4a LIE CARTAN.
et la forme quadratique extrieure

[Xi xn ] -+- [ xxx | - + - . . . H - f x*j-x Xii 1 ;
ce groupe est simplement connexe et recouvre deux fois son groupe

adjoint. Ses automorphies appartiennent toutes au groupe adjoint.
V. La formation du groupe clos le plus gnral.
52.' Revenons un groupe clos connexe quelconque G. Il est infini-

tsimalement (n 42), le produit direct d'un groupe commutatif et de
plusieurs groupes simples. Le groupe G simplement connexe de mme
structure infinitsimale que G est donc le produit direct d'un groupe
de translations G d'ordre r0 et de plusieurs groupes simples clos
simplement connexes G M G 2 , . . . , G^.
Pour passer de G G, il faut (n 14) construire un sous-groupe g
proprement discontinu du centre de G, sous-groupe qui fournira
l'lment unit de G. Or le centre de G est le produit direct des
centres des groupes composants; le centre de G 0 tant d'autre partie
groupe G 0 lui-mme, on aura, en dsignant par C, C,, . . ., C^ les
centres de G, Gt, . . . , Gh,
C = G"0xC,x...xC/,
Tout lment de C est le produit de h -H i lments pris respective-

ment dans G 0 , C,, . . . , CA. Il se peut que le sous-groupe g' soit le
produit direct d'un sous-groupe de G 0 , d'un sous-groupe de C,, . . .,
d'un sous-groupe de C^. Dans ce cas G est le produit direct d'un
groupe commutatif clos et de h groupes simples clos.
Dans le cas gnral, dsignons respectivement par g{), gt, . . ., g h
les plus grands sous-groupes de G 0 , C,, . . ., C^ qui font partie de g.
Le groupe g0X g\X.. .Xgh est un sous-groupe de g; il dfinit
un groupe G ; , qui recouvre G un nombre entier de fois, et ce
nombre est fini, car il est au plus gal au nombre des oprations
de C, X . . . X C^ ; le groupe G' est donc clos. On passe d'autre part
de G' G en construisant un sous-groupe fini de son centre.
Par suite on peut obtenir tout groupe clos G en partant d"un
groupe clos G/ produit direct d'un groupe commutatif clos et
d'un certain nombre de groupes simples clos; il suft de prendre

pour lment unit de G un sous-groupe fini gf du centre de G',
g' n'ayant en commun que l'lment unit avec chacun des groupes
facteurs dont le centre de G' est le produit direct. Si g ne se
rduit pas l'lment unit, G n'est pas le produit direct de groupes
coin nuitatifs ou simples.
53. Un exemple classique d'un groupe clos semi-simple qui n'est pas
le produit direct de groupes simples est fourni par le groupe ortho-
gonal connexe de quatre variables qui est recouvert deux fois par le
produit direct de deux groupes simples simplement connexes d'ordre 3,
et qui recouvre deux fois son groupe adjoint. De mme le groupe
linaire d'une forme d'Hermite dfinie positive xixi-\-...-+-xnxn
est recouvert n fois par le produit direct du groupe commutatif clos
x'k- e'^xk (k i, 2, . . . , n)
et du groupe linaire unimodulaire de la forme d'Hermite.
VI. Les espaas homognes groupe fondamental clos.
54. Si G est un groupe clos, tout espace homogne E transform

transitivement par G est associ un sous-groupe clos g de G. L'espace
est clos lui-mme. / / existe dans l'espace au moins une mtrtque
riemannienne invariante par le groupe; cela lient ce que le
sous-groupe y du groupe adjoint qui correspond g est clos et par
suite laisse invariante une forme quadratique dfinie positive; cette-
forme permet de dfinir la mtrique au voisinage du point origine et
par suite dans tout l'espace (n 36,).
Le raisonnement prcdent s'applique du reste tout espace
homogne pour lequel le groupe g est clos, que le groupe fonda-
mental G soit clos ou ouvert. On peut dmontrer facilement que si
l'espace E est susceptible d'une mtrique invariante par G, et si G
est le plus grand groupe continu laissant cette mtrique invariante,
g est clos.
La proprit d'un espace clos transform transitivement par un
groupe clos G d'admettre une mtrique invariante par G est trs
importante. On peut s'en servir pour dmontrer la possibilit de
construire dans l'espace un systme orthogonal complet de fonctions
44 LIE CARTAN.
en partant des groupes linaires isomorphes de G. Mais c'est l une

thorie qui, cause de son importance, dpasse le cadre de ce
Fascicule.
CHAPITRE IV.
LES ESPACES RIKMAftNIKNS SYMTRIQUES ( 1 ) .
I. Dfinition et premires proprits.
55. Considrons une varit riemannienne mtrique partout

rgulire et sur laquelle nous supposons que tout ensemble infini et
born de points distincts admet au moins un point d'accumulation. Un
ensemble est dit born si la distance de tous ses points un point
fixe reste borne, la distance de deux points tant dfinie comme la
borne infrieure des longueurs des arcs de courbe joignant les deux
points.
La varit riemannienne sera dite symtrique, si la symtrie prise
par rapport un point quelconque A de l'espace conserve la mtrique.
La symtrie est dfinie de la manire suivante : on fait correspondre
tout point M (suffisamment rapproch de A) le point M' obtenu en
joignant la godsique MA et la prolongeant d'un arc A M' de mme
longueur que l'arc AM. La proprit d'une varit riemannienne
d'tre symtrique est quivalente la suivante : le transport parallle
de Levi-Civita conserve la courbure riemannienne; mais nous lais-
serons compltement de ct ce point de vue.
Toute varit riemannienne symtrique admet un groupe
continu transitif de transformations isomtriques. Si en effet M
et N sont deux points quelconques (suffisamment voisins), on n'a
qu' joindre la godsique MN et effectuer successivement la
symtrie par rapport M et la sj mtrie par rapport au milieu P de MN :
le point M est ainsi amen en N. Cette transformation isomtrique
fait partie d'une famille continue d'isomtries obtenues en laissant le
point M fixe et en faisant dcrire au point N une godsique issue
de M.
( 1 ) Nous rsumons dans ce chapitre, en les simplifiant, les thories exposes dans
les Mmoires [14], [15], [16], [17], [21] de E. Carian; voir aussi [12] et [13].
LA THORIE DES CROUPES FINIS ET CONTINUS ET L'ANALYSlS SITUS. 45
Si G est le plus grand groupe continu connexe d'isomtries de la

varit, cette varit peut tre considre comme un espace homogne
de groupe fondamental G dou d'une mtrique invariante par G. Le
plus grand sous-groupe g de G qui laisse invariant un point donn O
de l'espace est alors clos (n 54). Nous admettrons que G est un
groupe de Lie.
56. Soit cr la symtrie prise par rapport O. Cette symtrie dfinit

une automorphie involutive du groupe G, faisant correspondre au
dplacement S le dplacement
S = a S s - 1 = <rSa;
si S amne M en N, S amne le symtrique M de M par rapport O

dans le symtrique N de N par rapport O.
Les transformations de g sont manifestement invariantes par cette
automorphie; d'autre pat, s'il y en a d autres, chacune d'elles
amne O en un point qui doit tre son propre symtrique par rapport
O, elles forment donc, si elles existent, une famille de dplacements
qu'on ne peut lier par continuit g. En particulier les seules trans-
formations infinitsimales invariantes par l'automorphie sont celles
qui appartiennent g.
57. Partons rciproquement d'un groupe continu connexe G et

d'une automorphie involutive (51 de ce groupe telle que les transfor-
mations infinitsimales invariantes par (X engendrent un sous-groupe
clos g. Nous allons montrer que l'espace homogne & associ g peut
tre dou d'une mtrique riemannienne symtrique invariante par G.
L'automorphie CX effectue sur les paramtres e,- des transformations
infinitsimales de G une subsitution linaire de la forme
( e\ =et (i = i , > , . . . . #*),
^ j <?'a= <?a ( a = /1-1-1, . . . , /*);
nous dsignerons dans la suite par des lettres latines les n premiers
indices et par des lettres grecques les / /i derniers.
Par hypothse les transformations infinitsimales X a engendrent
un sous-groupe continu clos g. Le sous-groupe y du groupe adjoint T
qui correspond g est clos; il transforme entre elles les va-
46 LIE CARTAN.
riablesî, . . . , en\ il laisse donc invariante (n 38) au moins une

forme quadratique dfinie positive, soit
/ ( e ) == e\ -f- e\ --... e},.
58. Soit O le point origine invariant par g. Dsignons par S la

transformation de G transforme de S par l'automorphie CX. Soit
enfin S g l'ensemble des transformations de G qui amnent O en un
point M de l'espace; les transformations conjugues Sg dfinissent un
autre point bien dtermin M. On obtient ainsi, dans l'espace &, une
transformation ponctuelle laissant fixe le point O; dsignons-la par
le symbole cr. Cette transformation est isomtrique; en effet si Sn
et Sa+<ta amnent O en deux points infiniment voisins M et M', leur*
transforms M et M' par cr sont les points transforms de O par Sd
et Sa+dw La distance MM' s'obtient (n" 36) en considrant la trans-
formation infinitsimale S"1 Sa+(ta de symbole 2(w/X/-h w a X a ), et
l'on a
/"
MU'=/2?:
la distance MM' s'obtient de son ct en considrant la transformation

infinitsimale conjugue 2(w/X/-f- &>aXa) : on voit ainsi que la
distance MM' n'est pas altre par l'opration cr.
Les trajectoires des transformations infinitsimales 2e,X; appli-
ques au point O sont videmment invariantes par cr (avec un sens de
parcours chang); la transformation cr conserve donc les directions
issues de O, mais en les changeant de sens. En particulier les god-
siques issues de O sont invariantes par l'isomtrie cr; il en rsulte
immdiatement que l'on passe d'un point M au point M transform
de M par a en effectuant la, symtrie par rapport O, du moins
tant qu'il existe une godsique joignant O M.
L'espace & admet donc une symtrie isomtrique par rapport O.
59. L'existence d'une symtrie isomtrique crA par rapport un

point A quelconque de l'espace dcoule immdiatement de ce qui
prcde : Deux points seront dits symtriques par rapport A si l'on
peut, par un dplacement de G, amener simultanment A en O et les
deux points donns en deux points symtriques par rapport O. La
symtrie ax est videmment isomtrique.
Si S 0 est l'une des transformations amenant O en A, si S est l'une

des transformations amenant O en un point M, le symtrique de M
par rapport A est dfini par la transformation
(O S'=S0S'S;
on vrifie immdiatement que ce point ne change pas si l'on multi-

plie S 0 et S par des transformations quelconques de g.
60. Convenons de dire qu'une transformation de G est une rotation

si elle appartient g, et qu'elle est une transvection si l'on peut
l'engendrer au moyen d'une transformation infinitsimale 2tf,X s .
Nous dsignerons une rotation par la lettre R, une transvection par
la lettre T. On a
K = R, T = T-i.
Soit (C) la ligne lieu des points obtenus en appliquant au point O les
transformations T(t) du groupe un paramtre de transvections
engendr par une transvection infinitsimale donne
e\Xi-+-,.. -f- c M X.
Nous prendrons pour t le paramtre canonique du sous-groupe, que

nous pouvons supposer gal la longueur de l'arc qui spare sur (C)
le point O du point M transform de O par T(t).
Le symtrique du point M d'abscisse t de la ligne (C) par rapport
au point A d'abscisse tQ est donn, d'aprs (2), par
S'^T(ô)[T(~/o)]-1T(-0 = T ( ^ o ~ 0 ;
c'est donc encore un point de (C). La trajectoire est donc sa propre
symtrique par rapport un quelconque de ses points.
Cela pos, soit A un point voisin de O sur la ligne ( G ) ; la god-
sique OA est sa propre symtrique par rapport A ; elle contient
donc le point A, s> mtrique d e , 0 par rapport A , point qui appar-
tient (C). Elle contiendra de mme les points A 2 , A 3 , ...obtenus en
portant successivement sur (C) des longueurs constantes. Si A se rap-
proche indfiniment de O, on a la limite la godsique tangente
en O ( C ) , qui doit contenir tous les points de ( C ) . Les god-
stques issues de O sont donc les trajectoires des transvections.
61. On peut ajouter un thorme remarquable. Prenons sur la

MEMORIAL DES 9 C . MATH K 4 2 . 4
48 L1E CARTAN.
godsique (C) deux points A et A' d'abscisses t0 et t'{)\ en prenant

le symtrique d'un point S successivement par rapport A et A',
on obtient les points
T(a/ 0 )S et T(afi)T(-^0)S = T(^'0-^)S.
Le rsultat des deux symtries est donc la transvection dont

l'amplitude est le double de la distance AA'; elle ne change pas si
l'on fait glisser l'arc AA' sur la godsique qui le porte sans changer
sa longueur et son sens.
11 importe de remarquer que la trajectoire d'un groupe de trans-
vections un paramtre n'est une godsique que si la trajectoire
part du point O.
II. Espaces symtriques rductibles et irrductibles.
62. Les formules (i) qui dfinissent l'automorphie involutive CX

montrent immdiatement que les crochets (X,Xy) et (X a Xp) ne
dpendent que desX a , tandis que les crochets ( X , X a ) ne dpendent
que des X/. On a donc des formules de structure de la forme
(X,S/)=2c//p V
p
(3) / (Xi ^ ) = ^ ^ - ^
k
(X a \3)=2 r ?pV
0
Le sous-groupe y du groupe adjoint T qui correspond au sous-

groupe g transforme entre elles les variables e,; il transforme entre
elles les variables ea, puisque g laisse invariante la famille linaire de
transformations infinitsimales Ze/X;. Le sous-groupe y, tant clos,
laisse donc invariante non seulement la forme f(e) = e'f-|-. . . -h efn
mais aussi une forme dfinie positive telle que
(4) F(e) s c } + . . . + e + 4 , + . . . +- e%.
On en dduit immdiatement les relations

(5) c*if+c*it = o, CafiY-+-CaT3=o.
63. Considrons la forme o(e) relative au groupe G. Comme elle

est invariante par Tautomorphie CX, on peut supposer choisie la base
infinitsimale du groupe de mani.re avoir
i a
Les coefficients Xa sont tous positifs; on a en eQet
>a=2 c*" + 2 C 3Y
"' '
si Xa tait nul, c'est que la transformation infinitsimale X a serait

distingue; le sous-groupe g contiendrait donc un sous-groupe con-
tinu invariant dans G, ce qui est impossible (n 18). Comme le sous-
groupe y laisse invariante la forme 2Xae, rien n'empche de supposer
que c'est celle qui a servi former F, ce qui revient supposer les Xa
gaux i.
En exprimant maintenant que les transformations infinitsimales E/
et E a du groupe adjoint laissent invariante la forme v(e), on obtient
les relations
(7) CijaL = XjC a f / =r Xi C<xtf.
64. Ces prliminaires tant poss, supposons que les coefficients X,

ne soient pas tous gaux entre eux; sparons par exemple les n
premiers indices en deux sries, les lettres i,j, ... tant rserves
la premire srie, les lettres i', f, . . . la seconde srie, et supposons
que les X/ soient tous diffrents des X/. Les relations (7) donnent
alors
On voit immdiatement que les transformations infinitsimales Xt-

et X a engendrent un groupe Gf ; de mme les transformations X4,
et X a engendrent un groupe G', ; enfin les transformations X,- sont
changeables avec les X r . Toute transvection de G est par suite le
produit d'une transvection de G, et d'une transvection de G', chan-
geables entre elles. Le groupe Gt donne naissance un espace sym-
trique &i associ g] le groupe Ga un espace symtrique &%. Tout
point de & (suffisamment voisin de O) peut tre dfini par4 une trans-
vection T = T , T , ; i l existe donc une correspondance biunivoque
O LIB CARTAN
entre les points de & et les couples de points de &x et de S\. D'autre
part la distance de deux points infiniment voisins Te,e et T+de,e'+d*>
de & est donne par la considration de la transformation infinit-
simale
T*, e' *c+de t e'+de' = ( T j ^ T | e+dc ) ( T i e> T \C'-HJC' )
si le premier facteur du second membre a pour symbole
2wiX/-t-2W3tXa'
et si le second a pour symbole
2^'Xi'-4-2w'aXa,
on voit immdiatement que le ds% de & est la somme des ds2 de &{ et
de &\.
NQUS dirons que l'espace & rsulte de la composition des espaces
symtriques &\ et &\ ; il sera dit rductible.
On arriverait une conclusion analogue si le sous-groupe 7,
considr comme oprant sur les e,, laissait invariante une varit
plane moins de n dimensions, que l'on peut supposer ev= o; dans
ce cas en effet on aurait c a / l = o, d'o, grce aux relations (7), c i / a = o.
65. Si l'espace & est irrductible, les n coefficients X, de la
forme <p(e) sont donc tous gaux entre eux. Mais il y a trois cas
distinguer.
i Si les X* sont tous nuls, les relations (7) montrent que les trans-
vections sont changeables entre elles; l'espace est euclidien, ou plus
exactement c'est la varit d'un groupe commutatif dans laquelle on a
pris pour ds2 une forme quadratique dfinie positive coefficients
constants des diffrentielles des n paramtres canoniques. Pour n .= 2,
l'espace est homomorphe au plan euclidien ou au cylindre de rvo-
lution ou au tore.
20 Si la valeur commune X desX, est ngative, le groupe G est simple
ou semi-simple ouvert. L'espace & est lui-mme ouvert, comme on
peut le dmontrer en s'appuyant sur la proprit de g d'tre clos.
3 Si la valeur commune X de& X, est positive, le groupe G est simple
ou semi-simple clos; l'espace & est galement clos.
66 On peut dduire les espaces symtriques irrductibles ouverts

LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSlS S1TUS. 5l
des espaces clos par un procd trs simple. Introduisons en effet les
symboles v^TwM/?
Y*=.'\ A , Ya=Xa; / V /jf
nous obtenons
(YIYI)=-2C"PYP'
P
(3')
k
(YYp)= 2 Ca - 3 P Y P"
formules qui dfinissent une nouvelle structure de groupe admettant

l'automorphie involutive (i). La nouvelle forme cp(e) correspon-
dante se dduit videmment de la prcdente en changeant X en X.
Par suite tout espace symtrique irrductible non euclidien
ouvert est associ un espace symtrique irrductible non euclidien
clos, et rciproquement.
La recherche des espaces symtriques irrductibles est donc ramene
celle des espaces clos.
67. Avant d'aborder cette recherche, nous allons dmontrer que
si un espace symtrjue irrductible est fourni par un groupe G
semi-simple, G est le plus grand groupe continu de dplacements
de l'espace.
Observons d'abord que les crochets (X,X y ) doivent fournir r //
combinaisons linaires indpendantes des X a ; sinon en effet ces cro-
chets engendreraient un sous-groupe invariant g' de g, comme le
montre l'identit de Jacobi applique [Xa(X / X y )]. Le sous-groupe g,
tant clos, serait le produit direct de g' et d'un autre sous-groupe g";
mais si X p appartient g", les formules (7) montrent que, cfJ? tant
nul, les c9ij sont nuls; g" est donc invariant dans G, ce qui est
impossible.
Cela po, supposons qu'il y ait un groupe continu G', contenant G
comme sous-groupe, et laissant invariante la mtrique de l'espace. 11
est impossible que G7 soit semi-simple, parce qu'alors les (X,X y ) ne
fourniraient pas toutes les transformations du nouveau sous-groupe^'
qui laisse invariant l'origine; d'autre part, l'espace, tant irrductible,
ne pourrait qu'tre euclidien, ce qui est contraire l'hypothse. Il y
a donc contradiction.
5* EUE CARTAN.
TJI. Les espaces symtriques irrductibles clos.
68. Laissons de ct les espaces localement euclidiens. Le groupe G

est alors simple ou semi-simple clos.
Si un groupe clos G est simple et admet une automorphie involu-
tive Cl laissant invariantes les transformations d'un sous-groupe con-
tinu g, on voit facilement que g est clos. L'espace symtrique
associ & est ncessairement irrductible; si en effet y laissait inva-
riante une famille linaire etX ^-+-.. .-j-e v X v ( v < n), les transfor-
mations X/ et (X/Xy), o les indices i et j prennent les valeurs i,
2, . . . , v, engendreraient un sous-groupe invariant de G, ee qui est
impossible. On a donc ainsi une classe trs gnrale d'espaces sym-
triques irrductibles.
Supposons maintenant que G soit, au moins infinitsimalement, le
produit direct de plusieurs groupes simples G, G a , . . . , GA* L'auto-
morphie CX transformera G en un des groupes composants; comme
elle est involutive, elle effectuera sur les groupes composants une per-
mutation involutive. Si donc h est suprieur 2, on pourra regarder
G comme le produit direct de* deux groupes Q\, G!2 dont chacun est
invariant par <Jl. Le sous-groupe g correspondant sera le produit
direct de deux sous-groupes g\ et g\ de G', et G'a. On voit immdia-
tement que l'espace & rsulte de la composition des espaces associs
aux sous-groupes g\ et g\; il est rductible.
Le seul cas o l'espace soit irrductible avec un groupe G semi-
simple est celui o G est le produit direct de deux groupes simples
Gi. G* isomorphes entre eux, et o l'automorphie cX transforme
chaque lment de G l dans l'lment correspondant de G 2 .
69. Dsignons, dans le cas o le groupe G est semi-simple, par S

et la deux lments correspondants des deux groupes composants.
Les rotations, invariantes par CX, sont les transformations S r t 2 a , les
transvections sont les transformations S rt 2~ ! inverses de leurs con-
jugues S~'2 t f .
Parmi toutes les transformations de G, de la forme
qui amnent O en un point M de l'espace, une et une seule appartient

LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 5L3
G|, savoir SrtS^' ; on peut donc regarder l'espace & comme

l'espace du groupe simple Gi. Si l'on applique au point S x de l'es-
pace & la transformation S a 2 A , on obtient la transformation S 2 A S ^
ou plutt l'ensemble des transformations
Le dplacement gnral de l'espace est donc dfini par

S t ' = Srt S t S^ .
Dsignons par X , , X 2 , . . . , X r les transformations infinitsimales

du groupe G4; par Y,, Y 2 , . . . , Y r les transformations correspon-
dantes de G 2 . Les rotations infinitsimales sont
U . ^ X . + Y,;
les transvections infinitsimales sont
V^X.-Y,.
La forme cp(e) relative G est la somme des formes cp(<?) relatives

aux deux groupes d et G2, et chacune d'elles est la somme des carrs
des r paramtres. Il en rsulte que e ds2 de l'espace &, considr
comme l'espace de Gi, est
<i>7 -f- 0)!j - h . . . - H if
La symtrie par rapport l'origine remplace S ^ par lxgou S~'#;

elle est donc dfinie par
les formes co,- sont changes par cette opration dans les formes rs,.
paramtres de Sj;S^' rfx ; on a donc la relation
w ' f - f - . . .-H ta'f = w f - h . . . - h raj?.
Dans l'espaee & il existe deux familles remarquables de dplace-

ments, les translations gauches S ^ ^ S a S ^ et les translations
droites S ^ = S ^ S A . Dans le cas particulier o G, est le groupe des
rotations de l'espace ordinaire, l'espace & est l'espace elliptique
trois dimensions, qui admet en effet deux familles de translations au
sens de Ciifford.
70. Les godsiques issues de l'origine dans un espace de groupe

54 LIE CARTAN.
simple clos sont les lignes reprsentatives des sous-groupes un para-

mtre [ I3|. Si le rang / du groupe est suprieur i, une godsique
arbitraire n'est pas ferme, mais passe infiniment prs de tous les
points d'une varit / dimensions localement euclidienne. Cette
varit est reprsente par le polydre form de l'ensemble des
polydres (P) (n 48) qui rayonnent autour de l'origine dans l'espace
euclidien / dimensions; les faces opposes du polydre total doivent
tre regardes comme identiques [15]. Tout point de l'espace admet
diffrentes varits antipodiques [15].
71. Il se prsente des particularits analogues dans les espaces

symtriques irrductibles clos dont le groupe G est simple [17]. Le
rang de l'espace est ici le nombre maximum > des transactions infi-
nitsimales linairement indpendantes et changeables entre elles; il
s'introduit des polydres (*?) analogues aux polydres (P), dont les
points intrieurs servent reprsenter les transvections du groupe G.
Si ce groupe est simplement connexe, ce qu'on peut toujours sup-
poser (n 30), on dmontre comme au n 48 que la varit des trans-
vections finies est simplement connexe.
Supposons maintenant le sous-groupe g connexe : l'espace & est
simplement connexe (n 31). On dmontre que toute transformation
S de G peut se mettre d'au moins une manire sous la forme du pro-
duit TR d'une transvection et d'une rotation, ce qui revient dire
que tout point M peut tre reli au point origine O par au moins
une godsique. Quelle que soit la transformalion S qui amne O
en M, le produit S S ' ^ T 2 est toujours le mme; tout point M
correspond donc une transvection T J dtermine. Par suite l'espace &
est l'espace de recouvrement simplement connexe de la varit des
transvections, que nous avons vue tre de son ct simplement
connexe. / / existe donc une correspondance biunivoque entre les
points de & et les transvections %TJ. De ce point de vue les dplace-
ments de l'espace se traduisent par la formule
(8) T*-=ST'S '.
Cette formule montre que si l'on considre, dans l'espace du

groupe G, la varit V des transvections, qu'on peut regarder comme
l'image de l'espace &, les dplacements de cet espace <se traduisent,
LA THORIE DES CROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 55
sur la varit V, par des dplacements de tout l'espace du groupe

ambiant. Il y a plus : la mtrique induite sur V par sa prsence dans
l'espace du groupe est identique la mtrique propre de . La
varit V est une varit totalement godsique [13] de l'espace du
groupe.
72. Si le sous-groupe qui laisse invariant le point origine de l'espace

symtrique est mixte, il se compose du sous-groupe connexe g et d'un
certain nombre d'autres familles 0 , # , 0 a -, . . . , les 0/ tant des
transvections convenablement choisies. Les transvections 0,, en
nombre ncessairement fini, appartiennent au centre de G. Rcipro-
quement tout sous-groupe de transvections appartenant au centre
de G correspond ce qu'on peut appeler une forme de Klein de l'espace
simplement connexe &\ on peut l'obtenir en regardant comme iden-
tiques les points T 2 , 0 f T 2 , 0^T 2 , . . ., de &. Les transformations de G
qui fournissent un dplacement identiquement nul sont les transfor-
mations qui appartiennent au centre de G et qui laissent fixe le point
origine.
IV. Les espaces symtriques clos rductibles.
73. Si un espace symtrique clos & est rductible, cela veut dire
(n64) qu'au voisinage de O, tout point de & est en correspondance
biunivoque avec un couple de points de deux autres espaces symtri-
ques. Mais cette correspondance ne se prolonge peut-tre pas dans
tout l'espace.
Partons d'un certain nombre d'espaces symtriques clos irrducti-
bles &,, &*, . . . , &h simplement connexes et considrons l'espace
symtrique clos &, intgralement rductible, qui rsulte del com-
position des espaces prcdents. On en aura une forme de Klein, ga-
lement symtrique, en considrant dans chacun des groupes simple-
ment connexes G,, G2, . . . , G* le sous-groupe ablien fini form des
transvections qui appartiennent au centre du groupe considr. Soient
(ci), (ca)> > (c) ces sous-groupes. On prendra un sous-groupe
quelconque du groupe
( C , ) X ( C ) X . . . X [ch).
Si ce sous-groupe est le produit direct de h sous-groupes apparte-

5C> ELIE CARTAN.
nant respectivement (ci), (c 2 ), . . . , (CA), l'espace symtrique obtenu

sera intgralement rductible. Dans le cas contraire il ne le sera que
localement. C'est ainsi que l'espace quatre dimensions dont chaque
point est dfini par un couple de points de deux sphres est intgrale-
ment rductible, mais il cesse de l'tre si Ton regarde comme iden-
tiques deux points correspondante deux couples de points MN, M'N',
M7 tant l'antipode de M sur la premire sphre et N' l'antipode de N
sur la seconde. Cet espace n'est autre que la varit des droites de
l'espace elliptique trois dimensions.
V. Les espaces symtriques irrductibles ouverts.
74. Tout espace symtrique irrductible ouvert & est associ

(n 66) un espace symtrique irrductible clos &u.
Supposons d'abord que l'espace clos &u soit l'espace d'un groupe
simple clos G. Les rotations infinitsimales et les transvections infini-
tsimales du groupe des dplacements sont respectivement
en introduisant les transformations infinitsimales Xk et Y* de deux

groupes isomorphes de G. Posons
hk=\k+\k. ^ = <(XA-^);
nous aurons
(UlL/)=-(V,V/)=2cl/iW,
(U,\,) = ( ^ , ) = 2 ^ VA.
A
Ces formules dfinissent la structure du groupe paramtres com-

plexes engendr par les transformations infinitsimales 2 (a*-h /6A)U*.
L'espace ouvert & a donc pour groupe fondamental le groupe
simple' paramtres complexes de mme structure que G. L'auto-
morphie involutive qui donne naissance l'espace & est celle qui fait
correspondre toute transformation du groupe complexe la trans-
formation imaginaire conjugue, changeant 2 (ak -f- ibk) U* en
2(aA-*6*HV
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS. 5j
Si l'espace clos &u admet un groupe simple Gtt pour plus grand
groupe des dplacements, l'espace ouvert associ & admettra pour
plus grand groupe des dplacements un groupe simple ouvert G de
mme structure complexe, mais de structure relle diffrente.
75. Prenons, dans l'un et l'autre cas, pour raliser le groupe fonda-
mental de l'espace ouvert, le groupe adjoint linaire ouvert correspon-
dant T. Les transvections infinitsimales relles de l'espace corres-
pondent aux transvections infinitsimales purement imaginaires de
l'espace clos associ; les racines caractristiques d'une transvection
finie de & sont donc toutes relles et positives. On dmontre facile-
ment que toute transformation de T peut se mettre d'une manire
et d'une seule sous la forme TR, T tant une transvection et R une
rotation. 11 passe donc par deux points quelconques de l'espace une
godsique et une seule. De plus les paramtres canoniques sont
valables dans tout le domaine des transvections, de sorte que l'es-
pace & est simplement connexe et homomorphe l'espace eucli-
dien. Il n'admet aucune forme de Klein non simplement connexe.
Deux espaces symtriques localement rductibles plusieurs autres
espaces symtriques ouverts sont intgralement rductibles.
Remarquons enfin que le sous-groupe g des rotations est connexe
pour un espace symtrique irrductible ouvert et il est le mme que
pour l'espace clos simplement connexe qui lui est associ.
76. On peut se demander si le groupe adjoint T d'un groupe simple

ouvert arbitrairement donn peut toujours tre regard comme le
groupe des dplacements d'un espace symtrique irrductible. La
rponse est affirmative. H y a plus; toutes les automorphics involu-
tives d'un groupe simple ouvert susceptibles d'engendrer un espace
symtrique sont homologues entre elles dans le groupe adjoint con-
tinu [15, 21]. Autrement dit tant donn un espace groupe fonda-
mental simple ouvert, il existe un choix et un seul de l'lment
gnrateur de l'espace susceptible de rendre riemannienne sym-
trique la gomtrie de l'espace.
Le thorme prcdent affirme en particulier l'existence, pour tout
groupe simple paramtres complexes, d'une forme close param-
tres rels. Si Ton pouvait dmontrer a priori ce thorme, sans le
vrifier avec E. Cartan pour chaque structure particulire, ou sans
58 LIE CARTAN.
s'appuyer avec IL Weyl [8, p. 371] sur la thorie pralablement

tablie des groupes simples, cela permettrait une simplification consi-
drable dans l'expos de la thorie des groupes simples [21].
VI. Applications la topologie des groupes simples ouverts.
77. Soit F le groupe adjoint d'un groupe simple ouvert G para-

mtres rels ou paramtres complexes. 11 existe un espace symtrique
irrductible ouvert &, hommorphe l'espace euclidien, admettant
T pour groupe des dplacements. Soit g le sous-groupe connexe clos
des rotations de l'espace. Toute transformation S de Y peut, d'une
manire et d'une seule, tre mise sous la forme du produit TR d'une
transvection et d'une rotation. Toute varit ferme trace dans la
varit de Y correspond d'une manire biunivoque l'ensemble de
deux varits fermes traces, l'une dans la varit du groupe clos g,
l'autre dana> l'espace &. Cette dernire est rductible un point par
dformation continue. Il en rsulte [17, 21] que les nombres de Betti
de la varit du groupe ouvert Y sont les mmes que ceux de la
varit du groupe clos g; il faut leur ajouter un nombre de Betti
gal 1 correspondant prcisment la varit de g, qui est ferme
dans l'espace de Y. Le dernier nombre de Betti non nul de la varit
d'un groupe simple ouvert est donc gal 1, et c'est celui qui se
rapporte aux varits fermes ayant le mme nombre de dimensions
que l'espace riemaunien symtrique dont Y est le groupe des dplace-
ments.
Le premier nombre de Betti du groupe clos g est d'ailleurs gal
o ou 1 ; dans le premier cas, le groupe de recouvrement de Y ne
recouvre Y qu'un nombre fini de fois ; dans le second cas, il le recouvre
une infinit de fois, mais il n'existe dans T qu'une catgorie de courbes
fermes dont aucun multiple entier ne soit rductible un point par
dformation continue. Au premier cas appartiennent le groupe pro-
jectif rel AI> 2 variables et le groupe projectif complexe une ou
plusieurs variables; au second cas appartient le groupe projectif rel
une variable, dont la varit est homomorphe au volume int-
rieur un tore.
78. On voit que tout progrs dans la topologie des groupes clos
entrane un progrs dans la topologie des groupes ouverts. En ce qui
LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS S1TUS. 5g
concerne les premiers, si l'on est exactement renseign sur le premier

et mme le second nombre de Betti, on ne sait peu prs rien sur les
autres nombres de Betti. Nanmoins on est sr [20] que le troisime
nombre de Betti n'est pas nul, du moins si le groupe n'est pas commu-
tatif, car il existe une intgrale triple de diffrentielle exacte, savoir
l'invariant intgral f f f ^Cijkî^j^kj qui admet des priodes non
nulles, par exemple celles qu'on obtient en tendant l'intgrale la
varit d'un sous-groupe simple trois paramtres du groupe donn.
Il v a l un sujet trs important de recherches qu'on peut dire peu
prs inexplor.
INDEX BIBLIOGRAPHIQUE.
1. L I E ^S.) et ENGKL ( F I \ ) . T h o r i e d e r T r a n s f o r m a t i o n s g r u p p e n ( B . G.
T e u b n e r , Leipzig; t. I, 1888; t. I I , 1890; t. III, 1890).
2. SCHUH ( F . ) . Ueber den analytischen Gharakter d e r eine endliche con-
tiimierliche Transformationsgruppe darstellcnden F u n k t i o n e n {Math.
Ann., t. 4 1 , 189!*, p . 509-538).
3. GARTAN ( E . ) . - S u r la structure efes groupes de transformations finis e t
continus ( Thse, Nony, Paris, 1894).
4. HunwiTZ ( A . ) . Uebcr die Krzeugung der Invarianten durch I n t g r a t i o n
(Gtt. Nachr., 1897, p . 71-90).
?J. POINCAR ( H . ) . S u r les groupes continus (Comptes rendus, t. 128,
1899, p . 1065-1069).
t. POINCAR (H.). S u r les groupes continus (Cambr. Trans., t. 18, 1900,
p. 220-55).
7. POINCAR ( H . ) . S u r les groupes continus {Rend. Cire, mate m.
Palermo, t. l o , 1901, p . Ha 1-368; t. 23, 1908, p . 8 I - 3 O ) .
8. W E Y I . ( H . ) . Thorie d e r Darstellung konlinuierichcr halb-einfacher
Gruppen durch lineare Transformationcn {Math. Zeitschr., t. 23, 1925,
p. '.71-309; t. 24, i g x ) . p . 328-395).
y. GARTAN ( E . ) . Les tenseurs irrductibles et les groupes linaires simples
et semi-simples {Bull. Se. math., 2 0 srie, t. 49, 1925, p . i 3 o - i 5 2 ) .
10. CARTAN ( E . ) . Le principe d e dualit et la thorie des groupes simples e t
semi-simples {Bull. Se. math., 2 e srie, t. 49, 1925, p . 36i-374).
11. GARTAN (E.). S u r certains systmes diffrentiels dont les inconnues sont
des formes de Pfaff {Comptes rendus, t. 18-2, 1926, p . 956-958).
6o C ART AN. LA THORIE DES GROUPES FINIS ET CONTINUS ET L'ANALYSIS SITUS.
\%. GARTAN (E.) and SCHOUTEN (J.-.). On th Geometry of the Group-

manifold of simple and semi-simple groups (Proc. Amsterdam, t. 20.
1926, p. 8o3-8i5);
13. GARTAN'(E.). La gomtrie des groupes de transformations {Journal
Math, pures et appl., t. 6, 1927, p. i~fi9).
14. GARTAN (E.). Sur une classe remarquable d'espaces de Riemann {Bull.
Soc. math., t. 54, 1926, p. 214-264 t. 55, 1927, p. 114-134).
15. C\RTAN(E.). La gomtrie des groupes simples {Annali di Mat.,
4e srie, t. 4, 1926-1927, p. 209-256).
16. GARTAN (E.). Complment au Mmoire : Sur la gomtrie des groupes
simples {Annali di Mat., 4* srie, t. 5, 1928, p. 2.53-260).
17. GARTAN (E.). Sur certaines formes riemanniennes remarquables des
gomtrics groupe fondamental simple {Ann. cole Norm., 3e srie,
t. 44, 1927, p. 345-467).
18. GARTAN (E.). La thorie des groupes et la gomtrie {L'Enseignement
math., t. 26, 1927, p. 200-22.5).
19. C \ R T A N ( E . ) . Sur les espaces de Riemann clos admettant un groupe
continu transitif de dplacements (Comptes rendus, t. 186, 1928,
p. 1 8 1 7 - 1 8 1 9 ) .
20. G\RTAN(E.). Sur les nombres de Betti des espaces de groupes clos
{Comptes rendus, t. 187, 1928, p. 196-198).
2t. GARTAN (E.). Groupes simples clos et ouverts et gomtrie rieman-
nienne {Journal Math, pures et âppliques, t. 8, 1929, p. i-33).
22. BUHL(A..). Aperus modernes sur la thorie des groupes continus et
finis {Mmorial Se. math., fasc. XXXIII, 1928).
23. NEUMANN (J. VON). Zur Thorie der Darstellung kontinuierlicher
Gruppen {Sitzungsber. Akad. Berlin, 1927, p. 76-90).
24. SCHREIER ( 0 . ) . Abstrakte kontinuierliche Gruppen {Abh. math.
Seminar Hamburg, t 4, 1926, p*. 15-3).
25. SCHREIER (O.). Die Verwandschaft stetiger Gruppen im grossen {Abh.
math. Seminar Hamburg, t. 5, 1927, p. 233-244)
26. DANTZIO (D. van) und WAERDEN (B.-L. van der). Ueber metrisch
homogne Rurhe {Abh. math. Seminar Hamburg, t. 6. 1928,
p. 367-376).
TABLE DES MATIRES.
Paice.
INTRODUCTION ,
CHAPITRE I. Gnralits sur les varits

et les groupes continus abstraits.
I. Varits; varits closes et ouvertes v" 3
IL Groupes finis et continus abstraits 6
III. Sous-groupes g
IV. Les groupes abstraits d'ordre i : 9
V. fsomorphisme n
VI. Kspaces homognes i3
CHAPITRE II. Les groupes de Lie.
I. Dfinition et rappel des thormes fondamentaux i.r>

IL Groupe adjoint. Gnration d'un groupe par ses transformations infinitsi-
males 19
III. Les sous-groupes d'un groupe de Lie 22
IV. Les espaces homognes dont le groupe fondamental est un groupe de L i e . . 24
V. Espaces homognes orientables et non orientables; v o l u m e ; espaces homo-
gnes mtriques 29
CHAPITRE III. Les groupes de Lie clos.
I. Volume d'un groupe clos 3i

IL Le thorme de H. W e y l 3
III. La structure des groupes clos 35
IV. Les groupes semi-simples clos 3;
V. La formation du groupe clos le plus gnral ,. 4s
VI. Les espaces h o m o g n e s groupe fondamental clos 43
CHAPITRE IV. Les espaces riemanniens symtriques.

I. Dfinition et premires proprits.: 44
IL Espaces symtriques rductibles et irrductibles 48
III. Les espaces symtriques irrductibles clos 52
IV. Les espaces symtriques^ clos rductibles . 55
V. Les espaces symtriques irrductibles ouverts 56
VI. Applications la topologie des groupes simples ouverts 58
INDEX BIBLIOGRAPHIQUE 5o

MSM 1952 42 1 0

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

MSM 1952 42 1 0

Uploaded by

Copyright:

Available Formats

M MORIAL DES SCIENCES MATHMATIQUES

Gauthier-Villars, 1952, tous droits rservs.

Article numris dans le cadre du programme

L'ACADMIE DES SCIENCES DE PARIS,

La thorie des groupes finis et continus et l'Aiialysis sitns

THORIE DES GROUPES FINIS ET CONTINUS

Par M. lie CAUTAN.

La premire ide d'appliquer des considrations d'Analyss si tus

seulement, avec S. Lie, au voisinage de la transformation identique :

I. Varits; varits closes et ouvertes1.

1. La notion de varit est suggre par celles de ligne et de sur-

2. Un point A de la varit est dit point d'accumulation pour

3. Un chemin continu est un ensemble de points qu'on peut mettre

4. Admettons maintenant l'hypothse supplmentaire suivante :

Rangeons les voisinages considrs dans un certain ordre

5. Les varits susceptibles d'tre recouvertes par une suite nor-

II. - Groupes finis et continus abstraits.

6. On appelle groupe abstrait un ensemble d'lments sur

a. Il existe un lment I .(lment unit) tel que, pour tout

Il rsulte de ces hypothses que l'on a aussi A"*A = I. En effet

7. On peut associer chaque lment A du groupe abstrait une

qui correspond l'lment BA. Nous dirons que les transforma-

8. Le groupe abstrait est dix, fini et continu d'ordre r si ses l-

donnes deux suites infinies d'lments kn et B tendant respec-

9. La varit d'un groupe abstrait fini et continu satisfait toujours

naire r dimensions. On peut trouver un nombre p jouissant de la

10. Un sous-groupe d'un groupe abstrait G est un groupe dont

ses lments d'accumulation forme un nouveau sous-groupe g, qui

11. On appelle transform d'un lment M du groupe G par un

IV. Les groupes abstraits d'ordre 1.

12. On peut dterminer facilemeut tous les groupes finis et continus

seule des quations successives

Les nombres a,, a 2 , > /M vont en dcroissant et restent

cela n'est possible que si a = o.

Si nous convenons de poser S w = 2 f , on peut dfinir 2 comme

Les groupes connexes d'ordre i sont donc tous commutatif s; les

toujours au mme lment S'. Enfin on arrive encore au mme lment

14. Si l'isomorphisme n'est pas holodrique, il correspondra l'l-

15. Ce thorme admet une rciproque. Soit g un sous-groupe pro-

on \oit immdiatement que les nouveaux lments S g engendrent un

Par exemple si G est le groupe des translations de la droite, il est

16. Etant donn un groupe abstrait fini et continu connexe G, le

VI. Espaces homognes.

17. On appelle espace homogne n dimensions une varit con-

Cette dernire condition exprime que la continuit dans la varit

18. L'ensemble des transformations de G qui laissent invariant un

tous les points de l'espace; elles appartiennent ncessairement g et

I. Dfinition et rappel des thormes fondamentaux [1].

admettant des drives partielles continues des deux premiers ordres.

les constantes (relles) cijs satisfont des relations algbriques

qui se dduisent de l'identit de Jacobi

Si un groupe de transformations autre que l'un des groupes des

20. Aux proprits prcdentes, qui constituent les deux premiers

(3) </,()-8 ,(//) = 2 * / / * i(^)y()-

De mme la transformation infinitsimale S rt+rfa S^ peut tre repr-

( f\ ) */ m,( 8 ) 8 m, ( r/) = ^ 6-,-/, mt ( d) v / ( o ).

Les formes ms peuvent de mme tre obtenues par l'intgration

Tous ces rsultats peuvent tre regards comme classiques.

21. Le troisime thorme fondamental de S. Lie exprime que

(7) tOg ( a' ; du' ) = tog ( u ; du )

sont, en vertu des relations (a), compltement intgrables et donnent

qui ne fournit aucune transformation finie valable dans tout le

semble, dans le cas o ce produit est dfini dans la rgion consi-