Definition:Discrete Set

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $H \subseteq S$ be a subset of $S$.

Then $H$ is a discrete set if and only if every point of $H$ is an isolated point of $H$.


Examples

Natural Numbers

Let $T = \struct {\R, \tau_d}$ be the real number line with the usual (Euclidean) topology.

The natural numbers $\N$ form a discrete set within $T$.


Rational Numbers

Let $T = \struct {\R, \tau_d}$ be the real number line with the usual (Euclidean) topology.

The rational numbers $\Q$ do not form a discrete set within $T$.


Also see

  • Results about discrete sets can be found here.


Sources