ご回答大変ありがとうございます。


> μ_2 可積であることなどはどこにもありません.

すみませんでした。

> E ∈ A_σ について (μ_1×μ_2)(E) = ∞ のときにも
>  ∫_{X_2} μ_1(E^{x_2}) dμ_2 = (μ_1×μ_2)(E)
> は ∞ = ∞ として成立するというだけの話です.

了解いたしました。

> そういうことですね. そもそもその条件が必要であることを
> 意識していれば,
>> でもDominated convergence theoremを使いませんでしたが どこで使用するべきなのでしょうか?
> という発言は出て来ない筈だと思います.

了解いたしました。

吉田京子