極限

出典: フリー百科事典『ウィキペディア（Wikipedia）』

極限(きょくげん)とは、あるものに限りなく近付くさま。物事の果て。

数学においては、数列や数についての極限をよく考える。数列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。

目次 1 一般的な式 2 数列の極限 2.1 数列の収束 2.2 極限値の性質 2.3 数列の発散 2.4 点列 3 関数 3.1 関数の点での極限 3.2 関数の無限での極限 4 関数列の収束 5 位相空間 6 圏論 7 関連項目

[編集] 一般的な式

極限を表すために、次のような lim という記号を使う。

• <math>\lim_{n \to \infty}x_n</math>
• <math>\lim_{x \to 0}\frac{\;\sin x\;}{x}=1</math>

[編集] 数列の極限

数列に於いて、項が進むにつれてある1つの値に限りなく近づいていくことを収束するという。近づいていった先の点のことを極限という。収束しない数列は正の無限大に発散するもの、負の無限大に発散するものと振動する（値が一定しない）ものに分かれる。

[編集] 数列の収束

例えば、1, 1/2, 1/3, 1/4, 1/5, ..., 1/n, ...という数列を考えよう。この数列の項はnが大きくなるにつれてどこまでも0に近くなっていくので、0に収束すると考えられる。このことを

<math>\lim_{n \to \infin}{1 \over n} = 0</math>

あるいは

<math>{1 \over n} \to 0 \quad (n\to\infty)</math>

と書く。

カール・ワイエルシュトラスは「限りなく近づく」という表現によらずにイプシロン-デルタ論法を用いて厳密に収束を定義した。 これによれば、数列<math>\{a_n\}</math>がある値<math>\alpha</math>に収束するとは、次のようなことを言う。

<math>\forall \varepsilon>0 \;\exists n_0\; \textrm{ s.t. }\; \bigg[n>n_0\Longrightarrow |a_n - \alpha|<\epsilon\bigg]</math>

このことを用いると、a_n=1/nの極限値が0であることは以下のように証明できる。

(証明)

自然数は上に有界でないので、

<math>\forall \epsilon>0 \;\exist n_0\; \textrm{s.t.}\; \left[n>n_0\Longrightarrow n>\frac{1}{\epsilon}\right]</math>

従って

<math>\left|\frac{1}{n}-0\right|=\frac{1}{n}<\epsilon\ (n>n_0)\Longleftrightarrow \lim_{n\to\infty}\frac{1}{n}=0</math>

[編集] 極限値の性質

1. 数列が収束するとき、その極限値はただ一つに限る。すなわち

<math>\lim_{n\to\infty}a_n=\alpha, \lim_{n\to\infty}a_n=\beta \Longrightarrow \alpha=\beta</math>

2. 数列の有限個の項を削除、追加あるいは値を変えて新たな数列を得たとしたとき、これらは一方が収束すれば他方も収束し極限値も等しい。

3. 収束する数列は数の集合として有界である。すなわち

<math>\lim_{n\to\infty}a_n=\alpha\Longrightarrow \exist K\ \textrm{s.t.}\ |a_n|<K</math>

4.

<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>

また

<math>\forall n\; a_n < b_n,\; \lim_{n\to\infty}a_n=\alpha,\; \lim_{n\to\infty}b_n=\beta \Longrightarrow \alpha \le \beta</math>

[編集] 数列の発散

数列が収束しないとき、その数列は発散するという。 特に、項数nを限りなく大きくしていくとき、数列の項の値a_nが限りなく大きくなることを、数列{a_n}は正の無限大に発散するといい、次のようにあらわす

<math>\lim_{n\to\infty}a_n=\infty</math>

または

<math>a_n\rightarrow\infty\; (n\rightarrow\infty)</math>

数列の正の無限大への発散は、厳密には次のように定義される。

<math>\forall K \; \exist n_0\; \textrm{s.t.}\; \bigg[n>n_0 \Longrightarrow a_n > K\bigg]</math>

また、項数nを限りなく大きくしていくとき、数列の項の値a_nが限りなく小さくなることを、数列{a_n}は負の無限大に発散するといい、次のようにあらわす

<math>\lim_{n\to\infty}a_n=-\infty</math>

または

<math>a_n\rightarrow -\infty\; (n\rightarrow\infty)</math>

数列の負の無限大への発散は、厳密には次のように定義される。

<math>\forall K \; \exist n_0\; \textrm{s.t.}\; \bigg[n>n_0 \Longrightarrow a_n < K\bigg]</math>

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

[編集] 点列

[編集] 関数

[編集] 関数の点での極限

<math>f(x)</math> を実関数とし，<math>c</math> を実数とする。 式

<math> \lim_{x \to c}f(x) = L </math>

または

<math>f(x) \rightarrow L \quad (x \rightarrow c)</math>

