数列の極限

正整数 n}} が大きくなるにつれて、値 //n// ⋅ sinsfrac は 1}} にいくらでも近くなる。「数列 //n// ⋅ sinsfrac の極限は 1}} である」という。数学において、数列や点列の極限は数列や点列の項が「近づく」値である。そのような極限が存在すれば、その列は収束する  と言われる。収束しない列は発散する  と言われる。点列の極限は解析学のすべての基本である。極限は任意の距離空間や位相空間で定義できるが、普通まず実数の場合に出会う。

1. 歴史
-----

ギリシアの哲学者エレアのゼノンは極限過程に関するパラドックスの定式化で有名である。

レウキッポス、デモクリトス、アンティポン、エウドクソス、アルキメデスは、面積や体積を決定するために近似値の無限列を用いる取り尽くし法を発展させた。アルキメデスは現在では幾何級数と呼ばれるものを計算することに成功した。

ニュートンは以下に関する彼の仕事で級数を扱った：//Analysis with infinite series// , //Method of fluxions and infinite series//  and //Tractatus de Quadratura Curvarum// 。後の仕事では、ニュートンは //n//}} の二項展開を考え、//極限を取る//ことによって線型化した。

18世紀には、オイラーのような数学者はいくつかの//発散//級数の和を求めることに正しい瞬間で止めることによって成功した；彼らは極限が存在するかどうかはそれが計算できる限りそれほど注意を払わなかった。世紀の終わりに、ラグランジュは彼の //Théorie des fonctions analytiques//  で厳密さの欠如が解析学のさらなる発展を阻害すると述べた。ガウスは超幾何級数の彼の研究  において初めてどのような条件下で級数が極限に収束するかを厳密に研究した。

極限の現代的な定義はベルナルト・ボルツァーノ  とカール・ワイエルシュトラスによって1870年代に与えられた。

2. 実数
-----

実数において、数 L}} が数列 (//xsub の極限であるとは、数列の数が L}} にどんどん近づき、他の数には近づかないことをいう。//

2.1. 例
------

ある定数 c}} について 1=//xsub ならば、//xsub である。
1=//xsub ならば、//xsub である。
n}} が偶数のときには 1=//xsub で、n}} が奇数のときには 1=//xsub ならば、//xsub である。//
任意の実数が与えられたとき、その数に収束する数列を、十進近似を取ることによって、容易に構成できる。例えば、列 0.3, 0.33, 0.333, 0.3333, …}} は sfrac に収束する。十進表現 0.3333…}} は、で定義される。前の列の//極限//であることに注意。
数列の極限を見つけることは必ずしも明らかではない。2つの例は と算術幾何平均である。はさみうちの原理はそのような場合にしばしば有用である。

2.2. 正式な定義
----------

x}} が数列 (//xsub の極限であるとは、以下の条件が成り立つことをいう：//

任意の実数 //ε// > 0}} に対して、ある自然数 N}} が存在して、任意の自然数 //n// > //N//}} に対して、1=abs が成り立つ。数学記号を用いて表すと、

言い換えると、任意の近さの度合い ε}} に対して、数列の項はやがて極限にそれだけ近くなる。数列 (//xsub は極限 x}} に収束するといわれ、//xsub あるいは と書かれる。

数列がある極限に存在すれば、それは収束列であり、そうでなければ発散列である。

2.3. 性質
-------

数列の極限は通常の四則演算について良く振る舞う。//asub ならば、//asub であり、b}} もどの bsub も 0}} でなければ、//asub である。//

任意の連続関数 f}} に対して、//xsub のとき //f//(//xsub である。実は、任意の実数値関数 f}} について、f}} が連続であることと数列の極限を保つことは同値である。

実数列の極限のいくつかの他の重要な性質の中には以下がある。

数列に対してその極限が定まればそれは一意である。
ただし のとき。
ある N}} よりも大きい全ての n}} について //asub ならば、//
すべての //n// > //N//}} に対して //asub であり、かつ であるならば、//
数列が有界かつ単調であれば、収束する。
数列が収束することと任意の部分列が収束することは同値である。これらの性質は面倒な正式の定義を直接用いる必要なしに極限を証明するのに広く用いられる。ひとたび sfrac が証明されれば、上の性質を用いて、を示すのが容易になる。

2.4. 無限大の極限
-----------

数列 (//xsub が無限大に発散するとは、任意の K}} に対して、ある N}} が存在して、任意の //n// ≥ //N//}} に対して、//xsub となる、つまり数列の項がやがてどんな固定された K}} よりも大きくなることをいい、このとき //xsub あるいは と書く。同様に、//xsub とは、すべての K}} に対して、ある N}} が存在して、任意の //n// ≥ //N//}} に対して、//xsub となることである。数列が無限大あるいは負の無限大に発散するとき、発散するという。//

3. 距離空間
-------

3.1. 定義
-------

距離空間 }} の点 x}} が点列  = abs のとき実数に対して与えられた定義と一致する。

3.2. 性質
-------

任意の連続関数 f}} に対して、//xsub のとき //f//(//xsub である。実は、関数 f}} が連続であることと点列の極限を保つことは同値である。

点列の極限は存在すれば一意である。なぜならば、相異なる点はある正の距離によって離れているため、この距離の半分よりも小さい ε}} に対して、点列の項は両方の点から距離 ε}} 以内にいることは出来ない。

4. 位相空間
-------

4.1. 定義
-------

位相空間 }} の点 x}} が点列 }} が距離空間で τ}} が d}} から生成される位相であるとき、距離空間に対して与えられた定義と一致する。

位相空間 X}} の点列 の極限は関数の極限の特別な場合である：定義域はアファイン拡大実数系の誘導位相による部分空間 N}} で、終域は X}} で、関数の引数 n}} は +∞}} に向かう。

4.2. 性質
-------

X}} がハウスドルフ空間ならば点列の極限は存在すれば一意である。これは一般の場合には必ずしも正しくないことに注意；特に、2点 //x//, //y//}} が位相的に識別不可能ならば、x}} に収束する任意の点列は y}} に収束しなければならない。

5. コーシー列
--------

コーシー列は、最初の項を十分たくさん無視すれば最終的に項が互いにいくらでも近くなるような列である。コーシー列の概念は距離空間の点列の研究において、特に、実解析において、重要である。実解析における1つのとりわけ重要な結果は、//列の収束のコーシーの判定法//である：実数列が収束することとそれがコーシー列であることは同値である。これは他の完備距離空間においても正しい。

6. 超実数における定義
------------

超実数を用いた極限の定義は添え字の「非常に大きい」値に対して対応する項が極限に「非常に近い」という直感を定式化する。より正確には、実数列 (//xsub が L}} に収束するとは、任意の無限大超自然数 H}} に対して、項 xsub が L}} に無限に近い、すなわち差 //xsub が無限小であることをいう。同じことだが、L}} は xsub のStandard part functionである：

したがって、極限は

によって定義できる、ただし極限が存在するのは右辺が無限大 H}} の取り方に依らないとき、かつそのときに限る。

7. 関連項目
-------

関数の極限
有向点族の極限 - 有向点族は点列の位相的な一般化である。

8. 脚注
-----

8.1. 証明
-------

8.2. 出典
-------

9. 参考文献
-------

Courant, Richard . "Differential and Integral Calculus Volume I", Blackie & Son, Ltd., Glasgow.
Frank Morley and James Harkness [1] 

10. 外部リンク
---------

[2]