On sets of density zero (Q1411540)

Une partie \({\mathcal A}\) de \(N\) est de densité zéro si le quotient par \(n\) du nombre des éléments de \({\mathcal A}\) au plus égaux à \(n\) tend vers 0 lorsque \(n\) augmente indéfiniment. De telles parties forment un anneau \({\mathcal Z}\). On considère l'espace vectoriel \(l^\infty_0({\mathcal Z})\) sur \(K\) des fonctions \({\mathcal Z}\)-simples (c'est-à-dire combinaisons linéaires de fonctions caractéristiques d'éléments de \({\mathcal Z}\)) muni de la topologie usuelle. On savait que cet espace est tonnelé; l'A. montre que c'est un espace de Baire, propriété plus forte que le fait d'être tonnelé de classe \(\aleph_0\). Démonstration longue et minitieuse.