収束性

英

convergent

関

収束、収斂

WordNet

1. tending to come together from different directions

PrepTutorEJDIC

1. 1点に集まる / (物理・数学で)収れん性の

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2017/08/20 14:36:23」(JST)

wiki ja

[Wiki ja表示]

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

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

• $\lim _{n\to \infty }x_{n}$
• $\lim _{x\to 0}{\frac {\;\sin x\;}{x}}=1$

数列の極限

詳細は「数列の極限」を参照

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

数列の収束

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

$\lim _{n\to \infty }{1 \over n}=0$

あるいは

${1 \over n}\to 0\quad (n\to \infty )$

と書く。

カール・ワイエルシュトラスは「限りなく近づく」というあいまいな表現は使わず、イプシロン-デルタ論法を用いて厳密に収束を定義した。これによれば、数列 {a_n} がある一定の値 α に収束するとは、次のようなことを言う（この場合はイプシロン-エヌ論法とも言う）。

$\forall \varepsilon >0,\ \exists n_{0}\in \mathbb {N} \ {\textrm {s.t.}}\ \forall n\in \mathbb {N} \left[n>n_{0}\Longrightarrow |a_{n}-\alpha |<\varepsilon \right]$
（どんなに小さな正の数 ε をとっても、その ε に対して適切な番号 n₀ を十分大きく定めれば、n₀ より先の番号 n に対する a_n は α から ε ほども離れない範囲に全部入るようにすることができる）

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

(証明)

自然数は上に有界でない（アルキメデスの性質）ので、

$$

 
   
     
       ∀
       ϵ
       >
       0
       
       ∃
       
         n
         
           0
         
       
       
       ∀
       n
       
         [
         n
         >
         
           n
           
             0
           
         
         ⟹
         n
         >
         
           
             1
             ϵ
           
         
         ]
       
     
   
   {\displaystyle \forall \epsilon >0\;\exists n_{0}\;\forall n\left[n>n_{0}\Longrightarrow n>{\frac {1}{\epsilon }}\right]}
 

従って

$$

 
   
     
       
         |
         
           
             1
             n
           
         
         −
         0
         |
       
       =
       
         
           1
           n
         
       
       <
       ϵ
        
       (
       n
       >
       
         n
         
           0
         
       
       )
       ⟺
       
         lim
         
           n
           →
           ∞
         
       
       
         
           1
           n
         
       
       =
       0
     
   
   {\displaystyle \left|{\frac {1}{n}}-0\right|={\frac {1}{n}}<\epsilon \ (n>n_{0})\Longleftrightarrow \lim _{n\to \infty }{\frac {1}{n}}=0}
 

極限値の性質

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

  $\lim _{n\to \infty }a_{n}=\alpha ,\lim _{n\to \infty }a_{n}=\beta \Longrightarrow \alpha =\beta$

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

  $\lim _{n\to \infty }a_{n}=\alpha \Longrightarrow \exists K\;\forall n\;\ |a_{n}|<K$

• $\forall n\;a_{n}\leq b_{n},\;\lim _{n\to \infty }a_{n}=\alpha ,\;\lim _{n\to \infty }b_{n}=\beta \Longrightarrow \alpha \leq \beta$

数列の発散

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

$\lim _{n\to \infty }a_{n}=\infty$

または

$a_{n}\to \infty \;(n\to \infty )$

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

$\forall K>0\;\exists n_{0}\in \mathbb {N} \;\forall n\in \mathbb {N} \;{\bigg [}n>n_{0}\Longrightarrow a_{n}>K{\bigg ]}$

のように定式化される。

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

$\lim _{n\to \infty }a_{n}=-\infty$

または

$a_{n}\to -\infty \;(n\to \infty )$

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

$\forall K<0\;\exists n_{0}\in \mathbb {N} \;\forall n\in \mathbb {N} \;{\bigg [}n>n_{0}\Longrightarrow a_{n}<K{\bigg ]}$

