Punto aislado

Topological spaces in the following three examples are considered as subspaces of the real line with the standard topology.

• For the set ${\displaystyle S=\{0\}\cup [1,2],}$ the point 0 is an isolated point.
• For the set ${\displaystyle S=\{0\}\cup \{1,{\tfrac {1}{2}},{\tfrac {1}{3}},\dots \},}$ each of the points ⁠${\displaystyle {\tfrac {1}{k}}}$⁠ is an isolated point, but 0 is not an isolated point because there are other points in S as close to 0 as desired.
• The set ${\displaystyle \mathbb {N} =\{0,1,2,\ldots \}}$ of natural numbers is a discrete set.

In the topological space ${\displaystyle X=\{a,b\}}$ with topology ${\displaystyle \tau =\{\emptyset ,\{a\},X\},}$ the element a is an isolated point, even though ${\displaystyle b}$ belongs to the closure of ${\displaystyle \{a\}}$ (and is therefore, in some sense, "close" to a). Such a situation is not possible in a Hausdorff space.

The Morse lemma states that non-degenerate critical points of certain functions are isolated.

Consider the set F of points x in the real interval (0,1) such that every digit x_i of their binary representation fulfills the following conditions:

• Either ${\displaystyle x_{i}=0}$ or ${\displaystyle x_{i}=1.}$
• ${\displaystyle x_{i}=1}$ only for finitely many indices i.
• If m denotes the largest index such that ${\displaystyle x_{m}=1,}$ then ${\displaystyle x_{m-1}=0.}$
• If ${\displaystyle x_{i}=1}$ and ${\displaystyle i<m,}$ then exactly one of the following two conditions holds: ${\displaystyle x_{i-1}=1}$ or ${\displaystyle x_{i+1}=1.}$

Informally, these conditions means that every digit of the binary representation of ${\displaystyle x}$ that equals 1 belongs to a pair ...0110..., except for ...010... at the very end.

Now, F is an explicit set consisting entirely of isolated points but has the counter-intuitive property that its closure is an uncountable set.^[1]

Otro conjunto F con las mismas propiedades se puede obtener de la siguiente manera. Sea C el conjunto de Cantor de tercios medios , sean los intervalos componentes de , y sea F un conjunto que consta de un punto de cada I _k . Dado que cada I _k contiene solo un punto de F , cada punto de F es un punto aislado. Sin embargo, si p es cualquier punto del conjunto de Cantor, entonces cada entorno de p contiene al menos un I _k , y por lo tanto al menos un punto de F . De ello se deduce que cada punto del conjunto de Cantor se encuentra en la clausura de F , y por lo tanto F tiene clausura no numerable.${\displaystyle I_{1},I_{2},I_{3},\ldots ,I_{k},\ldots }$${\displaystyle [0,1]-C}$