Posté par
Tigweg Tigweg 
Salut Darchov,
soit y un point de A' (je vais noter A' au lieu de

), montrons que d(y,A')=0.
Il existe par définition une suite y
n d'élements de A convergeant vers y.
On a, par définition de la convergence d'une suite:
=0)
.
Par ailleurs d(y,A) est la borne inférieure des distances entre y et un point quelconque de A, donc d(y,A) est toujours inférieur ou égal aux distances entre y et les points de A, en particulier entre y et y
n.
Ainsi on a pour tout entier n:
\le d(y,y_n))
.
Et en faisant tendre n vers l'infini, le théorème des gendarmes fournit bien d(y,A)=0.
Réciproquement soit y un réel tel que d(y,A)=0, montrons que y est dans A', autrement dit qu'il est limite d'une suite d'éléments de A.
Revenons à la définition de la distance, l'hypothèse s'écrit:
=0)
.
Mais par définition de la borne inférieure, pour tout

il existe z dans A tel que
<0+\epsilon)
.
En particulier, pour tout n entier strictement positif, le choix de

conduit à l'existence d'un élément

vérifiant
<\frac 1n)
.
On en tire :
ce qui entraîne bien que le réel y est limite d'une suite (la suite

) d'éléments de A, et donc que y est élément de A'.
Tigweg