Développement : Théorème de Chudnovsky

Détails/Enoncé :

Énoncé : 1. Si $[a,b]$ est inclus dans $]0,1[$ alors l'ensemble des fonctions polynomiales à coefficients entiers est dense dans l'espace vectoriel normé $\left( \mathcal{C} ([a,b]),\|\cdot\|_\infty \right)$ :
$$\overline{\mathbb{Z}[X]}= \mathcal{C} ([a,b]).$$

2. Toute application $f$ de $]0,1[$ dans $\mathbb{R}$, continue, est limite simple d'une suite de polynômes à coefficients entiers.


3. Si $b-a>4$ alors $\mathbb{Z}[X]$ est fermé dans l'espace vectoriel normé $\left( \mathcal{C} ([a,b]),\|\cdot\|_\infty \right)$, autrement dit :
$$\overline{\mathbb{Z}[X]}= \mathbb{Z}[X].$$

Recasages pour l'année 2025 :

Versions :

Références utilisées dans les versions de ce développement :