Bonjour.
Dans les première lignes de premier Bourbaki de topologie générale, une topologiesur
est définie sans mentionner les axiomes
et
.
Le livre explique que comme vu dans le tome sur les ensembles, ces deux conditions découlent de l'application à la famille vide des axiomes pour l'union quelconque d'ouverts et l'intersection finie d'ouverts.
Bon comme je n'ai pas celui sur les ensembles, je ne peux que supputer que la justification est de la forme
et
Cependant je ne suis pas certain que les formuleset
aient un sens dans la mesure où il n'y a pas de définition de
si
.
C'est plus l'intersection qui me pose problème, car l'union de la famille vide est l'ensemble vide.
Pouvez-vous expliquer ça?
-----