Tout nombre entier positif non nul impair est présent dans l'ensemble N.
Tout nombre entier positif non nul est présent dans l'ensemble N:
{ 1, 2, 3, 4, 5, 6, ., .., 2n, 2n+1}
Tout nombre entier positif pair non nul est présent dans l'ensemble 2N:
{ 2, 4, 6, 8, 10, 12, .., .., 4n, 4n+2}
Tout nombre entier positif non nul est présent dans l'ensemble A union de l'ensemble des nombres impairs et de l'ensemble 2N:
A: { 1, 2, 4, 3, 6, 8, 5, 10, 12, 7, 14,16, 9, .., .., .., 2n+1, 4n+2, 4n+4}
A chaque élément x de l'ensemble A on fait correspondre y=3x-2 si x est impair ou y=3x-1 si x est pair, on obtient le nouvel ensemble B d'éléments y:
B: { 1, 5, 11, 7, 17, 23, 13, 29, 35, 19, 41, 47, 25, .., .., .., 12n+5, 12n+11}
L'ensemble B est l'ensemble des nombres impairs non divisible par 3.
Pour chaque élément x(i) de B on construit un ensemble L(i) dont le premier élément y(1) est égal à (4x(i)-1)/3 si x(i) est 1 modulo 3 ou à (2x(i)-1)/3 si x(i) est 2 modulo 3 et ensuite les éléments y(i+1)=4y(i)+1.On obtient :
x(1) B=1, L(1) { 1, 5, 21, 85, 341, 1365, 5461, 21845, 87381, ....}
x(2) B=5, L(2) { 3, 13, 53, 213, 853, 3413, 13653, 54613, 218453, ....}
x(3) B=11, L(3) {7, 29, 117, 469, 1877, 7509, 30037, 120149, 480597, ….}
x(4) B=7, L(4) {9, 37, 149, 597, 2389, 9557, 38229, 152917, 611669, ….}
x(5) B=17, L(5) {11, 45, 181, 725, 2901, 11605, 46421, 185685, 742741, ….}
x(6) B=23, L(6) {15, 61, 245, 981, 3925, 15701, 62805, 251221, 1004885, ….}
x(7) B=13, L(7) {17, 69, 277, 1109, 4437, 17749, 70997, 283989, 1135957, ….}
x(8) B=29, L(8) {19, 77, 309, 1237, 4949, 19797, 79189, 316757, 1267029, ….}
x(9) B=35, L(9) {23, 93, 373, 1493, 5973, 23893, 95573, 382293, 1529173, ….}
x(10) B=19, L(10) {25, 101, 405, 1621, 6485, 25941, 103765, 415061, 1660245, ….}
x(11) B=41, L(11) {27, 109, 437, 1749, 6997, 27989, 111957, 447829, 1791317, ….}
x(12) B=47, L(12) {31, 125, 501, 2005, 8021, 32085, 128341, 513365, 2053461, ….}
x(13) B=25, L(13) {33, 133, 533, 2133, 8533, 34133, 136533, 546133, 2184533, ….}
x(14) B=53, L(14) {35, 141, 565, 2261, 9045, 36181, 144725, 578901, 2315605, ….}
x(15) B=59, L(15) {39, 157, 629, 2517, 10069, 40277, 161109, 644437, 2577749, ….}
L'ensemble des ensembles L(i) pour i=1 to 12n+11 contient tout les nombres impairs une fois et une fois seulement.
Tout les éléments de L(1) sont prédécesseurs de 1 dans une suite de Collatz, 1 en particulier d'où le cycle trivial.
Chaque élément de L(1) non multiple de 3 est présent une fois et une fois seulement en tant que x(i) B, 5=x(2) B, 85=x(43) B, 341=x(86) B, 5461=x(2731) B, 21845=x(5462) B, .....
A vous de comprendre la suite ...
-----