となる。

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

様々な極限

詳細は「上極限と下極限」を参照

実数の列 (x_n)_n がある数 R について R < x_n を満たしているとき（数列 (x_n)_n が下に有界なとき） (x_n)_n の下極限と呼ばれる数

$\varliminf _{n\to \infty }x_{n}$

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

$\varlimsup _{n\to \infty }x_{n}$

が定義される。数列 (x_n)_n が極限を持つのは $\textstyle \varliminf _{n\to \infty }x_{n}=\varlimsup _{n\to \infty }x_{n}$ となる場合であり、このとき。

$\lim _{n\to \infty }x_{n}=\varliminf _{n\to \infty }x_{n}=\varlimsup _{n\to \infty }x_{n}$

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

点列

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

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

関数

詳細は「関数の極限」を参照

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

f(x) を実関数とし、c を実数とする。式

$\lim _{x\to c}f(x)=L$

または

$f(x)\rightarrow L\quad (x\rightarrow c)$

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

$\forall \epsilon >0\quad \exists \delta >0\quad \forall x\;\quad {\bigg [}0<|x-c|<\delta \Longrightarrow |f(x)-L|<\epsilon {\bigg ]}$

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

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

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

• $f(1.9)=0.4121$
• $f(1.99)=0.4012$
• $f(1.999)=0.4001$

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

例として、

