級數的絕對收斂性問題

董立華

（德州學院 數學系，山東 德州 253023）

級數的絕對收斂性問題

董立華

（德州學院 數學系，山東 德州 253023）

闡述了賦范線性空間中無窮級數的收斂、絕對收斂、無條件收斂等概念之間的關系，并例證說明級數的收斂與絕對收斂、絕對收斂與無條件收斂之間不等價，但確實存在著無窮維的Fréchet空間中級數的無條件收斂與絕對收斂等價。

收斂；無條件收斂；絕對收斂

1 引言

為敘述方便起見，首先給出幾個定義。

定義2[2]設X是賦范線性空間，

若

則稱級數

收斂于x。

定義3 賦范線性空間X中的級數

為無條件收斂，是指該級數的項在任意相互交換次序后仍舊收斂，亦即每個改換排列的級數

仍舊收斂。

定義4 級數

絕對收斂是指數項級數

收斂。

2 主要結論

限于篇幅，相關結論的證明在此省略，僅舉（反）例以說明相應的逆命題不成立。

定理1 如果賦范線性空間是完備的，則該空間中絕對收斂的級數一定是收斂的。反之不成立。

例1 在Banach空間C0（C0是空間(C)中以0為極限的數列所構成的閉子空間）中考慮級數

其中

設

則x∈C0，且

故級數

收斂于x，然而它并非絕對收斂。因為

注意 如果其中的條件“完備”不滿足，則即使是絕對收斂的級數也未必收斂。

例2 在線性空間E∞上定義范數，

其中

考察級數

絕對收斂。另一方面，不難看出

在E∞中并不收斂。

可以進一步證明：

（1）若賦范線性空間中每個絕對收斂的級數都是收斂的，則這個空間一定是完備的。

（2）Banach空間X中的級數

無條件收斂，當且僅當每個級數

（其中ηn= 0或1）都收斂。

易知在每個有限維賦范空間中，級數的無條件收斂與絕對收斂是等價的。但在無窮維空間中有：

定理 2 Banach空間X中絕對收斂的級數一定是無條件收斂的。然而其逆不真。

Dvoretzky與Rogers已給出下面的反例。

例3 在Banach空間C[0,1]中點列{xn}如下

易見，函數項級數

在區間[0,1]上是一致收斂的，從而對任意ε＞0，存在n0∈N+，當 p, q≥n0時，有

所以

因此，級數

在[0,1]中是無條件收斂的。另一方面，因為

所以

并非絕對收斂。

注意 確實存在著無窮維的Fréchet空間中級數的無條件收斂與絕對收斂等價。

現設D[0,1]是定義在區間[0,1]上的所有實值函數按通常的線性運算所成的線性空間，其中諸函數有任意階的導數，令

此時

又令

則D[0,1]是一個Fréchet空間。由于Fréchet空間中絕對收斂的級數必是無條件收斂的，因此只需證明D[0,1]中的無條件收斂級數都是絕對收斂的。

事實上，設

是D[0,1]內任一無條件收斂的級數，固定i，并且選擇tn，使得

則有

因為級數

為無條件收斂的充要條件是每個級數

（其中ηn= 0或1）在D[0,1]中都收斂，而級數

在D[0,1]中收斂等價于對每個i

在區間[0,1]上一致收斂，從而

于是，由不等式（1）得到

因此，級數

在空間C[0,1]內絕對收斂。再由空間D[0,1]中距離的定義可知，級數

在D[0,1]中絕對收斂。至于級數的無條件收斂與收斂之間的關系有下面的定理。

定理 3 Banach空間中級數的無條件收斂蘊涵著級數的收斂，反之不然。

設

是（條件）收斂的數項級數，則根據Riemann重排定理，它可以重排而給出發散的級數，即

是收斂的，而不是無條件收斂的級數。例如級數

適當重排后，可以使之發散，即不是無條件收斂的。

綜上所述，在Banach空間中一般地有：

絕對收斂?無條件收斂?收斂

但其逆命題一般不成立。

[1] 定光桂.巴拿赫空間引論[M].北京：科學出版社,1984.

[2] 汪林.泛函分析中的反例[M].北京：高等教育出版社,1994.

（責任編輯、校對：趙光峰）

The Problem on the Absolute Convergence of Series

DONG Li-hua

(Department of Mathematics, Dezhou University, Dezhou 253023, China)

This article mainly introduces the relationship between convergent series, absolutely convergent series and unconditionally convergent series in normed linear spaces. And through some counterexamples we draw the important conclusions that convergent series is unequal to absolute convergence and also the unconditional convergence is unequal to absolute convergence. This article also proves that absolute convergence is equivalent to unconditional convergence in infinite dimensional Fréchet space.

convergence; unconditional convergence; absolute convergence

山東省教育科學規劃重點項目（2010JZ123）

2011-05-12

董立華（1965-），女，山東平原人，德州學院數學系教授，研究方向為泛函分析。

O177

A

1009-9115(2011)05-0009-03