1. 高校数学の美しい物語
  2. 関数の連続性と一様連続性

関数の連続性と一様連続性

更新日時 2021/03/07

limxaf(x)=f(a)\displaystyle\lim_{x\to a}f(x)=f(a)

が成立するとき,関数 f(x)f(x)x=ax=a で連続という。

また,定義域(考えている区間内)の任意の点 aa で関数 ff が連続のとき,ff を連続関数と呼ぶ。

まずは関数の連続性と一様連続性についての大雑把なイメージを解説して,その後で ϵδ\epsilon - \delta を用いた厳密な定義を与えます。

目次
  • 関数の連続性のイメージ

  • 関数の一様連続性のイメージ

  • 連続と一様連続の厳密な定義

関数の連続性のイメージ

いきなり厳密な定義を書くとひるんでしますので,まずはイメージから。

関数が連続であるとは,直感的には 「関数がつながっている,ちぎれていない」という意味です。

  • y=x,y=sinx,y=x2y=x, y=\sin x, y=x^2 は連続関数です。
  • y=xy=|x| は原点で折れ曲がっているので微分不可能ですが,連続関数です。
  • y=1x(x>0)y=\dfrac{1}{x} (x > 0) は連続関数です。
  • y=tanx(π2<x<π2)y=\tan x (-\dfrac{\pi}{2} <x <\dfrac{\pi}{2}) も連続関数です。

なお,いたるところで不連続というヤバい関数もあります。→ディリクレ関数の定義と有名な3つの性質

ここまで理解できれば高校範囲では十分です。以下は大学内容です。

関数の一様連続性のイメージ

連続関数はつながっている関数なので扱い易い嬉しい関数ですが,さらに 「一様連続関数」と呼ばれるもっと嬉しい関数のクラスがあります。

「つながっている」を言い換える

x=x0x=x_0 でつながっていることは「 xxx0x_0十分近づくと f(x)f(x)f(x0)f(x_0) に近づく」と言い換えることもできます。

一様連続とは

連続であり,さらに 「十分」の程度が x0x_0 に依らないでおさえられるとき,一様連続と言います。

定義から分かるように,一様連続関数は連続関数ですが連続関数が一様連続関数とは限りません。

  • y=x,y=sinxy=x, y=\sin x は一様連続関数です。

  • y=xy=|x| は原点で折れ曲がっているので微分不可能ですが,一様連続関数です。

  • y=x2y=x^2xxが十分大きい時に猛烈に変化する(「十分」の程度がどこまでも厳しくなる)ので一様連続関数ではありません。

  • y=1x(x>0)y=\dfrac{1}{x} (x > 0)x=0x=0 の近くで「十分」の程度がどこまでも厳しくなるので一様連続関数ではありません。端っこで「十分」の程度がどこまでも厳しくなるので,一様連続関数ではありません。

連続関数では一般に成り立たないが,一様連続関数だと成り立つような嬉しい定理がいくつもあるので,一様連続という概念が重要になるのです。

連続と一様連続の厳密な定義

連続関数の厳密な定義は冒頭の定義を ϵδ\epsilon -\delta を使って書けばよいだけです。(ϵδ\epsilon -\delta を用いた極限の定義ははさみうちの原理の証明を参照してください。)

一様連続の方が少し難しいです。

連続性の定義:

考えている区間内の任意の実数 aa と,任意の正の実数 ϵ\epsilon に対して,ある δ\delta が存在して「 xa<δ|x-a| <\delta なら f(x)f(a)<ϵ|f(x)-f(a)| <\epsilon 」が成立する。

一様連続性の定義:

任意の正の実数 ϵ\epsilon に対して,ある δ\delta が存在して,

「考えている区間内の任意の実数 aa に対して,xa<δ|x-a| <\delta なら f(x)f(a)<ϵ|f(x)-f(a)| <\epsilon 」が成立する。

非常に似ているので混乱しやすいです,じっくり考えてみてください。

「連続」の場合には場所 aa に応じて適切な δ\delta を持ってくればよいのですが,

「一様連続」の場合には場所 aa によらない共通の δ\delta を持ってこないといけないので一様連続の方が強い定義になっているわけです。

ϵδ\epsilon -\delta を用いた定義に従って例で紹介した関数たちが連続,あるいは一様連続であることを証明するのがよい練習問題になります。

「連続」は局所的な概念,「一様連続」は大域的な概念です。

  1. 高校数学の美しい物語
  2. 関数の連続性と一様連続性