展开 lebesgue可测函数定义