A(E)=v(E)d,E∈x罗 则λ是非负值集函数并且m()=0.设{En}是Ax中的一列互不相交的集.则由单 调收敛定理得到 a UEn)=v(UEn))du=VU(E,),)du ∫Σ"(En)M=∑4(E,) 即λ是可数可加的故A是4×罗上的测度.若E=A×B是一个可测矩形,则 a(E)=vE, du=MB)L(x)du=u(A)v(B)=(uxv)E) 故在C上λ=xV.测度的有限可加性蕴涵在由C生成的环上A=xV.由于和 v都是σ-有限的,容易知道λ和×v也是σ一有限的(参见习题)由§22定理6知道 在xB上A=xV.这表明对任意E∈x,(3)式成立■ 注1由定理3,我们也可以用(3)式来定义A×上的乘积测度XV,这样定义的 v与我们前面定义的上的乘积测度xV在×上是一致的.但是这样得到 的乘积测度空间(X×Y,4x,×v)一般说来不是完备的本节所用的定义乘积测度 的方式的优点是直接得到了完备的乘积测度空间(X×Y,m,xV),这样就避免了对 (X×yY,A×,Xv)再进行完备化的讨论 引理4设(X,A,p)和(Y,B,V)是两个完备的测度空间,若E∈并且 (×v)(E)=0.则对几乎所有x∈X,E∈B并且v(E2)=0ae 证明由§22定理11,存在F∈()=A×B,使得F=E并且 (4×v)(F)=(4×v)E)=0 定理3(i)蕴涵以(F2)=0ae.由于关于W是完备的,因此由E2cF得到 Ex∈B,ae.并且v(E1)=0ae 定理5设(X,,)和(Y,,v)是两个完备的-有限的测度空间,E∈.m 则 ()则对几乎所有x∈X,必有E2∈ (i).v(E2)是(X,,p)上的可测函数并且成立等式 (uXVE)=ME,)du (in)若f(x,y)是(X×Y,Mmx,xv)上的可测函数,则对几乎所有x∈X,函数 f2(y)=f(x,y)是(Y,,v)上的可测函数 证明设E∈.w由§22定理13,存在F∈x和N∈.m (×v(N)=0,使得E=F-N.由引理4,Nx∈,ae.并且v(Nx)=0ae.再利用 定理3,我们有128 = ∈ ∫ λ(E) ν (Ex )dµ, E A ×B . 则 λ 是非负值集函数并且 m(∅) = 0. 设{ } En 是 A ×B 中的一列互不相交的集. 则由单 调收敛定理得到 (( ) ) ( ). ( ) (( ) ) ( ( ) ) 1 1 1 1 1 ∫∑ ∑ ∫ ∫ ∞ = ∞ = ∞ = ∞ = ∞ = = = = = n n n n x n x n x n n n n E d E E E d E d ν µ λ λ U ν U µ ν U µ 即λ 是可数可加的. 故λ 是A ×B 上的测度. 若 E = A× B 是一个可测矩形, 则 (E) (E )d (B)I (x)d . (A) (B) ( )(E). λ = ν x µ = ν A µ = µ ⋅ν = µ ×ν ∫ ∫ 故在C 上λ = µ ×ν. 测度的有限可加性蕴涵在由C 生成的环R 上λ = µ ×ν. 由于 µ 和 ν 都是σ − 有限的, 容易知道λ 和 µ ×ν 也是σ − 有限的(参见习题). 由 2.2 定理 6 知道 在 A ×B 上λ = µ ×ν. 这表明对任意 E ∈ A ×B, (3)式成立. 注 1 由定理 3, 我们也可以用(3)式来定义 A ×B 上的乘积测度 µ ×ν , 这样定义的 µ ×ν 与我们前面定义的Mµ×ν 上的乘积测度 µ ×ν 在 A ×B 上是一致的. 但是这样得到 的乘积测度空间 (X ×Y,A ×B,µ ×ν ) 一般说来不是完备的. 本节所用的定义乘积测度 的方式的优点是直接得到了完备的乘积测度空间( , ,µ ν ) X ×Y Mµ×ν × , 这样就避免了对 (X ×Y,A ×B,µ ×ν )再进行完备化的讨论. 引理 4 设 (X , A,µ) 和 (Y, B,ν ) 是两个完备的测度空间, 若 E ∈Mµ×ν 并且 (µ ×ν )(E) = 0. 则对几乎所有 x ∈ X , Ex ∈B 并且 ( ) = 0 a.e., ν Ex 证明 由 2.2 定理 11, 存在 F ∈ σ (R ) = A ×B, 使得 F ⊃ E 并且 (µ ×ν )(F) = (µ ×ν )(E) = 0. 定 理 3 (ii) 蕴 涵 ( ) = 0 a.e. ν Fx 由 于 B 关 于 ν 是完备的 , 因此由 Ex ⊂ Fx 得 到 Ex ∈B, a.e.并且 ( ) = 0 a.e. ν Ex . 定理 5 设 (X , A,µ) 和 (Y, B,ν ) 是两个完备的σ − 有限的测度空间, E ∈Mµ×ν . 则 (i).则对几乎所有 x ∈ X , 必有 ∈B. Ex ( ) ii). ( ν Ex 是(X , A,µ) 上的可测函数. 并且成立等式 ∫ (µ ×ν )(E) = ν (E )dµ. x (4) (iii).若 f (x, y) 是( , ,µ ν ) X ×Y Mµ×ν × 上的可测函数, 则对几乎所有 x ∈ X , 函数 f ( y) f (x, y) x = 是(Y, B,ν ) 上的可测函数. 证 明 设 E ∈Mµ×ν . 由 2.2 定 理 13, 存 在 F ∈ A ×B 和 N ∈ Mµ×ν , (µ ×ν )(N) = 0,使得 E = F − N. 由引理 4, Nx ∈ B, a.e.并且 ( ) = 0 a.e. ν Nx 再利用 定理 3, 我们有