${\displaystyle g(x)={\begin{cases}{\frac {x}{x^{2}+1}},&{\mbox{if }}x\neq 2\ ==Wikipedia preview== ==Wikipedia preview==$出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2017/08/30 05:23:39」(JST) ====[http://ja.wikipedia.org/wiki/%E5%8F%8E%E6%9D%9F%E6%80%A7 wiki ja]====

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

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

• $\lim _{n\to \infty }x_{n}$
• $\lim _{x\to 0}{\frac {\;\sin x\;}{x}}=1$

数列の極限

詳細は「数列の極限」を参照

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

数列の収束

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

$\lim _{n\to \infty }{1 \over n}=0$

あるいは

${1 \over n}\to 0\quad (n\to \infty )$

と書く。

カール・ワイエルシュトラスは「限りなく近づく」というあいまいな表現は使わず、イプシロン-デルタ論法を用いて厳密に収束を定義した。これによれば、数列 {a_n} がある一定の値 α に収束するとは、次のようなことを言う（この場合はイプシロン-エヌ論法とも言う）。

$\forall \varepsilon >0,\ \exists n_{0}\in \mathbb {N} \ {\textrm {s.t.}}\ \forall n\in \mathbb {N} \left[n>n_{0}\Longrightarrow |a_{n}-\alpha |<\varepsilon \right]$

（どんなに小さな正の数 ε をとっても、その ε に対して適切な番号 n₀ を十分大きく定めれば、n₀ より先の番号 n に対する a_n は α から ε ほども離れない範囲に全部入るようにすることができる）

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

(証明)

自然数は上に有界でない（アルキメデスの性質）ので、

$$

 
   
     
       ∀
       ϵ
       >
       0
       
       ∃
       
         n
         
           0
         
       
       
       ∀
       n
       
         [
         n
         >
         
           n
           
             0
           
         
         ⟹
         n
         >
         
           
             1
             ϵ
           
         
         ]
       
     
   
   {\displaystyle \forall \epsilon >0\;\exists n_{0}\;\forall n\left[n>n_{0}\Longrightarrow n>{\frac {1}{\epsilon }}\right]}
 

従って

$$

 
   
     
       
         |
         
           
             1
             n
           
         
         −
         0
         |
       
       =
       
         
           1
           n
         
       
       <
       ϵ
        
       (
       n
       >
       
         n
         
           0
         
       
       )
       ⟺
       
         lim
         
           n
           →
           ∞
         
       
       
         
           1
           n
         
       
       =
       0
     
   
   {\displaystyle \left|{\frac {1}{n}}-0\right|={\frac {1}{n}}<\epsilon \ (n>n_{0})\Longleftrightarrow \lim _{n\to \infty }{\frac {1}{n}}=0}
 

極限値の性質

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

  $\lim _{n\to \infty }a_{n}=\alpha ,\lim _{n\to \infty }a_{n}=\beta \Longrightarrow \alpha =\beta$

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

  $\lim _{n\to \infty }a_{n}=\alpha \Longrightarrow \exists K\;\forall n\;\ |a_{n}|<K$

• $\forall n\;a_{n}\leq b_{n},\;\lim _{n\to \infty }a_{n}=\alpha ,\;\lim _{n\to \infty }b_{n}=\beta \Longrightarrow \alpha \leq \beta$

数列の発散

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

$\lim _{n\to \infty }a_{n}=\infty$

または

$a_{n}\to \infty \;(n\to \infty )$

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

$\forall K>0\;\exists n_{0}\in \mathbb {N} \;\forall n\in \mathbb {N} \;{\bigg [}n>n_{0}\Longrightarrow a_{n}>K{\bigg ]}$

のように定式化される。

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

$\lim _{n\to \infty }a_{n}=-\infty$

または

$a_{n}\to -\infty \;(n\to \infty )$

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

$\forall K<0\;\exists n_{0}\in \mathbb {N} \;\forall n\in \mathbb {N} \;{\bigg [}n>n_{0}\Longrightarrow a_{n}<K{\bigg ]}$

となる。

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

様々な極限

詳細は「上極限と下極限」を参照

実数の列 (x_n)_n がある数 R について R < x_n を満たしているとき（数列 (x_n)_n が下に有界なとき） (x_n)_n の下極限と呼ばれる数

$\varliminf _{n\to \infty }x_{n}$

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

$\varlimsup _{n\to \infty }x_{n}$

が定義される。数列 (x_n)_n が極限を持つのは $\textstyle \varliminf _{n\to \infty }x_{n}=\varlimsup _{n\to \infty }x_{n}$ となる場合であり、このとき。

$\lim _{n\to \infty }x_{n}=\varliminf _{n\to \infty }x_{n}=\varlimsup _{n\to \infty }x_{n}$

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

点列

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

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

関数

詳細は「関数の極限」を参照

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

f(x) を実関数とし、c を実数とする。式

$\lim _{x\to c}f(x)=L$

または

$f(x)\rightarrow L\quad (x\rightarrow c)$

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

$\forall \epsilon >0\quad \exists \delta >0\quad \forall x\;\quad {\bigg [}0<|x-c|<\delta \Longrightarrow |f(x)-L|<\epsilon {\bigg ]}$

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

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

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

• $f(1.9)=0.4121$
• $f(1.99)=0.4012$
• $f(1.999)=0.4001$

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

例として、

$g(x)={\begin{cases}{\frac {x}{x^{2}+1}},&{\mbox{if }}x\neq 2\,&{\mbox{if }}x=2\end{cases}},&{\mbox{if }}x=2\end{cases}}}$

を考える。x が 2 に近づくときの g(x) の極限は 0.4 であるが、$\lim _{x\to 2}g(x)\neq g(2)$ である。このとき g(x) は x = 2 で連続でないという。

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

$\lim _{x\to c}f(x)=\infty$

または

$f(x)\to \infty \quad (x\to c)$

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

$\forall K>0\quad \exists \delta >0\quad \forall x\quad {\bigg [}0<|x-c|<\delta \Longrightarrow f(x)>K{\bigg ]}$

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

$\lim _{x\to c}f(x)=-\infty$

または

$f(x)\to -\infty \quad (x\to c)$

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

$\forall K<0\quad \exists \delta >0\quad \forall x\quad {\bigg [}0<|x-c|<\delta \Longrightarrow f(x)<K{\bigg ]}.$

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

無限遠点における挙動

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

ある無限区間 $(a,\infty )$（を含む集合）で定義される関数 f(x) において、x が限りなく大きくなると関数 f(x) の値がある値 L に近づくとき、「x が限りなく大きくなるとき f(x) は L に収束する」といい、

$\lim _{x\to \infty }f(x)=L$

または

$f(x)\rightarrow L\quad (x\rightarrow \infty )$

と表す。

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

$\forall \epsilon >0\quad \exists X>0\quad \forall x\quad {\bigg [}x>X\Longrightarrow |f(x)-L|<\epsilon {\bigg ]}.$

例えば、 $f(x)=2x/(x+1)$ を考える。

• $f(100)=1.9802$
• $f(1000)=1.9980$
• $f(10000)=1.9998$

x が十分大きくなるにつれて、f(x) は 2 に近づく。このとき、 $\lim _{x\to \infty }f(x)=2$ と表す。

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

$\lim _{x\to -\infty }f(x)=L$

または

$f(x)\rightarrow L\quad (x\rightarrow -\infty )$

と表す。

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

$\forall \epsilon >0\quad \exists X<0\quad \forall x\quad {\bigg [}x<X\Longrightarrow |f(x)-L|<\epsilon {\bigg ]}.$

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

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

$\lim _{x\to \infty }f(x)=\infty$

または

$f(x)\rightarrow \infty \quad (x\rightarrow \infty )$

と表す。

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

$\forall K>0\quad \exists X>0\quad \forall x\quad {\bigg [}x>X\Longrightarrow f(x)>K{\bigg ]}.$

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

$\lim _{x\to -\infty }f(x)=\infty$

または

$f(x)\rightarrow \infty \quad (x\rightarrow -\infty )$

と表す。

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

$\forall K>0\quad \exists X<0\quad \forall x\quad {\bigg [}x<X\Longrightarrow f(x)>K{\bigg ]}.$

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

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

関数列の収束

$I\subset \mathbb {R} ,\;f_{n},f\colon I\rightarrow \mathbb {R}$ とする。

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

$\forall \epsilon >0\quad \forall x\in I\quad \exists n_{0}\in \mathbb {N} \quad \forall n\in \mathbb {N} \quad {\bigg [}n\geq n_{0}\Rightarrow |f_{n}(x)-f(x)|<\epsilon {\bigg ]}$

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

各 $x\in I$ に対して、 $|f_{n}(x)-f(x)|\rightarrow 0\quad (n\rightarrow \infty )$

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

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

$\forall \epsilon >0\quad \exists n_{0}\in \mathbb {N} \quad \forall x\in I\quad \forall n\in \mathbb {N} \quad {\bigg [}n\geq n_{0}\Rightarrow |f_{n}(x)-f(x)|<\epsilon {\bigg ]}$

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

$\|f_{n}-f\|_{\infty }:=\sup _{x\in I}|f_{n}(x)-f(x)|\rightarrow 0\quad (n\rightarrow \infty )$

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

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

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

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

「関数空間」も参照

位相空間

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

圏論

詳細は「極限 (圏論)」を参照

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

1. J の任意の射 j について F(j) φ_i0 = φ_i1 が成り立つ。ここで i₀ = dom j、i₁ = ran j である。
2. C の任意の対象 Y と射の族 (φ_i: X → F_i)_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 の等化射があげられる。特定の形 J の図式について必ず C における極限が存在するとき、図式から極限への対応は図式圏 C^J への対角関手 Δ C → C^J に対する右随伴関手としてとらえることができる。

この双対概念は余極限（あるいは帰納極限や順極限）と呼ばれる。

「有向集合」も参照

関連項目

• 片側極限
• 極限の一覧

,&{\mbox{if }}x=2\end{cases}}}</annotation>

 </semantics>

