风之影1987 发表于 2011-1-1 18:26
如果一个函数f是两个测度空间的可测映射,那么想问将这两个测度空间完备化以后,f还是不是可测映射?
设{A, α, m}与{B, β, n}是两个测度空间,其中设A={a,b,c},B={1,2,3},α={Φ, A},β={Φ, {1,2}, {3}, B},且有m(A)=1,n({1,2})=0。
则映射f: A→B,s.t. f(a)=f(b)=1,f(c)=2,显然是一个可测映射。
根据测度m与n将两个测度空间完备化,有α'={Φ, A},β'={Φ, {1,2}, {3}, {1}, {2}, {2,3}, {1,3}, B},则对于新的可测空间{A, α'}与{B, β'}而言,f不再是可测映射,因为可测集{1}等的原像都不是可测集。