極限
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（2015年10月） |
数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、英: limit）がしばしば考察される。直感的には、数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。
極限を表す記号として、lim (英語：limit, リミット、ラテン語：limes)という記号が一般的に用いられる。例えば次のように使う:
- limn→∞xn{displaystyle lim _{nto infty }x_{n}}
- limx→0sinxx=1{displaystyle lim _{xto 0}{frac {;sin x;}{x}}=1}
目次
1 数列の極限
1.1 数列の収束
1.2 極限値の性質
1.3 数列の発散
1.4 様々な極限
1.5 点列
2 関数
2.1 変数の収束に伴う関数の挙動
2.2 無限遠点における挙動
3 関数列の収束
4 位相空間
5 圏論
6 関連項目
数列の極限
実数の数列が収束する (converge) あるいは有限の極限を持つ若しくは極限が有限確定であるとは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。このとき確定する値をその数列の極限値という。収束しない数列は発散する(diverge)といい、それらはさらに極限を持つものと持たないものに分かれる。発散する数列のうち極限を持つものには、正の無限大に発散するものと負の無限大に発散するものがあり、極限が確定しないものは振動する(oscillate)という。
数列の収束
自然数の逆数の列 1, 1/2, 1/3, 1/4, 1/5, ..., 1/n, ... を考えると、それぞれの項 1/n は n が大きくなるにつれてどこまでも0に近くなっていくので、この数列は0に収束すると考えられる。このことを
limn→∞1n=0{displaystyle lim _{nto infty }{1 over n}=0}
あるいは
1n→0(n→∞){displaystyle {1 over n}to 0quad (nto infty )}
と書く。
カール・ワイエルシュトラスは「限りなく近づく」というあいまいな表現は使わず、イプシロン-デルタ論法を用いて厳密に収束を定義した。これによれば、数列 {an} がある一定の値 α に収束するとは、次のようなことを言う（この場合はイプシロン-エヌ論法とも言う）:
∀ ε>0, ∃ n0∈N s.t. ∀n∈N[n>n0⇒|an−α|<ε]{displaystyle forall varepsilon >0, exists n_{0}in mathbb {N} {textrm {s.t.}} forall nin mathbb {N} left[n>n_{0}Rightarrow |a_{n}-alpha |<varepsilon right]}
（どんなに小さな正の数 ε をとっても、その ε に対して適切な番号 n0 を十分大きく定めれば、n0 より先の番号 n に対する an は α から ε ほども離れない範囲に全部入るようにすることができる）
![{displaystyle forall varepsilon >0, exists n_{0}in mathbb {N} {textrm {s.t.}} forall nin mathbb {N} left[n>n_{0}Rightarrow |a_{n}-alpha |<varepsilon right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ef88746f317cf3a2ed0b461bbce531d66e5dd3a)
これを用いると、an = 1/n の極限値が 0 であることを以下のようにして示すことができる。
(証明)
![{displaystyle forall varepsilon >0;exists n_{0};forall nleft[n>n_{0}Longrightarrow n>{frac {1}{varepsilon }}right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcb1f363d77a8152789900fcd3f6e3398382e696)
極限値の性質
- 数列が収束するとき、その極限値はただ一つに限る。すなわち
- limn→∞an=α,limn→∞an=β⟹α=β{displaystyle lim _{nto infty }a_{n}=alpha ,lim _{nto infty }a_{n}=beta Longrightarrow alpha =beta }
- limn→∞an=α,limn→∞an=β⟹α=β{displaystyle lim _{nto infty }a_{n}=alpha ,lim _{nto infty }a_{n}=beta Longrightarrow alpha =beta }
- 数列の有限個の項を削除、追加あるいは値を変えて新たな数列を得たとしたとき、これらは一方が収束すれば他方も収束し極限値も等しい。
- 収束する数列は数の集合として有界である。すなわち、
- limn→∞an=α⟹∃K∀n |an|<K{displaystyle lim _{nto infty }a_{n}=alpha Longrightarrow exists K;forall n; |a_{n}|<K}
- limn→∞an=α⟹∃K∀n |an|<K{displaystyle lim _{nto infty }a_{n}=alpha Longrightarrow exists K;forall n; |a_{n}|<K}
- ∀nan≤bn,limn→∞an=α,limn→∞bn=β⟹α≤β{displaystyle forall n;a_{n}leq b_{n},;lim _{nto infty }a_{n}=alpha ,;lim _{nto infty }b_{n}=beta Longrightarrow alpha leq beta }
数列の発散
数列が収束しないとき、その数列は発散するという。特に、項数 n を限りなく大きくしていくとき、数列の項の値 an が限りなく大きくなることを、数列 {an} は正の無限大に発散するといい、
limn→∞an=∞{displaystyle lim _{nto infty }a_{n}=infty }
または
an→∞(n→∞){displaystyle a_{n}to infty ;(nto infty )}
のように表す。イプシロン-デルタ論法では、数列の正の無限大への発散は
∀K>0∃n0∈N∀n∈N[n>n0⟹an>K]{displaystyle forall K>0;exists n_{0}in mathbb {N} ;forall nin mathbb {N} ;{bigg [}n>n_{0}Longrightarrow a_{n}>K{bigg ]}}
![forall K>0;exists n_{0}in {mathbb {N}};forall nin {mathbb {N}};{bigg [}n>n_{0}Longrightarrow a_{n}>K{bigg ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0d064a9ad5dffa003fdafed35bec893c66babb6)
のように定式化される。
また、項数 n を限りなく大きくしていくとき、数列の項の値 an が限りなく小さくなることを、数列 {an} は負の無限大に発散するといい、
limn→∞an=−∞{displaystyle lim _{nto infty }a_{n}=-infty }
または
an→−∞(n→∞){displaystyle a_{n}to -infty ;(nto infty )}
と表す。数列 {an} が負の無限大への発散することは、各項 an をマイナスに取り替えて得られる数列 {bn} (bn = −an, n = 1, 2, 3, ...) が正の無限大に発散することに同じである。あるいは絶対値をとって得られる数列 {cn} (cn = |an|, n = 1, 2, ...) が正の無限大に発散すると言っても同じである。イプシロン-デルタ論法では、
∀K<0∃n0∈N∀n∈N[n>n0⟹an<K]{displaystyle forall K<0;exists n_{0}in mathbb {N} ;forall nin mathbb {N} ;{bigg [}n>n_{0}Longrightarrow a_{n}<K{bigg ]}}
![forall K<0;exists n_{0}in {mathbb {N}};forall nin {mathbb {N}};{bigg [}n>n_{0}Longrightarrow a_{n}<K{bigg ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfe711dbbf8f6e2c2001338db72aca165ff9defa)
となる。
数列が収束せず、また正の無限大にも負の無限大にも発散しない場合、その数列は振動するという。振動も発散の一種である。
様々な極限
実数の列 (xn)n がある数 R について R < xn を満たしているとき（数列 (xn)n が下に有界なとき） (xn)n の下極限と呼ばれる数
lim_n→∞xn{displaystyle varliminf _{nto infty }x_{n}}
を定めることができる。同様にして、上に有界な数列に対しその上極限
lim¯n→∞xn{displaystyle varlimsup _{nto infty }x_{n}}
が定義される。数列 (xn)n が極限を持つのは lim_n→∞xn=lim¯n→∞xn{displaystyle textstyle varliminf _{nto infty }x_{n}=varlimsup _{nto infty }x_{n}}
limn→∞xn=lim_n→∞xn=lim¯n→∞xn{displaystyle lim _{nto infty }x_{n}=varliminf _{nto infty }x_{n}=varlimsup _{nto infty }x_{n}}
となる。
さらに、有界な数列のなすベクトル空間 l∞N に対して抽象的な関数解析の構成を適用し、任意の有界な数列 (xn)n に対してバナッハ極限と呼ばれる数 LIM xn を、古典的な極限の拡張となるように定めることができる。
点列
ユークリッド空間のように、距離 d の定まった空間における点の列についての収束の概念を、実数の列の収束の概念を拡張して定めることができる。すなわち、点列 (xn)nが点 y に収束するとは、正の実数列 (d(xn, y))n が 0 に収束することである。この概念をさらに一般化して、自然数によって数え上げられるとは限らない「列」とその収束性を一般の位相空間に対して定式化することができる。（#位相空間節を参照のこと）
距離 d に関する極限であることを明示するために lim の代わりに d-lim などと書くこともある。
関数
変数の収束に伴う関数の挙動
f(x) を実関数とし、c を実数とする。式
limx→cf(x)=L{displaystyle lim _{xto c}f(x)=L}
または
f(x)→L(x→c){displaystyle f(x)rightarrow Lquad (xrightarrow c)}
は x の値を c に“十分に近づければ” f(x) の値を L に望む限りいくらでも近づけることができることを意味する。このとき「x を c に近づけたときの f(x) の極限は L である」という。これはイプシロン-デルタ論法により
∀ϵ>0∃δ>0∀x[0<|x−c|<δ⟹|f(x)−L|<ϵ]{displaystyle forall epsilon >0quad exists delta >0quad forall x;quad {bigg [}0<|x-c|<delta Longrightarrow |f(x)-L|<epsilon {bigg ]}}
![forall epsilon >0quad exists delta >0quad forall x;quad {bigg [}0<|x-c|<delta Longrightarrow |f(x)-L|<epsilon {bigg ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/700cad0ef584db2135b152dda8f8a3bd5d22d472)
という形で厳密に定義される。このとき、この極限と関数 f(x) の x = c における値は無関係であり、f(c) ≠ L であることもあれば f が c において定義されている必要もないのである。
このことを理解するために次の例を挙げる。
x が 2 に近づくときの f(x) = x/(x2 + 1) の値を考える。この場合、f(x) は x が 2 のときに定義されており、値は 0.4 である。
- f(1.9)=0.4121{displaystyle f(1.9)=0.4121}
- f(1.99)=0.4012{displaystyle f(1.99)=0.4012}
- f(1.999)=0.4001{displaystyle f(1.999)=0.4001}
x が 2 に近づくにつれて f(x) が 0.4 に近づいていく。したがって、 limx→2f(x)=0.4{displaystyle lim _{xto 2}f(x)=0.4}
例として、
g(x)={xx2+1,if x≠20,if x=2{displaystyle g(x)={begin{cases}{frac {x}{x^{2}+1}},&{mbox{if }}xneq 2\0,&{mbox{if }}x=2end{cases}}}
を考える。x が 2 に近づくときの g(x) の極限は 0.4 であるが、limx→2g(x)≠g(2){displaystyle lim _{xto 2}g(x)neq g(2)}
また、x → c のとき、f(x) の値が限りなく大きくなることを、「x が c に限りなく近づくとき関数 f(x) は正の無限大に発散する」といい、
limx→cf(x)=∞{displaystyle lim _{xto c}f(x)=infty }
または
f(x)→∞(x→c){displaystyle f(x)to infty quad (xto c)}
と表す。このことは次のように厳密に定義される。
∀K>0∃δ>0∀x[0<|x−c|<δ⟹f(x)>K]{displaystyle forall K>0quad exists delta >0quad forall xquad {bigg [}0<|x-c|<delta Longrightarrow f(x)>K{bigg ]}}
![forall K>0quad exists delta >0quad forall xquad {bigg [}0<|x-c|<delta Longrightarrow f(x)>K{bigg ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6dd7edb2f624c897206dd54c536d68fc378294a)
逆に、x → c のとき、f(x) の値が限りなく小さくなることを、「x が c に限りなく近づくとき関数 f(x) は負の無限大に発散する」といい、
limx→cf(x)=−∞{displaystyle lim _{xto c}f(x)=-infty }
または
f(x)→−∞(x→c){displaystyle f(x)to -infty quad (xto c)}
と表す。これは次のように厳密に定義される。
∀K<0∃δ>0∀x[0<|x−c|<δ⟹f(x)<K].{displaystyle forall K<0quad exists delta >0quad forall xquad {bigg [}0<|x-c|<delta Longrightarrow f(x)<K{bigg ]}.}
![{displaystyle forall K<0quad exists delta >0quad forall xquad {bigg [}0<|x-c|<delta Longrightarrow f(x)<K{bigg ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e431593d863f19a00173ce733f5d46396a666d68)
連続な実関数 f(x) が x → c とする極限において発散するならば、f(x) は x = c において定義できない。なぜなら、定義されていたとすると x = c は不連続点となるからである。
無限遠点における挙動
一般には x がある有限の値に近づくときを考えることが多いが、x が正か負の無限に近づくときの関数の極限を定義することもできる。
ある無限区間 (a,∞){displaystyle (a,infty )}
limx→∞f(x)=L{displaystyle lim _{xto infty }f(x)=L}
または
f(x)→L(x→∞){displaystyle f(x)rightarrow Lquad (xrightarrow infty )}
と表す。
これは次のように定義される。
∀ϵ>0∃X>0∀x[x>X⟹|f(x)−L|<ϵ].{displaystyle forall epsilon >0quad exists X>0quad forall xquad {bigg [}x>XLongrightarrow |f(x)-L|<epsilon {bigg ]}.}
![{displaystyle forall epsilon >0quad exists X>0quad forall xquad {bigg [}x>XLongrightarrow |f(x)-L|<epsilon {bigg ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7c7b1a302ed5352bff1dd42b93986b30f555620)
例えば、 f(x)=2x/(x+1){displaystyle f(x)=2x/(x+1)}
- f(100)=1.9802{displaystyle f(100)=1.9802}
- f(1000)=1.9980{displaystyle f(1000)=1.9980}
- f(10000)=1.9998{displaystyle f(10000)=1.9998}
x が十分大きくなるにつれて、f(x) は 2 に近づく。このとき、 limx→∞f(x)=2{displaystyle lim _{xto infty }f(x)=2}
また、ある無限区間 (−∞,a){displaystyle (-infty ,a)}
limx→−∞f(x)=L{displaystyle lim _{xto -infty }f(x)=L}
または
f(x)→L(x→−∞){displaystyle f(x)rightarrow Lquad (xrightarrow -infty )}
と表す。
これは次のように定義される。
∀ϵ>0∃X<0∀x[x<X⟹|f(x)−L|<ϵ].{displaystyle forall epsilon >0quad exists X<0quad forall xquad {bigg [}x<XLongrightarrow |f(x)-L|<epsilon {bigg ]}.}
![{displaystyle forall epsilon >0quad exists X<0quad forall xquad {bigg [}x<XLongrightarrow |f(x)-L|<epsilon {bigg ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6635eeb694808091c53527aafe8ec26568a1fc8c)
関数の無限における極限においても、関数の発散を考えることができる。
ある無限区間 (a,∞){displaystyle (a,infty )}
limx→∞f(x)=∞{displaystyle lim _{xto infty }f(x)=infty }
または
f(x)→∞(x→∞){displaystyle f(x)rightarrow infty quad (xrightarrow infty )}
と表す。
これは次のように定義される。
∀K>0∃X>0∀x[x>X⟹f(x)>K].{displaystyle forall K>0quad exists X>0quad forall xquad {bigg [}x>XLongrightarrow f(x)>K{bigg ]}.}
![{displaystyle forall K>0quad exists X>0quad forall xquad {bigg [}x>XLongrightarrow f(x)>K{bigg ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87d1b907acf6673b8a8de33f60d07ab48eb76b26)
また、ある無限区間(−∞,a){displaystyle (-infty ,a)}
limx→−∞f(x)=∞{displaystyle lim _{xto -infty }f(x)=infty }
または
f(x)→∞(x→−∞){displaystyle f(x)rightarrow infty quad (xrightarrow -infty )}
と表す。
これは次のように定義される。
∀K>0∃X<0∀x[x<X⟹f(x)>K].{displaystyle forall K>0quad exists X<0quad forall xquad {bigg [}x<XLongrightarrow f(x)>K{bigg ]}.}
![{displaystyle forall K>0quad exists X<0quad forall xquad {bigg [}x<XLongrightarrow f(x)>K{bigg ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/710cc6b9ca6a70c81b3b286dae51f9b4e8c9c33e)
同様に、x→∞{displaystyle xrightarrow infty }
x→∞{displaystyle xrightarrow infty }
関数列の収束
I⊂R,fn,f:I→R{displaystyle Isubset mathbb {R} ,;f_{n},fcolon Irightarrow mathbb {R} }
{fn} が f に I 上各点収束するとは、
∀ϵ>0∀x∈I∃n0∈N∀n∈N[n≥n0⇒|fn(x)−f(x)|<ϵ]{displaystyle forall epsilon >0quad forall xin Iquad exists n_{0}in mathbb {N} quad forall nin mathbb {N} quad {bigg [}ngeq n_{0}Rightarrow |f_{n}(x)-f(x)|<epsilon {bigg ]}}
![forall epsilon >0quad forall xin Iquad exists n_{0}in {mathbb {N}}quad forall nin {mathbb {N}}quad {bigg [}ngeq n_{0}Rightarrow |f_{n}(x)-f(x)|<epsilon {bigg ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1120e30f808c30f24e7fd8a428aa9a5584683ae)
が成り立つことである。これは、
各 x∈I{displaystyle xin I}
と同値である。これを各点収束の定義とすることもある。
{fn} が f に I 上一様収束するとは、
∀ϵ>0∃n0∈N∀x∈I∀n∈N[n≥n0⇒|fn(x)−f(x)|<ϵ]{displaystyle forall epsilon >0quad exists n_{0}in mathbb {N} quad forall xin Iquad forall nin mathbb {N} quad {bigg [}ngeq n_{0}Rightarrow |f_{n}(x)-f(x)|<epsilon {bigg ]}}
![forall epsilon >0quad exists n_{0}in {mathbb {N}}quad forall xin Iquad forall nin {mathbb {N}}quad {bigg [}ngeq n_{0}Rightarrow |f_{n}(x)-f(x)|<epsilon {bigg ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49ff52e6b899ed5fcd4e44d291f0f862c70a5f6c)
が成り立つことである。これは、
‖fn−f‖∞:=supx∈I|fn(x)−f(x)|→0(n→∞){displaystyle |f_{n}-f|_{infty }:=sup _{xin I}|f_{n}(x)-f(x)|rightarrow 0quad (nrightarrow infty )}
と同値である。上で定義したノルムをスープノルム（または無限大ノルム、上限ノルム）と言う。スープノルムの収束をもって一様収束を定義することもある。
また、区間 I の任意のコンパクト集合上一様収束することを広義一様収束という。I の任意の有界閉区間上一様収束することを広義一様収束ということもある。
定義より、「fn が I 上一様収束⇒fn が I 上各点収束」が成り立つ（逆は必ずしも成り立たない）。関数の一様収束性は、lim と ∫ の順序交換や、函数項級数の項別積分や項別微分の可能性を保証する（逆に言えば、一様収束が保証されていない段階では、勝手に lim と ∫ の順序を交換したりなどしてはいけない）。
関数の一様収束性を証明するには、上のようにスープノルムの収束を示すのが一般的である。関数項級数の一様収束性ではワイエルシュトラスのM判定法も用いられる。
位相空間
点列の収束の概念は、一般の位相空間においても収束先の近傍系をもちいて定式化される。しかし、一般的な位相空間の位相構造は、どんな点列が収束しているかという条件によって特徴付けできるとは限らない。そこで、ネットやフィルターといった、点列を拡張した構成とその収束の概念が必要になる。任意の位相空間 X に対し、X 上で収束している（収束先の情報も込めた）フィルターの全体 CN(X) や、あるいは収束しているフィルターの全体 CF(X) を考えると、これらからは X の位相が復元できる。
圏論
圏 C における図式を「添字圏」 J から C への関手と見なすことにする。特定の図式に対応する関手が与えられたとき、C の対象 X と射の族 (φi: X → Fi)i∈Obj(J) に対して次のような条件を考えることができる：
J の任意の射 j について F(j) φi0 = φi1 が成り立つ。ここで i0 = dom j、i1 = ran j である。
C の任意の対象 Y と射の族 (φi: X → Fi)i∈Obj(J) で、1. と同様の条件を満たすものについて射 g: Y → X で φig = ψi (i ∈ Obj(J))を満たすものが一意的に存在する。
このような条件を満たす X （と族 φi）のことを F が表す図式の極限（あるいは射影極限、逆極限）とよぶ。極限の満たす普遍性により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。
極限の典型的な例として、対象の族 (Xi)i∈I の直積 ∏iXi や二つの射 f, g: X → Y の等化射があげられる。特定の形 J の図式について必ず C における極限が存在するとき、図式から極限への対応は図式圏 CJ への対角関手 Δ C → CJ に対する右随伴関手としてとらえることができる。
この双対概念は余極限（あるいは帰納極限や順極限）と呼ばれる。
関連項目
- 片側極限
- 極限の一覧
