極限

数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、）がしばしば考察される。直感的には、数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束せず正の無限大、負の無限大、振動することを発散するという。
極限を表す記号として、lim (, リミット、)という記号が一般的に用いられる。例えば次のように使う:
数列の極限.
実数の数列が収束する () あるいは有限の極限を持つ若しくは極限が有限確定であるとは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。このとき確定する値をその数列の極限値という。収束しない数列は発散する()といい、それらはさらに極限を持つものと持たないものに分かれる。発散する数列のうち極限を持つものには、正の無限大に発散するものと負の無限大に発散するものがあり、極限が確定しないものは振動する()という。
数列の収束.
自然数の逆数の列 を考えると、 を限りなく大きくしていくと一般項 は限りなく に近づいていく。このときこの数列は に収束するといい、このことを
あるいは
と書く。
カール・ワイエルシュトラスは「限りなく近づく」という曖昧な表現は使わず、イプシロン-デルタ論法を用いて厳密に収束を定義した。これによれば、数列 がある一定の値 に収束するとは、次が成り立つことである（この場合はイプシロン-エヌ論法とも言う）:
これを用いると、 の極限値は であることを以下のようにして示すことができる。
（証明）自然数は上に有界でない（アルキメデスの性質）から、formula_6従ってformula_7
数列の発散.
数列が収束しないとき、その数列は発散するという。特に、番号 を限りなく大きくしていくとき、数列の項の値 が限りなく大きくなることを、数列 は正の無限大に発散するといい、
または
のように表す。イプシロン-エヌ論法では、数列の正の無限大への発散は、
のように定式化される。
また、番号 を限りなく大きくしていくとき、数列の項の値 が限りなく小さくなることを、数列 は負の無限大に発散するといい、
または、
と表す。数列 が負の無限大へ発散することは、各項 を反数にした数列 が正の無限大に発散することと同値である。あるいは絶対値をとって得られる数列 が正の無限大に発散すると言っても同じである。イプシロン-エヌ論法では、
となる。
数列が収束せず、また正の無限大にも負の無限大にも発散しない場合、その数列は振動するという。振動も発散の一種である。
様々な極限.
実数の列 formula_17 がある数 formula_18 について formula_19 を満たしているとき（数列 formula_17 が下に有界なとき）、 formula_17 の下極限と呼ばれる数
を定めることができる。同様にして、上に有界な数列に対しその上極限 
が定義される。
（formula_24 を formula_25、formula_26 を formula_27 と記しても同じ意味である）
数列 formula_17 が極限を持つのは formula_29 となる場合であり、このとき
となる。さらに、有界な数列のなすベクトル空間 formula_31 に対して抽象的な関数解析の構成を適用し、任意の有界な数列 formula_32に対してバナッハ極限と呼ばれる数 formula_33 を、古典的な極限の拡張となるように定めることができる。
点列.
ユークリッド空間のように、距離 の定まった空間における点の列についての収束の概念を、実数の列の収束の概念を拡張して定めることができる。すなわち、点列 が点 に収束するとは、正の実数列 が に収束することである。この概念をさらに一般化して、自然数によって数え上げられるとは限らない「列」とその収束性を一般の位相空間に対して定式化することができる。（#位相空間を参照のこと）
距離 に関する極限であることを明示するために lim の代わりに "d"-lim などと書くこともある。
関数.
変数の収束に伴う関数の挙動.
 を実関数とし、 を実数とする。式
または
とは、 の値を に“十分に近づければ” の値を に望む限りいくらでも近づけることができることを意味する。このとき「 を "c" に近づけたとき の極限は である」という。これはイプシロン-デルタ論法により
という形で厳密に定義される。このとき、この極限と関数 の における値は無関係であり、 であることもあれば、 が において定義されている必要もないのである。
このことを理解するために次の例を挙げる。
 が に近づくときの の値を考える。この場合、 は が のときに定義されており、値は である。
 が に近づくにつれて が に近づいていく。したがって、 formula_40 である。このように formula_41 であるとき、 は で連続であるという。しかし、このようなことが常に成り立つとは限らない。 
