Suite d'entiers

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

En mathématiques, une suite d'entiers est une suite (c'est-à-dire une liste ordonnée) d'entiers.

Une suite d'entiers peut être précisée explicitement en donnant une formule pour ses n-ièmes termes, ou implicitement en donnant une relation entre ses termes. Par exemple, la suite 0, 1, 1, 2, 3, 5, 8, 13, ... (la suite de Fibonacci) est formée en commençant avec 0 et 1, puis en additionnant deux termes consécutifs pour obtenir le suivant : c'est une définition implicite. La suite 0, 3, 8, 15, ... est formé en se basant sur la formule $n^2-1\,$ pour le n-ième terme : c'est une définition explicite.

Des suites d'entiers qui ont leurs propres noms sont :

Une suite d'entiers est une suite calculable, s'il existe un algorithme qui, pour un n donné, calcule a_n, pour tout n > 0. Une suite d'entiers est une suite définissable, s'il existe un certain énoncé P(x) qui est vrai pour cette suite d'entiers x et faux pour toutes les autres suites d'entiers. L'ensembles des suites d'entiers calculables et définissables est dénombrable, avec les suites calculables d'un sous-ensemble propre des suites définissables. L'ensemble de toutes les suites d'entiers est non-dénombrable ; ainsi, la plupart de toutes les suites d'entiers ne sont pas dénombrables et ne peuvent pas être définies.