Suite sans somme

En mathématiques, une suite sans somme est une suite strictement croissante d'entiers strictement positifs, dont aucun terme n'est la somme d'un certain nombre de termes précédents.

Cette notion diffère de celle des ensembles sans somme, où seules des sommes de deux termes doivent être évitées, mais où ces sommes peuvent provenir de tout l'ensemble et non seulement des termes inférieurs.

Exemples

La suite des puissances de 2  ; en effet, chaque terme de la suite est la somme des termes précédents plus 1, et ne peut donc pas être obtenu comme somme de termes précédents.

La suite $(u_n)=(1,3,7,14,26,39,67,122,180,\cdots )$ définie par $u_1=1,u_n$ est le n-ième terme après $u_{n-1}$ à ne pas pouvoir être obtenu comme somme de termes distincts parmi $u_1,u_2,\cdots ,u_{n-1}$ : Modèle:OEIS.

Somme des inverses

Paul Erdős a démontré en 1962 que la somme des inverses des termes d'une suite sans somme est finie. Par exemple, la somme des inverses des puissances de 2 est égale à 2.

On connait l'encadrement suivant de la borne supérieure $R$ de l'ensemble des sommes des inverses des termes des suites sans somme : $2,0654<R<2,8570$ .

Densité

Il résulte de la propriété précédente qu'une suite sans somme est de densité asymptotique nulle ; c'est-à-dire que si $A(x)$ est le nombre d'éléments d'une telle suite qui sont inférieurs ou égaux à $x$, alors $A(x)=o(x)$. Erdős (1962) a montré que pour toute suite sans somme il existe une suite infinie de nombres $x_i$ pour lesquels $A(x_i)=O(x^{\phi -1})$ où $\phi$ est le nombre d'or, et il a présenté une suite sans somme pour laquelle, pour toutes les valeurs de $x$, $A(x)=\mathrm{\Omega }(x^{2/7})$, amélioré par la suite en $A(x)=\mathrm{\Omega }(x^{1/3})$ par Deshouillers, Erdős et Melfi en 1999 et à $A(x)=\mathrm{\Omega }(x^{1/2-\epsilon })$ par Luczak et Schoen en 2000, qui ont également prouvé que l'exposant 1/2 ne peut pas être amélioré.

Voir aussi

Articles connexes

• Ensemble sans somme
• Liste de sommes d'inverses d'entiers