测度和测度空间
设Χ是非空集,E是Χ上的集类,定义在E上的函数称为集函数(因为自变元是属于E,它是Χ的子集 。设R是Χ上的环,μ是定义在R上的取非负的广义实值(可以取值+∞)的集函数,如果满足:①μ(═)=0(═是空集);②(可列可加性)对任何一列互不相交的An∈R(n=1,2…,)设(Χ,φ)是一个可测空间,μ是定义在φ上的测度,则称(Χ,φ),μ)是测度空间。特别,(R1,L,m)及(R1,Lg,mg)分别称为(直线上的)L测度空间和L-S 测度空间。测度空间(Χ,φ,μ)中的测度μ 除了平移、反射不变性以及余集(因为X可能不在S中)的性质外,具有勒贝格测度m的其他性质。由于φ是σ环,对集的极限运算封闭,所以测度空间是建立具有良好的极限性质的积分的基础。
设A是测度空间(Χ,φ),μ)上的可测集。如果μ(A)=0,则称A为μ零集。如果(Χ,φ),μ)中任何一个μ零集的任何子集都是可测集,则称(Χ,φ), μ)为完全测度空间。例如(R1,L,m),(R1,Lg,mg)都是完全的、全σ有限的测度空间。