Limit Point of Sequence in Discrete Space not always Limit Point of Open Set

From ProofWiki
Jump to navigation Jump to search


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

Let $U \in \tau$ be an open set of $T$.

Let $\sequence {x_n}$ be a sequence in $U$.

Let $x$ be the limit of $\sequence {x_n}$.

Then $x$ is not always a limit point of $U$.


Let $x \in S$.

By definition of discrete space:

$U = \set x$ is an open set of $T$.

Consider the sequence $\sequence {x_n}$ defined as:

$\forall n \in \N: x_n = x$

That is:

$\sequence {x_n} = \tuple {x, x, x, \ldots}$

Thus $x$ is the limit point of $\sequence {x_n}$.


$U \setminus \set x = \O$

and so $x$ is not a limit point of $U$.

Hence the result.


Also see