</math>

を考える。x が 2 に近づくときの g(x) の極限は 0.4 であるが、<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mn>2</mn> </mrow> </munder> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mi>g</mi> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to 2}g(x)\neq g(2)}</annotation> </semantics> </math> である。このとき g(x) は x = 2 で連続でないという。

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mi>c</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to c}f(x)=\infty }</annotation> </semantics> </math>

または

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">→</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)\to \infty \quad (x\to c)}</annotation> </semantics> </math>

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>K</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <mi>δ</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mn>0</mn> <mo><</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mi>x</mi> <mo>−</mo> <mi>c</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>δ</mi> <mo stretchy="false">⟹</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>></mo> <mi>K</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall K>0\quad \exists \delta >0\quad \forall x\quad {\bigg [}0<|x-c|<\delta \Longrightarrow f(x)>K{\bigg ]}}</annotation> </semantics> </math>

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mi>c</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to c}f(x)=-\infty }</annotation> </semantics> </math>

または

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">→</mo> <mi>c</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)\to -\infty \quad (x\to c)}</annotation> </semantics> </math>

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>K</mi> <mo><</mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <mi>δ</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mn>0</mn> <mo><</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mi>x</mi> <mo>−</mo> <mi>c</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>δ</mi> <mo stretchy="false">⟹</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo><</mo> <mi>K</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> <mo>.</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall K<0\quad \exists \delta >0\quad \forall x\quad {\bigg [}0<|x-c|<\delta \Longrightarrow f(x)<K{\bigg ]}.}</annotation> </semantics> </math>

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

