Bonjour,

J'ai deux questions bêtes à vous poser. Je le sais, mais que faire :

Soit un ensemble quelconque.

- Comment démontrer que la topologie discrète sur est celle définie par la distance : pour tout .

- Quelle distance définit-elle la topologie grossière sur ? Pourquoi ?

Merci d'avance.