环圈
维基百科,自由的 encyclopedia
数学中的环圈(loop)是拓扑空间X上的连续函数f,其定义域为单位区间I = [0,1],而且f(0) = f(1)。换句话说,环圈是拓扑学中,起点和终点相同的道路(path)[1]。
环圈也可以视为是从点标空间(英语:Pointed space)单位圆S1映射到X的连续映射f,因为S1可以视为是I商空间under the identification of 0 with 1。
X所有环圈的集合可以形成一空间,称为X的环圈空间(英语:loop space)[1]。