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

関数の連続性のイメージ

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

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

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

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

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

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

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

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

一様連続とは

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

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

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

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

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

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

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

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

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

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