21/08/13 12:38:56.46 nCXCDdpU.net
>>652
>６：･･･(R、Σ_0(R)、μ_0) は完備測度空間であるから、
>マハラムの定理より(R、Σ_0(R)、μ_0) は
>実数直線R上の測度と、
>有限可測空間上の数え上げ測度または可算無限可測空間上の数え上げ測度に
>分解可能である。
>故に、３の議論から、任意の2以上の整数nを任意に対して
>p_n は有限可測空間 (Ω_n、Σ_n) の数え上げ測度である。
これ必要？
21/08/13 12:38:56.46 nCXCDdpU.net
>>652
>６：･･･(R、Σ_0(R)、μ_0) は完備測度空間であるから、
>マハラムの定理より(R、Σ_0(R)、μ_0) は
>実数直線R上の測度と、
>有限可測空間上の数え上げ測度または可算無限可測空間上の数え上げ測度に
>分解可能である。
>故に、３の議論から、任意の2以上の整数nを任意に対して
>p_n は有限可測空間 (Ω_n、Σ_n) の数え上げ測度である。
これ必要？