出典(authority):フリー百科事典『ウィキペディア(Wikipedia)』「2017/03/29 02:58:50」(JST)
数学における他の連続:圏論における連続性・スコット連続・連続関数 (集合論)(英語版)・グラフ連続(英語版)・幾何学的連続性(英語版)・連続体 |
実数直線(あるいは実数直線内の区間)が順序完備(英語版)であること(即ち、連続体を成すこと)を、歴史的経緯から「実数の連続性」と呼ぶことがあるが、本項に言う「連続性」と混同してはならない。この連続性は実数全体が絶対値に関して成す距離空間がコーシー完備であることと同値である。また実数直線内の区間が全て連結となることとも言い換えられる。 |
数学において、連続(れんぞく、英: continuous)および連続性(れんぞくせい、英: continuity)とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。[* 1]
以下に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 をリプシッツ定数ということもある。
この概念は距離空間の間の写像に対して抽象化される。
[ヘルプ] |
ポータル 数学 |
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
DPT “化血研” シリンジ
リンク元 | 「配列」「結果」「sequence」「持続性」「series」 |
拡張検索 | 「抗原不連続変異」「連続ACTH負荷試験」「連続クロマトグラフィー」 |
for ( $i = 0 ; $i < 5 ; $i++ ) { $a['w'][$i] = $i+100; $a['m'][$i] = 1; } for ( $i = 5 ; $i < 15 ; $i++ ) { $a['w'][$i] = $i+100; $a['m'][$i] = 2; } for ( $i = 15 ; $i < 20 ; $i++ ) { $a['w'][$i] = $i+100; $a['m'][$i] = 3; } $a['w'][5]=100; $a['w'][15]=100; var_dump($a); $b = array_unique($a['w']); #配列 重複キー 消去 var_dump($b); ----- array(2) { ["w"]=> array(20) { [0]=> int(100) [1]=> int(101) [2]=> int(102) [3]=> int(103) [4]=> int(104) [5]=> int(100) [6]=> int(106) [7]=> int(107) [8]=> int(108) [9]=> int(109) [10]=> int(110) [11]=> int(111) [12]=> int(112) [13]=> int(113) [14]=> int(114) [15]=> int(100) [16]=> int(116) [17]=> int(117) [18]=> int(118) [19]=> int(119) } ["m"]=> array(20) { [0]=> int(1) [1]=> int(1) [2]=> int(1) [3]=> int(1) [4]=> int(1) [5]=> int(2) [6]=> int(2) [7]=> int(2) [8]=> int(2) [9]=> int(2) [10]=> int(2) [11]=> int(2) [12]=> int(2) [13]=> int(2) [14]=> int(2) [15]=> int(3) [16]=> int(3) [17]=> int(3) [18]=> int(3) [19]=> int(3) } } array(18) { [0]=> int(100) [1]=> int(101) [2]=> int(102) [3]=> int(103) [4]=> int(104) [6]=> int(106) [7]=> int(107) [8]=> int(108) [9]=> int(109) [10]=> int(110) [11]=> int(111) [12]=> int(112) [13]=> int(113) [14]=> int(114) [16]=> int(116) [17]=> int(117) [18]=> int(118) [19]=> int(119) }
$str = implode('/',$array);
.