紧空间上的非负上半连续函数空间,吴拿达,,对一个无限紧空间X和实直线R的一个子空间 L,设↓USC(X, L)是所有从X 到 L 的上半连续下方图形所成之集赋予 Vietoris 拓扑. 本文将证明↓USC