查看“︁绝对收敛”︁的源代码

'''绝对收敛'''是[[数学]]中[[无穷级数]]和[[广义积分]]的一种性质。一个数项[[级数]]或一个[[积分]]绝对收敛当且仅当级数的每一项或者积分的函数取[[绝对值]]（或[[范数]]）後仍然收敛或可积。比如，一个[[实数]]项或[[复数 (数学)|复数]]项级数 <math>\sum_n a_n</math>绝对收敛当且仅当<math>\sum_{n=0}^\infty \left|a_n\right| < \infty</math>。某个函数<math>f(x)</math>的[[广义积分]]或[[瑕积分]]<math>\int_I f(x) \mathrm{d}x</math>是绝对收敛的，当且仅当取绝对值或范数後的函数的积分收敛：<math>\int_I |f(x) |\mathrm{d}x < \infty</math>。一个积分绝对收敛的函数也称为'''绝对可积'''函数。

在无穷级数的研究中，绝对收敛性是一項足够强的条件，许多有限项级数具有的性質，在一般的无穷级数不一定滿足，只有在绝对收敛的无穷级数也會具有該性質。例如任意重排一个绝对收敛的级数之通项的次序，不会改变级数的和，又如，两个绝对收敛的无穷级数通项的乘积以任何方式排列成的级数和都为原来两个级数和的乘积。收敛但不是绝对收敛的无穷级数或积分被称为[[条件收敛]]的。

==定义==
绝对收敛是建立在实数绝对值、复数的模长以及更一般的，[[向量]]的[[范数]]概念之上的。绝对值、模长都是[[范数]]概念的特例。给定一个[[向量空间]]<math>V</math>，范数<math>\|\cdot\|: V \to \mathbb{R}^+</math>是将<math>V</math>中元素映射到非负实数上的一个函数，并且满足以下性质：
#将且仅将零向量映射到0：<math>\| x \| = 0 \iff x = 0,</math>
#齐次性：<math>\|\lambda x\| = \lambda \cdot \| x \|,</math>
#次可加性：<math>\| x + y \| \leqslant \| x \| + \| y \|. </math>
装备了范数的向量空间<math>V</math>被称为[[赋范向量空间]]，可以定义距离：<math>d : \, (x, y) \mapsto d(x, y) = \|x - y\|.</math>这样可以定义<math>V</math>上的[[拓扑结构]]，从而定义收敛乃至绝对收敛。设有由<math>V</math>中元素组成的级数：<math>\sum_n a_n </math>，则此级数绝对收敛当且仅当由每一项向量的范数构成的正项级数<math>\sum_n \|a_n \| </math>收敛：
:<math>\sum_{n=0}^{\infty} \|a_n \| < \infty. </math>

当级数的每一项是实数或复数时，对应的是实向量空间<math>\mathbb{R}</math>和复向量空间<math>\mathbb{C}</math>，这时对应的范数是实数的绝对值和复数的模长，都写作<math> |\cdot |</math>，所以实数项或复数项的级数绝对收敛，当且仅当由每一项元素的绝对值或模长构成的正项级数<math>\sum_n \|a_n \| </math>收敛：
:<math>\sum_{n=0}^{\infty} |a_n | < \infty. </math>

==与收敛的关系==
如果赋范向量空间<math>\left( V, \, \|\cdot \| \right)</math>是[[完备空间|完备]]的（即所谓的[[巴拿赫空间]]），那么<math>V</math>中绝对收敛的无穷级数必定收敛。反之，如果<math>V</math>中绝对收敛的无穷级数必定收敛，那么可以推出<math>\left( V, \, \|\cdot \| \right)</math>是巴拿赫空间。

<div style="margin-left:20px; margin-top:10px; padding-left:16px; padding-bottom:8px; padding-right:16px; padding-top:10px; background:#e8ffc4; width:90%;">
<div style="font-size:108%;">'''证明'''：
</div>
<div style="margin-left:6px;margin-top:6px;font-size:85%;">
假设<math>\left( V, \, \|\cdot \| \right)</math>是[[完备空间]]，<math>\sum_n a_n </math>由<math>V</math>中元素组成的绝对收敛的级数。则
:<math>\sum_{n=0}^{\infty} \|a_n \| = L \in \mathbb{R}. </math>
因此级数<math>\sum_n \|a_n \| </math>满足柯西性质，即：任意<math>\epsilon > 0</math>，存在自然数<math>N</math>，使得对任何<math>n , m > N</math>，都有<math>\sum_{k=n}^m \|a_k\| < \epsilon. </math>

所以对任意的<math>n , m > N</math>，级数<math>\sum_n a_n </math>中的部分<math>\sum_{k=n}^m  a_k </math>的范数：
:<math>\|\sum_{k=n}^m a_k\| \leqslant \sum_{k=n}^m \|a_k\| < \epsilon. </math>
这说明级数<math>\sum_n a_n </math>的部分和是柯西序列。因此在完备空间<math>\left( V, \, \|\cdot \| \right)</math>中，级数<math>\sum_n a_n </math>收敛：
:<math>\sum_{n=0}^{\infty} a_n  = A \in V. </math>
</div>
</div>

==参见==
*[[无条件收敛]]
*[[条件收敛]]
*[[一致收敛]]

== 参考资料 ==
<references/>

[[Category:级数]]
[[Category:积分学]]
[[Category:可和理论]]
[[Category:收敛 (数学)]]