Definition:Isolated Point (Topology)/Space

From ProofWiki
Jump to navigation Jump to search


Let $T = \struct {S, \tau}$ be a topological space.

$x \in S$ is an isolated point of $T$ if and only if:

$\exists U \in \tau: U = \set x$

That is, if and only if there exists an open set of $T$ containing no points of $S$ other than $x$.

Also see

  • Results about isolated points can be found here.