关于Bayes公式的一些极限性质

定义1 设{M_n,n≥0}是可测空间(S,B)上的一列测度,若存在A_i∈B,i=1,2,…,使得 UA_i=S且有 M_n(A_i)【+∞ i=1,2,…,n=0,1,…,则称测度列{M_n,n≥0}是可测空间(S,B)上的关于{A_i,i≥1}的一致σ——有限测度列,简称一致σ——有限。