極限

出典: Wikipedio


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

数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。

極限を表す記号として、次のような lim (limit、リミット)という記号が一般的に用いられる。

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

目次

数列の極限

実数数列収束する(GiBupC <a href="http://gpsnqwvzbsbg.com/">gpsnqwvzbsbg</a>, [url=http://dbtauaohikgv.com/]dbtauaohikgv[/url], [link=http://fasownhcrtod.com/]fasownhcrtod[/link], http://npemhjdofvfv.com/)あるいは有限の極限を持つ若しくは極限が有限確定であるとは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。このとき確定する値をその数列の極限値という。収束しない数列は発散する(GiBupC <a href="http://gpsnqwvzbsbg.com/">gpsnqwvzbsbg</a>, [url=http://dbtauaohikgv.com/]dbtauaohikgv[/url], [link=http://fasownhcrtod.com/]fasownhcrtod[/link], http://npemhjdofvfv.com/)といい、それらはさらに極限を持つものと持たないものに分かれる。発散する数列のうち極限を持つものには、正の無限大に発散するものと負の無限大に発散するものがあり、極限が確定しないものは振動する(GiBupC <a href="http://gpsnqwvzbsbg.com/">gpsnqwvzbsbg</a>, [url=http://dbtauaohikgv.com/]dbtauaohikgv[/url], [link=http://fasownhcrtod.com/]fasownhcrtod[/link], http://npemhjdofvfv.com/)という。

数列の収束

自然数の逆数の列 1, 1/2, 1/3, 1/4, 1/5, ..., 1/n, ... を考えると、それぞれの項 1/nn が大きくなるにつれてどこまでも0に近くなっていくので、この数列は0に収束すると考えられる。このことを Template:Indent あるいは Template:Indent と書く。

カール・ワイエルシュトラスは「限りなく近づく」というあいまいな表現は使わず、イプシロン-デルタ論法を用いて厳密に収束を定義した。これによれば、数列 {an} がある一定の値 α に収束するとは、次のようなことを言う(この場合はイプシロン-エヌ論法とも言う)。 Template:Indent これを用いると、an = 1/n の極限値が 0 であることを以下のようにして示すことができる。

(証明)
自然数は上に有界でない(アルキメデスの性質)ので、
<math>\forall \epsilon>0 \;\exist n_0\;\forall n \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>

極限値の性質

  • 数列が収束するとき、その極限値はただ一つに限る。すなわち
    • <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\; \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>
    • また、
    • <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 を限りなく大きくしていくとき、数列の項の値 an が限りなく大きくなることを、数列 {an} は正の無限大に発散するといい、 Template:Indent または Template:Indent のように表す。イプシロン-デルタ論法では、数列の正の無限大への発散は Template:Indent のように定式化される。

また、項数 n を限りなく大きくしていくとき、数列の項の値 an が限りなく小さくなることを、数列 {an} は負の無限大に発散するといい、 Template:Indent または Template:Indent と表す。数列 {an} が負の無限大への発散することは、各項 an をマイナスに取り替えて得られる数列 {bn} an = −an, n = 1, 2, 3, ...) が正の無限大に発散することに同じである。あるいは絶対値をとって得られる数列 {cn} (cn = |an|, n = 1, 2, ...) が正の無限大に発散すると言っても同じである。イプシロン-デルタ論法では、 Template:Indent となる。

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

様々な極限

Template:Main 実数の列 (xn)n がある数 R について R < xn を満たしているとき(数列 (xn)n下に有界なとき) (xn)n の下極限と呼ばれる数 Template:Indent を定めることができる。同様にして、上に有界な数列に対しその上極限 Template:Indent が定義される。数列 (xn)n が極限を持つのは <math>\textstyle\varliminf_{n\to\infty}x_n = \varlimsup_{n\to\infty}x_n</math> となる場合であり、このとき。 Template:Indent となる。 さらに、有界な数列のなすベクトル空間 lN に対して抽象的な関数解析の構成を適用し、任意の有界な数列 (xn)n に対してバナッハ極限と呼ばれる数 LIM xn を、古典的な極限の拡張となるように定めることができる。

点列

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

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

関数

変数の収束に伴う関数の挙動

f(x) を実関数とし、c を実数とする。式 Template:Indent または Template:Indentx の値を c に“十分に近づければ” f(x) の値を L に望む限りいくらでも近づけることができることを意味する。このとき「xc に近づけたときの f(x) の極限は L である。」という。これはイプシロン-デルタ論法により

Template:Indent

という形で厳密に定義される。このとき、この極限と関数 f(x) の x = c における値は無関係であり、f(c) ≠ L であることもあれば fc において定義されている必要もないのである。

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

<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> で連続であるという。しかし、このようなことが常に成り立つとは限らない。

例として、 Template:Indent を考える。 <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)は正の無限大に発散する」といい、

