In proving every open connected subset of $\mathbb{R}^n$ is path connected

771 Views Asked by At

I would like to prove that every open connected subset of $\mathbb{R}^n$ is path connected.

Let us choose $E$ to be a such open connected subset, then given any point $p \in E$, we will define $F$ be the set of all points in E that can be joined to $p$ by a path in $E$.

The idea is to show that $F = E$ by showing $F$ is clopen as well as $F$ is path connected.

We choose $q \in F \subseteq E$, then since $E$ is open, we can find an open ball $D_x(q,\epsilon)$ in $E$.

Here are my questions.

  1. My lecturer said $D_x(q,\epsilon)$ is path connected as any point of distance smaller than $\epsilon$ from $q$ can be connected by a polygonal (= $D_x(q,\epsilon)$ can be contained by $F$) but I am not sure how every point in $D_x(q,\epsilon)$ can be contained by $F$.

  2. How does this ensure that $F$ is open?

Any help will be greatly appreciated.

2

There are 2 best solutions below

4
On BEST ANSWER
  1. Because if there is a path $\gamma$ from $p$ to $q$ and if $r\in D_x(q,\varepsilon)$, you can sider the path $\gamma$ followed by a line segment from $q$ to $r$.
  2. Because for each $q\in F$, there is an open ball centeres at $q$ and contained in $F$.
1
On

Note that $D_x(q, \epsilon)$ is convex: every pair of points in the open ball can be connected by a straight line.

In particular, if $p$ can be path-connected to $q$ ($ \iff q \in F$), and $q$ can be path-connected to every point in $D_x(q, \epsilon)$, then every point of $D_x(q, \epsilon)$ is contained in $F$.