例として、
を考える。 が に近づくときの の極限は であるが、formula_43 である。このとき は で連続でないという。
また、 のとき、 の値が限りなく大きくなることを、「 が に限りなく近づくとき関数 は正の無限大に発散する」といい、
または、
と表す。このことは次のように厳密に定義される。
逆に、 のとき、 の値が限りなく小さくなることを、「 が に限りなく近づくとき関数 は負の無限大に発散する」といい、
または、
と表す。これは次のように厳密に定義される。
連続な実関数 が とする極限において発散するならば、 は において定義できない。なぜなら、定義されていたとすると は不連続点となるからである。
無限遠点における挙動.
一般には がある有限の値に近づくときを考えることが多いが、 が正か負の無限に近づくときの関数の極限を定義することもできる。
ある無限区間 （を含む集合）で定義される関数 において、 が限りなく大きくなると関数 の値がある値 に近づくとき、「 が限りなく大きくなるとき は に収束する」といい、
または、
と表す。
これは次のように定義される。
例えば、formula_53 を考える。
 が十分大きくなるにつれて、 は に近づく。このとき formula_57 と表す。
また、ある無限区間 で定義される関数 において、 が限りなく小さくなると関数 の値がある値 に近づくとき、「 が限りなく小さくなるとき は に収束する」といい、
または、
と表す。
これは次のように定義される。
関数の無限における極限においても、関数の発散を考えることができる。
ある無限区間 formula_61 で定義される関数 において、 が限りなく大きくなると関数 の値も限りなく大きくなるとき、「 が限りなく大きくなるとき は正の無限大に発散する」といい、
または、
と表す。
これは次のように定義される。
また、ある無限区間 formula_65 で定義される関数 において、 が限りなく小さくなると関数 の値が限りなく大きくなるとき、「 が限りなく小さくなるとき は正の無限大に発散する」といい、
または、
と表す。
これは次のように定義される。
同様に、formula_69 や formula_70 における負の無限大への発散を定義することができる。
formula_69 や formula_70 において、関数 が収束もせず、また正の無限大にも負の無限大にも発散しない場合、その関数は数列と同様に振動するという。
関数列の収束.
formula_73 とする。
 が に 上各点収束するとは、
が成り立つことである。これは、
と同値である。これを各点収束の定義とすることもある。
 が に 上一様収束するとは、次が成り立つことである：
これは、
と同値である。上で定義したノルムをスープノルム（または無限大ノルム、上限ノルム）と言う。スープノルムの収束をもって一様収束を定義することもある。
また、区間 "I" の任意のコンパクト集合上一様収束することを広義一様収束という。"I" の任意の有界閉区間上一様収束することを広義一様収束ということもある。
定義より、「 が 上一様収束⇒ が 上各点収束」が成り立つ（逆は必ずしも成り立たない）。関数の一様収束性は、lim と ∫ の順序交換や、の項別積分や項別微分の可能性を保証する（逆に言えば、一様収束が保証されていない段階では、勝手に lim と ∫ の順序を交換したりなどしてはいけない）。
関数の一様収束性を証明するには、上のようにスープノルムの収束を示すのが一般的である。関数項級数の一様収束性ではワイエルシュトラスのM判定法も用いられる。
位相空間.
点列の収束の概念は、一般の位相空間においても収束先の近傍系をもちいて定式化される。しかし、一般的な位相空間の位相構造は、どんな点列が収束しているかという条件によって特徴付けできるとは限らない。そこで、ネットやフィルターといった、点列を拡張した構成とその収束の概念が必要になる。任意の位相空間 "X" に対し、"X" 上で収束している（収束先の情報も込めた）フィルターの全体 CN("X") や、あるいは収束しているフィルターの全体 CF("X") を考えると、これらからは "X" の位相が復元できる。
圏論.
圏 "C" における図式を「添字圏」 "J" から "C" への関手と見なすことにする。特定の図式に対応する関手が与えられたとき、"C" の対象 "X" と射の族 (φ: "X" → "F") に対して次のような条件を考えることができる：
このような条件を満たす "X"（と族 φ）のことを "F" が表す図式の極限（あるいは射影極限、逆極限）と呼ぶ。極限の満たす普遍性により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。
極限の典型的な例として、対象の族 ("X") の直積 ∏< "X" や二つの射 "f", "g": "X" → "Y" の等化射が挙げられる。特定の形 "J" の図式について必ず "C" における極限が存在するとき、図式から極限への対応は図式圏 "C" への対角関手 ⊿ "C" → "C" に対する右随伴関手としてとらえることができる。
この双対概念は余極限（あるいは帰納極限や順極限）と呼ばれる。