展开 可测空间的定义