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.

Exemple

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

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 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 qui $A(x_{i})=O(x^{\varphi -1})$ où $\varphi$ est le nombre d'or, et il a présenté une suite sans somme pour laquelle, pour toutes les valeurs de $x$, $A(x)=\Omega (x^{2/7})$, amélioré par la suite en $A(x)=\Omega (x^{1/3})$ par Deshouillers, Erdős et Melfi en 1999 et à $A(x)=\Omega (x^{1/2-\varepsilon })$ par Luczak et Schoen en 2000, qui ont également prouvé que l'exposant 1/2 ne peut pas être amélioré.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Sum-free sequence » (voir la liste des auteurs).

Voir aussi

Articles connexes

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