Bonjour,
Dans une démonstration topologique de l'infinité des nombres premiers, Fürstenberg propose de partir d'une topologie sur avec comme base d'ouvert l'ensemble des progressions arithmétique :
. Partout où je me suis rendu sur le net, j'ai lu que cette base d'ouverts est évidemment bien une topologie. Pourtant deux choses me chiffonnent :
L'ensemble vide ne me semble pas être de la forme
L'union de et de est, si j'ai bien compris :
Et pour moi ce n'est pas une progression arithmétique! Donc comment est-ce évident qu'une réunion quelconque de progressions arithmétique est une progression arithmétique? Avec seulement deux progressions arithmétiques je trouve que ce n'en est déjà pas une...
Après pour l'intersection finie j'ai bien vu que c'était une progression arithmétique, et que
Merci d'avance pour votre aide
-----