現代の数学では,関数を写像の意味に用いるので,その場合は連続関数は連続写像と同義語になるが,本項目では実数の集合のうえで定義された実数値関数について述べる。
実数の集合Eで定義された実数値関数y=f(x)があるとする。Eとしては,区間またはいくつかの区間の合併などを考える。aをEに属する点(実数)として,点xがEの中から点aに近づくならば,関数f(x)の値がf(a)に近づくとき,すなわち,
が成り立つとき,関数fは点aにおいて(またはx=aにおいて)連続であるという。定義域Eの各点で連続な関数を,E上の連続関数という。f,gがE上の連続関数ならばその和,差f±gおよび積f・gはE上の連続関数であり,また,g(x)=0となる点xを定義域から除いて考えれば,商f/gも連続関数である。関数fの定義域Eの点aでfが連続であるときaをfの連続点と呼び,それ以外のEの点をfの不連続点と呼ぶ。fの定義域に属さない点(すなわち関数が定義されていない点)では,連続,不連続は考えられない。例えばf(x)=1/xは(-∞,0)∪(0,∞)で定義されているが,x=0では定義されていないから,0は連続点とも不連続点ともいわない。連続関数fの値域が連続関数gの定義域に含まれているとき,合成関数g◦f,すなわち関数z=g(f(x))も連続である。
関数fの定義域が閉区間[a,b]である場合には,fがこの区間で連続ということは,y=f(x)のグラフがx-y平面上の点(a,f(a))から点(b,f(b))に至る一つの連続曲線(直観的な意味の)となることである。このように考えると,連続関数のいろいろの性質が直観的にとらえやすい。例えば,fが閉区間[a,b]で連続でf(a)≠f(b)ならば,f(a)とf(b)との間の任意の値αに対して,f(c)=αとなるcがaとbの間にある(中間値の定理)。また,閉区間[a,b]で連続な関数は,その区間で最大値をとる点および最小値をとる点がある。
関数の定義域がn次元ユークリッド空間(あるいはもっと一般に距離空間,位相空間)の場合も,連続の概念についてはまったく同様に述べることができる。
執筆者:伊藤 清三
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
《モスクワに遠征したナポレオンが、冬の寒さと雪が原因で敗れたところから》冬の厳しい寒さをいう語。また、寒くて厳しい冬のこと。「冬将軍の訪れ」《季 冬》...
1/16 デジタル大辞泉プラスを更新
1/16 デジタル大辞泉を更新
12/10 小学館の図鑑NEO[新版]魚を追加
10/17 ブリタニカ国際大百科事典 小項目事典を更新
8/22 日本大百科全書(ニッポニカ)を更新