極限

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

極限を表す記号として、lim という記号が一般的に用いられる。例えば次のように使う:

1. 数列の極限
--------

実数の数列が収束する  あるいは有限の極限を持つ若しくは極限が有限確定であるとは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。このとき確定する値をその数列の極限値という。収束しない数列は発散するといい、それらはさらに極限を持つものと持たないものに分かれる。発散する数列のうち極限を持つものには、正の無限大に発散するものと負の無限大に発散するものがあり、極限が確定しないものは振動するという。

1.1. 数列の収束
----------

自然数の逆数の列 1, sfrac を考えると、n}} を限りなく大きくしていくと一般項 sfrac は限りなく 0}} に近づいていく。このときこの数列は 0}} に収束するといい、このことを

あるいは

と書く。

カール・ワイエルシュトラスは「限りなく近づく」という曖昧な表現は使わず、イプシロン-デルタ論法を用いて厳密に収束を定義した。これによれば、数列 mset がある一定の値 α}} に収束するとは、次が成り立つことである:

これを用いると、1=//asub の極限値は 0}} であることを以下のようにして示すことができる。//

自然数は上に有界でないから、従って

1.2. 極限値の性質
-----------

数列が収束するとき、その極限値はただ一つに限る。
収束する数列から項を有限個取り除いても、得られた数列は同じ値に収束する。
収束する数列は数の集合として有界である。

1.3. 数列の発散
----------

数列が収束しないとき、その数列は発散するという。特に、番号 n}} を限りなく大きくしていくとき、数列の項の値 asub が限りなく大きくなることを、数列 mset は正の無限大に発散するといい、

または

のように表す。イプシロン-エヌ論法では、数列の正の無限大への発散は、

のように定式化される。

また、番号 n}} を限りなく大きくしていくとき、数列の項の値 asub が限りなく小さくなることを、数列 mset は負の無限大に発散するといい、

または、

と表す。数列 mset が負の無限大へ発散することは、各項 asub を反数にした数列 1=mset が正の無限大に発散することと同値である。あるいは絶対値をとって得られる数列 mset が正の無限大に発散すると言っても同じである。イプシロン-エヌ論法では、

となる。

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

1.4. 様々な極限
----------

実数の列 がある数 について を満たしているとき、 の下極限と呼ばれる数

を定めることができる。同様にして、上に有界な数列に対しその上極限

が定義される。

数列 が極限を持つのは となる場合であり、このとき

となる。さらに、有界な数列のなすベクトル空間 に対して抽象的な関数解析の構成を適用し、任意の有界な数列 に対してバナッハ極限と呼ばれる数 を、古典的な極限の拡張となるように定めることができる。

1.5. 点列
-------

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

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

2. 関数
-----

2.1. 変数の収束に伴う関数の挙動
------------------

//f//}} を実関数とし、c}} を実数とする。式

または

とは、x}} の値を c}} に“十分に近づければ”//f//}} の値を L}} に望む限りいくらでも近づけることができることを意味する。このとき「x}} を //c// に近づけたとき //f//}} の極限は L}} である」という。これはイプシロン-デルタ論法により

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

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

x}} が 2}} に近づくときの 1=//f// = //x///}} は x}} が 2}} のときに定義されており、値は 0.4}} である。

x}} が 2}} に近づくにつれて //f//}} が 0.4}} に近づいていく。したがって、 である。このように であるとき、//f//}} は 1=//x// = //c//}} で連続であるという。しかし、このようなことが常に成り立つとは限らない。

例として、

を考える。x}} が 2}} に近づくときの //g//}} の極限は 0.4}} であるが、 である。このとき //g//}} は 1=//x// = 2}} で連続でないという。

また、//x// → //c//}} のとき、//f//}} の値が限りなく大きくなることを、「x}} が c}} に限りなく近づくとき関数 //f//}} は正の無限大に発散する」といい、

または、

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

逆に、//x// → //c//}} のとき、//f//}} の値が限りなく小さくなることを、「x}} が c}} に限りなく近づくとき関数 //f//}} は負の無限大に発散する」といい、

または、

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

連続な実関数 //f//}} が //x// → //c//}} とする極限において発散するならば、//f//}} は //x// =}} //c//}} において定義できない。なぜなら、定義されていたとすると //x// =}} //c//}} は不連続点となるからである。

2.2. 無限遠点における挙動
---------------

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

ある無限区間 }}で定義される関数 //f//}} において、x}} が限りなく大きくなると関数 //f//}} の値がある値 L}} に近づくとき、「x}} が限りなく大きくなるとき //f//}} は L}} に収束する」といい、

または、

と表す。

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

例えば、 を考える。

x}} が十分大きくなるにつれて、//f//}} は 2}} に近づく。このとき と表す。

また、ある無限区間 }} で定義される関数 //f//}} において、x}} が限りなく小さくなると関数 //f//}} の値がある値 L}} に近づくとき、「x}} が限りなく小さくなるとき //f//}} は L}} に収束する」といい、

または、

と表す。

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

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

ある無限区間 で定義される関数 //f//}} において、x}} が限りなく大きくなると関数 //f//}} の値も限りなく大きくなるとき、「x}} が限りなく大きくなるとき //f//}} は正の無限大に発散する」といい、

または、

:と表す。

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

また、ある無限区間 で定義される関数 //f//}} において、x}} が限りなく小さくなると関数 //f//}} の値が限りなく大きくなるとき、「x}} が限りなく小さくなるとき //f//}} は正の無限大に発散する」といい、

または、

と表す。

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

同様に、 や における負の無限大への発散を定義することができる。

や において、関数 //f//}} が収束もせず、また正の無限大にも負の無限大にも発散しない場合、その関数は数列と同様に振動するという。

3. 関数列の収束
---------

とする。

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

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

各 に対して、と同値である。これを各点収束の定義とすることもある。

mset が f}} に I}} 上一様収束するとは、次が成り立つことである：

これは、

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

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

定義より、「fsub が I}} 上一様収束⇒fsub が I}} 上各点収束」が成り立つ。関数の一様収束性は、lim と ∫ の順序交換や、函数項級数の項別積分や項別微分の可能性を保証する。

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

4. 位相空間
-------

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

5. 圏論
-----

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

//J// の任意の射 //j// について //F// φ//i//sub = φ//i//sub が成り立つ。ここで //i//0}} = dom //j//、//i//1}} = ran //j// である。
//C// の任意の対象 //Y// と射の族 //i//∈Obj}} で、1. と同様の条件を満たすものについて射 //g//: //Y// → //X// で φ//i//}} //g// = ψ//i//}} )を満たすものが一意的に存在する。このような条件を満たす //X//のことを //F// が表す図式の極限と呼ぶ。極限の満たす普遍性により、それぞれの図式に対する極限は自然な同型をのぞき一意に定まる。

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

この双対概念は余極限と呼ばれる。

6. 関連項目
-------

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