Definition:Loop (Topology)

From ProofWiki
Jump to navigation Jump to search


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

Let $\gamma: \left[{0 \,.\,.\, 1}\right] \to S$ be a path in $T$.

$\gamma$ is a loop (in $T$) if and only if:

$\gamma \left({0}\right) = \gamma \left({1}\right)$

Base Point

The base point of $\gamma$ is $\gamma \left ({0}\right)$.

Also known as

A loop is also referred to as a closed path.


Loop is translated:

In French: lacet
In Dutch: lus  (literally: loop)

Also see