Path connectedness and connectedness

**Problem**

Show that an open set $\displaystyle \Omega \in \field{C}$ is pathwise connected if and only if it is connected.

**Attempt at Solution**

Suppose $\displaystyle \Omega$ is not connected and suppose $\displaystyle \Omega$ is pathwise connected. Then, for any points $\displaystyle a,b \in \Omega$ there exists a continuous function $\displaystyle f$ which connects $\displaystyle a$ and $\displaystyle b$ together. Let $\displaystyle V,W \subset \Omega$, where $\displaystyle V \cap W = \emptyset$ and $\displaystyle \Omega = V \cup W$. Let $\displaystyle a \in V$ and $\displaystyle b \in W$. Clearly, we have a contradiction because there cannot exist a continuous function from $\displaystyle a$ to $\displaystyle b$ if $\displaystyle \Omega$ is disconnected. Thus $\displaystyle \Omega$ must be connected.

How would I prove the other direction? Is this correct, btw?

Re: Path connectedness and connectedness

Quote:

Originally Posted by

**My Little Pony** **Problem**

Show that an open set $\displaystyle \Omega \in \field{C}$ is pathwise connected if and only if it is connected.

**Attempt at Solution**

Suppose $\displaystyle \Omega$ is not connected and suppose $\displaystyle \Omega$ is pathwise connected. Then, for any points $\displaystyle a,b \in \Omega$ there exists a continuous function $\displaystyle f$ which connects $\displaystyle a$ and $\displaystyle b$ together. Let $\displaystyle V,W \subset \Omega$, where $\displaystyle V \cap W = \emptyset$ and $\displaystyle \Omega = V \cup W$. Let $\displaystyle a \in V$ and $\displaystyle b \in W$. Clearly, we have a contradiction because there cannot exist a continuous function from $\displaystyle a$ to $\displaystyle b$ if $\displaystyle \Omega$ is disconnected. Thus $\displaystyle \Omega$ must be connected.

How would I prove the other direction? Is this correct, btw?

More generally, if $\displaystyle V$ is a normed vector space then any connected open subset $\displaystyle U$ of $\displaystyle V$ is path connected.

This follows from the fact that ever locally path connected and connected space is path connected. But, we know that $\displaystyle U$ is connected and since every point of $\displaystyle U$ has some open ball $\displaystyle B$ containing it sitting inside $\displaystyle U$, but since $\displaystyle B$ is convex and thus path connected you have that $\displaystyle U$ is locally path connected.

If you want to learn more, or see proofs of the above you can look at my blog post here (sorry, the formatting on that one is pretty bad).