Compact Subset of Compact Space is not necessarily Closed
Jump to navigation
Jump to search
Theorem
A compact subset of a compact space is not necessarily closed.
Proof
Let $S$ be a set containing more than one element.
Let $\tau = \set {S, \O}$ be the indiscrete topology on $S$.
Let $x \in S$.
Let $H = S \setminus \set x$.
Then $H$ is a proper subset of $S$.
Then from Subset of Indiscrete Space is Compact and Sequentially Compact, the subspace induced by $\tau$ on $H$ is a compact subspace of $\struct {S, \tau}$.
But from Closed Sets in Indiscrete Topology, the only closed subsets of $\struct {S, \tau}$ are $S$ and $\O$.
Thus $H$ is a compact subspace of $\struct {S, \tau}$ which is not closed in $S$.
$\blacksquare$
Sources
- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text I$: Basic Definitions: Section $1$: General Introduction