绝对收敛

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

定义[编辑]

绝对收敛是建立在实数绝对值、复数的模长以及更一般的,向量范数概念之上的。绝对值、模长都是范数概念的特例。给定一个向量空间V,范数\|\cdot\|: V \to \mathbb{R}^+是将V中元素映射到非负实数上的一个函数,并且满足以下性质:

  1. 将且仅将零向量映射到0:\| x \| = 0 \iff x = 0,
  2. 齐次性:\|\lambda x\| = \lambda \cdot \| x \|,
  3. 次可加性:\| x + y \| \leqslant \| x \| + \| y \|.

装备了范数的向量空间V被称为赋范向量空间,可以定义距离:d : \, (x, y) \mapsto d(x, y) = \|x - y\|.这样可以定义V上的拓扑结构,从而定义收敛乃至绝对收敛。设有由V中元素组成的级数:\sum_n a_n ,则此级数绝对收敛当且仅当由每一项向量的范数构成的正项级数\sum_n \|a_n \| 收敛:

\sum_{n=0}^{\infty} \|a_n \| < \infty.

当级数的每一项是实数或复数时,对应的是实向量空间\mathbb{R}和复向量空间\mathbb{C},这时对应的范数是实数的绝对值和复数的模长,都写作 |\cdot |,所以实数项或复数项的级数绝对收敛,当且仅当由每一项元素的绝对值或模长构成的正项级数\sum_n \|a_n \| 收敛:

\sum_{n=0}^{\infty} |a_n | < \infty.

与收敛的关系[编辑]

如果赋范向量空间\left( V, \, \|\cdot \| \right)完备的(即所谓的巴拿赫空间),那么V中绝对收敛的无穷级数必定收敛。反之,如果V中绝对收敛的无穷级数必定收敛,那么可以推出\left( V, \, \|\cdot \| \right)是巴拿赫空间。

证明

假设\left( V, \, \|\cdot \| \right)完备空间\sum_n a_n V中元素组成的绝对收敛的级数。则

\sum_{n=0}^{\infty} \|a_n \| = L \in \mathbb{R}.

因此级数\sum_n \|a_n \| 满足柯西性质,即:任意\epsilon > 0,存在自然数N,使得对任何n , m > N,都有\sum_{k=n}^m \|a_k\| < \epsilon.

所以对任意的n , m > N,级数\sum_n a_n 中的部分\sum_{k=n}^m  a_k 的范数:

\|\sum_{k=n}^m a_k\| \leqslant \sum_{k=n}^m \|a_k\| < \epsilon.

这说明级数\sum_n a_n 的部分和是柯西序列。因此在完备空间\left( V, \, \|\cdot \| \right)中,级数\sum_n a_n 收敛:

\sum_{n=0}^{\infty} a_n  = A \in V.

参见[编辑]

参考资料[编辑]