Closure in Infinite Particular Point Space is not Compact

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau_p}$ be an infinite particular point space.

Let $A \in \tau_p$ be open in $T$.

Let $A^-$ be the closure of $A$.


Then $A^-$ is not compact.


Proof

From Closure of Open Set of Particular Point Space, we have that $A^- = S$.

The result follows from Infinite Particular Point Space is not Compact.

$\blacksquare$


Sources