التمرين 1
Métrique sur N* et topologie discrète
Soit l'ensemble des entiers strictement positifs et l'application définie par
- Montrer que est un espace métrique.
- Montrer que la topologie associée est la topologie discrète.
- Déterminer les suites de Cauchy dans cet espace.
- Donner une caractérisation des sous-ensembles compacts de .
◀الحل
- La positivité, la symétrie et sont immédiates. Pour l'inégalité triangulaire, si sont distincts alors car chaque distance hors diagonale est . 2. Pour tout , la boule ouverte de rayon vaut car toute autre distance est ; donc tout singleton est ouvert, la topologie est discrète. 3. Une suite de Cauchy est ultimement constante, car si assez grands alors , ce qui impose . 4. Dans un espace discret, un compact doit être fini, sinon le recouvrement par singletons n'admet pas de sous-recouvrement fini. Réciproquement tout ensemble fini est compact.