4

Space $X$ is called locally connected if it has a basis consisting of connected sets.

It's called second-countable if it has a countable basis.

If $X$ is both locally connected and second-countable, does that imply that there exists a countable basis consisting of connected sets?

Note that this is true if $X$ is a metric space, since for any basis $\mathcal{B}$ of $X$, we can just take a refinement of $\mathcal{B}_n = \{B\in\mathcal{B} : \text{diam}(B) < \frac{1}{n}\}$ consisting of connected sets from local connectedness, use the Lindelof property, and then the union of those covers for each $n$ will be a countable basis consisting of connected sets.

Jakobian
  • 15,280
  • 1
    Yes: every base of a topological space contains a base of cardinality = weight of the space. See Engelking, General Topology, 1.1.15. – Ulli Sep 01 '23 at 15:27
  • @Ulli oh, I wasn't aware of this result. Maybe you could make it an answer? – Jakobian Sep 01 '23 at 15:32

2 Answers2

4

More generally, if $B$ and $C$ are two bases for a topological space $X$, then there is a basis $C_0\subseteq C$ of cardinality at most $|B|^2$ (so in your case, let $B$ be a countable basis and let $C$ be the connected open sets). To construct $C_0$, for each $U,V\in B$, fix an element $W_{U,V}\in C$ such that $U\subseteq W_{U,V}\subseteq V$, if any such element exists. Then I claim the set $C_0$ of all these $W_{U,V}$s is a basis as well.

To prove this, suppose $x\in X$ and $V$ is a neighborhood of $x$, which we may assume is an element of $B$; we wish to find an element of $C$ which contains $x$ and is contained in $V$. Since $C$ is a basis, there exists $W\in C$ such that $x\in W\subseteq V$, and then there also exists $U\in B$ such that $x\in U\subseteq W$. But then $W_{U,V}$ exists and is an element of $C_0$ such that $x\in W_{U,V}\subseteq V$.

Eric Wofsey
  • 342,377
  • 2
    BTW: in the above "$^2$" can be omitted, i.e. $|C_0| \le |B|$ is always possible, since, if $B$ is finite, the space is Alexandroff. Hence, the set of all minimal neighborhoods is a base of minimal cardinality, which is contained in every base. – Ulli Sep 02 '23 at 08:35
  • And to expand on @Ulli 's comment, in an Alexandroff space the minimal neighborhoods are even path connected. So the base consisting of the minimal neighborhoods of all the points is a minimal base (contained in every base) and exhibits that the space is locally path connected. – PatrickR Sep 19 '23 at 23:47
4

Ok, here is the exact result as an answer:

Recall that the weight $w(X)$ of a topological space $X$ is the minimum cardinality of a base of this space $+ \aleph_0$ (i.e., it is always $w(X) \ge \aleph_0$). Hence, a space is second countable, iff $w(X) = \aleph_0$.

Now, the following holds for an arbitrary topological space $X$:

Let $\mathfrak{B}$ be a base of $X$. Then there exists a base $\mathfrak{B}_0 \subset \mathfrak B$, such that $|\mathfrak{B}_0| \le w(X)$.

For this theorem and its proof see Engelking, General Topology, 1.1.15.

Hence, if a second-countable space has a base of connected sets, it also has a countable base of connected sets.

Ulli
  • 6,241