为了对点集的度量，我们引入了外测度，lebesgue外测度
任何不规则的图形都具有外测度的定义
外测度具有次可列可加性
为了使外测度具有和度量性质一样的可列可加性
我们引入可测函数
可测函数是使其外测度具有可列可加性的函数
可测函数才是实变函数的重点
