Bonjour, je ne vois pas comment montrer que l'ensemble vide muni de sa seule topologie possible est séparé.
Je crois que je peux procéder comme ça:
Supposons que l'ensemble vide n'est pas séparé.
Alors il existe deux éléments distincts tel que pour tout ouvert contenant et pour tout ouvert contenant , on a , ce qui est absurde étant donné qu'il n'y a aucun élément dans .
romu,
Plus simplement, toute proposition de la forme
,
est vraie, car sa négation
est fausse.
jeanseb,
Oui c'est intéressant du point de vue des fondements la logique de la théorie des ensembles
Bonjour à tous,
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :