Une progression arithmétique associée à deux nombres entiers a et k, avec k ≠ 0, est l'ensemble des entiers
Construire une topologie sur l'ensemble Z signifie que l'on choisit quels sous-ensembles de Z sont déclarés ouverts, de telle façon que les axiomes suivants soient satisfaits[3] :
L'union d'ensembles ouverts est un ensemble ouvert.
L'intersection finie d'ensembles ouverts est un ensemble ouvert.
La famille de toutes les progressions arithmétiques ne satisfait pas ces axiomes : l'union de progressions arithmétiques n'est pas une progression arithmétique en général, par exemple {1, 5, 9, …} ∪ {2, 6, 10, …} = {1, 2, 5, 6, 9, 10, …} n'est pas une progression arithmétique. De sorte que la topologie des entiers uniformément espacés est définie par la topologie engendrée par la famille des progressions arithmétiques. C'est la plus petite topologie qui contient comme ensembles ouverts la famille de toutes les progressions arithmétiques : c'est-à-dire que les progressions arithmétiques forment une prébase de cette topologie. Puisque l'intersection d'une collection finie de progressions arithmétiques est également une progression arithmétique, la famille des progressions arithmétiques est même une base pour la topologie, ce qui signifie que tout ensemble ouvert est une union de progressions arithmétiques[1],[4].
Propriétés
Tous les ensembles pour tout entiers et sont ouverts et fermés.