568 ACADÉMIE DES SCIENCES. 



conque de ses points. Rnfin, nous dirons qu'un ensemble f; est Compact s'il 

 existe toujours au moins un point commun à une suite infinie quelconque 

 d'ensembles g^, g.,, . . . , g„, . . . , contenus dans g lorsque ceux-ci sont fer- 

 més et chacun contenu dans le précédent. 



Ceci étant, nous avons pu démontrer pour cet espace E^ à une infinité 

 dénombrable de dimensions les principaux théorèmes énoncés dans l'es- 

 pace ordinaire et cela, directement, sans supposer connus ces derniers. 



I. La condition nécessaire et suffisante pour qu'un ensemble de points de 

 l'espace E^ soit compact est que cet ensemble soit limité ('). 



II. L'ensemble dérivé d'un ensemble de points de E„ est fermé. 



m. Tout ensemble non dénombrable et limité de points de E^ donne lieu à, 

 au moins, un point de condensation. 



IV. Tout ensemble limité et fermé F de points de E„ peut se décomposer en 

 deux ensembles sans points communs, l'un dénombrable, l'autre parfait. Ce 

 dernier est formé par l'ensemble des points de condensation de F. 



V. Dans tout ensemble parfait et limité P de points de E,, on peut trouver 

 un ensemble dénombrable dont P soit le dérivé. 



VI. La condition nécessaire et suffisante pour qu'un ensemble limité F de 

 points de E„ soit fertné est que l'on puisse toujours remplacer par un nombre 

 fini d'entre eux jouissant de la même propriété les ensembles I d'une même 

 famille G telle que tout point de F soit intérieur au s<ns étroit {'-) à l'un au 

 moins des ensembles I. 



Les propositions précédentes doivent jouer dans le calcul fonctionnel un 

 rôle analogue à celui de leurs cas particuliers (pour l'espace à une ou deux 

 dimensions) dans la théorie des fonctions. Leur utilité au point de vue 

 des applications n'est donc pas douteuse. Je j)ense pouvoir eu indiquer 

 prochainement quelques-unes. 



(') Depuis longtemps, M. Montai possède la (iémonstralLuJiiriiii lliéorème qui, d'après 

 le paragraphe IV de la Note déjà citée, est identique à la condition suffisante de notre 

 énoncé. Ce théorème, qui lui a fourni de nombreuses applications dans la théorie des 

 fonctions, est le suivant : Tout ensemble limite de points de R„ possédant une infinité 

 de points flistincls donne lieu à au moins un point limile. 



(') C'est-à-dire soit un point de I non limite de points de F n'appartenant pas à I. 



I 



