連続関数：定義、性質、例と連続性の重要性

形式的な定義（イプシロン・デルタ定義）

19世紀初頭の解析学者に帰される古典的なイプシロン・デルタによる定式化は、関数 f の定義域内の点 x0 における連続性を記述する。出力の変化に対する任意の許容誤差 ε > 0 が与えられたとき、入力の変化に対する対応する許容誤差 δ > 0 が存在し、入力 x が |x − x0| < δ を満たせば、出力について |f(x) − f(x0)| < ε が成り立たなければならない。この定義は通常、実数上の関数について提示されるが、距離空間へも自然に拡張できる。標準的な歴史的説明では、これらの考え方に厳密さをもたらした人物としてオーギュスタン＝ルイ・コーシーが挙げられる。イプシロン・デルタ条件は、非公式な説明に現れる「いくらでも小さく」という表現を形式化したものである。

基本的性質と代表的な事実

• 加法、減法、乗法、合成などの演算は連続性を保つ。すなわち、共通の定義域上で連続な関数の和と積は連続である。
• 閉かつ有界な区間上の連続関数には重要な帰結がある。最大値と最小値をとり、中間値の性質、すなわち二つの出力値の間にあるすべての値をとるという性質を満たす。
• 連続性は一点、区間、または定義域全体について考えられる。一様連続性は、イプシロン・デルタ条件を定義域全体にわたって強めた概念である。

より強い・より弱い概念

解析学では、連続性のいくつかの精密化が有用である。リプシッツ連続性は、関数の変化の速さに線形の上界を課す。すなわち、定義域内のすべての x, y に対して |f(x) − f(y)| ≤ L|x − y| となる定数 L が存在する。この条件は一様連続性を保証し、微分方程式や数値解析における評価をしばしば簡潔にする。ヘルダー連続性は、べき乗則による上界を認めることでリプシッツ連続性を緩めたものである。一様連続性では、各 ε に対し、点に依存せず定義域のどこでも機能する単一の δ が要求される。位相幾何学では、任意の開集合の逆像が開集合であることと連続性は同値であり、これにより概念は実数直線をはるかに超えて一般化される。

グラフによる直観も役に立つ。実数値関数がある点で連続であるなら、その点には突然の跳び、取り除くことのできる穴、無限に高いスパイクはない。単純な不連続性には、除去可能不連続性（グラフの穴）、跳躍不連続性（左右の極限が異なるもの）、本質的不連続性または無限不連続性（有界でない挙動）がある。よく用いられる視覚的な判定法は「ペンを離さない」規則である。左から右へペンを離さずグラフをたどれるなら、その関数はその区間で連続である。

連続性は数学の広い領域で中心的な役割を果たす。微分積分学を支え、中間値の定理を通じて方程式の可解性を保証し、位相幾何学と関数解析学の基本概念でもある。コーシーやワイエルシュトラスなどの歴史上の人物は定義の厳密化に貢献し、至る所で連続であるにもかかわらずどこでも微分可能ではない関数のような微妙な問題を探究した。絶対値関数のような初等的な道具は、連続性に関する議論や証明に繰り返し現れる。連続性とその諸変種を理解することは、極限、導関数、積分、および科学・工学における数学モデルの挙動を学ぶうえで不可欠である。