展开 可测函数的定义与性质