# Hereditarily locally connected spaces

A topological space is locally connected if every point has a neighborhood basis of connected open subsets.

A property of topological spaces is termed hereditary, subspace-hereditary, if every subset of a topological space having the property also has the property (when the subset is endowed with the subspace topology).

• The (Alexandroff) topological spaces in which any point has the least open neighborhood are hereditarily locally connected.

• Another example of hereditarily locally connected topological space is $$L=\mathbb N\cup\{\infty\}$$ with opens $$U\subseteq L$$ upward closed subsets such that $$U\neq\{\infty\}$$. Note that this space is not an Alexandroff space, since $$\infty$$ does not have the least open neighborhood.

I wonder what classes of topological spaces have the hereditarily locally connectedness property. Is there any study available regarding hereditarily locally connectedness?

• It looks like the answerer D.S. Lipham is using a different notion of "hereditary local connectedness" than we have in the question. Your notion requires all subspaces to be locally connected while the answerer simply needs for every connected subspace to be locally connected. May 10, 2023 at 20:39

Let $$X$$ be a set, and let $$\kappa$$ be an infinite cardinal. Say sets in $$X$$ are closed if their cardinality is at most $$\kappa$$. (This class includes discrete spaces as you mentioned as well as spaces like the countable complement topology on the reals.)
Let $$Y$$ be a subspace. If $$\kappa\geq|Y|$$ then $$Y$$ is discrete, and thus locally connected.
If $$\kappa\lt|Y|$$, then the space is hyperconnected: all nonempty open sets intersect because if not, their complements would be two sets of size $$\kappa<|Y|$$ that cover $$Y$$. Furthermore, every open set is of size $$|Y|$$ (since if not, the open set and its complement would be two sets of size $$<|Y|$$ that cover $$Y$$) and is thus a copy of $$Y$$, showing local connectedness. Thus any space in this class is hereditarily locally connected.
• Thank you for the answer! Could you elaborate why do all nonempty open sets intersect in $Y$ and why all of them are of size $\kappa$? May 22, 2023 at 13:37
• They're all of size $|Y|$, not $\kappa$. I've fixed that error and added the requested clarifications. May 22, 2023 at 22:06