環圈 數學中的環圈loop是拓扑空间X上的连续函数f其定義域為单位区间I  而且f  f換句話說環圈是拓扑學中起點和終點相同的道路path 環圈也可以視為是從點標空間英语Pointed space單位圓S映射到X的連續映射f因為S可以視為是I商空间under the identification of  with  X所有環圈的集合可以形成一空間稱為X的環圈空間英语loop space