Template:Indent

または

Template:Indent

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

Template:Indent

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

Template:Indent

または

Template:Indent

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

Template:Indent

連続な実関数 f(x) が xc とする極限において発散するならば、f(x) は x = c において定義できない。なぜなら、定義されていたとすると 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に収束する」といい、

Template:Indent

または

Template:Indent

と表す。

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

Template:Indent

例えば、 <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に収束する」といい、

Template:Indent

または

Template:Indent

と表す。

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

Template:Indent

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

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

Template:Indent

または

Template:Indent

と表す。

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

Template:Indent

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

Template:Indent

または

Template:Indent

と表す。

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

Template:Indent

同様に、<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> とする。

{fn} が fI各点収束するとは、 Template:Indent が成り立つことである。これは、 Template:Indent同値である。これを各点収束の定義とすることもある。

{fn} が fI一様収束するとは、 Template:Indent が成り立つことである。これは、 Template:Indent と同値である(上で定義したノルムをスープノルムと言う。スープノルムの収束をもって一様収束を定義することもある)。

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

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

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

fil in: 漸近収束(測度収束)、p-次平均収束(l.i.m: limit in mean)etc Template:Seealso

位相空間

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

圏論

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

  1. J の任意の射 j について F(j) φi0 = φi1 が成り立つ。ここで i0 = dom ji1 = ran j である。
  2. C の任意の対象 Y と射の族 (φi: XFi)i∈Obj(J) で、1. と同様の条件を満たすものについて射 g: YX で φi g = ψi (i ∈ Obj(J))を満たすものが一意的に存在する。

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

極限の典型的な例として、対象の族 (Xi)iI直積i Xi や二つの射 fg: XY の等化射 (equalizer) があげられる。特定の形 J の図式について必ず C における極限が存在するとき、図式から極限への対応は図式圏 CJ への対角埋め込み関手 Δ CCJ に対する右随伴関手としてとらえることができる。

この双対概念は余極限(あるいは帰納極限や順極限)と呼ばれる。 Template:Seealso

関連項目


Template:Link FAar:نهاية رياضية bg:Граница (математика) bs:Granična vrijednost ca:Límit cs:Limita da:Grænseværdi (matematik) el:Όριο (μαθηματικά) en:Limit (mathematics) eo:Limeso es:Límite matemático eu:Limite fa:حد (ریاضی) fi:Raja-arvo fr:Limite (mathématiques) gan:極限 gl:Límite matemático he:גבול (מתמטיקה) hi:सीमा (गणित) hu:Határérték id:Limit io:Limito is:Markgildi it:Limite (matematica) km:លីមីត ko:극한 lmo:Límit (matemàtega) lt:Riba (matematika) ms:Had (matematik) nl:Limiet no:Grenseverdi pl:Granica (matematyka) pt:Limite ro:Limită (matematică) ru:Предел (математика) sk:Limita sq:Limiti sv:Gränsvärde tr:Limit uk:Границя ur:حد (ریاضی) zh:极限 (数学)

個人用ツール