UA MATH523A 实分析3 积分理论15 乘积测度
UA MATH523A 實分析3 積分理論15 乘積測度
從這一講開始，我們將逐步建立Lebesgue積分的重積分計算理論?？紤]兩個可測空間(X,M)(X,\mathcal{M})(X,M)與(Y,N)(Y,\mathcal{N})(Y,N)的乘積可測空間(X×Y,M?N)(X \times Y,\mathcal{M} \otimes \mathcal{N})(X×Y,M?N)，這一講的目標是在這個乘積可測空間上建立測度。假設μ\muμ與ν\nuν分別是(X,M)(X,\mathcal{M})(X,M)與(Y,N)(Y,\mathcal{N})(Y,N)上的測度，一個最直接的想法就是通過μ\muμ與ν\nuν建立乘積空間上的測度。
在測度論基礎部分我們討論過建立測度一般性路徑，首先在可測空間中找一個集系，這個集系是一個elementary family，然后用elementary family導出一個代數，并在代數上建立pre-measure，用pre-measure導出外測度，限制在代數生成的σ\sigmaσ-代數上就是一個測度了。這一講我們要建立乘積空間上的測度，也可以按照這個路徑進行。
elementary family導出代數，并用代數生成乘積Sigma代數
首先定義一個乘積空間X×YX \times YX×Y上的集系，
Σ={A×B:A∈M,B∈N}\Sigma = \{A \times B:A \in \mathcal{M},B \in \mathcal{N}\}Σ={A×B:A∈M,B∈N}
可以驗證，Σ\SigmaΣ是一個elementary family，我們來簡單論述一下。
注釋1 XXX上的集系Σ\SigmaΣ是elementary family，如果
第一條顯然成立：?=?×?∈Σ\phi = \phi \times \phi \in \Sigma?=?×?∈Σ；
考慮第二條：A×B∈ΣA \times B \in \SigmaA×B∈Σ, C×D∈ΣC \times D \in \SigmaC×D∈Σ,
(A×B)∩(C×D)=(A∩C)×(B×D)(A \times B) \cap (C \times D)=(A \cap C)\times(B \times D)(A×B)∩(C×D)=(A∩C)×(B×D)
因此第二條也成立。
考慮第三條：A×B∈ΣA \times B \in \SigmaA×B∈Σ,
(A×B)C=(X×BC)?(AC×B)(A \times B)^C = (X \times B^C) \sqcup (A^C \times B)(A×B)C=(X×BC)?(AC×B)
也就是兩個Σ\SigmaΣ中的元素的無交并，因此第三條也成立。這樣我們就說明了Σ\SigmaΣ是一個elementary family，根據Proposition 1.7(參考UA MATH523A 實分析2 測度論概念與定理整理)，Σ\SigmaΣ中元素的有限無交并構成一個代數，記為A\mathcal{A}A，則
A={?i=1nEi:Ei∈Σ,n∈N.,n<∞}\mathcal{A}=\{\sqcup_{i=1}^n E_i:E_i \in \Sigma,n \in \mathbb{N}.,n<\infty\}A={?i=1n?Ei?:Ei?∈Σ,n∈N.,n<∞}
下面我們論證一個命題：σ(A)=M?N\sigma(\mathcal{A})=\mathcal{M} \otimes \mathcal{N}σ(A)=M?N
Note that A={∪j=1nAj×Bj:Aj×Bj∈Σ,n<∞}\mathcal{A}=\{\cup_{j=1}^nA_j \times B_j:A_j \times B_j \in \Sigma, n<\infty\}A={∪j=1n?Aj?×Bj?:Aj?×Bj?∈Σ,n<∞}.
For any set in A\mathcal{A}A,
∪j=1nAj×Bj=(∪j=1nAj×Y)∩(∪j=1nX×Bj)∈M?N\cup_{j=1}^nA_j \times B_j = (\cup_{j=1}^nA_j \times Y) \cap (\cup_{j=1}^nX \times B_j) \in \mathcal{M} \otimes \mathcal{N}∪j=1n?Aj?×Bj?=(∪j=1n?Aj?×Y)∩(∪j=1n?X×Bj?)∈M?N
Thus, A?M?N\mathcal{A} \subset \mathcal{M} \otimes \mathcal{N}A?M?N, by Lemma 1.1(參考UA MATH523A 實分析2 測度論概念與定理整理), M(A)?M?N\mathcal{M}(\mathcal{A}) \subset \mathcal{M} \otimes \mathcal{N}M(A)?M?N.
For any set in M?N\mathcal{M} \otimes \mathcal{N}M?N, it could be A×YA \times YA×Y or X×BX \times BX×B where A∈MA \in \mathcal{M}A∈M and B∈NB \in \mathcal{N}B∈N. Obviously, both A×YA \times YA×Y and X×BX \times BX×B belongs to Σ\SigmaΣ. Thus M?N?M(A)\mathcal{M} \otimes \mathcal{N} \subset \mathcal{M}(\mathcal{A})M?N?M(A).
建立乘積測度的第一部分就完成了，這一部分我們完成了找到一個elementary family，根據elementary family導出代數，并論述這個代數生成的σ\sigmaσ-代數就是乘積σ\sigmaσ-代數。論述最后這個命題是為了我們最后建立的基于pre-measure導出的測度定義域是elementary family導出的代數生成的σ\sigmaσ-代數而不是乘積σ\sigmaσ-代數，所以這二者相同能夠保證我們基于pre-measure導出的測度可以直接用在乘積空間上。
另外，之所以要找Σ\SigmaΣ這個集系作為建立理論的起點，是因為它構造非常直觀。我們回顧一下從一維圖形到二維圖形的測度，比如線段和矩形，線段的測度是長度；矩形的測度是長乘寬等于面積，也就是兩個線段長度的乘積，而矩形本身也可以看成是這兩個線段的直積?；谶@個觀察，我們建立乘積測度的思路就比較清晰了，因此對于Σ\SigmaΣ集系中的元素，可以表示成兩個可測空間中的元素的直積，A×BA \times BA×B，因此它的測度或許也可以是這兩個元素的測度的乘積，即μ(A)ν(B)\mu(A)\nu(B)μ(A)ν(B)。下面我們基于這些觀察建立嚴謹地理論。
在A\mathcal{A}A上建立pre-measure，再導出乘積測度
考慮A×BA \times BA×B，它可以表示成一列rectangle的無交并，
A×B=?j=1∞(Aj×Bj)A \times B = \sqcup_{j=1}^{\infty} (A_j \times B_j)A×B=?j=1∞?(Aj?×Bj?)
用特征函數表示也就是
χA×B(x,y)=χA(x)χB(y)=χ?j=1∞(Aj×Bj)(x,y)=∑j=1∞χAj(x)χBj(y)\chi_{A \times B}(x,y) =\chi_A(x)\chi_B(y)= \chi_{\sqcup_{j=1}^{\infty} (A_j \times B_j)}(x,y) \\=\sum_{j=1}^{\infty} \chi_{A_j}(x)\chi_{B_j}(y)χA×B?(x,y)=χA?(x)χB?(y)=χ?j=1∞?(Aj?×Bj?)?(x,y)=j=1∑∞?χAj??(x)χBj??(y)
我們基于特征函數討論測度的乘積，先做一些計算
μ(A)χB(y)=χB(y)∫χA(x)dμ(x)=∫χA(x)χB(y)dμ(x)=∫∑j=1∞χAj(x)χBj(y)dμ(x)=∑j=1∞∫χAj(x)χBj(y)dμ(x)=∑j=1∞μ(Aj)χBj(y)\mu(A)\chi_B(y) = \chi_B(y) \int \chi_A(x)d\mu(x) = \int \chi_A(x)\chi_B(y)d\mu(x) \\ = \int \sum_{j=1}^{\infty} \chi_{A_j}(x)\chi_{B_j}(y)d\mu(x) =\sum_{j=1}^{\infty} \int \chi_{A_j}(x)\chi_{B_j}(y)d\mu(x) \\ =\sum_{j=1}^{\infty} \mu(A_j)\chi_{B_j}(y) μ(A)χB?(y)=χB?(y)∫χA?(x)dμ(x)=∫χA?(x)χB?(y)dμ(x)=∫j=1∑∞?χAj??(x)χBj??(y)dμ(x)=j=1∑∞?∫χAj??(x)χBj??(y)dμ(x)=j=1∑∞?μ(Aj?)χBj??(y)
倒數第二個等號用了Folland 定理2.15，當被積函數列有界時可以交換級數與積分的次序。
μ(A)ν(B)=∫μ(A)χB(y)dν(y)=∫∑j=1∞μ(Aj)χBj(y)dν(y)=∑j=1∞∫μ(Aj)χBj(y)dν(y)=∑j=1∞μ(Aj)ν(Bj)\mu(A)\nu(B) = \int \mu(A)\chi_B(y)d\nu(y)=\int\sum_{j=1}^{\infty} \mu(A_j)\chi_{B_j}(y)d\nu(y) \\ = \sum_{j=1}^{\infty} \int\mu(A_j)\chi_{B_j}(y)d\nu(y) = \sum_{j=1}^{\infty}\mu(A_j)\nu(B_j)μ(A)ν(B)=∫μ(A)χB?(y)dν(y)=∫j=1∑∞?μ(Aj?)χBj??(y)dν(y)=j=1∑∞?∫μ(Aj?)χBj??(y)dν(y)=j=1∑∞?μ(Aj?)ν(Bj?)
這個結果非常有意思，它想說明的就是我們熟悉的計算面積體積的割補法同樣適用于測度的乘積?；谶@個結果，我們可以在A\mathcal{A}A上定義pre-measure，π:A→[0,∞]\pi:\mathcal{A} \to [0,\infty]π:A→[0,∞]，
π(?j=1n(Aj×Bj))=∑j=1nμ(Aj)ν(Bj)\pi(\sqcup_{j=1}^n (A_j \times B_j))=\sum_{j=1}^n \mu(A_j)\nu(B_j)π(?j=1n?(Aj?×Bj?))=j=1∑n?μ(Aj?)ν(Bj?)
下面驗證一下這個定義確實是pre-measure（證明細節如下，分兩部分論述良定義與pre-measure，可以參考一下，但不影響理解建立乘積測度的整體思路）
First of all, check π\piπ is well-defines. For any set in A\mathcal{A}A, there’re two possible representations
∪j=1nAj×Bj=∪k=1mCk×Dk\cup_{j=1}^n A_j \times B_j=\cup_{k=1}^m C_k \times D_k∪j=1n?Aj?×Bj?=∪k=1m?Ck?×Dk?
Need to check the two representations will be mapped to the same value under π\piπ.
π(∪j=1nAj×Bj)=∑j=1nμ(Aj)ν(Bj)=μ(?j=1nAj)ν(?j=1nBj)\pi(\cup_{j=1}^n A_j \times B_j)=\sum_{j=1}^n \mu(A_j)\nu(B_j) = \mu(\sqcup_{j=1}^nA_j)\nu(\sqcup_{j=1}^n B_j)π(∪j=1n?Aj?×Bj?)=j=1∑n?μ(Aj?)ν(Bj?)=μ(?j=1n?Aj?)ν(?j=1n?Bj?)π(∪k=1mCk×Dk)=∑k=1mμ(Ck)ν(Dk)=μ(?k=1mCk)ν(?k=1mDk)\pi(\cup_{k=1}^m C_k \times D_k)=\sum_{k=1}^m \mu(C_k)\nu(D_k) = \mu(\sqcup_{k=1}^mC_k)\nu(\sqcup_{k=1}^m D_k)π(∪k=1m?Ck?×Dk?)=k=1∑m?μ(Ck?)ν(Dk?)=μ(?k=1m?Ck?)ν(?k=1m?Dk?)
Note that ?k=1mCk=?j=1nAj\sqcup_{k=1}^mC_k=\sqcup_{j=1}^nA_j?k=1m?Ck?=?j=1n?Aj?, ?k=1mDk=?j=1nBj\sqcup_{k=1}^m D_k=\sqcup_{j=1}^n B_j?k=1m?Dk?=?j=1n?Bj?, so
π(∪j=1nAj×Bj)=π(∪k=1mCk×Dk)\pi(\cup_{j=1}^n A_j \times B_j)=\pi(\cup_{k=1}^m C_k \times D_k)π(∪j=1n?Aj?×Bj?)=π(∪k=1m?Ck?×Dk?)
Next, let’s show π\piπ is pre-measure.
Note that
π(?)=π(?×?)=μ(?)ν(?)=0\pi(\phi) = \pi(\phi \times \phi) = \mu(\phi) \nu(\phi)=0π(?)=π(?×?)=μ(?)ν(?)=0
So we need to check additivity. For a disjoint sequence of set {∪j=1niAji×Bji}i=1∞\{\cup_{j=1}^{n_i}A_j^{i} \times B_j^i\}_{i=1}^{\infty}{∪j=1ni??Aji?×Bji?}i=1∞?, we want to show
π(?i=1∞(∪j=1niAji×Bji))=∑i=1∞π(∪j=1niAji×Bji)\pi(\sqcup_{i=1}^{\infty}(\cup_{j=1}^{n_i}A_j^{i} \times B_j^i))=\sum_{i=1}^{\infty}\pi(\cup_{j=1}^{n_i}A_j^{i} \times B_j^i)π(?i=1∞?(∪j=1ni??Aji?×Bji?))=i=1∑∞?π(∪j=1ni??Aji?×Bji?)
Given iii, we can find a disjoint sequence of rectangles {Cki}k=1mi\{C_k^i\}_{k=1}^{m_i}{Cki?}k=1mi?? such that ∪j=1niAji=?k=1miCki\cup_{j=1}^{n_i}A_j^{i}=\sqcup_{k=1}^{m_i}C_k^{i}∪j=1ni??Aji?=?k=1mi??Cki? and a disjoint sequence of rectangles {Dli}l=1ri\{D_l^i\}_{l=1}^{r_i}{Dli?}l=1ri?? such that ∪j=1niBji=?l=1riDli\cup_{j=1}^{n_i}B_j^{i}=\sqcup_{l=1}^{r_i}D_l^{i}∪j=1ni??Bji?=?l=1ri??Dli? and also
∪j=1niAji×Bji=?k=1mi?l=1riCki×Dli\cup_{j=1}^{n_i}A_j^{i} \times B_j^i = \sqcup_{k=1}^{m_i}\sqcup_{l=1}^{r_i}C_k^i \times D_l^i∪j=1ni??Aji?×Bji?=?k=1mi???l=1ri??Cki?×Dli?
Thus,
π(?i=1∞(∪j=1niAji×Bji))=π(?i=1∞(?k=1mi?l=1riCki×Dli))=π(?i=1∞(?k=1miCki)×(?l=1riDli))=∑i=1∞μ(?k=1miCki)ν(?l=1riDli)=∑i=1∞μ(∪j=1niAji)ν(∪j=1niBji)=∑i=1∞π(∪j=1niAji×Bji)\pi(\sqcup_{i=1}^{\infty}(\cup_{j=1}^{n_i}A_j^{i} \times B_j^i)) = \pi(\sqcup_{i=1}^{\infty}(\sqcup_{k=1}^{m_i}\sqcup_{l=1}^{r_i}C_k^i \times D_l^i)) \\ = \pi(\sqcup_{i=1}^{\infty}(\sqcup_{k=1}^{m_i}C_k^i) \times (\sqcup_{l=1}^{r_i}D_l^i)) = \sum_{i=1}^{\infty}\mu(\sqcup_{k=1}^{m_i}C_k^i)\nu(\sqcup_{l=1}^{r_i}D_l^i) \\ = \sum_{i=1}^{\infty}\mu(\cup_{j=1}^{n_i}A_j^{i})\nu(\cup_{j=1}^{n_i}B_j^{i}) =\sum_{i=1}^{\infty}\pi(\cup_{j=1}^{n_i}A_j^{i} \times B_j^i)π(?i=1∞?(∪j=1ni??Aji?×Bji?))=π(?i=1∞?(?k=1mi???l=1ri??Cki?×Dli?))=π(?i=1∞?(?k=1mi??Cki?)×(?l=1ri??Dli?))=i=1∑∞?μ(?k=1mi??Cki?)ν(?l=1ri??Dli?)=i=1∑∞?μ(∪j=1ni??Aji?)ν(∪j=1ni??Bji?)=i=1∑∞?π(∪j=1ni??Aji?×Bji?)
寫出pre-measure導出的外測度，
μ?(A)=inf?{∑j=1∞π(Ej):Ej∈A,A?∪j=1∞Ej}\mu^*(A)=\inf\{\sum_{j=1}^{\infty}\pi(E_j):E_j \in \mathcal{A},A \subset \cup_{j=1}^{\infty}E_j\}μ?(A)=inf{j=1∑∞?π(Ej?):Ej?∈A,A?∪j=1∞?Ej?}
根據Proposition 1.14 (參考UA MATH523A 實分析2 測度論概念與定理整理)，μ?∣σ(A)\mu^*|\sigma(\mathcal{A})μ?∣σ(A)是一個測度，我們記這個測度為μ×ν\mu \times \nuμ×ν，稱其為乘積測度，這個測度滿足
(μ×ν)(A×B)=μ(A)ν(B)(\mu \times \nu)(A \times B) = \mu(A)\nu(B)(μ×ν)(A×B)=μ(A)ν(B)
值得引起注意的是這個建立乘積測度的路徑可以推廣到多個可測空間的乘積。
最后我們再說明一個簡單性質：如果μ,ν\mu,\nuμ,ν是σ\sigmaσ-有限測度，則μ×ν\mu \times \nuμ×ν是σ\sigmaσ-有限測度。
如果μ,ν\mu,\nuμ,ν是σ\sigmaσ-有限測度，X=∪j=1∞Aj,Y=∪k=1∞BkX=\cup_{j=1}^{\infty} A_j,Y=\cup_{k=1}^{\infty}B_kX=∪j=1∞?Aj?,Y=∪k=1∞?Bk?, μ(Aj)<∞,?j\mu(A_j)<\infty,\forall jμ(Aj?)<∞,?j, ν(Bk),?k\nu(B_k),\forall kν(Bk?),?k，則
X×Y=∪j,k(Aj×Bk)X\times Y = \cup_{j,k}(A_j \times B_k)X×Y=∪j,k?(Aj?×Bk?)
并且(μ×ν)(Aj×Bk)=μ(Aj)ν(Bk)<∞(\mu \times \nu)(A_j \times B_k)=\mu(A_j)\nu(B_k)<\infty(μ×ν)(Aj?×Bk?)=μ(Aj?)ν(Bk?)<∞，所以μ×ν\mu \times \nuμ×ν是σ\sigmaσ-有限測度。
總結
以上是生活随笔為你收集整理的UA MATH523A 实分析3 积分理论15 乘积测度的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： UA MATH523A 实分析3 积分理
- 下一篇： UA SIE545 优化理论基础4 对偶