絕對收斂是數學中無窮級數和廣義積分的一種性質。一個數項級數或一個積分絕對收斂若且唯若級數的每一項或者積分的函數取絕對值(或範數)後仍然收斂或可積。比如,一個實數項或複數項級數
絕對收斂若且唯若
。某個函數
的廣義積分或瑕積分
是絕對收斂的,若且唯若取絕對值或範數後的函數的積分收斂:
。一個積分絕對收斂的函數也稱為絕對可積函數。
在無窮級數的研究中,絕對收斂性是一項足夠強的條件,許多有限項級數具有的性質,在一般的無窮級數不一定滿足,只有在絕對收斂的無窮級數也會具有該性質。例如任意重排一個絕對收斂的級數之通項的次序,不會改變級數的和,又如,兩個絕對收斂的無窮級數通項的乘積以任何方式排列成的級數和都為原來兩個級數和的乘積。收斂但不是絕對收斂的無窮級數或積分被稱為條件收斂的。
絕對收斂是建立在實數絕對值、複數的模長以及更一般的,向量的範數概念之上的。絕對值、模長都是範數概念的特例。給定一個向量空間
,範數
是將
中元素映射到非負實數上的一個函數,並且滿足以下性質:
- 將且僅將零向量映射到0:
![{\displaystyle \|x\|=0\iff x=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/778a282a616e1741bff8a9024af90a5e6facd422)
- 齊次性:
![{\displaystyle \|\lambda x\|=\lambda \cdot \|x\|,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0932cc129f4ed5a7327c7164d82b9f39210cdeb)
- 次可加性:
![{\displaystyle \|x+y\|\leqslant \|x\|+\|y\|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c6a9299460edae0618c5fcab2502b31db5b6fcf)
裝備了範數的向量空間
被稱為賦范向量空間,可以定義距離:
這樣可以定義
上的拓撲結構,從而定義收斂乃至絕對收斂。設有由
中元素組成的級數:
,則此級數絕對收斂若且唯若由每一項向量的範數構成的正項級數
收斂:
![{\displaystyle \sum _{n=0}^{\infty }\|a_{n}\|<\infty .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acb37ff96739442210f82fb86548cc313820f7bc)
當級數的每一項是實數或複數時,對應的是實向量空間
和復向量空間
,這時對應的範數是實數的絕對值和複數的模長,都寫作
,所以實數項或複數項的級數絕對收斂,若且唯若由每一項元素的絕對值或模長構成的正項級數
收斂:
![{\displaystyle \sum _{n=0}^{\infty }|a_{n}|<\infty .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/766681fb34225a08819cff96c3cbe35323918a82)
如果賦范向量空間
是完備的(即所謂的巴拿赫空間),那麼
中絕對收斂的無窮級數必定收斂。反之,如果
中絕對收斂的無窮級數必定收斂,那麼可以推出
是巴拿赫空間。
證明:
假設
是完備空間,
由
中元素組成的絕對收斂的級數。則
![{\displaystyle \sum _{n=0}^{\infty }\|a_{n}\|=L\in \mathbb {R} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36f6d618d8f207d217e311efb6a55c522645caf6)
因此級數
滿足柯西性質,即:任意
,存在自然數
,使得對任何
,都有
所以對任意的
,級數
中的部分
的範數:
![{\displaystyle \|\sum _{k=n}^{m}a_{k}\|\leqslant \sum _{k=n}^{m}\|a_{k}\|<\epsilon .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f1f5c6507ac2c8408a74af6805462b5279df3f)
這說明級數
的部分和是柯西序列。因此在完備空間
中,級數
收斂:
![{\displaystyle \sum _{n=0}^{\infty }a_{n}=A\in V.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0f3c2de434fcfa7d78d358c10a910045d243c8c)