src/第8章 无限集合.md

@@ -120,6 +120,7 @@
     那么 $\left(\sum\limits_{m=0}^Mf(n,m)\right)_{M=0}^{\infty}$ 有上界 $L$，又由于它单增，所以存在 $\sum\limits^{\infty}_{m=0}f(n,m)$。
     
     考虑任意 $N\geq 0$，根据引理 7.1.7，有：
+	
 	$$
     \sum\limits_{n=0}^N\sum\limits^{\infty}_{m=0}f(n,m)=\sum\limits_{n=0}^N\lim\limits_{M\to\infty}\sum\limits_{m=0}^Mf(n,m)=\lim\limits_{M\to\infty}\sum\limits_{n=0}^N\sum\limits_{m=0}^Mf(n,m)
 	$$