User:Caliburn/s/nets/Point is Cluster Point of Moore-Smith Sequence iff Limit of Monotonically Indexed Moore-Smith Subsequence

Theorem
Let $\struct {X, \tau}$ be a topological space.

Let $\struct {\Lambda, \preceq}$ be a directed set.

Let $\family {x_\lambda}_{\lambda \in \Lambda}$ be a Moore-Smith sequence.

Let $y \in X$.

Then $y$ is a cluster point of $\family {x_\lambda}_{\lambda \in \Lambda}$ :
 * there exists:
 * a directed set $\struct {\Omega, \le}$
 * a monotone cofinal mapping $\phi : \Omega \to \Lambda$
 * such that the Moore-Smith sequence $\family {x_{\map \phi m} }_{m \in \Omega}$ converging to $y$.

That is, $y$ is a cluster point of $\family {x_\lambda}_{\lambda \in \Lambda}$ some monotonically indexed Moore-Smith subsequence of $\family {x_\lambda}_{\lambda \in \Lambda}$ converges to $y$.

Necessary Condition
Let $y$ be a cluster point of $\family {x_\lambda}_{\lambda \in \Lambda}$.

Let:
 * $\Omega = \set {\tuple {\lambda, U} : \lambda \in \Lambda, \, U \text { is a neighborhood of } y \text { such that } x_\lambda \in U}$

Define a relation $\le$ on $\Omega$ by:
 * $\tuple {\lambda_1, U_1} \le \tuple {\lambda_2, U_2}$


 * $\lambda_1 \preceq \lambda_2$
 * $\lambda_1 \preceq \lambda_2$

and:
 * $U_1 \supseteq U_2$

We show that $\struct {\Omega, \le}$ is a directed set.

Define:
 * $M' = \set {\tuple {\lambda, U} : \lambda \in \Lambda, \, U \text { is an open neighborhood of } y}$

Let $\le'$ be the relation defined by:
 * $\tuple {\lambda, U} \le' \tuple {\lambda', U'}$ :
 * $\lambda \preceq \lambda'$ and $U \supseteq U'$.

From Product of Directed Sets is Directed Set and Restriction of Preodering is Preordering, we have that $\le$ is a preordering on $\Omega$.

We just need to show that $\le$ is a directed preordering on $\Omega$.

Let $\tuple {\lambda, U}, \tuple {\lambda', V} \in \Omega$.

Then since $U$ and $V$ are open neighborhoods of $y$, so is $U \cap V$.

Since $\struct {\Lambda, \preceq}$ is directed, there exists $\mu \in \Lambda$ such that:
 * $\lambda \preceq \mu$

and:
 * $\lambda' \preceq \mu$

Since $y$ is a cluster point of $\family {x_\lambda}_{\lambda \in \Lambda}$, there exists $\lambda_\ast \in \Lambda$ such that $\mu \preceq \lambda_\ast$ and $x_{\lambda_\ast} \in U \cap V$.

From transitivity, we have that $\lambda \preceq \lambda_\ast$ and $\lambda' \preceq \lambda_\ast$.

So we have $\tuple {\lambda, U} \le \tuple {\lambda_\ast, U \cap V}$ and $\tuple {\lambda', V} \le \tuple {\lambda_\ast, U \cap V}$.

So $\struct {\Omega, \le}$ is indeed directed.

Now $\phi : \Omega \to \Lambda$ by:
 * $\map \phi {\lambda, u} = \lambda$

for each $\tuple {\lambda, u} \in \Omega$.

We show that $\phi : \struct {\Omega, \le} \to \struct {\Lambda, \preceq}$ is monotone.

Suppose that $\tuple {\lambda_1, u_1} \le \tuple {\lambda_2, u_2}$.

Then $\lambda_1 \preceq \lambda_2$.

In particular, $\map \phi {\lambda_1, u_1} \preceq \map \phi {\lambda_2, u_2}$ whenever $\lambda_1 \preceq \lambda_2$.

So $\phi$ is monotone.

We show that $\phi$ is cofinal.

Let $\lambda \in \Lambda$.

Then, if $\tuple {\lambda, X} \le \tuple {\lambda', U}$, we have:


 * $\map \phi {\lambda, X} = \lambda \preceq \lambda' = \map \phi {\lambda', U}$

We show that $\family {x_{\map \phi m} }_{m \in \Omega}$ converges to $y$.

Let $U_0$ be an open neighborhood of $y$.

Take $\lambda_0 \in \Lambda$ such that $x_{\lambda_0} \in U_0$.

Then $\tuple {\lambda_0, U_0} \in \Omega$.

Take $\tuple {\lambda, U} \in \Omega$ such that $\tuple {\lambda_0, U_0} \le \tuple {\lambda, U}$.

Then $U_0 \supseteq U$ and $x_\lambda \in U$.

In particular, $x_{\map \phi {\lambda, U} } \in U \subseteq U_0$ whenever $\tuple {\lambda_0, U_0} \le \tuple {\lambda, U}$.

Since $U_0$ was an arbitrary open neighborhood of $y$, we have that $\family {x_{\map \phi m} }_{m \in \Omega}$ converges to $y$.

Sufficient Condition
Suppose that:
 * there exists:
 * a directed set $\struct {\Omega, \le}$
 * a monotone cofinal mapping $\phi : \Omega \to \Lambda$
 * such that the Moore-Smith sequence $\family {x_{\map \phi m} }_{m \in \Omega}$ converging to $y$.

Let $U$ be an open neighborhood of $y$.

Then there exists $m_U \in \Omega$ such that for all $m \in \Omega$ with $m_U \le m$, we have that $x_{\map \phi m} \in U$.

Now fix an open neighborhood $U$ of $y$ and $\lambda_0 \in \Lambda$.

Since $\phi$ is a cofinal mapping, there exists $u_0 \in \Omega$ such that $\lambda_0 \preceq \map \phi {u_0}$.

Since $\struct {\Omega, \le}$ is a directed set, there exists $u^\ast \in \Omega$ with $u_U \le u^\ast$ and $u_0 \le u^\ast$.

Since $\phi$ is monotone, we have $\lambda_0 \preceq \map \phi {u_0} \preceq \map \phi {u^\ast}$.

Since we also have $u_U \le u^\ast$, we have that $x_{\map \phi {u^\ast} } \in U$.

Setting $\lambda^\ast \in \Lambda$ we have $\lambda_0 \preceq \lambda^\ast$ such that $x_{\lambda^\ast} \in U$.

So $y$ is a cluster point of $\family {x_\lambda}_{\lambda \in \Lambda}$.