Point is Path-Connected to Itself

Theorem
Let $T = \left({X, \vartheta}\right)$ be a topological space.

Let $a \in X$.

Then $a$ is path-connected to itself.

Proof
Consider the constant mapping on the unit interval $I = \left[{0 .. 1}\right]$:


 * $\forall x \in I: f_a \left({x}\right) = a$

Thus, in particular:


 * $f_a \left({0}\right) = a$


 * $f_a \left({1}\right) = a$

As a Constant Mapping is Continuous, it follows that $f_a$ is a path in $X$.

Thus $a$ is path-connected to itself.