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[modifier | modifier le code]

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[modifier | modifier le code]

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é[modifier | modifier le code]

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^[1] 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[modifier | modifier le code]

(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).

↑ (en) Jean-Marc Deshouillers, Pál Erdős, Giuseppe Melfi,, « On a question about sum-free sequences », Discrete Mathematics, n^o 200,‎ 1999, p. 49–54, (lire en ligne)

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Portail des mathématiques

[1] (en) Jean-Marc Deshouillers, Pál Erdős, Giuseppe Melfi,, « On a question about sum-free sequences », Discrete Mathematics, n^o 200,‎ 1999, p. 49–54, (lire en ligne)

[1]