無限遠点における挙動

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

ある無限区間 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (a,\infty )}</annotation> </semantics> </math>（を含む集合）で定義される関数 f(x) において、x が限りなく大きくなると関数 f(x) の値がある値 L に近づくとき、「x が限りなく大きくなるとき f(x) は L に収束する」といい、

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>L</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to \infty }f(x)=L}</annotation> </semantics> </math>

または

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi>L</mi> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)\rightarrow L\quad (x\rightarrow \infty )}</annotation> </semantics> </math>

と表す。

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>ϵ</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <mi>X</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mi>x</mi> <mo>></mo> <mi>X</mi> <mo stretchy="false">⟹</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>L</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>ϵ</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> <mo>.</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall \epsilon >0\quad \exists X>0\quad \forall x\quad {\bigg [}x>X\Longrightarrow |f(x)-L|<\epsilon {\bigg ]}.}</annotation> </semantics> </math>

例えば、 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>2</mn> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>/</mo> </mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)=2x/(x+1)}</annotation> </semantics> </math> を考える。

• <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mn>100</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1.9802</mn> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(100)=1.9802}</annotation> </semantics> </math>
• <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mn>1000</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1.9980</mn> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(1000)=1.9980}</annotation> </semantics> </math>
• <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mn>10000</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1.9998</mn> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(10000)=1.9998}</annotation> </semantics> </math>

x が十分大きくなるにつれて、f(x) は 2 に近づく。このとき、 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>2</mn> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to \infty }f(x)=2}</annotation> </semantics> </math> と表す。

また、ある無限区間 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> <mo>,</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (-\infty ,a)}</annotation> </semantics> </math> で定義される関数 f(x) において、x が限りなく小さくなると関数 f(x) の値がある値 L に近づくとき、「x が限りなく小さくなるとき f(x) は L に収束する」といい、

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>L</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to -\infty }f(x)=L}</annotation> </semantics> </math>

または

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi>L</mi> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)\rightarrow L\quad (x\rightarrow -\infty )}</annotation> </semantics> </math>

と表す。

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>ϵ</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <mi>X</mi> <mo><</mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mi>x</mi> <mo><</mo> <mi>X</mi> <mo stretchy="false">⟹</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>L</mi> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>ϵ</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> <mo>.</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall \epsilon >0\quad \exists X<0\quad \forall x\quad {\bigg [}x<X\Longrightarrow |f(x)-L|<\epsilon {\bigg ]}.}</annotation> </semantics> </math>

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

