# (connected and locally path-connected) => (path-connected)

Homework Helper
Gold Member

## Homework Statement

I'm asked to show that for a metric space M, (connected and locally path connected) ==> (path connected).

The reason for my post is 3-fold.

1) Not 100% sure my solution is correct.
2) Want confirmation that my proof holds in a general topological space.
3) I'm interested in hearing about other methods of proof for this result.

## The Attempt at a Solution

Let a be in M and let U be the biggest path-connected open nbhd of a. If U is all of M, then there is nothing to show. If U is not all of M, then first observe that bd(U), the boundary of U, is not empty. If it were, then U would be open and closed, which contradicts the fact that M is connected.

So let x be in bd(U). x must not be in U, otherwise, U would not be open. But since M is locally path-connected, there is an open nbhd V of x that is path-connected and that intersects U. This leads to a contradiction, either because it means x is in U or because U u V is a bigger path-connected open nbhd of a than U is.

Related Calculus and Beyond Homework Help News on Phys.org