title: Indistinguibilidad topológica
text: # Indistinguibilidad topológica
  
  En topología, dos puntos de un espacio topológico $X$ son topológicamente indistinguibles si tienen exactamente los mismos entornos. Es decir, dados dos puntos $x$ e $y$ de $X$, si $\xi (x)$ es el conjunto de entornos de $x$ y $\xi (y)$ es el conjunto de entornos de $y$, entonces $x$ e $y$ son "topológicamente indistinguibles" si y solo si $\xi (x)=\xi (y)$.
  Intuitivamente, se puede decir que dos puntos son topológicamente indistinguibles si la topología no es capaz de discernir los puntos.
  Dos puntos de $X$ son topológicamente distinguibles si no son topológicamente indistinguibles. Esto significa que existe algún entorno de uno de los puntos que no contiene al otro.
  La indistinguibilidad topológica define una relación de equivalencia en cualquier espacio topológico.
  
  # Indistinguibilidad topológica
  ## Propiedades
  
  Las siguientes condiciones son equivalentes:
  * $x$ e $y$ son topológicamente indistinguibles
  * Toda base de entornos de $x$ es una base de entornos de $y$ y viceversa
  * Para todo abierto $A$ se tiene $x,y\in A$ o bien $x,y\notin A$
  * La clausura topológica de ${x}$ es igual a la de ${y}$: ${\overline {\{x\}}}={\overline {\{y\}}}$
  * $y\in {\overline {\{x\}}}$ y $x\in {\overline {\{y\}}}$
  * $y$ pertenece a la intersección de todos los entornos básicos de $x$ y $x$ pertenece a la intersección de todos los entornos básicos de $y$
  * $x$ pertenece a todo abierto y a todo cerrado que contiene a $y$
  
  # Indistinguibilidad topológica
  ## Ejemplos
  
  * En la topología trivial, los puntos distintos son topológicamente indistinguibles.
  * En los espacios T$_0$, T$_1$, T$_2$, T$_3$ y T$_4$, los puntos distintos son distinguibles.
  * En la topología discreta, los puntos distintos son topológicamente distinguibles.
  * En la topología sobre el conjunto de los números enteros, generada por los básicos de tipo {2n-1, 2n} con "n" entero, todo impar es topológicamente indistinguible de su sucesor inmediato, o lo que es equivalente: todo par es indistinguible de su antecesor inmediato.