SÉANCE DU 27 FÉVRll'H ipo'j. Sô^ 



ANAM'SË MATHÉMATHjl'E. — Sur les Joli' liiins d'une infinitc de varialdes. 

 Note (le M. 3ïaurice Fréchet, présenlée par M. P. Paiiilevé. 



La plupart des théorèmes sur les ensembles linéaires de points ont pu 

 être généralisés dans l'espace à « dimensions. 3e me propose de montrer 

 qu'on peut pousser cette extension jusque dans un espace E„ à une in6nité 

 dénombrable de dimensions. Une telle généralisation n'u rien d'artificiel : 

 un grand nombre des éléments qui s'introduisent dans l'Analyse peuvent 

 être envisagés avec profit comme déterminés par une suite infinie de 

 variables indépendantes. Ainsi, une fonction holomorphe est connue 

 lorsqu'on se donne les coefficients a,, a.^, ..., o„, ... de son développe- 

 ment. On peut donc dire qu'elle correspond à un point de l'espace E„ ayant 

 pour coordonnées a,, a.,, • . ., ««i . . • 



La seule définition vraiment nouvelle qu'il y ait lieu d'introduire pour 

 réaliser cette extension est celle de la llmiLe d'une suite de points. Si A 

 et A„ ont respectivement polu' coordonnées a,, a.,, ..., a^„ ..., 

 et fl',"',rt ,", . . . , a'''\ . . . , nous dirons que la suite de points A,, A^, . . . , A„, ... 

 tend vers A, lorsque, quelque so'ilp, la suite des nombres a^', . . . , a^"', . . . 

 tend vers le nombre «^ (')• Les définitions tle point-limite d'un ensemble, 

 d'ensembles dérivé, fermé, parfait se déduisent alors de la précédente 

 comme dans l'espace ordinaire. Nous dirons encore qu'un ensemble de 



points A de coordonnées (a,, a.. a„ . . .) est limité si, pour tout point A 



de l'ensemble, on a 



|a,|<M,, ..., \a„\<M^, 



(M,. I\L, .... nombres fixes pour tout l'ensemble). Nous appellerons aussi 

 point de condensation d'un ensemble g, tout point qui reste point-limite de 

 l'ensemble obtenu en supprimant de g un ensemble dénombrable qiiel- 



(') Cette définition satisfait aux deux conditions imposées à la définition la plus 

 générale de la limite dans la Note des Comptes rendus du 21 novembre 1904 : Géné- 

 ralisation cPun théorème de Weierstrass. De plus elle correspond bien aux définitions 

 usuelles, car si, par exemple, une fonction /„ liolomorphe dans un cercle fixe y a un 

 module borné, elle tend uniformément vers/, si le point correspondant à/„ dans E^ 

 tend au sens indiqué vers le point correspondant a /et réciproquement. 



