CHAPITRE II. ENSIÎMBLKS DENOMBRABLES QQ
la limite, pn'scnfo quelque obscurité quand cette suite comporte une infinité d'éléments égaux et, comme c'est un point qui reviendra plus tard, il est bon de l'éclaircir immédiatement.
74. — Que faut-il entendre quand on dit que les deux suites (u) a^, u^, .... u„, ....
sont identiques sauf l'ordre des termes, ou encore que la seconde suite n'est autre que la première, dans laquelle on a changé l'ordre des termes ?
La réponse est immédiate si la suite («) n'a que des termes distincts; on entend qu'il en est de môme dans la suite (u), et que tout terme qui figure dans une suite figure aussi dans l'autre. Elle serait aussi facile si la suite (ii), tout en comportant des termes égaux, n'en comportait jamais qu'un nombre fini. Chaque terme devrait figurer le même nombre de fois dans les deux suites.
D'une façon générale, soit
(cf) cf(i), 0(2), ..., cp(n), .....
une suite identique, sauf l'ordre des termes, à la suite des nombres naturels, c'est-à-dire, comme on vient de l'expliquer, que ses termes, tous différents, sont des nombres naturels et que chaque nombre naturel y trouve sa place, soitd/ [p) le rang qu'occupe dans cette suite le nombre naturel p, en sorte que l'une quelconque des
égalités
où n et p sont des nombres naturels, entraîne l'autre. Ceci posé, on dira que les deux suites
où il est bien entendu que ii's,{n) a le même sens que Up si o\n) est égal à p, sont identiques, sauf l'ordre des termes, ou encore que la seconde n'est autre chose que la première dans laquelle on a changé cet ordre; le terme qui, dans la première, occupe le rangp = o{n)
occupe le rang n = ^ (p) dans la seconde ; dire que la suite (v) est identique à la suite (u), sauf l'ordre des termes, c'est dire qu'il existe une suite (©) telle que l'on ait u„ = Hcp(n), pour toutes les valeurs du nombre naturel n.
Il convient de remarquer, sur la suite {(p), que l'on a nécessai-
rement
lim. o(n) = -h 00 ;
soit en effet /j un nombre naturel quelconque, ce nombre occupe le rang ^{p) dans la suite (©) ; soit q le plus grand des nombres (|i(i), 'il (2), ..., 'i>{p), ou, si l'on veut, le rang le plus élevé que puissent avoir dans la suite (œ) les nombres i, 2, ..., jd ; les termes de la suite (©) qui ont un rang supérieur à q seront sûrement plus grands que/*; ainsi à chaque nombre naturel p on peut faire correspondre un nombre naturel q tel que l'inégalité m':> q entraîne o[m) >> p; il en résulte qu'on a bien lim. q{ii) r= -+- 00 . Cette
remarque suffirait à prouver, indépendamment de ce qui a été dit dans le numéro précédent que, si la suite (u) a une limite A, il en est de même de la suite dont le n" terme est Ucp(a). Grossièrement, on peut dire que les termes qui sont très loin dans une suite, sont aussi très loin dans l'autre. Si les premiers diffèrent très peu d'un nombre A (leur limite), il en est de même des seconds.
75. — L'ensemble (E) dont les éléments sont les différents systèmes (a, /3, ..., X) que l'on peut former en prenant pour a, fi, ..., X des nombres entiers positifs, nuls ou négatifs est dénombrable.
Il convient d'expliquer d'abord le sens de ce théorème.
1° Si l'on considère 7) nombres entiers, (positifs, nuls, ou négatifs) et qu'on les range dans un ordre déterminé, on obtient un élément de (E).
2° Tout élément de (E) est un pareil système de p nombres entiers.
30 Deux systèmes (a, /3, ...., X), (a', /3', ...., X') de p nombres entiers sont regardés comme identiques si l'on a a = a! , |3 = ]S', . . . , X = X' et seulement dans ce cas. On- suppose qu'il n'y ait pas dans (E) deux éléments identiques.
