扫除空间

百科含义

扫除空间是调和空间的一个推广形式。在具有可数基的拓扑空间X上，一族非负下半连续函数构成的凸锥𝓦满足四条公理时，称(X,𝓦)为一个扫除空间。