流形的度量化定理

本文证明：局部可分、具性质（Ｔ）的空间是仿紧的。作为推论,得到以下定理：具性质（Ｔ）的流形是可度量化的。此外,我们还引入界於次亚林得列夫和〔ｗ,∞）＾ｒ－加细之间的一个性质（ｗ）,证明：（２＾ｗ〈２＾ｗ１）具性质（Ｗ）的正规流形是可度量化的。     

关于下半连续函数的性质

证明了局部紧且具有可数基的度量空间上的弱下半连续函数和自反的巴拿赫空间上的弱下半连续函数的间断点集合都是第一纲集。