Sea F un conjunto finito de m elementos de R^n. Sea I el conjunto de números naturales {1,2,..., m} que lo tomamos como conjunto de índices para los elementos de F. Tomemos D el conjunto de las distancias entre todos los puntos:
$$\begin{align}&D=\{d(x_i,x_j)\;|\,i,j\in I,\;i\lt j \}\end{align}$$
Este conjunto D es finito ya que tiene m(m-1)/2 elementos como máximo. Y todos sus elementos son no negativos ya que son distancias y son positivos porque son todas distancias entre puntos distintos. Luego D tiene un mínimo, llamemóslo delta > 0
Entonces para todo elemento de F si tomamos una bola de radio delta (o si te parece más fiable delta/2) tendremos que ningún otro elemento de F estará dentro de esa bola, luego el elemento está aislado.
:
: