测度论笔记（一）

课程视频：B站地址

緒論

在R上，由长度我们自然想到将其扩展到全部$\mathbb{R}$的子集，所以我们找一个满足以下四个准则的函数
1 )和原长度相容
2 )定义在所有子集上
3 )平移不变性
4 )可数可加性
下面证明，由选择公理得到这样的函数是不存在的，也就是我们不能对$\mathbb{R}$的所有子集都定义类似长度的东西。所以才引入可測的概念，以及測度。
證明：
定義$\mathbb{R}$上的一個等價關係$x\sim y$如果$y-x\in \mathbb{Q}$，用[x]表示x所在等價類。
定義商集$\Lambda =\mathbb{R}/\sim$，則$\Lambda$顯然是不可數集（因爲如果是可數的，則$\mathbb{R}$就變成可數個可數集的并集，矛盾）
根據選擇公理，可以選擇每個等價類的一個元素構成一個新的集合，我們可以選取$\Omega \subseteq (0,1)$。

這時，有$$\{\begin{array}{r}\Omega +q=\Omega +p\\ (\Omega +q)\cap (\Omega +p)=\varnothing \end{array}p,q\in \mathbb{Q}$$

因爲如果$(\Omega +q)\cap (\Omega +p)\ne \varnothing$，取$x\in (\Omega +q)\cap (\Omega +p)$。則
$$x=\alpha +p=\beta +q,\alpha ,\beta \in \Omega \Rightarrow \alpha -\beta =q-p\in \mathbb{Q}$$
這和$\alpha ,\beta$為代表元矛盾

因爲${\sum }_{q\in \mathbb{Q},-1<q<1}(\Omega +q)\subseteq (-1,2)$
所以$$\lambda (\sum _{q\in \mathbb{Q},-1<q<1}(\Omega +q))\le \lambda ((-1,2))=3$$
再由可數可加性和平移不變性得
$$\lambda (\sum _{q\in \mathbb{Q},-1<q<1}(\Omega +q))=\sum _{q\in \mathbb{Q},-1<q<1}\lambda (\Omega +q)=\sum _{q\in \mathbb{Q},-1<q<1}\lambda (\Omega )$$
知
$\lambda (\Omega )=0$

但是這和$(0,1)\subseteq {\sum }_{q\in \mathbb{Q},-1<q<1}(\Omega +q)$，$\lambda ((0,1))=1$產生矛盾，所以不存在這樣的測度。

下面證明$(0,1)\subseteq {\sum }_{q\in \mathbb{Q},-1<q<1}(\Omega +q)$
任取$x\in (0,1)$則$x=[x]+q,[x]\in \Omega \subseteq (0,1),q\in \mathbb{Q}$
故$q=x-[x]\in (-1,1)$得證。

一些基本概念

半代数 semi-algebra

定义:$\mathcal{S}\subset S(\Omega )$（幂集的子集） 是半代数，如果
  (1) $\Omega \in \mathcal{S}$ (包含全集)
  (2)$A,B\in \mathcal{S}\Rightarrow A\cap B\in \mathcal{S}$ （有限交闭合）
  (3)$\forall A\in \mathcal{S}\Rightarrow \exists E_1,...,E_n,A^C={\sum }_{i=1}^n{E}_j$ （补集可以有限分解）

这里使用求和符号，表示的是$E_j$之间是互不相交的，实际上由于(2)的存在，替换成并也是一样的。只不过在某些证明中，直接利用这个互不相交性质能够更容易证明

例子： $\Omega =\mathbb{R}$ ,取:$\mathcal{S}$为以下集合元素的有限并(容易验证)
   R ,    { ( a , b ] , a < b , a , b ∈ R } ,    { ( − ∞ , b ] , b ∈ R } , { ( a , ∞ ) ,    a ∈ R } ,    ∅ \mathbb{R},\,\,\{(a,b] ,a<b, a,b \in \mathbb{R}\},\,\,\{(-\infty,b], b\in \mathbb{R}\},\{(a,\infty), \,\,a\in \mathbb{R}\},\,\,\varnothing R,{ (a,b],a<b,a,b∈R},{ (−∞,b],b∈R},{ (a,∞),a∈R},∅

例子2：取 $\Omega ={\mathbb{R}}^2$，用上面例子中$\mathcal{S}$的直积定义为$\mathcal{S}$即可

代数 algebra

定义:$\mathcal{A}\subset S(\Omega )$（幂集的子集） 是代数，如果
  (1) $\Omega \in \mathcal{A}$ (包含全集)
  (2)$A,B\in \mathcal{A}\Rightarrow A\cap B\in \mathcal{A}$ （有限交闭合）
  (3)$A\in \mathcal{A}\Rightarrow A^C\in \mathcal{A}$（这一条不同于半代数，更加严格，补运算闭合）

第二条等价于有限并运算闭合

$\sigma$-algebra

定义:$\mathcal{F}\subset S(\Omega )$（幂集的子集） 是$\sigma$-代数，如果
  (1) $\Omega \in \mathcal{F}$ (包含全集)
  (2)$A_j\in \mathcal{F}\Rightarrow \cap A_j\in \mathcal{F}$ （可数交闭合，比代数更严格）
  (3)$A\in \mathcal{F}\Rightarrow A^C\in \mathcal{F}$（补运算闭合）

第二条可改为可数并闭合

注：任意代数的并是代数，任意$\sigma$-代数的并是$\sigma$-代数（任意可以是不可数个，由定义易得）

生成代数

定义：子集族$\mathcal{C}$生成的($\sigma -$)代数，是包含$\mathcal{C}$的最小($\sigma -$)代数，即所有包含它的($\sigma -$)代数的交

半代数生成代数

引理：$\mathcal{S}\subseteq S(\Omega )$是半代数，$\mathcal{A}(\mathcal{S})$为$\mathcal{S}$的生成代数，如果任意$\mathcal{A}(\mathcal{S}$中的元素
$$A\in \mathcal{A}(\mathcal{S})\iff \exists E_j\in \mathcal{S},1\le j\le n,A=\sum _{j=1}^n{E}_j$$
（即让有限并闭合）

注：同样这里求和符号也是表示E之间不相交，等价于并。但是用不相交使得依赖于生成代数性质的命题更容易证明

证明：$\Leftarrow$
  令$A={\sum }_{j=1}^n{E}_j,E_j\in \mathcal{S}\subseteq \mathcal{A}(\mathcal{S})$, 由于代数关于有限并闭合，故$A\in \mathcal{A}(\mathcal{S})$
$\Rightarrow$
  定义 B = { ∑ j = 1 n F j , F j ∈ S } \mathcal{B}=\{\sum_{j=1}^n F_j , F_j\in \mathcal{S}\} B={ ∑j=1n​Fj​,Fj​∈S},容易证明$\mathcal{B}$是包含$S$的代数(验证它符合代数的三个条件即可)，所以有$\mathcal{A}(\mathcal{S}).\subseteq \mathcal{B}$。另外，由于代数必须对有限并闭合，所以$\mathcal{B}\subseteq \mathcal{A}(S)$。故 A ( s ) = B = { ∑ j = 1 n F j , F j ∈ S } \mathcal{A}(s) = \mathcal{B}=\{\sum_{j=1}^n F_j , F_j\in \mathcal{S}\} A(s)=B={ ∑j=1n​Fj​,Fj​∈S}

可加性

定义：定义在集族$\mathcal{C}\subseteq S(\Omega ),\varnothing \in \mathcal{C}$上的函数 μ : C → R + ∪ { + ∞ } \mu :\mathcal{C} \rightarrow \mathbb{R}_+ \cup \{+\infty \} μ:C→R+​∪{ +∞}称为可加的，如果
  (1) $\mu (\varnothing )=0$
  (2）$E_1,E_2,...,E_n\in \mathcal{C}$,且$E={\sum }_{j=1}^n{E}_j\in \mathcal{C}\Rightarrow \mu (E)={\sum }_{j=1}^n\mu (E_j)$

注：由(2)可知如果存在$A,\mu (A)<\infty$，那么它蕴含了$\mu (\varnothing )=0$,所以(1)也可改成存在$A,\mu (A)<\infty$

可加性蕴含包含关系的大小

命题：$E\subseteq F,E,F\in \mathcal{C},F\backslash E\in \mathcal{C},则\mu$满足可加性，则:
$$\mu (E)\le \mu (F)$$

可加性的例子

1.离散测度
对于任意一个可数集$\Omega$，集族$\mathcal{C}\subseteq S(\Omega )$，任取一组可数点 { x j ∈ Ω , j ≥ 1 } \{x_j \in \Omega, j \ge 1 \} { xj​∈Ω,j≥1}，另外取任意一组可数非负数 { P j , k ≥ 1 } \{P_j, k\ge 1\} { Pj​,k≥1}和$x_j$形成配对。对于任意$A\in \mathcal{C}$定义 μ ( A ) = ∑ j ≥ 1 P j 1 { x j ∈ A } \mu(A) = \sum_{j\ge 1} P_j \mathbb{1} \{x_j \in A\} μ(A)=∑j≥1​Pj​1{ xj​∈A} (markdown中不知道怎样打出指示函数1)

可数可加性$\sigma -$additive

定义：定义在集族$\mathcal{C}\subseteq S(\Omega ),\varnothing \in \mathcal{C}$上的函数 μ : C → R + ∪ { + ∞ } \mu :\mathcal{C} \rightarrow \mathbb{R}_+ \cup \{+\infty \} μ:C→R+​∪{ +∞}称为可数可加的，如果
  (1) $\mu (\varnothing )=0$
  (2）$E_j\in \mathcal{C},j\ne k,E_j\cap E_k=\varnothing$,且$E={\sum }_{j=1}{E}_j\in \mathcal{C}\Rightarrow \mu (E)={\sum }_{j=1}\mu (E_j)$
(把第二条扩展到可数并)

不满足可数可加性的例子

令 Ω = ( 0 , 1 ) , C = { ( a , b ] , 0 ≤ a < b < 1 } ， μ : C → R + ∪ { + ∞ } \Omega = (0,1), \mathcal{C} = \{(a,b], 0 \le a < b < 1\} ，\mu:\mathcal{C} \rightarrow R_+ \cup \{+\infty \} Ω=(0,1),C={ (a,b],0≤a<b<1}，μ:C→R+​∪{ +∞}
$$\mu ((a,b])=\{\begin{array}{r}+\infty ,a=0\\ b-a,a=0\end{array}$$

因为$(0,1]={\sum }_{k\ge 1}(\frac{1}{k+1},\frac{1}{k}]$
但是$\mu ((0,1])=\infty$ ,$\mu (\sum (\frac{1}{k+1},\frac{1}{k}])=0$，两边不相等

（sigma/半）代數上，滿足（sigma) 可加性的如上的集函數，稱爲(sigma) （sigma/半）代數上的測度。數學分析，汎函分析之類的書，測度都是定義為在sigma代數上的，sigma可加性函數。半代數上可定義測度，然後推廣到代數/sigma代數上，但是由於分析學主要考慮的都是sigma代數上的問題，所以直接定義在sigma代數上是爲了方便考慮。

集函数

上下连续

定义：$\mathcal{C}\subseteq S(\Omega )$, μ : C → R + ∪ { + ∞ } \mu :\mathcal{C} \rightarrow \mathbb{R}_+ \cup \{+\infty \} μ:C→R+​∪{ +∞}
(1) $E\in \mathcal{C},\mu$是下连续的，如果
$$\forall (E_n{)}_{n\ge 1},E_n\in \mathcal{C},E_n\uparrow E\Rightarrow \mu (E_n)\uparrow \mu (E)$$
(2）$E\in \mathcal{C},\mu$是上连续的，如果
$$\forall (E_n{)}_{n\ge 1},E_n\in \mathcal{C},\exists {\eta }_0,\mu (E_{{\eta }_0})<\infty ,E_n\downarrow E\Rightarrow \mu (E_n)\downarrow \mu (E)$$

其中$E_n\uparrow E$含義是$E_n\subseteq E_{n+1},{\cup }_{n\ge 1}{E}_n=E$
$E_n\downarrow E$含義是$E_n\supseteq E_{n+1},{\cap }_{n\ge 1}{E}_n=E$

如果$\mu$上連續且下連續，則稱$\mu$連續

引理

定義在代數$\mathcal{A}\subseteq S(\Omega )$上的可加性函數 μ : A → R + ∪ { + ∞ } \mu: \mathcal{A} \rightarrow R_+ \cup \{+\infty\} μ:A→R+​∪{ +∞}
(1) 如果$\mu$是可數可加的，則$\mu$在E上連續$\forall E\in \mathcal{A}$
(2) 如果$\mu$是下連續的，則$\mu$可數可加
(3)如果$\mu$關於$\varnothing$上連續，且$\mu$有限，則$\mu$可數可加
证明也比较简单，就是繁琐些

证明：
（1）设$\mu$是可数可加的，任取$E_n\in \mathcal{A},E_n\uparrow E\in \mathcal{A}$，令$E_0=\varnothing ,F_i=E_i\backslash E_{i-1},i=1,2,3...$
则
$$E_n=\sum _{k\ge 1}^n{F}_k$$
$$E=\sum _{k\ge 1}{F}_k$$
所以
$$\mu (E)=\sum _{k\ge 1}\mu (F_k)=\underset{n\to \infty }{\lim }\sum _{k\ge 1}\mu (F_k)=\underset{n\to \infty }{\lim }\mu (\sum _{k=1}^n{F}_k)=\underset{n\to \infty }{\lim }\mu (E_n)$$
即说明$\mu$是下连续的。

任取$E_n\in \mathcal{A},E_n\downarrow E\in \mathcal{A},\mu (E_{n_0})<\infty$
令$G_1=E_{n_0}\backslash E_{n_0+1},G_2=E_{n_0}\backslash E_{n_0+2},G_k=E_{n_0}\backslash E_{n_0+k},k=1,2,...$
则
$$G_i\in \mathcal{A},G_k\uparrow E_{n_0}\backslash E$$
利用上面的结论可知
$$\mu (E_{n_0}\backslash E)=\underset{k}{\lim }\mu (G_k)=\underset{k}{\lim }\mu (E_{n_0}\backslash E_{n_0+k})$$
而由于
$$\mu (E_{n_0}\backslash E)=\mu (E_{n_0})-\mu (E)$$
$$\mu (E_{n_0}\backslash E_{n_0+k})=\mu (E_{n_0})-\mu (E_{n_0+k})$$
可得
$$\mu (E)=\underset{k}{\lim }\mu (E_{n_0+k})=\underset{k}{\lim }\mu (E_k)$$
即$\mu$上连续

（2）设$\mu$下连续，任取$E={\sum }_{k\ge 1}{E}_k,E_k,E\in \mathcal{A}$
显然$$\sum _{k\ge 1}^n{E}_k\uparrow E$$
所以根据可加性
$$\sum _{k\ge 1}^n\mu (E_k)=\mu (\sum _{k\ge 1}^n{E}_k)$$
取极限，有$$\sum _{k\ge 1}\mu (E_k)=\underset{k}{\lim }(\sum _{k\ge 1}^n{E}_k)=\mu (E)$$

(3) 设$\mu$关于$\varnothing$上连续，且$\mu (\Omega )<\infty$，任取$E={\sum }_{k\ge 1}{E}_k,E_k,E\in \mathcal{A}$
设$F_n={\sum }_{k\ge m}{E}_k=E\backslash {\sum }_{j=1}^{n-1}{E}_j\in \mathcal{A}$
则
$$F_n\downarrow \varnothing$$
所以，由上连续性以及$\mu$的有限性知$$\mu (F_n)\to 0$$
再由可加性
$$\mu (E)=\sum _{k=1}^n\mu (E_k)+\mu (F_{n+1})$$
关于任意的n都成立，可知
$$\mu (E)=\sum _{k\ge 1}\mu (E_k)$$

证毕

Caratheodory 理论

半代数测度扩张

定理：设$\mathcal{S}\subseteq S(\Omega )$为半代数，函数 μ : S → R + ∪ { + ∞ } \mu: \mathcal{S} \rightarrow \mathbb{R}_+ \cup \{+\infty\} μ:S→R+​∪{ +∞}是定义在其上的(可数)可加性函数，则存在（可数）可加性函数
ν : A ( S ) → R + ∪ { + ∞ } \nu : \mathcal{A}(\mathcal{S}) \rightarrow \mathbb{R}_+ \cup \{+\infty\} ν:A(S)→R+​∪{ +∞}
使得
$$\mu (A)=\nu (A),\forall A\in \mathcal{S}(在\mathcal{S}上，\mu =\nu )$$
且$\nu$唯一，即
∀ ν 1 , ν 2 : A ( S ) → R + ∪ { + ∞ } \forall \nu_1, \nu_2 : \mathcal{A}(\mathcal{S}) \rightarrow \mathbb{R}_+ \cup \{+\infty\} ∀ν1​,ν2​:A(S)→R+​∪{ +∞}
$$\forall A\in \mathcal{S},{\nu }_1(A)={\nu }_2(A)\Rightarrow \forall E\in \mathcal{A}(\mathcal{S}),{\nu }_1(E)={\nu }_2(E)$$
称$\nu$为$\mu$半代数测度扩张

证明：构造，任取$A\in \mathcal{A}(\mathcal{S})$ 则有半代数生成代数的引理知 $A={\sum }_{j=1}^n{E}_j,E_j\in \mathcal{S}$
定义$\nu (A)={\sum }_{j=1}^n\mu (E_j)$，则$\nu$为所求
我们必须证明$\nu$定义合理，$\nu$满足可加性，$\nu$唯一

1)合理性，即对于一个A的不同分解，$\nu$的值都一样。
设$A={\sum }_{j=1}^n{E}_j={\sum }_{j=1}^m{F}_j,$则
$$E_i=\sum _{j=1}^m{E}_i\cap F_j,F_j=\sum _{i=1}^n{E}_i\cap F_j$$
$$\sum _{i=1}^n\mu (E_i)=\sum _{i=1}^n\sum _{j=1}^m\mu (E_i\cap F_j)=\sum _{j=1}^m\mu (F_j)$$
故$\nu$定义合理
(2)(可加性)对于任意$A,B\in \mathcal{A}(\mathcal{S}),A\cap B=\varnothing$，设$A={\sum }_{i=1}^n{E}_i,B={\sum }_{j=1}^m{F}_j$，则
$$\nu (A\cup B)=\nu (\sum _{i=1}^n{E}_i+\sum _{j=1}^m{F}_j)=\sum _{i=1}^n\mu (E_i)+\sum _{j=1}^m\mu (F_j)=\nu (A)+\nu (B)$$
(3)（唯一性）设两个可加性函数
∀ ν 1 , ν 2 : A ( S ) → R + ∪ { + ∞ } \forall \nu_1, \nu_2 : \mathcal{A}(\mathcal{S}) \rightarrow \mathbb{R}_+ \cup \{+\infty\} ∀ν1​,ν2​:A(S)→R+​∪{ +∞}
$$\forall A\in \mathcal{S},{\nu }_1(A)={\nu }_2(A)$$

任取$B\in \mathcal{A}(\mathcal{S}),B={\sum }_{j=1}^n{E}_j,E_j\in \mathcal{S}$则
$${\nu }_1(B)=\sum _{j=1}^n{\nu }_1(E_j)=\sum _{j=1}^n{\nu }_2(E_j)={\nu }_2(B)$$
证毕

注：如果$\mu$是可数可加的，则$\nu$也是可数可加的。

证明：任取$A={\sum }_{j\ge 1}{A}_j,A,A_j\in \mathcal{A}(\mathcal{S})$，要证明$\nu (A)={\sum }_{j\ge 1}\nu (A_j)$
首先设$A={\sum }_{j=1}^n{E}_j,A_k={\sum }_{i=1}^{m_k}{E}_{k,i},E_j,E_{k,i}\in \mathcal{S}$
则
$$\nu (A)=\sum _{j=1}^n\mu (E_j)$$
$$\nu (A_k)=\sum _{i=1}^{m_k}\mu (E_{k,i})$$
$$E_j=\sum _{k\ge 1}{E}_j\cap A_k=\sum _{k\ge 1}\sum _{i=1}^{m_k}{E}_j\cap E_{k,i}$$
故
$$\begin{array}{rl}\nu (A)& =\sum _{j=1}^n\mu (E_j)\\ & =\sum _{j=1}^n\sum _{k\ge 1}\sum _{i=1}^{m_k}\mu (E_j\cap E_{k,i})\\ & =\sum _{k\ge 1}\sum _{i=1}^{m_k}\mu (E_{k,i})\\ & =\sum _{k\ge 1}\nu (A_k)\end{array}$$

证毕

外测度

定义： C ⊆ S ( Ω ) , ∅ ∈ S , μ : C → R + ∪ { + ∞ } \mathcal{C} \subseteq S(\Omega), \varnothing \in \mathcal{S} ,\mu: C \rightarrow R_+\cup \{+\infty\} C⊆S(Ω),∅∈S,μ:C→R+​∪{ +∞}满足
（1）$\mu (\varnothing )=0$
（2）$E\subseteq F,E,F\in \mathcal{C}\Rightarrow \mu (E)\le \mu (F)$
（3）$E,E_i\in \mathcal{C},E\subseteq {\cup }_i{E}_i\Rightarrow \mu (E)\le {\sum }_i\mu (E_i)$
则称$\mu$为$\mathcal{C}$上的外测度

前面已經證明了，半代數上的(sigma)測度能唯一地擴張到生成代數上，而接下來的Caratheodory 測度擴張定理指出，代數上的可數可加性測度能夠唯一的擴張到生成$\sigma$代數上。

定理： ν : A → R + ∪ { + ∞ } \nu: \mathcal{A} \rightarrow \mathbb{R}_+ \cup \{+\infty\} ν:A→R+​∪{ +∞}是代數上的$\sigma$可數可加性函數，則存在外側度 π ∗ : S ( Ω ) → R + ∪ { + ∞ } \pi^* : \mathcal{S}(\Omega)\rightarrow \mathbb{R}_+ \cup \{+\infty\} π∗:S(Ω)→R+​∪{ +∞}和一個包含$\mathcal{A}$的$\sigma$代數M，使得 ${{\pi }^{\ast }|}_M$是$\sigma$可數可加的，而且${{\pi }^{\ast }|}_{\mathcal{A}}=\nu$ (竪綫是定義域限制)

如果測度是$\sigma$有限(全集为可数个有限测度的集合的并)的，則擴張是唯一的

證明：
step1: 構造${\pi }^{\ast }$。對於$A\subseteq \Omega$，令

$${\pi }^{\ast }(A)=\underset{E_i}{\inf }\sum _{i\ge 1}\nu (E_i),E_i\in \mathcal{A},A\subseteq \cup E_i$$

則${\pi }^{\ast }$為外測度。即满足下面三条
（1）${\pi }^{\ast }(\varnothing )=0$ 因为$\nu (\varnothing )=0$
（2）$E\subseteq F,E,F\in \mathcal{C}\Rightarrow {\pi }^{\ast }(E)\le {\pi }^{\ast }(F)$
（3）$E,E_i\in \mathcal{C},E\subseteq {\cup }_i{E}_i\Rightarrow {\pi }^{\ast }(E)\le {\sum }_i{\pi }^{\ast }(E_i)$
(2)(3)也是显然的，根据inf和包含关系即可得到

step2: 构造包含代数$\mathcal{A}$的$\sigma$代数$\mathcal{M}$
M = { A ∣ ∀ E ⊆ Ω , π ∗ ( E ) = π ∗ ( E ∩ A ) + π ∗ ( E ∩ A ∁ ) } \mathcal{M} = \{ A | \forall E \subseteq \Omega ,\pi^*(E) = \pi^*(E\cap A) + \pi^*(E\cap A^\complement ) \} M={ A∣∀E⊆Ω,π∗(E)=π∗(E∩A)+π∗(E∩A∁)}

这个${\pi }^{\ast }(E)\le {\pi }^{\ast }(E\cap A)+{\pi }^{\ast }(E\cap A^{\complement })$是显然的，所以只需要保证${\pi }^{\ast }(E)\ge {\pi }^{\ast }(E\cap A)+{\pi }^{\ast }(E\cap A^{\complement })$

现证
(a) $\mathcal{A}\subseteq \mathcal{M}$
(b) $\mathcal{M}$ 为$\sigma$代数

(a) 即证明 $\forall A\in \mathcal{A},E\subseteq \Omega ,{\pi }^{\ast }(E)\ge {\pi }^{\ast }(E\cap A)+{\pi }^{\ast }(E\cap A^{\complement })$
不妨设${\pi }^{\ast }(E)<\infty$，则由$\nu$的上连续性（可数可加性）
∀ ε > 0 , ∃ { E i } , E ∈ A , E ⊆ ∪ i ≥ 1 E i \forall \varepsilon > 0, \exists \{E_i\} , E \in \mathcal{A}, E \subseteq \cup_{i \ge 1} E_i ∀ε>0,∃{ Ei​},E∈A,E⊆∪i≥1​Ei​
$${\pi }^{\ast }(E)\le \sum _{i\ge 1}$$