Cover of Doubletons of Infinite Particular Point Space has no Locally Finite Refinement

From ProofWiki
Jump to navigation Jump to search

Theorem

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

Let $\CC$ be the open cover of $T$ defined as:

$\CC = \set {\set {x, p}: x \in S, x \ne p}$


Then $\CC$ has no open refinement which is locally finite.


Proof

Suppose $T$ is an infinite particular point space.

As $S$ is infinite, $\CC$ is also infinite.


Let $x \in S, x \ne p$.

Then any neighborhood of $x$ must contain $p$, by the nature of the particular point topology.

But $p$ is contained in all elements of $\CC$.

That is:

$\forall C \in \CC: p \in C$

So any neighborhood of $x$ intersects with all elements of the open cover $\CC$.

As $\CC$ is infinite, it therefore has no open refinement which is locally finite.

$\blacksquare$


Sources