紧致开拓扑 在数学中紧致开拓扑是定义在两个拓扑空间之间的所有连续映射的集合上的一种拓扑紧致开拓扑是函数空间上的常用拓扑之一在同伦理论和泛函分析中有应用