極限のソースを表示

{{Otheruses|数学|その他|リミット}}
{{出典の明記|date=2015-10}}
[[数学]]においては、[[数列]]など、ある種の数学的対象をひとまとまりに並べて考えたものについての'''極限'''（きょくげん、{{lang-en-short|''limit''}}）がしばしば考察される。直感的には、数の列がある値に限りなく近づくとき、その値のことを数列の'''極限'''あるいは'''極限値'''といい、この数列は'''収束する'''という。収束せず正の無限大、負の無限大、振動することを'''発散する'''という。

極限を表す記号として、lim ({{lang-en|limit}}, リミット、{{lang-la|limes}})という記号が一般的に用いられる。例えば次のように使う:
*<math>\lim_{n \to \infty}x_n</math>
*<math>\lim_{x \to 0}\frac{\sin x}{x}=1</math>

== 数列の極限 ==
{{main|数列の極限}}
{{see also|収束級数}}
[[実数]]の[[数列]]が'''収束する''' ({{lang|en|converge}}) あるいは'''有限の極限を持つ'''若しくは'''極限が有限確定である'''とは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。このとき確定する値をその数列の'''極限値'''という。収束しない数列は'''発散する'''({{lang|en|diverge}})といい、それらはさらに極限を持つものと持たないものに分かれる。発散する数列のうち極限を持つものには、'''正の無限大に発散する'''ものと'''負の無限大に発散する'''ものがあり、極限が確定しないものは'''振動する'''({{lang|en|oscillate}})という。

=== 数列の収束 ===
[[自然数]]の[[逆数]]の列 {{math2|1, {{sfrac|1|2}}, {{sfrac|1|3}}, …, {{sfrac|1|''n''}}, …}} を考えると、{{mvar|n}} を限りなく大きくしていくと一般項 {{math|{{sfrac|1|''n''}}}} は限りなく {{math|0}} に近づいていく。このときこの数列は {{math|0}} に収束するといい、このことを
:<math>\lim_{n \to \infty} \frac{1}{n} = 0</math>
あるいは
:<math>\frac{1}{n} \to 0 \quad (n\to\infty)</math>
と書く。

[[カール・ワイエルシュトラス]]は「限りなく近づく」という曖昧な表現は使わず、[[イプシロン-デルタ論法]]を用いて厳密に収束を定義した。これによれば、数列 {{math|{{mset|''a{{sub|n}}''}}}} がある一定の値 {{mvar|α}} に収束するとは、次が成り立つことである（この場合はイプシロン-エヌ論法とも言う）:
:<math>\forall \varepsilon >0, \exists n_0 \in \mathbb{N}\text{ s.t. } \forall n \in \mathbb{N} \left[n>n_0 \Rightarrow |a_n - \alpha|< \varepsilon \right]</math>
:（どんなに小さな正の数 {{mvar|ε}} をとっても、その {{mvar|ε}} に対して適切な番号 {{math|''n''{{sub|0}}}} を十分大きく定めれば、{{math|''n''{{sub|0}}}} より先の番号 {{mvar|n}} に対する {{mvar|a{{sub|n}}}} は {{mvar|α}} から {{mvar|ε}} ほども離れない範囲に全部入るようにすることができる）
これを用いると、{{math2|1=''a{{sub|n}}'' = {{sfrac|1|''n''}}}} の極限値は {{math|0}} であることを以下のようにして示すことができる。
<div style="margin:1ex 0 1em 2em">
（証明）<div style="text-indent:1em">自然数は上に[[有界]]でない（[[アルキメデスの性質]]）から、<div style="text-indent:1em"><math>\forall \varepsilon >0, \exist n_0; \forall n \left[n>n_0\Longrightarrow n>\frac{1}{\varepsilon}\right] .</math></div>従って<div style="text-indent:1em"><math>\left|\frac{1}{n}-0\right|=\frac{1}{n}<\varepsilon\ (n>n_0)\Longleftrightarrow \lim_{n\to\infty}\frac{1}{n}=0 .\;\;\mbox{□}</math></div></div>
</div>

