测度,数学术语。
数学上,测度(Measure)是一个
函数,它对一个给定
集合的某些
子集指定一个数,这个数可以比作大小、
体积、
概率等等。传统的
积分是在
区间上进行的,后来人们希望把积分推广到任意的集合上,就发展出测度的概念,它在
数学分析和
概率论有重要的地位。
设R是集X的
环,ρ是R上非负
可数加性集函数,且满足ρ(∅)=0,则称ρ是定义在(X,R)上的一个(正)测度。
一个可测集称为零测集,如果。零测集的子集称为
可去集,它未必是可测的,但零测集自然是可去集。如果所有的可去集都可测,则称该测度为
完备测度。
一个测度可以按如下的方式
延拓为完备测度:考虑的所有这样的子集 F,它与某个可测集 E仅差一个可去集,也就是说 E与 F的
对称差包含于一个零测集中。由这些子集 F生成的σ代数,并定义的值就等于。
每一个
概率空间都有一个测度,它对全空间取值为1(于是其值全部落到单位区间[0,1]中)。这就是所谓
概率测度。见概率论公理。