设 为连续映射
的集合。那么,配备了 紧开拓扑 的 拓扑空间
被称为映射空间,并且如果
被取为圆
,那么
被称为 “
的自由圈空间”(或闭合路径空间)。
如果 是一个 带基点的空间,那么可以在圆上选取一个 基点,并且可以形成 带基点映射 的映射空间
。这个空间被记为
,并被称为 “
的圈空间”。
设 为连续映射
的集合。那么,配备了 紧开拓扑 的 拓扑空间
被称为映射空间,并且如果
被取为圆
,那么
被称为 “
的自由圈空间”(或闭合路径空间)。
如果 是一个 带基点的空间,那么可以在圆上选取一个 基点,并且可以形成 带基点映射 的映射空间
。这个空间被记为
,并被称为 “
的圈空间”。
此条目由 John Renze 贡献
Renze, John. “圈空间。” 来自 —— 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/LoopSpace.html