展开 可测集上的简单函数是可测函数