6
$\begingroup$

Let $X$ be a compact Hausdorff space and $p\in X$ be a non-isolated point. Is it always possible to find a net $(x_\alpha)_{\alpha\in (I,\leq)}$ in $X\setminus\{p\}$ converging to $p$ such that $(I,\leq)$ is totally ordered (or a regular cardinal, which gives you the same thing)?

I would expect this to be false, but I do not know how to construct a counter-example. I tried some standard spaces like the $1$-point compactification of an uncountable discrete space (because here the infinite point has no countable basis of neighborhoods) or a product of continuum many copies of $\{0,1\}$, but none of the worked. Probably the Stone-Cech-Compactification of the integers could be a counter-example but I really have no exprerience in working with that space ... Any ideas?

$\endgroup$
1
  • $\begingroup$ I cannot check this paper now, but maybe "a note on linearly ordered net spaces" by J.R. Boone (Pacific journal of mathematics, vol 98, no 1, 1982) contains the answer you are looking for. $\endgroup$ Commented Mar 20, 2023 at 12:28

1 Answer 1

4
$\begingroup$

Yes. For every non-isolated $p\in X$, there is a well-ordered net in $X\setminus\{p\}$ converging to $p$ as long as $X$ is compact and Hausdorff. This result was observed in the 1992 paper Convergent free sequences in compact spaces by I. Juhász and Z. Szentmiklóssy, so let me paraphrase their argument. Suppose that $\lambda$ is a limit ordinal and $(A_\alpha)_{\alpha<\lambda}$ is a descending sequence of closed subsets of a compact Hausdorff space $X$ with $\bigcap_{\alpha<\lambda}A_\alpha=\{p\}$ but where $|A_\alpha|>1$ for $\alpha<\lambda$. Let $x_\alpha\in A_\alpha\setminus\{p\}$ for $\alpha<\lambda$. Then whenever $U$ is a neighborhood of $p$, by compactness, there is some $\alpha<\lambda$ where $x_\beta\in A_\beta\subseteq U$ whenever $\lambda>\beta\geq\alpha$. Therefore, $x_\alpha\rightarrow p$.

We still need to construct the sequence $(A_\alpha)_{\alpha<\lambda}$. Let $\lambda$ be the smallest cardinal such that there exists a collection of closed sets $(C_\alpha)_{\alpha<\lambda}$ where $\{p\}=\bigcap_{\alpha<\lambda}C_\alpha$ but where $p\in (C_\alpha)^\circ$ for each $\alpha<\lambda$. We can therefore set $A_\alpha=\bigcap_{\beta<\alpha}C_\beta$.

We also observe that some form of compactness is necessary for this argument to work; if $p\in\beta\mathbb{N}\setminus\mathbb{N}$, then there is no well-ordered net in $\mathbb{N}$ that converges to $p$.

Unique accumulation makes the proof work

Compact Hausdorff spaces can be characterized as the Hausdorff spaces where each net that accumulates at a unique point $p$ actually converges to the point $p$. This characterization of compact Hausdorff spaces allows us to break our result up into a couple of lemmas.

We say that a filter $\mathcal{F}$ on a topological space $X$ accumulates at the point $p\in X$ if $p\in\bigcap_{R\in\mathcal{F}}\overline{R}$. We say that a net $(x_{d})_{d\in D}$ on the same space $X$ accumulates at the point $p\in X$ the filter generated by $\{\{x_{e}\mid e\geq d\}\mid d\in D\}$ accumulates at the point $p$. Equivalently, the net $(x_d)_{d\in D}$ accumulates at $p$ precisely when $U\cap\{x_e\mid e\geq d\}\neq\emptyset$ whenever $U$ is a neighborhood of $p$.

Lemma: Let $X$ be a Hausdorff space. Then the following are equivalent:

  1. $X$ is compact.

  2. If $(x_d)_{d\in D}$ is a net that accumulates at the unique point $p\in X$, then $(x_d)_{d\in D}$ converges to the point $p.$

Lemma: Let $X$ be a topological space. Let $p\in X$ be a non-isolated point. Suppose that $\{p\}=\bigcap_{U\in\mathcal{N}(p)}\overline{U}$ where $\mathcal{N}(p)$ is the filter of neighborhoods of $p$ (this is a weakening of regularity). Then there is a cardinal $\lambda$ and well-ordered net $(x_\alpha)_{\alpha<\lambda}$ where if $(x_\alpha)_{\alpha<\lambda}$ accumulates at a point $q$, then $q=p$.

Proof: Let $\lambda$ be the smallest cardinal such that there exists a transfinite sequence $(U_\alpha)_{\alpha<\lambda}$ of neighborhoods of $p$ with $\bigcap_{\alpha<\lambda}\overline{U_\alpha}=\{p\}$. Then since $\lambda$ is minimized, the set $\bigcap_{\beta\leq\alpha}\overline{U_\beta}\setminus\{p\}$ is non-empty for each $\alpha<\lambda$. Then set $x_\alpha\in\bigcap_{\beta\leq\alpha}\overline{U_\beta}\setminus\{p\}$ for $\alpha<\lambda$. Therefore, $\bigcap_{\beta<\lambda}\overline{\{x_\alpha\mid \alpha\geq\beta\}}\subseteq\bigcap_{\beta<\lambda}\overline{U_\beta}=\{p\}.$ $\square$

By combining the two above lemmas, we can conclude that for each point $p$ in a compact Hausdorff space $X$, there is a well-ordered net in $X\setminus\{p\}$ converging to $p$.

$\endgroup$
2
  • $\begingroup$ I think you have a typo in 2. of the lemma statement. $\endgroup$
    – Tyrone
    Commented Mar 21, 2023 at 5:58
  • $\begingroup$ Thank you for this wonderful and unexpected answer! I really would have thought that there should be a counter-example out there somewhere, so I am even more happy to see that there isn't. $\endgroup$
    – Cosine
    Commented Mar 21, 2023 at 8:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .