展开 可测函数的性质定义