バナッハ極限のソースを表示

[[解析学]]における'''バナッハ極限'''（{{lang-en-short|Banach limit}}）とは有界な実数列の成す[[バナッハ空間]] <math>\ell^{\infty}</math> で定義された[[汎関数]] <math>\mathrm{LIM} : \ell^{\infty} \to \mathbb{R}</math> で、任意の数列 <math>x = (x_n)</math> と <math>y = (y_n)</math> に対して次の条件を満たすものをいう：
# <math>\mathrm{LIM}(\alpha x+\beta y)=\alpha \mathrm{LIM}(x)+\beta \mathrm{LIM}(y)</math> (linearity)；
# すべての <math>x_n\geq 0</math> ならば <math>\mathrm{LIM}(x)\geq 0</math>；
# <math>\mathrm{LIM}(x)=\mathrm{LIM}(Sx)</math> で <math>S</math> は <math>(Sx)_n=x_{n+1}</math> で定義される[[シフト作用素]]である；
# <math>\liminf_ {n\to\infty} x_n\le\mathrm{LIM}(x) \le \limsup_{n\to\infty}x_n</math>
最後の条件より <math>\mathrm{LIM}</math> は線形汎関数 <math>\lim_{n\to\infty}</math> の延長であることが分かる。

言い換えれば、バナッハ極限は通常の極限の線形性を保った拡張であって、シフト不変かつ正なものである。しかしながら２つのバナッハ極限が一致しない数列が存在する。バナッハ極限はこの場合には一意に決まらないということができる。

バナッハ極限の存在は通常[[ハーン＝バナッハの定理]]（解析学的な方法）または[[超フィルター]]（この方法は集合論的な説明でより頻繁に見られる）を用いる。これらの証明は[[選択公理]]の使用が必要である（つまり実効的な証明ではない）。

==超準的な存在証明==
{{Main|超準解析}}
無限大超自然数 <math>\nu</math> を固定する。<math>\mathrm{LIM}</math> を次のように定める：
:<math>\mathrm{LIM}(x) = \mathrm{st}(\frac{1}{\nu} \sum_{i=\nu}^{2\nu - 1} {}^{\ast}x_i)</math>
ただし <math>\mathrm{st}</math> は超実数の標準部分、<math>\sum</math> は内的な有限和を表す。また <math>{}^{\ast}x = ({}^{\ast}x_i)</math> は <math>x = (x_i)</math> の自然延長である。

標準部分が存在することを示す。すなわち <math>\mathrm{st}(\cdots)</math> の内部が有限超実数であることを示す。<math>x</math> は有界であるから、ある非負実数 <math>M</math> に対して <math>|x_i| \leq M</math> が成り立つ。{{ill2|移行原理|en|transfar priciple}}より <math>|{}^{\ast}x_i| \leq M</math> が成り立つ。したがって <math>|\frac{1}{\nu} \sum_{i=\nu}^{2\nu - 1} {}^{\ast}x_i | \leq \frac{1}{\nu} \nu M = M </math> となるからよい。

<math>\mathrm{LIM}</math> がバナッハ極限の条件のうち線形性と正値性を満たすことは移行原理によって明らかである。シフト作用素で不変であるのは
:<math>\frac{1}{\nu} \sum_{i=\nu}^{2\nu - 1} {}^{\ast}x_{i+1} = \frac{{}^{\ast}x_{2\nu}}{\nu} + \frac{1}{\nu} \sum_{i=\nu}^{2\nu - 1} {}^{\ast}x_i - \frac{{}^{\ast}x_\nu}{\nu}</math>
であり、第一項と第三項は無限に小さいので <math>\mathrm{st}</math> で消えることによる。最後の条件を満たすのは、任意の無限大超自然数 <math>i</math> に対して
:<math>\liminf x_n \leq \mathrm{st}({}^{\ast}x_i) \leq \limsup x_n</math>
となることから分かる。

== 概収束 ==
収束しない数列であってバナッハ極限が一意的に決まるものが存在する。例えば <math>x=(1,0,1,0,\ldots)</math> ならば <math>x+S(x)=(1,1,1,\ldots)</math> は定数列であり <math>2\phi(x)=\phi(x)+\phi(Sx)=1</math> が従う。ゆえに任意のバナッハ極限について、この数列は極限 <math>\frac{1}{2}</math> を持つ。

数列 <math>x</math> がこの性質を持つとき、つまり任意のバナッハ極限 <math>\phi</math> に対して値 <math>\phi(x)</math> が同じであるとき、{{ill2|概収束列|en|almost convergent sequence|label=概収束}}するという。

==ba空間==
{{main|ba空間}}
<math>\langle\ell^{1},\ell^{\infty}\rangle</math> の双対性を考えたとき、<math>c\subseteq \ell^{\infty}</math> に属す収束点列の通常の極限は、 <math>\ell^1</math> の元から得られたものとは異なる。すなわち、<math>\ell^{\infty}</math> は <math>\ell^{1}</math> の[[連続的双対空間]]と同型であり、<math>\ell^{1}</math> の元は（評価写像を考えることで）<math>\ell^{\infty}</math> 上の連続線形汎関数を誘導する。しかし、収束点列の通常の極限を取る操作は、そのような汎関数（の <math>c</math> への制限）としては表せない。したがって、<math>\ell^\infty</math> 上のバナッハ極限は <math>\ell^\infty</math> の連続的双対空間の元でありながら、<math>\ell^1</math> に入らないものの例となる。換言すれば、<math>\ell^{\infty}</math> の連続的双対空間は <math>\ell^{1}</math> と同型にはならず、それよりも大きくなる。<math>\ell^\infty</math> の双対は[[ba空間]]として知られ、自然数の集合の部分集合全体からなるシグマ代数の上の（符号付き）有限加法的測度、同じことであるが、自然数の集合の[[コンパクト化#ストーン・チェックのコンパクト化|ストーン・チェックのコンパクト化]]の上の（符号付き）ボレル測度からなる。

==関連項目==
* [[チェザロ平均]]

==参考文献==
* {{
Cite book
  | author = M. Davis
  | title = Applied Nonstandard Analysis
  | publisher = Dover Publications
  | date =  2005
  | isbn = 9780486442297
}}

==外部リンク==
* {{MathWorld|urlname=BanachLimit|title= Banach Limit|author= Moslehian, Mohammad Sal.}}
* {{PlanetMath|urlname=BanachLimit|title=Banach limit}}
* {{SpringerEOM|urlname=Banach_limit|title= Banach limit|first= G. |last= Buskes}}

{{デフォルトソート:はなつはきよくけん}}
[[Category:関数解析学]]
[[Category:数学に関する記事]]