# Singleton Set in Discrete Space is Compact

Jump to navigation
Jump to search

## Theorem

Let $T = \struct {S, \tau}$ be a topological space where $\tau$ is the discrete topology on $S$.

Let $x \in S$.

Then $\set x$ is compact.

## Proof 1

From Point in Discrete Space is Neighborhood, every point $x \in S$ is contained in an open set $\set x$.

Then from Interior Equals Closure of Subset of Discrete Space we have that $\set x$ equals its closure.

As $\set {\set x}$ is (trivially) an open cover of $\set x$, it follows by definition that $\set x$ is compact.

$\blacksquare$

## Proof 2

Follows directly from Finite Topological Space is Compact.

$\blacksquare$