Euclidean Space is Path-Connected

Theorem
Let $\R^n$ be the $n$-dimensional Euclidean space for $n \in \N$ a natural number.

Then $\R^n$ is path-connected.

Proof
Let $\mathbf x, \mathbf y \in \R^n$ be arbitrary points of $\R^n$.

Define $l: \closedint 0 1 \to \R^n$ by:


 * $\map l t = \paren {1 - t} \mathbf x + t \mathbf y$

Then $\map l 0 = 1 \mathbf x + 0 \mathbf y = \mathbf x$, whereas $\map l 1 = 0 \mathbf x + 1 \mathbf y = \mathbf y$.

Finally, it remains to show that $l$ is continuous.

Fix $\epsilon > 0$ and suppose that $t, t' \in \closedint 0 1$ are such that $\size {t - t'} < \dfrac {\epsilon} {1 + \norm {\mathbf x} + \norm {\mathbf y} }$.

Then:

We can now estimate the norm of this last expression:

Since $\epsilon$ was arbitrary, we conclude that $l$ is continuous.

Therefore, it forms a path from $\mathbf x$ to $\mathbf y$.

Since $\mathbf x$ and $\mathbf y$ were arbitrary, it follows that $\R^n$ is path-connected.