可测函数的定义及其简单性质