可测空间
测度的定义域
可测空间(measurable space)是测度论中的基本概念,可测空间和定义在可测空间上的测度构成测度空间。可测空间是测度的定义域,在一个可测空间上可以定义不止一种测度。
定义
设X是一个非空集, 是X的一个σ代数,称(X,)为一个可测空间。每个集合A∈是(X,)中的可测集,也称为X中的可测集。
例子
例如,当是Rn中的博雷尔集类B 时,(Rn,B)称为博雷尔可测空间;当是Rn中的勒贝格可测集类L时,(Rn,L)称为勒贝格可测空间
测度
若可数加性集函数 具有以下性质:
(1)
(2)若 互不相交,有
则称 为(X,)上的一个测度,称三元组为测度空间
可测空间是测度的定义域,在一个可测空间上可以定义不止一种测度。
性质
设 (E,) 与 (E′,′) 为两个可测空间,称从E到E′中的映射f 是 (,′) 可测映射,或更简单地说,f 是可测映射,如果E′ 的任一可测子集经f的逆象是E的可测子集。两个可测映射的合成仍是可测映射。为使映射f可测,只须对生成σ代数′ 的′之子集的任一元素A′,其经由f的逆象可测。
如果E′是拓扑空间,且 ′是E′的博雷尔σ代数,为使从E到E′中的映射f可测,只须E′的任一开集经由f的逆象可测。当E′为可分度量空间时,为使f可测,只须E′的任一开球经由f的逆象可测。
当E与E′为赋以它们的博雷尔σ代数的拓扑空间时,从E到E′中的任一连续映射都是可测的。
参考资料
最新修订时间:2022-09-21 23:10
目录
概述
定义
例子
测度
性质
参考资料