数学中的环圈(loop)是拓扑空间X上的连续函数f,其定义域为单位区间I = [0,1],而且f(0) = f(1)。换句话说,环圈是拓扑学中,起点和终点相同的道路(path)[1]

环面上的二个环圈ab

环圈也可以视为是从点标空间英语Pointed space单位圆S1映射到X的连续映射f,因为S1可以视为是I商空间under the identification of 0 with 1。

X所有环圈的集合可以形成一空间,称为X环圈空间英语loop space[1]

相关条目

参考资料

  1. ^ 1.0 1.1 Adams, John Frank, Infinite Loop Spaces, Annals of mathematics studies 90, Princeton University Press: 3, 1978, ISBN 9780691082066 .