展开 可测集上的连续函数一定可