6
$\begingroup$

I'm trying to prove that every topological manifold $M^n$ (with or without boundary) is locally path-connected. My attempt:

(Without boundary): Let $x\in M^n$ and $V$ be any open set containing $x$. Let $(U,\phi)$ be a chart containing $x$, so $U\cap V$ is also open, and $U\cap V$ is homeomorphic to $\phi(U\cap V)\subset\mathbb{R}^n$, which may or may not be path-connected. If it is path-connected, then $U\cap V= \phi^{-1}(\phi(U\cap V)\subset V$ is path connected, since path-connectectedness is preserved under homeomorphism and we are done. If $\phi(U\cap V)$ is not path-connected, then since it is open, we can find a sufficiently small $r$ so $B_r(\phi(x))\subset \phi(U\cap V)$. $B_r(\phi(x))$ is path-connected, so $x\in\phi^{-1}(B_r(\phi(x)))\subset V$ is path-connected.

(With Boundary): Let $\mathbb{H}^n=\{(x^1,...,x^n)\in\mathbb{R}^n:x^n=0\}.$ Replace $\mathbb{R}^n$ with $\mathbb{H}^n$ and $B_r(\phi(x))$ with $\mathbb{H}^n\cap B_r(\phi(x))$ in the argument above.

Does this look right?

$\endgroup$
  • 2
    $\begingroup$ yes, this does look right. $\endgroup$ – Thomas Oct 11 '15 at 8:11
  • 1
    $\begingroup$ Yes, and the same argument shows that $M^n$ is locally compact, locally contractible, etc. Just any local property of $\Bbb R^n$ ($\Bbb H^n$) is transferred to $X$ as $X$ is locally homeomorphic to $\mathbb R^n$ ($\Bbb H^n$). $\endgroup$ – Stefan Hamcke Oct 11 '15 at 12:10
4
$\begingroup$

Another way and by the definition of locally path connected, suppose $p$ a point from $M$ manifold, and $U_{p}$ is ball and $(f,U_{p})$ is a chart. So since $\mathbb{R}^{n}$ is locally path connected there exist $V_{p}$ neighborhood such that $V_{p}$ is in $U_{p}$ and $V_{p}$ is path connected.

$\endgroup$
1
$\begingroup$

Now let’s focus on a smooth manifold $M;$ by definition we now that for any point $p \in M$ exists a neighborhood $U_{p}$ of $p$ and a homeomorphism $\phi\colon U_{p} \to \mathbb{R}^{d}.$

Since $\mathbb{R}^{d}$ (with the Euclidean topology) is locally path connected, $M$ inherits this property through $\phi,$ and we can conclude that a path connected manifold is connected and that if the manifold is locally path connected, then it is path connected if and only if it is connected.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.