In my third semester analysis course, our professor told us (without proof) that an open, connected subset $U\subset\mathbb{R}^n$ is automatically path connected. I understand the intuition behind the statement and I was able to prove it by defining for $x\in U$ the set $U(x):=\{y\in U\mid\exists\gamma\in C^0([0,1],X):\gamma(0)=x,\gamma(1)=y\}$, then showing that this set is open and thereby constructing a separation of $U$ under the assumption that it isn't path connected. I now asked myself wether there exist generalizations of this proposition. My proof heavily relied on the convexity of the open balls and thus on the vector-space structure of $\mathbb{R}^n$. Is it possible to generalize it, with some restrictive assumptions, to metric or even topological spaces? I'm aware of this question, but I consider the answer to it incomplete, so any further clarifications would be nice :)
Asked
Active
Viewed 231 times
3
-
Yes I know, connectedness is in general weaker; this is why I asked for generalizations "with restrictive assumptions". – Redundant Aunt Jan 22 '17 at 19:45
-
1In every locally path-connected space, an open subset is connected if and only if it is path-connected. – Daniel Fischer Jan 22 '17 at 19:46
-
For locally euclidean spaces connected$\implies$path connected, you can prove it essentially as you did for $\Bbb R^n$ – Alessandro Codenotti Jan 22 '17 at 20:59
-
A connected, locally path connected topological space is path connected. – Watson Jan 23 '17 at 13:58