大学数学で新しく定義される連続関数
📂解析学大学数学で新しく定義される連続関数
定義
空集合じゃないE⊂Rに対してf:E→Rとしよう。全てのε>0に対して
∣x−a∣<δ⟹∣f(x)−f(a)∣<ε
を満たすδ>0が存在するなら、fをa∈Eで連続continuousと言い、Eの全ての点で連続ならfを連続関数continuous functionという。
説明
高校で連続を定義する時、
- 関数値f(a)が存在する。
- 極限x→alimが存在する。
- f(a)=x→alimが成り立つ。
この三条件が成り立つ時、fはx=aで連続って言った。イプシロン-デルタ論法を受け入れたなら、この定義は実は高校のレベルと変わらないことが分かるだろう。
∣x−a∣<δの時に∣f(x)−f(a)∣<εっていうのは、xがaの近くでちょっとだけ動くなら、f(x)もf(a)からちょっとだけ動くって意味になるだろう。つまり、xを変えてfに入れてみても、「急激に」、つまり不連続的に関数値が変わらないってことだ。言い換えれば、連続ってグラフで考えるなら「切れてない」ことを言うんだ。
高校生の中には、こんな直感的にだけ受け入れて「切れてない」関数を連続関数と受け入れたケースが結構ある。そうじゃない例で言うと、f(x):=x1はx=0で切れてるけど、定義域R∗=R∖{0}の全ての点で連続だから、連続関数であってる。普通は知らなくても生きていく上で支障はないけど、知らなかったら、この機会にしっかりと概念を捉え直そう。
fがa∈Eで連続っていうのは、以下と同値だ。
n→∞limxn=a⟹n→∞limf(xn)=f(a)
この定理は、関数の連続性によってn→∞limがfの内外を行き来できることを保証する。数学以外の多くの分野で、ちゃんとチェックせずに当たり前のように使われる場合が多いけど、これもまた、数学者の立場からすると、厳密に問いただすべき点だ。