User:Alecscooper/Complete and Close Packed Metric Space is Dense-in-Itself

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\left({S, \preceq}\right)$ be a close packed ordered set containing at least two distinct elements.

Let $M = \left({S, d}\right)$ be a complete metric space.

Let $\tau$ denote the topology on $A$ induced by $d$.

Let $T = \left({S, \tau}\right)$ be a topological space.


Then $T$ is dense-in-itself.


Proof

Assume, for contradiction, that $T$ is not dense-in-itself.

Then there exists some isolated point $x \in S$.

Since $S$ contains at least two distinct elements, there is at least one other point $y \in S$.

Without loss of generality, let $x \preceq y$.

As $\left({S, \preceq}\right)$ is close packed, there must exist some point $a_1 \in S$ with $x \prec a_1 \prec y$.

We can repeat this process for $i > 1$ to get a point $a_i \in S$ with $x \prec a_i \prec a_{i - 1}$.

Thus we get a sequence $\left \langle {a_n} \right \rangle$ in $S$.

This should be a Cauchy sequence, and it must converge since the space is complete. I'm just not sure where to go from there since the limit isn't necessarily $x$... I know I had a better idea of how to approach this a while ago, and promptly forgot it.