連続 (数学)

数学において、連続（れんぞく、）および連続性（れんぞくせい、）とは、点の集合が切れていないことを表す概念である。それの厳密な定義は極限によって定式化される。数学における連続の概念は、位相空間の間の写像に対して拡張され、開集合などといった位相的な概念を一定の方法で保つという条件によって連続性の概念が定められる。これは異なる位相空間の間の関係を表す最も基本的な枠組みである。

一変数実関数の連続性 
以下に1変数実関数の場合を主として、関数の連続性および様々な派生概念を述べる。

各点連続 

連続性は、各点の周りで考えられる概念である。1変数実関数  がある点  で連続であるとは、 が  に限りなく近づくならば、 が  に限りなく近づくことを言う：

これはε-δ論法を用いれば次のように定式化できる：
任意の正の数  に対して、ある正の数  が存在し、 との距離が  未満であるどんな  に対しても、 は  の差が  より小さくなる：

また、関数  がある区間 I で連続であるとは、I に属するそれぞれの点で連続であることを言う：

関数  が多変数であったり、またはベクトル値関数である場合にも、基本的には上の絶対値の記号をノルム（長さ）に変更すれば同じようにして連続性を定義することができる。関数空間のような無限個の変数で表される対象や、さらに抽象的な位相空間上で定義された写像についての連続性は近傍系やフィルター、有向点族（ネット）などの概念を通じて定義される。

一般の位相空間に対して 
一般に、 を位相空間  から位相空間  への写像とするとき、 が  で連続であるとは、 の任意の近傍  に対して、 のある近傍  を取れば、それの像が  とできることをいう。

これは、 の点  を含む任意の近傍の  による逆像がまた  の近傍であるとき、 は  において連続であるというと言い換えることができる。また、 が  全体で連続であるということは、単に  の任意の開集合の逆像がまた  の開集合であるのと同じである。

実数や複素数（あるいはその列）の全体に対して、絶対値（あるいはノルム）を距離関数として距離空間の位相を導入すれば、「連続関数」は「連続写像」の例であることが理解される。

一様連続 

各点連続よりも強い概念に一様連続性の概念がある。1変数実関数  についてこれは次のように定義される。

任意の正の数  に対して、正の数  が存在し、距離が  未満であるどんな数   に対しても、 と  との差が  より小さくなっているならば、 は一様連続であるという。つまり、区間  で定義された  が  上一様連続とは、

ということである。定義より、ある関数が区間  上一様連続ならばそれは  上連続でもある。一般的にこの逆は成り立たないが、区間  が有界閉区間ならば逆も成り立つ（ハイネ・カントールの定理）。

この概念は距離空間の間の、あるいは一様空間の間の写像の一様連続性として抽象化される。有界閉区間上の関数に対する連続性と一様連続性の一致は、コンパクト空間が自然に一様空間の構造をもつということで説明される。

ヘルダー連続 

一様連続性の特別な場合として、ヘルダー連続性の概念がある。一変数実関数  の値  と  の差が  と  の差のべき乗に比例するある量で抑えられるとき  はヘルダー連続であるという。

リプシッツ連続 

ヘルダー連続性のさらに特別な場合として、リプシッツ連続性の概念がある。一変数実関数  について、 と  の差が  と  の差に比例するある量で抑えられるとき  はリプシッツ連続 (Lipschitz continuous) であるという。つまり、 が  上リプシッツ連続であるとは、 が次の条件を満たすことである:

この条件は、リプシッツ条件 (Lipschitz condition) と呼ばれる。 がリプシッツ条件を満たすための  の値を  の リプシッツ定数 (Lipschitz constant) という。そのような最小の  をリプシッツ定数ということもある。

この概念は距離空間の間の写像に対して抽象化される。

不連続関数 
 ガウス記号  によって実数から実数への関数  を定義しよう。この関数は、各整数の点で不連続である。この場合、関数のグラフにはギャップができる。ギャップのある不連続点を第一種不連続点という。これは正確には、 の両側に極限が存在するが、両者の極限が等しくならないようなものである。これは不連続点の中では最も連続に近いものである。
  は  での値をどのように定めてもこの点で不連続になる。これは第一種不連続点ではない。
  が有理数なら 、無理数なら  の値をとる関数  をディリクレの関数と呼ぶ。これは  上の全ての点で不連続である。単純だが極端な不連続関数の例として積分論などの議論で重宝される。
 関数  を、 が無理数の場合は  と定義し、有理数の場合は （ は整数、 は正の整数でこれらは互いに素）と表し、この  を使って  と定義すると、 は無理数では連続、有理数では不連続となる。

注釈

出典

参考文献

関連項目 

実数
位相空間
距離空間
絶対連続
同程度連続
半連続
不連続性の分類
微分可能関数

解析学
位相幾何学
数学に関する記事