ez_lcw/lcw-analyze
1
1
Fork 0
Code Issues 4 Pull Requests Releases Activity

修复第8章多行公式过长的问题

Browse Source 
修复第8章多行公式过长的问题，添加了换行，并对齐了大于等于号

Signed-off-by: 方而静 <szdytom@163.com>
This commit is contained in:
方而静 2022-09-08 08:36:38 +00:00
parent 5637cbed79
commit f2df980129
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/第8章 无限集合.md
View File

@ -112,10 +112,10 @@
设 $\varepsilon>0$ 是任意正实数，只需证明存在 $N_0\geqslant 0$ 使得对于任意 $N\geqslant N_0$ 有 $\sum\limits_{n=0}^{N}\sum\limits^{\infty}_{m=0}f(n,m)\geqslant L-\varepsilon$。 设 $\varepsilon>0$ 是任意正实数，只需证明存在 $N_0\geqslant 0$ 使得对于任意 $N\geqslant N_0$ 有 $\sum\limits_{n=0}^{N}\sum\limits^{\infty}_{m=0}f(n,m)\geqslant L-\varepsilon$。
存在 $K\geqslant 0$ 使得 $\sum\limits_{k=0}^Kf(g(k))\geqslant L-\varepsilon$。可以归纳证明，存在 $N_0,M_0$ 使得 $g(\mathbb N_{..K})\subseteq \mathbb N_{..N_0}\times \mathbb N_{..M_0}$。那么对于任意 $N\geqslant N_0$，有： 存在 $K\geqslant 0$ 使得 $\sum\limits_{k=0}^Kf(g(k))\geqslant L-\varepsilon$。可以归纳证明，存在 $N_0,M_0$ 使得 $g(\mathbb N_{..K})\subseteq \mathbb N_{..N_0}\times \mathbb N_{..M_0}$。那么对于任意 $N\geqslant N_0$，有
$$
\sum\limits_{n=0}^N\sum\limits^{\infty}_{m=0}f(n,m)\geqslant \sum\limits_{n=0}^N\sum\limits_{m=0}^{M_0}f(n,m)\geqslant \sum\limits_{n=0}^{N_0}\sum\limits_{m=0}^{M_0}f(n,m)=\sum\limits_{p\in \mathbb N_{..N_0}\times \mathbb N_{..M_0}}f(p)\geqslant \sum\limits_{p\in g(\mathbb N_{..K})}f(p)=\sum\limits_{k\in\mathbb N_{..K}}f(g(k))\geqslant L-\varepsilon $$\begin{aligned}\sum\limits_{n=0}^N\sum\limits^{\infty}_{m=0}f(n,m)&\geqslant \sum\limits_{n=0}^N\sum\limits_{m=0}^{M_0}f(n,m)\\&\geqslant \sum\limits_{n=0}^{N_0}\sum\limits_{m=0}^{M_0}f(n,m)=\sum\limits_{p\in \mathbb N_{..N_0}\times \mathbb N_{..M_0}}f(p)\\&\geqslant \sum\limits_{p\in g(\mathbb N_{..K})}f(p)=\sum\limits_{k\in\mathbb N_{..K}}f(g(k))\geqslant L-\varepsilon\end{aligned}$$
$$
证毕。 证毕。
第二部分：当 $f(n,m)$ 可以为负时。 第二部分：当 $f(n,m)$ 可以为负时。