は　<math>x</math>　の値を <math>c</math> に十分に近づければ，<math>f(x)</math> の値を <math>L</math> に近づけたいだけ近づけることができることを意味する。 このとき，「<math>x</math> を <math>c</math> に近づけたときの <math>f(x)</math> の極限は <math>L</math> である。」という。

これはイプシロン-デルタ論法により次のよう厳密に定義される。

<math>\forall \epsilon>0 \quad \exist \delta>0 \quad \textrm{s.t.}\quad \bigg[ 0<|x-c|<\delta \Longrightarrow |f(x)-L|<\epsilon \bigg]</math>

このことは <math>f(c) \neq L</math> であるときも成り立つことがあることを注意する。 実は，関数 <math>f(x)</math> が <math>c</math> で定義されている必要もないのである。

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

<math>x</math> が <math>2</math> に近づくときの <math>f(x)=x/(x^2+1)</math> の値を考える。 この場合，<math>f(x)</math> は <math>x</math> が <math>2</math> のときに定義されており，値は <math>0.4</math> である。

• <math>f(1.9)=0.4121</math>
• <math>f(1.99)=0.4012</math>
• <math>f(1.999)=0.4001</math>

<math>x</math> が 2 に近づくにつれて <math>f(x)</math> が <math>0.4</math> に近づくので，したがって <math>\lim_{x\to 2}f(x)=0.4</math> である。 このように <math>f(c) = \lim_{x\to c} f(x)</math> であるとき，<math>f(x)</math> は <math>x=c</math> で連続であるという。 しかしこのようなことが常に成り立つとは限らない。

例として，

<math>g(x)=\begin{cases} \frac{x}{x^2+1}, & \mbox{if }x\ne 2 \\ 0, & \mbox{if }x=2 \end{cases}</math>

を考える。 <math>x</math> が <math>2</math> に近づくときの <math>g(x)</math> の極限は <math>0.4</math> であるが，<math>\lim_{x\to 2}g(x)\neq g(2)</math> である。このとき <math>g(x)</math> は <math>x=2</math> で連続でないという。

また、<math>x\rightarrow c</math>のとき、f(x)の値が限りなく大きくなることを、「xがcに限りなく近づくとき関数f(x)は正の無限大に発散する」といい、

<math>\lim_{x\to c}f(x)=\infty</math>

または

<math>f(x)\rightarrow \infty\quad (x\rightarrow c)</math>

と表す。

このことは次のように厳密に定義される。

<math>\forall K \quad \exist \delta>0 \quad \textrm{s.t.} \quad \bigg[0<|x-c|<\delta \Longrightarrow f(x)>K \bigg]</math>

逆に、<math>x\rightarrow c</math>のとき、f(x)の値が限りなく小さくなることを、「xがcに限りなく近づくとき関数f(x)は負の無限大に発散する」といい、

<math>\lim_{x\to c}f(x)=-\infty</math>

または

<math>f(x)\rightarrow -\infty\quad (x\rightarrow c)</math>

と表す。

これは次のように厳密に定義される。

<math>\forall K \quad \exist \delta>0 \quad \textrm{s.t.} \quad \bigg[0<|x-c|<\delta \Longrightarrow f(x)<K \bigg]</math>

どちらの無限大への発散も、関数f(x)がx=cにおいて定義できない関数においてのみ生じる。

[編集] 関数の無限での極限

一般には <math>x</math> がある有限の値に近づくときを考えることが多いが， <math>x</math> が正か負の無限に近づくときの関数の極限を定義することもできる。

ある無限区間<math>(a,\infty)</math>(もしくは<math>[a,\infty)</math>や<math>(-\infty,\infty)</math>でもよい)で定義される関数f(x)において、xが限りなく大きくなると関数f(x)の値がある値Lに近づくとき、「xが限りなく大きくなるときf(x)はLに収束する」といい、

<math>\lim_{x\to\infty}f(x)=L</math>

または

<math>f(x)\rightarrow L\quad (x\rightarrow\infty)</math>

と表す。

これは次のように定義される。

<math>\forall \epsilon>0 \quad \exist X \quad \textrm{s.t.} \quad \bigg[x>X \Longrightarrow |f(x)-L|<\epsilon \bigg]</math>

例えば， <math>f(x) = 2x/(x + 1)</math> を考える。

• <math>f(100) = 1.9802</math>
• <math>f(1000) = 1.9980</math>
• <math>f(10000) = 1.9998</math>

x が十分大きくなるにつれて，<math>f(x)</math> は <math>2</math> に近づく。 このとき， <math> \lim_{x \to \infty} f(x) = 2 </math> と表す。

また、ある無限区間<math>(-\infty,a)</math>(もしくは<math>(-\infty),a]</math>や<math>(-\infty,\infty)</math>でもよい)で定義される関数f(x)において、xが限りなく小さくなると関数f(x)の値がある値Lに近づくとき、「xが限りなく小さくなるときf(x)はLに収束する」といい、

