局部连通性与连通性的关联：条件蕴含及等价性定理问询

Great question! You’re totally correct that neither connectedness nor local connectedness implies the other—we’ve got classic counterexamples for both directions: the topologist’s sine curve is connected but not locally connected, while a disjoint union of two disjoint closed intervals is locally connected but not connected. But there are definitely theorems that link these two properties under additional conditions, and even some cases where they’re equivalent. Let’s break this down:

Theorems Where Connectedness + Extra Conditions Guarantees Local Connectedness #

While connectedness alone doesn’t force local connectedness, add certain structural properties, and the implication holds:

• Topological Manifolds: Any connected topological manifold is automatically locally connected. Manifolds are locally homeomorphic to Euclidean space (which is locally connected), and local connectedness is preserved under local homeomorphisms—so this comes straight from the manifold definition.
• Connected Locally Path-Connected Spaces: Technically local path-connectedness already implies local connectedness, but if you have a connected space that’s also locally path-connected, you get the bonus that it’s actually path-connected too. The local path-connectedness acts as the bridge between connectedness and local connectedness here.
• Complete Metric Spaces with Connected Neighborhoods: If you have a connected complete metric space where every point has a connected neighborhood, the space is guaranteed to be locally connected. Completeness helps "extend" those local connected neighborhoods into a full local basis for the topology.

Theorems Where Local Connectedness + Extra Conditions Guarantees Connectedness #

Local connectedness alone doesn’t make a space connected, but add these conditions, and you get connectedness:

• No Non-Trivial Clopen Subsets: This is essentially the definition of connectedness, but for locally connected spaces, it has a useful twist: connected components of locally connected spaces are open (and closed). So a locally connected space is connected if and only if it has exactly one connected component—meaning it can’t be split into two non-empty disjoint open subsets.
• Path-Connectedness: If a locally connected space is path-connected, it’s definitely connected (though path-connectedness already implies connectedness on its own). The local connectedness just adds extra structure here, like ensuring every path component is open, which aligns with the connected components being open.

Equivalence of Connectedness and Local Connectedness (Under Strong Conditions) #

There’s a famous theorem that ties connectedness, local connectedness, and continuous mapping properties into an equivalence: the Hahn-Mazurkiewicz Theorem. It states:

A compact Hausdorff space is a continuous image of the unit interval [0,1] (called a Peano space) if and only if it is connected, locally connected, and metrizable.

For compact metrizable spaces, this means being connected + locally connected is exactly equivalent to being a Peano space—a strong link between topological structure and the ability to be "traced" by a continuous curve from [0,1].

Another practical case: finite-dimensional CW complexes are locally connected by construction (built from cells with local Euclidean neighborhoods). So a connected CW complex is automatically locally connected, and a locally connected CW complex is connected if it has no disjoint cell components—effectively making the two properties aligned in this context.

内容的提问来源于stack exchange，提问作者user249018