陶哲轩实分析 引理 8.2.3 证明
2012-11-04 00:09
246 查看
设$X$是至多可数的集合,并设$f:X\to \mathbb{R}$是函数.那么级数$\sum_{x\in X}f(x)$是绝对收敛的当且仅当
$$\sup\left\{\sum_{x\in A}|f(x)|:A\subsetneq X,A\mbox{是有限集合}\right\}<\infty$$
证明:$\Rightarrow$是容易的.
$\Leftarrow$:不妨设$X$是可数集.存在$\mathbb{N}$到$X$的双射$g$.若级数$\sum_{x\in X}f(x)$不是绝对收敛的,则对于任意实数$w$,都存在相应自然数$N$,使得$\sum_{i=0}^{N}|f(g(i))|>w$.这与$$\sup\left\{\sum_{x\in A}|f(x)|:A\subsetneq X,A\mbox{是有限集合}\right\}<\infty$$矛盾.
$$\sup\left\{\sum_{x\in A}|f(x)|:A\subsetneq X,A\mbox{是有限集合}\right\}<\infty$$
证明:$\Rightarrow$是容易的.
$\Leftarrow$:不妨设$X$是可数集.存在$\mathbb{N}$到$X$的双射$g$.若级数$\sum_{x\in X}f(x)$不是绝对收敛的,则对于任意实数$w$,都存在相应自然数$N$,使得$\sum_{i=0}^{N}|f(g(i))|>w$.这与$$\sup\left\{\sum_{x\in A}|f(x)|:A\subsetneq X,A\mbox{是有限集合}\right\}<\infty$$矛盾.
相关文章推荐
- 陶哲轩实分析 引理 8.2.3 证明
- 陶哲轩实分析 引理 7.5.2 证明
- 陶哲轩实分析 引理 7.5.2 证明
- 陶哲轩实分析 引理 7.1.13 证明
- 陶哲轩实分析 引理 7.1.13 证明
- 陶哲轩实分析 引理7.1.4 证明
- 陶哲轩实分析 引理7.1.4 证明
- 《陶哲轩实分析》引理17.2.4证明_导数的唯一性
- 《陶哲轩实分析》引理17.2.4证明_导数的唯一性
- 《陶哲轩实分析》引理17.3.5:方向导数与全导数的关系
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 推论 7.3.2 (比较判别法) 证明
- 陶哲轩实分析 推论 7.5.3 (比例判别法) 证明
- 《陶哲轩实分析》引理17.3.5:方向导数与全导数的关系
- 《陶哲轩实分析》引理6.7.1:(指数运算的连续性)
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 推论 7.3.2 (比较判别法) 证明
- 《陶哲轩实分析》引理6.7.1:(指数运算的连续性)
- 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明
- 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明