=== 極限値の性質 ===
* 数列が収束するとき、その極限値はただ一つに限る。
*:<math>\lim_{n\to\infty} a_n =\alpha, \lim_{n\to\infty} a_n =\beta \Longrightarrow \alpha=\beta</math>
* 収束する数列から項を有限個取り除いても、得られた数列は同じ値に収束する。
* 収束する数列は数の集合として有界である。
*:<math>\lim_{n\to\infty} a_n=\alpha \Longrightarrow \exist K>0; \forall n \; |a_n|<K</math>
*<math>\forall n\; a_n \le b_n,\; \lim_{n\to\infty} a_n =\alpha,\; \lim_{n\to\infty} b_n=\beta \Longrightarrow \alpha \le \beta</math>

=== 数列の発散 ===
数列が収束しないとき、その数列は'''発散する'''という。特に、番号 {{mvar|n}} を限りなく大きくしていくとき、数列の項の値 {{mvar|a{{sub|n}}}} が限りなく大きくなることを、数列 {{math|{{mset|''a{{sub|n}}''}}}} は'''正の無限大に発散する'''といい、
:<math>\lim_{n\to\infty}a_n=\infty</math>
または
:<math>a_n\to\infty\; (n\to\infty)</math>
のように表す。イプシロン-エヌ論法では、数列の正の無限大への発散は、
:<math>\forall K>0, \exist n_0 \in \mathbb{N}; \forall n \in \mathbb{N}\;\bigg[n>n_0 \Longrightarrow a_n > K\bigg]</math>
のように定式化される。

また、番号 {{mvar|n}} を限りなく大きくしていくとき、数列の項の値 {{mvar|a{{sub|n}}}} が限りなく小さくなることを、数列 {{math|{{mset|''a{{sub|n}}''}}}} は'''負の無限大に発散する'''といい、
:<math>\lim_{n\to\infty}a_n=-\infty</math>
または、
:<math>a_n\to -\infty\; (n\to\infty)</math>
と表す。数列 {{math|{{mset|''a{{sub|n}}''}}}} が負の無限大へ発散することは、各項 {{mvar|a{{sub|n}}}} を[[反数]]にした数列 {{math2|1={{mset|''b{{sub|n}}''}} (''b{{sub|n}}'' = &minus;''a{{sub|n}}'', ''n'' = 1, 2, 3, …)}} が正の無限大に発散することと[[同値]]である。あるいは絶対値をとって得られる数列 {{math2|{{mset|''c{{sub|n}}''}} (''c{{sub|n}}'' = {{abs|''a{{sub|n}}''}}, ''n'' = 1, 2, …)}} が正の無限大に発散すると言っても同じである。イプシロン-エヌ論法では、
:<math>\forall K<0, \exist n_0 \in \mathbb{N}; \; \forall n \in \mathbb{N}\; \bigg[n>n_0 \Longrightarrow a_n < K\bigg]</math>
となる。

数列が収束せず、また正の無限大にも負の無限大にも発散しない場合、その数列は'''振動する'''という。振動も発散の一種である。

=== 様々な極限 ===
{{Main|上極限と下極限}}
実数の列 <math>\left(x_n\right)_n</math> がある数 <math>R</math> について <math>R<x_n</math> を満たしているとき（数列 <math>\left(x_n\right)_n</math> が下に有界なとき）、 <math>\left(x_n\right)_n</math> の'''下極限'''と呼ばれる数
:<math>\varliminf_{n\to\infty}x_n</math>
を定めることができる。同様にして、上に有界な数列に対しその'''上極限''' 
:<math>\varlimsup_{n\to\infty}x_n</math>
が定義される。

（<math>\varlimsup</math> を <math>\limsup</math>、<math>\varliminf</math> を <math>\liminf</math> と記しても同じ意味である）

