跳至內容

巴拿赫極限

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

數學分析中,巴拿赫極限(英語:Banach limit)指的是定義在全體有界序列組成的巴拿赫空間上,對每個中的序列和複數滿足:

  1. (線性);
  2. 若對每個,則(正定性);
  3. ,其中移位算子,定義為(移位不變性);
  4. 收斂序列,則

連續線性泛函

因此,是對連續線性泛函的延拓,其中中收斂到某個極限的全體序列組成的複向量空間。進而可以視為發散級數論中的一個可和法

換句話說,巴拿赫極限是對通常意義下極限概念的延拓,並且是線性、移位不變、正定的。可以對某個序列找到兩個巴拿赫極限,使得各自作用下得到兩個不同的值,我們稱這類序列的巴拿赫極限不是唯一確定的。

作為上述性質的一個推論,每個實值巴拿赫極限也滿足:

巴拿赫極限的存在性通常需要應用哈恩-巴拿赫定理證明(分析學方法)[1],也可以應用超濾子(這種方法在集合論的討論中出現得更頻繁)[2]。這些證明都一定會用到選擇公理(即所謂的非構造證明)。

幾乎收斂

[編輯]

某些不收斂的級數在巴拿赫極限的作用下是唯一確定的。 例如,注意到是常序列,並且

因此對每個巴拿赫極限而言,它以為極限。

我們將每個巴拿赫極限下有相同的的有界序列稱為幾乎收斂的。

Ba 空間

[編輯]

中給定收斂序列,如果考慮對偶通常的極限並不由的某個元素給出。實際上連續對偶空間(對偶巴拿赫空間);反過來,雖然能誘導出中的連續線性泛函,但並不是全部。每個上的巴拿赫極限都是的對偶巴拿赫空間中的一個元素,但不在中。的對偶叫做ba空間,由一切自然數集子集的σ-代數上有限可加(符號)測度組成,或者等價地說是由每個自然數集的Stone–Čech緊化上的波萊爾(符號)測度組成。

外部連結

[編輯]

參考

[編輯]
  1. ^ Conway, Theorem III.7.1
  2. ^ Balcar-Štěpánek, 8.34