数列の極限

[350px|thumb|alt=diagram of a hexagon and pentagon circumscribed outside a circle|[単位円に外接する正  角形の周長によって与えられる数列は円周長に等しい極限すなわち極限  を持つ。内接する多角形に対応する数列も同じ極限を持つ。]]






正整数  が大きくなるにつれて、値  は  にいくらでも近くなる。「数列  の極限は  である」という。



数学において、**数列**や**点列の極限**（）は数列や点列の項が「近づく」値である。そのような極限が存在すれば、その列は**収束する** (convergent) と言われる。収束しない列は**発散する** (divergent) と言われる。点列の極限は解析学のすべての基本である。

極限は任意の距離空間や位相空間で定義できるが、普通まず実数の場合に出会う。

## 歴史
ギリシアの哲学者ゼノンはパラドックスの定式化で有名である。

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

ニュートンは以下に関する彼の仕事で級数を扱った：*Analysis with infinite series* (written in 1669, circulated in manuscript, published in 1711), *Method of fluxions and infinite series* (written in 1671, published in English translation in 1736, Latin original published much later) and *Tractatus de Quadratura Curvarum* (written in 1693, published in 1704 as an Appendix to his *Optiks) 。*後の仕事では、ニュートンは  の二項展開を考え、*極限を取る*（ とする）ことによって線型化した。

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

極限の現代的な定義（任意の  に対して、ある  が存在して、……）はベルナルト・ボルツァーノ (*Der binomische Lehrsatz*, Prague 1816, little noticed at the time) とカール・ワイエルシュトラスによって1870年代に与えられた。

## 実数
320px|thumb|収束列  のプロットが青で示されている。視覚的に数列が  が増大するときに極限  に収束することが分かる。

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

### 例
*ある定数  について  ならば、 である。
* ならば、 である。
* が偶数のときには  で、 が奇数のときには  ならば、 である。（ が奇数のときにはいつでも  であるという事実は無関係である。）
*任意の実数が与えられたとき、その数に収束する数列を、十進近似を取ることによって、容易に構成できる。例えば、列  は  に収束する。十進表現  は、
::0.3333\cdots\triangleq\lim_{n\to\infty} \textstyle\sum\limits_{i=1}^n \dfrac{3}{10^i}
:で定義される。前の列の*極限*であることに注意。
*数列の極限を見つけることは必ずしも明らかではない。2つの例は \lim_{n\to\infty}\left(1 + \frac1{n}\right)^n（極限は  である）と算術幾何平均である。はさみうちの原理はそのような場合にしばしば有用である。

### 正式な定義
 が数列  の**極限**であるとは、以下の条件が成り立つことをいう：