数列 <math>\left(x_n\right)_n</math>  が極限を持つのは <math>\textstyle\varliminf\limits_{n\to\infty}x_n = \varlimsup\limits_{n\to\infty}x_n</math> となる場合であり、このとき
:<math>\lim_{n\to\infty} x_n = \varliminf_{n\to\infty}x_n = \varlimsup_{n\to\infty}x_n</math>
となる。さらに、有界な数列のなす[[ベクトル空間]] <math>l_{\infty}\mathbf{N}</math>  に対して抽象的な関数解析の構成を適用し、任意の有界な数列 <math>\left( x_n\right)_n</math>に対して[[バナッハ極限]]と呼ばれる数 <math>{\mathrm{LIM}} \; x_n</math> を、古典的な極限の拡張となるように定めることができる。

=== 点列 ===
[[ユークリッド空間]]のように、[[距離函数]] {{mvar|d}} の定まった空間における点の列についての収束の概念を、実数の列の収束の概念を拡張して定めることができる。すなわち、点列 {{math|(''x{{sub|n}}''){{sub|''n''}}}} が点 {{mvar|y}} に収束するとは、正の実数列 {{math|(''d''(''x{{sub|n}}'', ''y'')){{sub|''n''}}}} が {{math|0}} に収束することである。この概念をさらに一般化して、自然数によって数え上げられるとは限らない「列」とその収束性を一般の[[位相空間]]に対して定式化することができる。（[[#位相空間]]を参照のこと）

距離 {{mvar|d}} に関する極限であることを明示するために lim の代わりに ''d''-lim などと書くこともある。

== 関数 ==
{{main|関数の極限}}
=== 変数の収束に伴う関数の挙動 ===
{{math|''f''(''x'')}} を実関数とし、{{mvar|c}} を実数とする。式
:<math> \lim_{x \to c}f(x) = L </math>
または
:<math>f(x) \rightarrow L \quad (x \rightarrow c)</math>
とは、{{mvar|x}} の値を {{mvar|c}} に“十分に近づければ”{{math|''f''(''x'')}} の値を {{mvar|L}} に望む限りいくらでも近づけることができることを意味する。このとき「{{mvar|x}} を ''c'' に近づけたとき {{math|''f''(''x'')}} の極限は {{mvar|L}} である」という。これは[[イプシロン-デルタ論法]]により
:<math>\forall \varepsilon >0,\; \exist \delta>0; \; \forall x \; \bigg[ 0<|x-c|<\delta \Longrightarrow |f(x)-L|<\varepsilon \bigg]</math>
という形で厳密に定義される。このとき、この極限と関数 {{math|''f''(''x'')}} の {{math2|''x'' {{=}} ''c''}} における値は無関係であり、{{math2|''f''(''c'') ≠ ''L''}} であることもあれば、{{mvar|f}} が {{mvar|c}} において定義されている必要もないのである。

このことを理解するために次の例を挙げる。

{{mvar|x}} が {{math|2}} に近づくときの {{math|1=''f''(''x'') = ''x''/(''x''{{sup|2}} + 1)}} の値を考える。この場合、{{math|''f''(''x'')}} は {{mvar|x}} が {{math|2}} のときに定義されており、値は {{math|0.4}} である。
* <math>f(1.9)=0.4121</math>
* <math>f(1.99)=0.4012</math>
* <math>f(1.999)=0.4001</math>
{{mvar|x}} が {{math|2}} に近づくにつれて {{math|''f''(''x'')}} が {{math|0.4}} に近づいていく。したがって、 <math>\lim_{x\to 2}f(x)=0.4</math> である。このように <math>f(c) = \lim_{x\to c} f(x)</math> であるとき、{{math|''f''(''x'')}} は {{math|1=''x'' = ''c''}} で[[連続 (数学)|連続]]であるという。しかし、このようなことが常に成り立つとは限らない。 

例として、
:<math>g(x)=\begin{cases}
\dfrac{x}{x^2+1}, & \mbox{if }x\ne 2 \\
0, & \mbox{if }x=2
\end{cases}</math>
を考える。{{mvar|x}} が {{math|2}} に近づくときの {{math|''g''(''x'')}} の極限は {{math|0.4}} であるが、<math>\lim_{x\to 2}g(x)\neq g(2)</math> である。このとき {{math|''g''(''x'')}} は {{math|1=''x'' = 2}} で連続でないという。

また、{{math|''x'' → ''c''}} のとき、{{math|''f''(''x'')}} の値が限りなく大きくなることを、「{{mvar|x}} が {{mvar|c}} に限りなく近づくとき関数 {{math|''f''(''x'')}} は正の無限大に発散する」といい、
:<math>\lim_{x\to c}f(x)=\infty</math>
または、
:<math>f(x)\to \infty\quad (x\to c)</math>
と表す。このことは次のように厳密に定義される。
:<math>\forall K >0, \exist \delta>0; \; \forall x \; \bigg[0<|x-c|<\delta \Longrightarrow f(x)>K \bigg]</math>
逆に、{{math2|''x'' → ''c''}} のとき、{{math|''f''(''x'')}} の値が限りなく小さくなることを、「{{mvar|x}} が {{mvar|c}} に限りなく近づくとき関数 {{math|''f''(''x'')}} は負の無限大に発散する」といい、
:<math>\lim_{x\to c}f(x)=-\infty</math>
または、
:<math>f(x)\to -\infty\quad (x\to c)</math>
と表す。これは次のように厳密に定義される。
:<math>\forall K <0, \exist \delta>0; \; \forall x \; \bigg[0<|x-c|<\delta \Longrightarrow f(x)<K \bigg]</math>
連続な実関数 {{math|''f''(''x'')}} が {{math|''x'' → ''c''}} とする極限において発散するならば、{{math|''f''(''x'')}} は {{math2|''x'' {{=}} ''c''}} において定義できない。なぜなら、定義されていたとすると {{math2|''x'' {{=}} ''c''}} は不連続点となるからである。

=== 無限遠点における挙動 ===
一般には {{mvar|x}} がある有限の値に近づくときを考えることが多いが、{{mvar|x}} が正か負の[[無限]]に近づくときの関数の極限を定義することもできる。

ある無限区間 {{math|(''a'', ∞)}}（を含む集合）で定義される関数 {{math|''f''(''x'')}} において、{{mvar|x}} が限りなく大きくなると関数 {{math|''f''(''x'')}} の値がある値 {{mvar|L}} に近づくとき、「{{mvar|x}} が限りなく大きくなるとき {{math|''f''(''x'')}} は {{mvar|L}} に収束する」といい、
:<math>\lim_{x\to\infty}f(x)=L</math>
または、
:<math>f(x)\rightarrow L\quad (x\rightarrow\infty)</math>
と表す。

これは次のように定義される。
:<math>\forall \varepsilon>0,\; \exist X>0; \; \forall x \; \bigg[x>X \Longrightarrow |f(x)-L|<\varepsilon \bigg]</math>
例えば、<math>f(x)=\frac{2x}{x+1}</math> を考える。
* <math>f(100) = 1.9802</math>
* <math>f(1000) = 1.9980</math>
* <math>f(10000) = 1.9998</math>
{{mvar|x}} が十分大きくなるにつれて、{{math|''f''(''x'')}} は {{math|2}} に近づく。このとき <math>\lim_{x \to \infty} f(x) = 2</math> と表す。

また、ある無限区間 {{math|(&minus;∞, ''a'')}} で定義される関数 {{math|''f''(''x'')}} において、{{mvar|x}} が限りなく小さくなると関数 {{math|''f''(''x'')}} の値がある値 {{mvar|L}} に近づくとき、「{{mvar|x}} が限りなく小さくなるとき {{math|''f''(''x'')}} は {{mvar|L}} に収束する」といい、
:<math>\lim_{x\to -\infty}f(x)=L</math>
または、
:<math>f(x)\rightarrow L\quad (x\rightarrow -\infty)</math>
と表す。

これは次のように定義される。
:<math>\forall \varepsilon>0, \exist X<0; \forall x \; \bigg[x<X \Longrightarrow |f(x)-L|<\varepsilon \bigg]</math>
関数の無限における極限においても、関数の発散を考えることができる。

ある無限区間 <math>(a,\infty)</math> で定義される関数 {{math|''f''(''x'')}} において、{{mvar|x}} が限りなく大きくなると関数 {{math|''f''(''x'')}} の値も限りなく大きくなるとき、「{{mvar|x}} が限りなく大きくなるとき {{math|''f''(''x'')}} は正の無限大に発散する」といい、
:<math>\lim_{x\to\infty}f(x)=\infty</math>
または、
:<math>f(x)\rightarrow \infty \quad (x\rightarrow\infty)</math>:
と表す。

これは次のように定義される。
:<math>\forall K >0, \exist X>0; \forall x \; \bigg[x>X \Longrightarrow f(x)>K \bigg]</math>
また、ある無限区間 <math>(-\infty,a)</math> で定義される関数 {{math|''f''(''x'')}} において、{{mvar|x}} が限りなく小さくなると関数 {{math|''f''(''x'')}} の値が限りなく大きくなるとき、「{{mvar|x}} が限りなく小さくなるとき {{math|''f''(''x'')}} は正の無限大に発散する」といい、
:<math>\lim_{x\to -\infty}f(x)=\infty</math>
または、
:<math>f(x)\rightarrow \infty \quad (x\rightarrow -\infty)</math>
と表す。

これは次のように定義される。
:<math>\forall K>0, \exist X<0; \forall x \; \bigg[x<X \Longrightarrow f(x)>K \bigg]</math>
同様に、<math>x\rightarrow \infty</math> や <math>x\rightarrow -\infty</math> における負の無限大への発散を定義することができる。

<math>x\rightarrow \infty</math> や <math>x\rightarrow -\infty</math> において、関数 {{math|''f''(''x'')}} が収束もせず、また正の無限大にも負の無限大にも発散しない場合、その関数は数列と同様に振動するという。

== 関数列の収束 ==
<math>I \sub \mathbb{R},\;f_n,f\colon I \rightarrow \mathbb{R}</math> とする。

{{math|{{mset|''f{{sub|n}}''}}}} が {{mvar|f}} に {{mvar|I}} 上'''[[各点収束]]'''するとは、
:<math>\forall \varepsilon >0, \forall x \in I, \exist n_0 \in \mathbb{N}; \forall n \in \mathbb{N} \; \bigg[n \ge n_0 \Rightarrow |f_n(x) - f(x)|< \varepsilon \bigg]</math>
が成り立つことである。これは、
:各 <math>x \in I</math> に対して、<math>|f_n(x)-f(x)| \rightarrow 0 \quad (n \rightarrow \infty )</math>
と[[同値]]である。これを各点収束の定義とすることもある。

{{math|{{mset|''f{{sub|n}}''}}}} が {{mvar|f}}  に {{mvar|I}} 上'''[[一様収束]]'''するとは、次が成り立つことである：
:<math>\forall \varepsilon >0, \exist n_0 \in \mathbb{N}; \forall x \in I, \forall n \in \mathbb{N} \bigg[n \ge n_0 \Rightarrow |f_n(x) - f(x)|< \varepsilon\bigg]</math>
これは、
:<math>\| f_n-f \|_{\infty} := \sup_{x \in I} |f_n(x)-f(x)| \rightarrow 0 \quad (n \rightarrow \infty )</math>
と同値である。上で定義した[[ノルム]]をスープノルム（または無限大ノルム、上限ノルム）と言う。スープノルムの収束をもって一様収束を定義することもある。

また、区間 ''I'' の任意の[[コンパクト空間]]上一様収束することを'''[[コンパクト一様収束]]'''という。''I'' の任意の有界閉区間上一様収束することを広義一様収束ということもある。

定義より、「{{mvar|f{{sub|n}}}} が {{mvar|I}} 上一様収束⇒{{mvar|f{{sub|n}}}} が {{mvar|I}} 上各点収束」が成り立つ（逆は必ずしも成り立たない）。関数の一様収束性は、lim と ∫ の順序交換や、{{ill2|函数項級数|en|Function series}}の項別積分や項別微分の可能性を保証する（逆に言えば、一様収束が保証されていない段階では、勝手に lim と ∫ の順序を交換したりなどしてはいけない）。

関数の一様収束性を証明するには、上のようにスープノルムの収束を示すのが一般的である。関数項級数の一様収束性では[[ワイエルシュトラスのM判定法]]も用いられる。
{{See also|関数空間}}

== 位相空間 ==
点列の収束の概念は、一般の[[位相空間]]においても収束先の近傍系をもちいて定式化される。しかし、一般的な位相空間の位相構造は、どんな点列が収束しているかという条件によって特徴付けできるとは限らない。そこで、[[有向点族]]や[[フィルター (数学)|フィルター]]といった、点列を拡張した構成とその収束の概念が必要になる。任意の位相空間 ''X'' に対し、''X'' 上で収束している（収束先の情報も込めた）フィルターの全体 CN(''X'') や、あるいは収束しているフィルターの全体 CF(''X'') を考えると、これらからは ''X'' の位相が復元できる。

== 圏論 ==
{{main|極限 (圏論)}}
[[圏 (数学)|圏]] ''C'' における[[図式 (圏論)|図式]]を「添字圏」 ''J'' から ''C'' への[[関手]]と見なすことにする。特定の図式に対応する関手が与えられたとき、''C'' の対象 ''X'' と[[射 (圏論)|射]]の[[族 (数学)|族]] (φ{{sub|''i''}}: ''X'' → ''F{{sub|i}}''){{sub|''i''∈Obj(''J'')}} に対して次のような条件を考えることができる：
# ''J'' の任意の射 ''j'' について ''F''(''j'') φ{{sub|''i''{{sub|0}}}} = φ{{sub|''i''{{sub|1}}}} が成り立つ。ここで ''i''{{sub|0}} = dom ''j''、''i''{{sub|1}} = ran ''j'' である。
# ''C'' の任意の対象 ''Y'' と射の族 (φ{{sub|''i''}}: ''X'' → ''F{{sub|i}}''){{sub|''i''∈Obj(''J'')}} で、1. と同様の条件を満たすものについて射 ''g'': ''Y'' → ''X'' で φ{{sub|''i''}} ''g'' = ψ{{sub|''i''}} (''i'' ∈ Obj(''J''))を満たすものが一意的に存在する。
このような条件を満たす ''X''（と族 φ{{sub|''i''}}）のことを ''F'' が表す図式の[[極限 (圏論)|極限]]（あるいは[[射影極限]]、逆極限）と呼ぶ。極限の満たす[[普遍性]]により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。

極限の典型的な例として、対象の族 (''X{{sub|i}}''){{sub|''i''∈''I''}} の[[積 (圏論)|直積]] ∏{{sub|''i''}}< ''X{{sub|i}}'' や二つの射 ''f'', ''g'': ''X'' → ''Y'' の等化射が挙げられる。特定の形 ''J'' の図式について必ず ''C'' における極限が存在するとき、図式から極限への対応は[[関手圏]] ''C{{sup|J}}'' への[[対角射]] ⊿ ''C'' → ''C{{sup|J}}'' に対する[[随伴関手]]としてとらえることができる。

この[[双対 (圏論)|双対]]は[[補有限|補極限]]（あるいは[[帰納極限]]や順極限）と呼ばれる。
{{See also|有向集合}}

== 関連項目 ==
*[[片側極限]]
*[[極限の一覧]]
*[[サイモン・アントワーヌ・ジャン・リュイリエ]] - [[1786年]]に記号として"lim"を初めて使用

{{Analysis-footer}}
{{Normdaten}}
{{DEFAULTSORT:きよくけん}}
[[Category:無限]]
[[Category:極限 (数学)|*]]
[[Category:数学に関する記事]]
[[Category:位相空間論]]
[[Category:位相空間]]