<math>\lim_{x\to -\infty}f(x)=L</math>

または

<math>f(x)\rightarrow L\quad (x\rightarrow -\infty)</math>

と表す。

これは次のように定義される。

<math>\forall \epsilon>0 \quad \exist X \quad \textrm{s.t.} \quad \bigg[x<X \Longrightarrow |f(x)-L|<\epsilon \bigg]</math>

関数の無限における極限においても、もちろん関数の発散を考えることができる。

ある無限区間<math>(a,\infty)</math>(もしくは<math>[a,\infty)</math>や<math>(-\infty,\infty)</math>でもよい)で定義される関数f(x)において、xが限りなく大きくなると関数f(x)の値も限りなく大きくなるとき、「xが限りなく大きくなるときf(x)は正の無限大に発散する」といい、

<math>\lim_{x\to\infty}f(x)=\infty</math>

または

<math>f(x)\rightarrow \infty \quad (x\rightarrow\infty)</math>

と表す。

これは次のように定義される。

<math>\forall K \quad \exist X \quad \textrm{s.t.} \quad \bigg[x>X \Longrightarrow f(x)>K \bigg]</math>

また、ある無限区間<math>(-\infty,a)</math>(もしくは<math>(-\infty),a]</math>や<math>(-\infty,\infty)</math>でもよい)で定義される関数f(x)において、xが限りなく小さくなると関数f(x)の値が限りなく大きくなるとき、「xが限りなく小さくなるときf(x)は正の無限大に発散する」といい、

<math>\lim_{x\to -\infty}f(x)=\infty</math>

または

<math>f(x)\rightarrow \infty \quad (x\rightarrow -\infty)</math>

と表す。

これは次のように定義される。

<math>\forall K \quad \exist X \quad \textrm{s.t.} \quad \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>において、関数f(x)が収束もせず、また正の無限大にも負の無限大にも発散しない場合、その関数は数列と同様に「振動する」という。

[編集] 関数列の収束

<math>I \sub \mathbb{R}</math>　<math>f_n,f:I \rightarrow \mathbb{R}</math> とする。

{f_n} が f に I 上各点収束するとは、

<math>\forall \epsilon >0 \quad \forall x \in I \quad \exist n_0 \in \mathbb{N} \quad s.t. \quad n \ge n_0 \Rightarrow |f_n(x) - f(x)|< \epsilon</math>

が成り立つことである。これは、

各 <math>x \in I</math> に対して、 <math>|f_n(x)-f(x)| \rightarrow 0 \quad (n \rightarrow \infty )</math>

と同値である（これを各点収束の定義とすることもある）。

{f_n} が f に I 上一様収束するとは、

<math>\forall \epsilon >0 \quad \exist n_0 \in \mathbb{N} \quad \forall x \in I \quad s.t. \quad n \ge n_0 \Rightarrow |f_n(x) - f(x)|< \epsilon</math>

が成り立つことである。これは、

<math>\| f_n-f \|_{\infty} := \sup_{x \in I} |f_n(x)-f(x)| \rightarrow 0 \quad (n \rightarrow \infty )</math>

と同値である（上で定義したノルムをスープノルムと言う。スープノルムの収束をもって一様収束を定義することもある）。

また、区間 I の任意のコンパクト集合（有界閉区間）上一様収束することを広義一様収束という。

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

関数の一様収束性を証明するには、上のようにスープノルムの収束を示すのが一般的である。関数項級数の一様収束性では、WeierstrassのMテストも用いられる。

[編集] 位相空間

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

[編集] 圏論

圏 C における図式を「添字圏」 J から C への関手と見なすことにする。特定の図式に対応する関手が与えられたとき、Cの対象Xと射の族 (φ_i: X → Fi)_{i ∈ Obj(J)}に対して次のような条件を考えることができる：

1. Jの任意の射jについてFj &circle; φ_i0 = φ_{i1が成り立つ。ここで}i₀ = dom j i₁ = ran jである。
2. Cの任意の対象Yと射の族(φ_i: X → Fi)_{i ∈ Obj(J)}で、1. と同様の条件を満たすものについて射g: Y → Xでφ_i g = ψ_i (i ∈ Obj(J))を満たすものが一意的に存在する

このような条件を満たす X （と族 φ_i）のことを F が表す図式の極限とよぶ。極限の満たす普遍性により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。

極限の典型的な例として、対象の族 (X_i)_{i ∈ I} の直積 ∏_i X_iや二つの射 f, g: X → Yの等化射 (equalizer) があげられる。特定の形 J の図式について必ずC における極限が存在するとき、図式から極限への対応は図式圏 C^J への対角埋め込み関手 Δ C → C^Jに対する右随伴関手としてとらえることができる。

これを射影的極限や逆極限とも呼ぶ。

[編集] 関連項目

• 極限表