Definition:Path (Topology)

From ProofWiki
Jump to: navigation, search

Definition

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $I \subset \R$ be the closed real interval $\left[{a \,.\,.\, b}\right]$.


A path in $T$ is a continuous mapping $\gamma: I \to S$.


The mapping $\gamma$ can be referred as:

a path (in $T$) joining $\gamma \left({a}\right)$ and $\gamma \left({b}\right)$

or:

a path (in $T$) from $\gamma \left({a}\right)$ to $\gamma \left({b}\right)$.


It is common to refer to a point $z = \gamma \left({t}\right)$ as a point on the path $\gamma$, even though $z$ is in fact on the image of $\gamma$.


Initial Point

The initial point of $\gamma$ is $\gamma \left({a}\right)$.

That is, the path starts (or begins) at $\gamma \left({a}\right)$.


Final Point

The final point of $\gamma$ is $\gamma \left({b}\right)$.

That is, the path ends (or finishes) at $\gamma \left({b}\right)$.


Endpoint

The initial point and final point of $\gamma$ can be referred to as the endpoints of $\gamma$


Also defined as

The definition as given here is usually used in this form in complex analysis, where the details of the mapping itself tend to be more important.

However, in topology it is often the case that all that is needed is merely to demonstrate the existence of such a mapping.

Thus it is usual in topology to specify $I \subset \R$ to be the closed unit interval $\left[{0 \,.\,.\, 1}\right]$, and to focus attention on the image of $I$.

From Closed Real Intervals are Homeomorphic the two definitions are seen to be equivalent.


Also see


Sources