ある無限区間 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (a,\infty )}</annotation> </semantics> </math> で定義される関数f(x)において、xが限りなく大きくなると関数f(x)の値も限りなく大きくなるとき、「xが限りなく大きくなるときf(x)は正の無限大に発散する」といい、

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to \infty }f(x)=\infty }</annotation> </semantics> </math>

または

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)\rightarrow \infty \quad (x\rightarrow \infty )}</annotation> </semantics> </math>

と表す。

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>K</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <mi>X</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mi>x</mi> <mo>></mo> <mi>X</mi> <mo stretchy="false">⟹</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>></mo> <mi>K</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> <mo>.</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall K>0\quad \exists X>0\quad \forall x\quad {\bigg [}x>X\Longrightarrow f(x)>K{\bigg ]}.}</annotation> </semantics> </math>

また、ある無限区間<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> <mo>,</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (-\infty ,a)}</annotation> </semantics> </math> で定義される関数 f(x) において、x が限りなく小さくなると関数 f(x) の値が限りなく大きくなるとき、「x が限りなく小さくなるとき f(x) は正の無限大に発散する」といい、

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <munder> <mo movablelimits="true" form="prefix">lim</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \lim _{x\to -\infty }f(x)=\infty }</annotation> </semantics> </math>

または

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f(x)\rightarrow \infty \quad (x\rightarrow -\infty )}</annotation> </semantics> </math>

と表す。

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>K</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <mi>X</mi> <mo><</mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mi>x</mi> <mo><</mo> <mi>X</mi> <mo stretchy="false">⟹</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>></mo> <mi>K</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> <mo>.</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall K>0\quad \exists X<0\quad \forall x\quad {\bigg [}x<X\Longrightarrow f(x)>K{\bigg ]}.}</annotation> </semantics> </math>

同様に、<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\rightarrow \infty }</annotation> </semantics> </math> や <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\rightarrow -\infty }</annotation> </semantics> </math> における負の無限大への発散を定義することができる。

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\rightarrow \infty }</annotation> </semantics> </math> や <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo stretchy="false">→</mo> <mo>−</mo> <mi mathvariant="normal">∞</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\rightarrow -\infty }</annotation> </semantics> </math> において、関数 f(x) が収束もせず、また正の無限大にも負の無限大にも発散しない場合、その関数は数列と同様に振動するという。

関数列の収束

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>I</mi> <mo>⊂</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">R</mi> </mrow> <mo>,</mo> <mspace width="thickmathspace" /> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo>,</mo> <mi>f</mi> <mo>:</mo> <mi>I</mi> <mo stretchy="false">→</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">R</mi> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle I\subset \mathbb {R} ,\;f_{n},f\colon I\rightarrow \mathbb {R} }</annotation> </semantics> </math> とする。

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>ϵ</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mo>∈</mo> <mi>I</mi> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <msub> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>0</mn> </mrow> </msub> <mo>∈</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>n</mi> <mo>∈</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mi>n</mi> <mo>≥</mo> <msub> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>0</mn> </mrow> </msub> <mo stretchy="false">⇒</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>ϵ</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall \epsilon >0\quad \forall x\in I\quad \exists n_{0}\in \mathbb {N} \quad \forall n\in \mathbb {N} \quad {\bigg [}n\geq n_{0}\Rightarrow |f_{n}(x)-f(x)|<\epsilon {\bigg ]}}</annotation> </semantics> </math>

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