:任意の実数  に対して、ある自然数  が存在して、任意の自然数  に対して、 が成り立つ。
一階述語論理を用いて形式的に表すと、
: (\forall \varepsilon >0) (\exist N \in \mathbb{N}) (\forall n \in \mathbb{N}) [ n>N \implies |x_n-x|
となる。言い換えると、任意の近さの度合い  に対して、数列の項はやがて極限にそれだけ近くなる。数列  は極限  に**収束する**といわれ、 あるいは \lim_{n\to\infty}x_n = x と書かれる。

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

実数列  が収束するのは上極限 \limsup_{n \to \infty} x_n と下極限 \liminf_{n \to \infty} x_n が存在して、かつ一致することとも同値である。逆に \limsup_{n \to \infty} x_n と \liminf_{n \to \infty} x_n が存在しても一致しないか、あるいはどちらかが存在しない（）とき  は発散する。

### 性質
数列の極限は通常の算術について良く振る舞う。 ならば、 であり、 もどの  も  でなければ、 である。

任意の連続関数  に対して、 のとき  である。実は、任意の実数値関数  について、 が連続であることと数列の極限を保つことは同値である（がこれはより一般の連続性の概念を用いるときには必ずしも正しくない）。

実数列の極限のいくつかの他の重要な性質の中には以下がある。
*数列に対してその極限が定まればそれは一意である。
*\lim_{n\to\infty} (a_n \pm b_n) = \lim_{n\to\infty} a_n \pm \lim_{n\to\infty} b_n
*\lim_{n\to\infty} c a_n = c\lim_{n\to\infty} a_n
*\lim_{n\to\infty} (a_n b_n) = \lim_{n\to\infty} a_n \lim_{n\to\infty} b_n
*\lim_{n\to\infty} \frac{a_n}{b_n} = \frac{\lim\limits_{n\to\infty} a_n}{\lim\limits_{n\to\infty} b_n}, ただし \lim_{n\to\infty} b_n \ne 0 のとき。
*\lim_{n\to\infty} {a_n}^p = \left[ \lim_{n\to\infty} a_n \right]^p
*ある  よりも大きい全ての  について  ならば、\lim_{n\to\infty} a_n \leq \lim_{n\to\infty} b_n
*（はさみうちの原理）すべての  に対して  であり、かつ \lim_{n\to\infty} a_n = \lim_{n\to\infty} c_n = L であるならば、\lim_{n\to\infty} b_n = L
*数列が有界かつ単調であれば、収束する。
*数列が収束することと任意の部分列が収束することは同値である。
これらの性質は面倒な正式の定義を直接用いる必要なしに極限を証明するのに広く用いられる。ひとたび  が証明されれば、上の性質を用いて、\frac{a}{b+\frac{c}{n}} \to \frac{a}{b}（ただし ）を示すのが容易になる。

### 無限大の極限
数列  が**無限大に発散する**とは、任意の  に対して、ある  が存在して、任意の  に対して、 となる、つまり数列の項がやがてどんな固定された  よりも大きくなることをいい、このとき  あるいは \lim_{n\to\infty}x_n = \infty と書く。同様に、 とは、すべての  に対して、ある  が存在して、任意の  に対して、 となることである。数列が無限大あるいは負の無限大に発散するとき、発散するという（しかし、発散数列は必ずしも正または負の無限大に発散するわけではない）。

## 距離空間
### 定義
距離空間  の点  が点列  の**極限**であるとは、任意の  に対して、ある  が存在して、任意の  に対して、 となることをいう。これは ,  のとき実数に対して与えられた定義と一致する。

### 性質
任意の連続関数  に対して、 のとき  である。実は、関数  が連続であることと点列の極限を保つことは同値である。

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

## 位相空間
### 定義
位相空間  の点  が点列  の**極限**であるとは、 の任意の近傍  に対して、ある  が存在して、任意の  に対して、 となることをいう。これは、 が距離空間で  が  から生成される位相であるとき、距離空間に対して与えられた定義と一致する。

位相空間  の点列 \left(x_n:n\in \mathbb{N}\right) の極限はの特別な場合である：定義域は拡大実数の相対位相による部分空間  で、終域は  で、関数の引数  は  に向かう（この空間で  は  の集積点である）。

### 性質
 がハウスドルフ空間ならば点列の極限は存在すれば一意である。これは一般の場合には必ずしも正しくないことに注意；特に、2点  がならば、 に収束する任意の点列は  に収束しなければならない。

## コーシー列

[350px|thumb|コーシー列  のプロット、青で示されていて、縦軸が , 横軸が . 視覚的に、列の項が  が増大するにつれて近くなっているから、列が極限点に収束しているように見えることが分かる。[実数では任意のコーシー列はある極限に収束する。]]
コーシー列は、最初の項を十分たくさん無視すれば最終的に項が互いにいくらでも近くなるような列である。コーシー列の概念は距離空間の点列の研究において、特に、実解析において、重要である。実解析における1つのとりわけ重要な結果は、*列の収束のコーシーの判定法*である：実数列が収束することとそれがコーシー列であることは同値である。これは他の完備距離空間においても正しい。

## 超実数における定義
超実数を用いた極限の定義は添え字の「非常に大きい」値に対して対応する項が極限に「非常に近い」という直感を定式化する。より正確には、実数列  が  に収束するとは、任意の無限大超自然数  に対して、項  が  に無限に近い、すなわち差  が無限小であることをいう。同じことだが、 は  のである：
:L = \operatorname{st}(x_H).
したがって、極限は
:\lim_{n \to \infty} x_n= {\rm st}(x_H)
によって定義できる、ただし極限が存在するのは右辺が無限大  の取り方に依らないとき、かつそのときに限る。

## 関連項目
*関数の極限
*有向点族（ネット）の極限 - 有向点族は点列の位相的な一般化である。
*
*

## 脚注
### 証明

### 出典

## 参考文献
* Courant, Richard (1961). "Differential and Integral Calculus Volume I", Blackie & Son, Ltd., Glasgow.
* Frank Morley and James Harkness A treatise on the theory of functions  (New York: Macmillan, 1893)

## 外部リンク
* 
* ''A history of the calculus'', including limits