Soit $(K,d)$ un espace métrique compact. Soit $(x_n)$ une suite dense dans $K$. On pose $h_n(x) = d(x,x_n)$. Pourquoi les $h_n$ séparent les points de $K$, i.e. pour tous $x\neq y \in K$, il existe $i,j$ tels que $h_i(x) \neq h_j(y)$ ?
Les $h_n$ séparent les points, cela signifie que pour tout $x\in K$, il existe $i,j$ tels que $h_i(x) \neq h_j(x)$. Ok je vois. Pour tout $\epsilon>0$, on a $i$ tel que $h_i(x) < \epsilon$. Prendre $\epsilon = h_j(x)$, pour $x_j \neq x$.
Mais donc il faut supposer que $K$ a au moins deux points non ?
Les $h_n$ séparent les points, cela signifie que pour tout $x\in K$, il existe $i,j$ tels que $h_i(x) \neq h_j(x)$.
Tu ne voulais pas plutôt dire $h_i(x) \neq h_j(y)$ ?
En tout cas, c'est une propriété $\forall x\neq y, \dots$ donc on n'a pas besoin que $K$ ait au moins deux points. S'il en a moins, la propriété est automatiquement vraie.
Je réitère mon message, est-ce que ce n'est pas plutôt que pour tout $x \neq y$, il existe $i$ (pas de $j$ dans mon histoire) tel que $h_i(x) \neq h_i(y)$ ? Par analogie avec les familles de semi-normes qui séparent les points.
Réponses
Mais donc il faut supposer que $K$ a au moins deux points non ?
Tu ne voulais pas plutôt dire $h_i(x) \neq h_j(y)$ ?
En tout cas, c'est une propriété $\forall x\neq y, \dots$ donc on n'a pas besoin que $K$ ait au moins deux points. S'il en a moins, la propriété est automatiquement vraie.