積分と二重級数
積分に関する定理から、下の二重級数に関する定理が得られるようですが、どこをどうすれば二重級数の定理が導けるのか全くわからないので教えてください。
1.27 Theorem
If Fn:X→[0, ∞] is measurable, for n=1, 2, 3,..., and
F(x)=Σ∫Fn dμ (x∈X)(Σはn=1~∞, 積分範囲は集合X)
then
∫F dμ=Σ∫Fn dμ (Σはn=1~∞, 積分範囲は集合X)
(問題の部分)
If we let μ to be the counting measure on a countable set, Theorem 1.27 is a statement about double series of nonnegative real numbers (which can of course be proved by more elementary means):
Corollary
If Aij>0 for i and j =1, 2, 3,..., then
Σ(i=1-∞)Σ(j=1-∞)Aij=Σ(j=1-∞)Σ(i=1-∞)Aij
よろしくお願いします。
お礼
とてもわかりやすかったです。 ありがとうございます。