環圈

數學中的環圈（loop）是拓扑空间X上的连续函数f，其定義域為单位区间I = [0,1]，而且f(0) = f(1)。換句話說，環圈是拓扑學中，起點和終點相同的道路（path）^[1]。

環圈也可以視為是從點標空間（英语：Pointed space）單位圓 $S 1$ 映射到 $X$ 的連續映射 $f$ ，因為 $S 1$ 可以視為是 $I$ 商空间under the identification of 0 with 1。

$X$ 所有環圈的集合可以形成一空間，稱為 $X$ 的環圈空間（英语：loop space）^[1]。

相關條目