|
数学における他の連続：圏論における連続性・スコット連続・連続関数 (集合論)（英語版）・グラフ連続（英語版）・幾何学的連続性（英語版）・連続体 |
|
実数直線（あるいは実数直線内の区間）が順序完備（英語版）であること（即ち、連続体を成すこと）を、歴史的経緯から「実数の連続性」と呼ぶことがあるが、本項に言う「連続性」と混同してはならない。この連続性は実数全体が絶対値に関して成す距離空間がコーシー完備であることと同値である。また実数直線内の区間が全て連結となることとも言い換えられる。 |
| Part of a series of articles about |
| 解析学 |
|
|
微分
| 定義 |
|
|
| 概念 |
- 微分の記法
- 二階導関数（英語版）
- 三階導関数（英語版）
- 変数変換（英語版）
- 陰関数の微分
- Related rates（英語版）
- テイラーの定理
|
| 法則と恒等式（英語版） |
- 和（英語版）
- 積
- 合成
- 冪（英語版）
- 商
- 一般ライプニッツ
- ファー・ディ・ブルーノの公式（英語版）
|
|
積分
|
|
| 定義 |
- 不定積分
- 積分 (広義)
- リーマン積分
- ルベーグ積分
- 線積分
- 複素線積分
|
| Integration by |
- 部分積分
- Discs（英語版）
- Cylindrical shells（英語版）
- Substitution（英語版） (trigonometric（英語版）)
- 部分分数（英語版）
- 順序（英語版）
- Reduction formulae（英語版）
|
|
級数
- 幾何（英語版） (算術幾何)
- 調和
- 交代
- 冪
- 二項（英語版）
- テイラー
|
| 収束判定法（英語版） |
- 項の極限（項判定法）（英語版）
- 比
- 冪根
- 積分（英語版）
- 比較
極限比較（英語版）- 交代級数（英語版）
- Cauchy condensation（英語版）
- ディリクレ（英語版）
- アーベル（英語版）
|
|
ベクトル
- 勾配
- 発散
- 回転
- ラプラシアン
- 方向微分
- 公式（英語版）
|
| 定理 |
- 発散
- 勾配（英語版）
- グリーン
- ケルビン・ストークス
|
|
多変数
| Formalisms |
|
|
| 定義 |
- 偏微分
- 多重積分
- 線積分
- 面積分
- 体積積分（英語版）
- ヤコビアン
- ヘッセ行列
|
|
Specialized
- 分数階
- マリアヴァン（英語版）
- 確率（英語版）
- 変分
|
|
|
数学において、連続（れんぞく、英: continuous）および連続性（れんぞくせい、英: continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。[* 1]
「連続写像」も参照
目次
- 1 一変数実関数の連続性
- 1.1 各点連続
- 1.2 一様連続
- 1.3 ヘルダー連続
- 1.4 リプシッツ連続
- 2 不連続関数
- 3 注釈
- 4 関連項目
- 5 参考文献
一変数実関数の連続性
以下に1変数実関数の場合を主として、関数の連続性および様々な派生概念をのべる。
各点連続
詳細は「位相空間」を参照
連続性は、各点の周りで考えられる概念である。1変数実関数 f(x) がある点 x0 で連続であるとは、x が x0 に限りなく近づくならば、f(x) が f(x0) に限りなく近づくことを言う。
これはε-δ論法を用いれば次のように定式化できる。
（小さな）正の数 ε が任意に与えられたとき、（小さな）正の数 δ をうまくとってやれば、x0 と δ 以内の距離にあるどんな x に対しても、f(x) は f(x0) の差が ε より小さいようにすることができる:
また、関数 f(x) がある区間 I で連続であるとは、I に属するそれぞれの点において連続であることを言う:
関数f(x) が多変数であったり、またはベクトル値関数である場合にも、基本的には上の絶対値の記号をノルム（長さ）に変更すれば同じようにして連続性を定義することができる。関数空間のような無限個の変数で表される対象や、さらに抽象的な位相空間上で定義された写像についての連続性は近傍系やフィルター、有向点族（ネット）などの概念を通じて定義される。
一般の位相空間に対して
一般に、f を位相空間 X から位相空間 Y への写像とするとき、f が x ∈ X で連続であるとは、f(x) ∈ Y のどんな近傍 V であっても、x の適当な近傍 Ux をとれば、その近傍の像がf(Ux) ⊆ Vとできることをいう。
これは、Y の点 f(x) を含む任意の近傍の f による逆像がまた x の近傍であるとき、f は x において連続であるというと言い換えることができる。また、f が X 全体で連続であるということは、単にY の任意の開集合の逆像がまた X の開集合であるのと同じである。
実数や複素数（あるいはその列）の全体に対して、絶対値（あるいはノルム）を距離関数として距離空間の位相を導入すれば、「連続関数」は「連続写像」の例であることが理解される。
一様連続
詳細は「一様連続」を参照
各点連続よりも強い概念に一様連続性の概念がある。1変数実関数に f(x) についてこれは次のように定義される。
（小さな）正の数 ε が任意に与えられたとき、（小さな）正の数 δ で、δ 以内の距離にあるどんな数 x, y に対しても、f(x) と f(y) との差が ε より小さくなっているようなものをとることができるならば、f は一様連続であるという。つまり、区間 I ⊂ R で定義された f:I → R が I 上一様連続とは、
ということである。定義より、ある関数が区間 I 上一様連続ならばそれは I 上連続でもある。一般的にこの逆は成り立たないが、区間 I が有界閉区間ならば逆も成り立つ（ハイネ・カントールの定理）。
この概念は距離空間の間の、あるいは一様空間の間の写像の一様連続性として抽象化される。有界閉区間上の関数にたいする連続性と一様連続性の一致は、コンパクト空間が自然に一様空間の構造をもつということで説明される。
ヘルダー連続
詳細は「ヘルダー条件」を参照
一様連続性の特別な場合として、ヘルダー連続性の概念がある。一変数実関数 f の値 f(x) と f(y) の差が x と y の差のべき乗に比例するある量で抑えられるとき f はヘルダー連続であるという。
リプシッツ連続
詳細は「リプシッツ連続」を参照
ヘルダー連続性のさらに特別な場合として、リプシッツ連続性の概念がある。一変数実関数f(x)について、f(x) と f(y) の差が x と y の差に比例するある量で抑えられるとき f はリプシッツ連続 (Lipschitz continuous) であるという。つまり、f が I 上リプシッツ連続であるとは、f が次の条件を満たすことである:
この条件は、リプシッツ条件 (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/q（p は整数、qは正の整数でこれらは互いに素）と表し、このqを使って f(x) = 1/q と定義すると、f は無理数では連続、有理数では不連続となる。
注釈
- ^ 日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。
関連項目
参考文献
- 高木貞治 『解析概論』 岩波書店、1983年、改訂第3版 軽装版。ISBN 4000051717。