各 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> <mo>∈</mo> <mi>I</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x\in I}</annotation> </semantics> </math> に対して、 <math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo stretchy="false">→</mo> <mn>0</mn> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle |f_{n}(x)-f(x)|\rightarrow 0\quad (n\rightarrow \infty )}</annotation> </semantics> </math>

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

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>ϵ</mi> <mo>></mo> <mn>0</mn> <mspace width="1em" /> <mi mathvariant="normal">∃</mi> <msub> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>0</mn> </mrow> </msub> <mo>∈</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mo>∈</mo> <mi>I</mi> <mspace width="1em" /> <mi mathvariant="normal">∀</mi> <mi>n</mi> <mo>∈</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struck">N</mi> </mrow> <mspace width="1em" /> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">[</mo> </mrow> </mrow> <mi>n</mi> <mo>≥</mo> <msub> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>0</mn> </mrow> </msub> <mo stretchy="false">⇒</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo><</mo> <mi>ϵ</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-ORD"> <mo maxsize="2.047em" minsize="2.047em">]</mo> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall \epsilon >0\quad \exists n_{0}\in \mathbb {N} \quad \forall x\in I\quad \forall n\in \mathbb {N} \quad {\bigg [}n\geq n_{0}\Rightarrow |f_{n}(x)-f(x)|<\epsilon {\bigg ]}}</annotation> </semantics> </math>

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

<math xmlns="http://www.w3.org/1998/Math/MathML" > <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo fence="false" stretchy="false">∥</mo> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo>−</mo> <mi>f</mi> <msub> <mo>∥</mo> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="normal">∞</mi> </mrow> </msub> <mo>:=</mo> <munder> <mo movablelimits="true" form="prefix">sup</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>x</mi> <mo>∈</mo> <mi>I</mi> </mrow> </munder> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <msub> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mrow class="MJX-TeXAtom-ORD"> <mo stretchy="false">|</mo> </mrow> <mo stretchy="false">→</mo> <mn>0</mn> <mspace width="1em" /> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \|f_{n}-f\|_{\infty }:=\sup _{x\in I}|f_{n}(x)-f(x)|\rightarrow 0\quad (n\rightarrow \infty )}</annotation> </semantics> </math>

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

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

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

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

「関数空間」も参照

位相空間

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

圏論

詳細は「極限 (圏論)」を参照

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

1. J の任意の射 j について F(j) φ_i0 = φ_i1 が成り立つ。ここで i₀ = dom j、i₁ = ran j である。
2. C の任意の対象 Y と射の族 (φ_i: X → F_i)_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 の等化射があげられる。特定の形 J の図式について必ず C における極限が存在するとき、図式から極限への対応は図式圏 C^J への対角関手 Δ C → C^J に対する右随伴関手としてとらえることができる。

この双対概念は余極限（あるいは帰納極限や順極限）と呼ばれる。

「有向集合」も参照

関連項目

• 片側極限
• 極限の一覧

</raw> </toggledisplay>

Japanese Journal

• フローサイトメトリーを用いたシグナル伝達因子の解析は収束性シグナルと分散性シグナルの検出に有用である

• 山形大学紀要. 医学 : 山形医学 = Bulletin of the Yamagata University. Medical science : Yamagata medical journal 35(2), 21-32, 2017-08-10
• NAID 120006334923

• 時変前処理を持つ適応フィルタの収束性解析

• システム制御情報学会研究発表講演会講演論文集 61, 4p, 2017-05-23
• NAID 40021220872

• リアプノフ密度による非線形時変システムの収束性の解析

• システム制御情報学会研究発表講演会講演論文集 61, 4p, 2017-05-23
• NAID 40021218863

Related Links

• 小山芳元通信

b福島第一原発事故の収束と検証もなく、避難計画の実効性がない中、九州電力川内原発が再稼働されたが、こうした安全が担保されていない再稼働は認めず、早期に原発から脱却するエネルギー政策の根本的な転換を求めること。 ...

• 【閲覧注意】18歳女性です - しぃアンテナ(*ﾟーﾟ)

2chまとめブログのアンテナサイト ... 【悲報】ベッキーの現在がガチでヤバイ状態になってる件…お前らこれ見てもまだ叩き続けるのかよ…

Related Pictures

---

★リンクテーブル★

リンク元	「収斂」
関連記事	「収束」

「収斂」

　　[★]

英

convergence、constriction、convergent、constrict

同

相近

関

狭窄、集合、収縮、収束、輻輳、収束性

平行進化

「収束」

　　[★]

英

convergence

関

発散