Closed Ball is Path-Connected

Theorem
Let $V$ be a normed vector space with norm $\norm {\,\cdot\,}$ over $\R$ or $\C$.

A closed ball in the metric induced by $\norm {\,\cdot\,}$ is path-connected.

Proof
Let $\map {B_\epsilon^-} x$ be a closed ball in the metric induced by $\norm {\,\cdot\,}$ with center $x \in V$ and radius $\epsilon \in \R_{>0}$

Let $y, z \in \map {B_\epsilon^-} x$.

Let $f: \closedint 0 1 \to \map {B_\epsilon^-} x$ be the mapping defined by:
 * $\forall t \in \closedint 0 1 : \map f t = t y + (1 - t) z$

From Closed Ball is Convex Set, it follows that $f$ is well-defined.