Proposition L'ensemble des valeurs d'adhérence d'une suite n'est pas nécessairement
égal à l'ensemble des limites de sous-suites extraites.
Démonstration En effet,
soit l'ensemble des applications continues de dans ; on le munit de la topologie produit, c'est à dire de la topologie de la convergence simple (il est facile de vérifier que c'est pareil...).
Un voisinage de la fonction nulle dans est de la forme
, avec les
positifs, et les dans .
On considère les applications en dents de scie, égales à 0 en , en , en , ... , en , avec
, et ; et affine entre et
et
et , avec
, avec les rationnels.
On peut clairement les énumérer, et donc il s'agit d'une suite.
la suite nulle est clairement dans l'adhérence de cette suite (prendre un voisinage de la fonction nulle écrit sous la forme , et regarder ce qu'il se passe.
aucune suite extraite ne peut tendre simplement vers la fonction nulle, sinon le théorème de convergence dominée de Lebesgue permettrait de dire que l'intégrale de la fonction nulle est la limite de l'intégrale des fonctions de la suite - or toute fonction de notre suite a une intégrale .