連続 (数学)

提供: miniwiki
移動先:案内検索

テンプレート:Dablink テンプレート:Dablink

{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded =

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

テンプレート:Startflatlist

テンプレート:Endflatlistテンプレート:Startflatlist

テンプレート:Endflatlist

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

| list4name = series | list4title = テンプレート:Bigger | list4 =

| list5name = vector | list5title = テンプレート:Bigger | list5 =

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

テンプレート:Endflatlist

}}

数学において、連続(れんぞく、: continuous)および連続性(れんぞくせい、: continuity)とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。[* 1]


一変数実関数の連続性

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

各点連続

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

[math]\lim_{x\to x_0} f(x) = f(x_0).[/math]

これはε-δ論法を用いれば次のように定式化できる:

(小さな)正の数 ε が任意に与えられたとき、(小さな)正の数 δ をうまくとってやれば、x0 と δ 以内の距離にあるどんな x に対しても、f(x) は f(x0) の差が ε より小さいようにすることができる:

[math]\forall\ \varepsilon \gt 0,\ \exists\ \delta\gt 0\ \text{s.t.}\ \forall\ x\ [\ |x-x_0|\lt \delta \Rightarrow |f(x)-f(x_0)|\lt \varepsilon\ ].[/math]

また、関数 f(x) がある区間 I で連続であるとは、I に属するそれぞれの点において連続であることを言う:

[math]\forall\ x_0\in I,\ \forall\ \varepsilon \gt 0,\ \exists\ \delta\gt 0\ \text{s.t.}\ \forall\ x \in I\ [\ |x-x_0|\lt \delta \Rightarrow |f(x)-f(x_0)|\lt \varepsilon\ ].[/math]

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

一般の位相空間に対して

一般に、f位相空間 X から位相空間 Y への写像とするとき、fxX で連続であるとは、f(x) ∈ Y のどんな近傍 V であっても、x の適当な近傍 Ux をとれば、その近傍の像がf(Ux) ⊆ Vとできることをいう。

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

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

一様連続

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

(小さな)正の数 ε が任意に与えられたとき、(小さな)正の数 δ で、δ 以内の距離にあるどんな数 x, y に対しても、f(x) と f(y) との差が ε より小さくなっているようなものをとることができるならば、f一様連続であるという。つまり、区間 IR で定義された f:IRI 上一様連続とは、

[math]\forall\ \varepsilon \gt 0,\ \exists\ \delta\gt 0\ \text{s.t.}\ \forall\ x,\ y \in I\ [\ |x-y|\lt \delta \Rightarrow |f(x)-f(y)|\lt \varepsilon\ ][/math]

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

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

ヘルダー連続

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

リプシッツ連続

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

[math]\exists\ L\gt 0\ \text{s.t.}\ \forall\ x,y \in I\ [\ |f(x)-f(y)|\lt L|x-y|\ ].[/math]

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

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

不連続関数

  • ガウス記号 [x] によって実数から実数への関数 f(x) = [x] を定義しよう。この関数は、各整数の点において不連続である。この場合、関数のグラフにはギャップができる。ギャップのあるような不連続点を第一種不連続点という。これは正確には、a + 0, a − 0 の両側に極限が存在するが、両者の極限が等しくならないようなものである。これは不連続点の中では最も連続に近いものである。
  • sin(1/x) は x = 0 の時の値をどのように定めてもこの点で不連続になる。これは第一種不連続点ではない。
  • x有理数なら1、無理数なら0を値とするような関数 d(x) をディリクレの関数と呼ぶ。これは R 上の全ての点で不連続である。単純だが極端な不連続関数の例として積分論などの議論で重宝される。
  • 関数 f を、x が無理数の場合は f(x) = 0 と定義し、有理数の場合は x=p/qp は整数、qは正の整数でこれらは互いに素)と表し、このqを使って f(x) = 1/q と定義すると、f は無理数では連続、有理数では不連続となる。

注釈

  1. 日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。

関連項目

参考文献

  • 高木貞治 『解析概論』 岩波書店、1983年、改訂第3版 軽装版。ISBN 4000051717。