4-36-1. H. Poincaré à Giovanni Battista Guccia

Paris, le 27 Octobre 1888

Mon cher ami,

La lecture de la note de M. Vivanti, dans un des derniers numéros des Rendiconti, m’a vivement intéressé et m’a inspiré diverses réflexions qu’il ne sera peut être pas inutile de mettre sous les yeux de vos lecteurs.

D’après M. Vivanti, une fonction multiforme et de la $n$^e puissance, si l’ensemble des valeurs qu’elle peut prendre pour une valeur donnée de la variable est lui-même de la $n$^e puissance, au sens de M. Cantor. En particulier, elle sera de la 1^re puissance si elle peut prendre en un point donné une infinité de valeurs susceptibles d’être rangée en une série linéaire:

$$y_{1},\,y_{2},\,\ldots,\,y_{n},\,\ldots,$$

de façon que chacune d’elles se trouve dans cette série une fois et une seule, avec un indice déterminé; si en d’autres termes, on peut assigner à chacune de ces valeurs un numéro d’ordre. Au contraire une fonction qui pourrait prendre en un point donnée, par exemple toutes les valeurs possibles commensurables, ou non, ou encore toutes les valeurs incommensurables serait de la 2de puissance. Je me propose d’établir qu’il n’y a pas de fonction analytique multiforme d’une puissance supérieure à la 1^re. Mais pour cela il faut bien s’entendre sur ce qu’on doit appeler fonction analytique.

J’adopterai les définitions de M. Weierstrass.

Un élément de fonction analytique sera une série de puissance convergente à l’intérieur d’un certain cercle. Deux éléments de fonctions seront la continuation analytique l’un de l’autre, ou plus brièvement seront dérivés l’un de l’autre quand les deux cercles de convergence ont une partie commune et que dans cette partie commune les deux séries ont même somme.

Pour construire une fonction analytique, nous partirons d’un élément de fonction $F_{0}$ convergent dans un certain cercle $C_{0}$. Nous construirons ensuite les divers éléments de fonction $F_{1}$ dérivés de $F_{0}$ ; puis les éléments $F_{2}$ dérivés des divers éléments $F_{1}$ ; puis les éléments $F_{3}$ dérivés de $F_{2}$ et ainsi de suite.

L’ensemble des éléments $F_{1}$, celui des éléments $F_{2}$, etc., sont de la $2^{de}$ puissance. Mais il n’est pas nécessaire d’envisager tous ces éléments pour obtenir toutes les déterminations de la fonction.

J’appellerai $F_{i}^{\prime}$ ceux des éléments $F_{i}$ dont le cercle de convergence $C_{i}^{\prime}$ aura pour centre un point ayant ses deux coordonnées commensurables.

Il est aisé de vérifier que l’ensemble des éléments $F_{i}^{\prime}$ est de la 1^re puissance (et qu’il en est de même de l’ensemble des éléments $F_{i+1}^{\prime}$ dérivés d’un éléments $F_{i}$ donné). On voit aussi sans peine que tout point intérieur à l’un des cercles de convergence $C_{1}$ de l’un des éléments $F_{1}$ sera aussi intérieur à l’un des cercles de convergence $C_{1}^{\prime}$ de l’un des éléments $F_{1}^{\prime}$.

Tout cercle ayant une partie commune avec l’un des cercles $C_{1}$ aura aussi une partie commune avec un des cercles $C_{1}^{\prime}$. Donc tout élément dérivé de l’un des éléments $F_{1}$ sera aussi dérivé de l’un des éléments $F_{1}^{\prime}$. Les divers éléments $F_{2}^{\prime}$ sont donc dérivés des divers éléments $F_{1}^{\prime}$; de même les éléments $F_{3}^{\prime}$ seront dérivés des éléments $F_{2}^{\prime}$ etc.

La considération des éléments $F_{1}^{\prime}$, $F_{2}^{\prime}$, $F_{3}^{\prime}$ etc., suffit pour obtenir toutes les déterminations de la fonction. Soit en effet $AMB$ un chemin quelconque allant de la valeur initiale A de la variable à la valeur finale B. Il existera un nombre fini d’éléments $F_{0}$, $F_{1}$, $F_{2}$, …, $F_{n}$ ayant pour cercle de convergence $C_{0}$, $C_{1}$, …, $C_{n}$ et tels que $F_{i+1}$ soit dérivé de $F_{i}$, que le point A soit intérieur à $C_{0}$ et le point B à $C_{n}$ et que l’arc $AMB$ traverse successivement le cercle $C_{0}$, la partie commune à $C_{0}$ et $C_{1}$, le cercle $C_{1}$, la partie commune à $C_{1}$ et $C_{2}$, etc., sans jamais sortir de l’ensemble des $n+1$ cercles $C_{0}$, $C_{1}$, …, $C_{n}$. Ce n’est qu’à cette condition que la fonction aura une valeur déterminée au point B quand on sera arrivé en ce point par le chemin $AMB$.

Nous pourrons alors remplacer $F_{0}$, $F_{1}$, …, $F_{n}$ par $n+1$ éléments $F_{0}$, $F_{1}^{\prime}$, …, $F_{n}^{\prime}$ qui en diffèrent assez peu pour que l’arc $AMB$ ne sorte pas de l’ensemble des $n+1$ nouveaux cercles de convergence $C_{0}$, $C_{1}^{\prime}$, …, $C_{n}^{\prime}$.

La considération de ces éléments $F_{\ell}^{\prime}$ suffit donc pour faire connaître la valeur qu’acquiert la fonction quand on a parcouru le chemin $AMB$.   C.Q.F.D.

L’ensemble des éléments $F_{1}^{\prime}$, …, $F_{n}^{\prime}$ est de la 1^re puissance. En effet l’ensemble des éléments $F_{1}^{\prime}$ dérivés de $F_{0}$ est de la 1^re puissance; donc on peut attribuer à chacun d’eux un numéro d’ordre $\alpha_{1}$. L’ensemble des éléments $F_{2}^{\prime}$ dérivés de celui des éléments $F_{1}^{\prime}$ qui a pour numéro d’ordre $\alpha_{1}$ sera encore de la 1^re puissance, donc on peut donner à chacun d’eux un numéro d’ordre $\alpha_{2}$, et ainsi de suite. En résumé un élément $F_{n}^{\prime}$ sera défini par $n$ numéros d’ordre:

$$\alpha_{1},\,\alpha_{2},\,\dots,\,\alpha_{n}.$$

De sorte que l’ensemble des éléments $F_{1}^{\prime}$, $F_{2}^{\prime}$, …, $F_{n}^{\prime}$ etc. aura même puissance que l’ensemble des fractions continues limitées:

$$\alpha_{1}+\cfrac{1}{\alpha_{2}+\cfrac{1}{\ddots+\cfrac{1}{\alpha_{n}}}}$$

ou que l’ensemble des nombre commensurables lequel est comme on sait de la 1^re puissance.  C.Q.F.D.

Il suit de là que l’ensemble des déterminations d’une fonction analytique en un point donné est toujours au plus de la 1^re puissance.

Il n’existe donc pas, par exemple, de fonction analytique qui prenne en un point donné toutes les valeurs possibles commensurables ou non.

Il ne me reste que la place de vous serrer la main,

Poincaré

ALS 4p. Circolo matematico di Palermo. Published in Poincaré (1888) and reedited by Valiron (1950, 11–13).

Time-stamp: "31.07.2023 18:40"

Notes

• 1 Vivanti 1888.