本記事の内容
本記事は関数の連続性について解説する記事である。
本記事を読むにあたり、関数の極限を知っている必要があるため、その際は以下の記事を参照してください。
序
以前の記事(関数の極限を理解する その1)で述べたとおり、関数の極限と数列の極限との違いは、
- 数列の極限:最終的に値がどうなるの?
- 関数の極限:この点で値はどうなるの?
であった。
一言で言えば、数列の極限は大域的に、関数の極限は局所的に考える、ということである。
なぜ関数の極限は局所的に考えるのか、というと、関数に対しては今回解説する「連続性」という性質を知りたいからである。
関数の連続性は以前の実数の連続性とはまた別の話であるものの、考え方は非常に似ている。
要は、関数がある点でつながっている、ということなのである。
関数が連続であると、嬉しいことがたくさんある。
例えば、閉区間[a,b]において関数fが連続であれば、[a,b]においてfは最大値および最小値を持つ。
つまり、閉区間内で連続であれば、最大値と最小値の存在が保証される、というわけである。
関数の連続のイメージ
序で述べたことが全てといえば全てであるが、例を挙げよう。
例1.
f:R→Rがf(x)=2xとする。
このとき、fはRでつながっており、特にx=0でつながっている。

例2.
g:R→Rがg(x)=x2で定められているとする。
このとき、gはRでつながっており、特にx=0でつながっている。

例3.
h:R→Rがh(x)=[x]([]はGauss記号)とする。
このときhはx∈Zでつながっていない。
ここで、[x]はxを超えない最大の整数である。

要は
というわけである。
“つながっている”ってどういうこと?
「”つながっている”というのは直感的に分かるけど、それを数学的に表すとどういうこと?」となるだろう。
これは極限を用いて表す事ができるのである。
ここで、発想を実数の連続性へと戻してみよう。
実数の連続性には2つの直感がある、という話をした(「実数の連続性のイメージをつかもう!」【解析学の基礎シリーズ】)。
それは
- 実数の数直線上には一切”すき間”が無い。
- どんな実数にもその十分近くにまた実数がある。
だった。
まず1.を思い浮かべてみよう。
関数の連続に話を戻すと、”つながっている”ということは”途切れていない”ということなのだから、”一切すき間が無い”ということなのである。
実数の連続性では数直線にすき間が無い、という発想だったのだが、関数の連続は”関数のグラフにすき間が無い”ということなのである。
つまり、イメージとしては数直線をグネグネに曲げたりした線(関数のグラフ)にすき間がない、ということである。
次に2.を思い浮かべてみよう。
実数の連続性については「数直線上のどんな実数に対しても、その十分近くにまた実数がある」ということだった。
この数直線をグネグネ曲げて関数の形にしたと想像してほしい。
このとき、「関数のグラフ上のどんな値に対しても、その十分近くにまた関数の値がある」ということが関数の連続なのである。
これをより数学の言葉に近い形で言えば、
わけなのである。
故に関数の連続は極限の言葉を用いて書かれるのである。
実関数の収束は何だったか、というと、
だった。
a∈ˉIと距離がδ未満であるようなx∈Iに対して、f(x)とA∈Rが十分近いときにfはAに収束する、ということだった。
このAがf(a)と一致しているときに「連続である」というわけなのである。
「あれ?なんかおかしいぞ?」と思うかもしれない。
「Aってf(a)のことじゃないの?」という疑問が湧くのではなかろうか。
実は違う。
例えばこんな例を考えてみる。
例4.
u:R→Rが
u(x)={x+2(x∈R∖{1})1(x=1)
で定められていたとする。

このとき、limx→1u(x)=3である。
しかし、u(1)=1であるので、u(1)≠3である。
すなわち、必ずしもlimx→au(x)とu(a)は一致しないのである。
ちなみに、この場合はuはx=1で連続でない(不連続であるともいう)。
で?関数の連続って数学的にどういうこと?
以上のことをまとめると、関数における連続とはつぎのことをいう。
- a∈Iとする。fがaで連続(continuous at a)であるとは、 limx→af(x)=f(a) が成り立つことをいう。 すなわち、 (∀ϵ>0)(∃δ>0) s.t. (∀x∈I; 0<|x−a|<δ⇒|f(x)−f(a)|<ϵ) が成り立つことをいう。
- fがIで連続である(continuous on I)とは、任意のa∈Iに対して、fがaで連続であることをいう。 すなわち、 (∀a∈I)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|f(x)−f(a)|<ϵ) が成り立つことをいう。

実は、関数の連続には別の言い方もある。
それについては後述する。
関数が連続であることと連続でないことを証明してみよう!
先に挙げた例1.,2.,3.,4.が連続であるかどうかを証明してみよう!
とはいえ、関数の極限、特に関数の収束がわかっていればなんてことはない。
むしろほとんど同じである。
なぜならば、形式的には関数の収束におけるAがf(a)に変わっただけだからである。
「ちょっとやってみようかな。」という方は是非挑戦してみてほしい!
例1.について
例1.
f:R→Rがf(x)=2xとする。
このとき、fはRで連続であり、特にx=0で連続である。

証明
- fがx=0で連続であることの証明
示したいことは
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−0|<δ⇒|2x−0|<ϵ)
である。 つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
δ=ϵ2とすると、δ>0である。
0<|x−0|=|x|<δを満たすx∈Rに対して、
|2x−0|=|2x|=2|x|<2δ=2⋅ϵ2=ϵ
が成り立つ。
従って、
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0|x|<δ⇒|2x|<ϵ)
が成り立ったので、fはx=0で連続である。 - fがRで連続であることの証明
示したいことは
(∀a∈R)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|2x−2a|<ϵ)
である。
つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
δ=ϵ2とすると、δ>0である。
0<|x−a|<δを満たすx∈Rに対して、
|2x−2a|=2|x−a|<2δ=2⋅ϵ2=ϵ
が成り立つ。
従って、
(∀a∈R)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|2x−2a|<ϵ)
が成り立ったので、fはRで連続である。(Q.E.D.)
例2.について(例1.の証明をマネしてやってみよう!)
例2.
g:R→Rがg(x)=x2で定められているとする。
このとき、gはRで連続であり、特にx=0で連続である。

証明
- gがx=0で連続であることの証明
示したいことは
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−0|<δ⇒|x2−0|<ϵ)
である。
つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
δ=√ϵとすると、δ>0である。
0<|x−0|=|x|<δを満たすx∈Rに対して、
|x2−0|=|x2|=x2<δ2<ϵが成り立つ。
従って、
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x|<δ⇒|x2|<ϵ)
が成り立ったので、fはx=0で連続である。 - fがRで連続であることの証明
示したいことは
(∀a∈R)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|2x−2a|<ϵ)
である。
つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
δ=−|a|+√|a|2+ϵとすると、δ>0である。
0<|x−a|<δを満たすx∈Rに対して、
|x2−a2|=|(x+a)(x−a)|=|x−a+2a|⋅|x−a|≤|x−a|2+2|a|⋅|x−a|=|a|2−2|a|√|a|2+ϵ+|a2|+ϵ+2|a|(−|a|+√|a|2+ϵ)=2|a|2−2|a|2+2|a|√|a|2+ϵ−2|a|√|a|2+ϵ+ϵ=ϵ
が成り立つ。
従って、
(∀a∈R)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|x2−a2|<ϵ)
が成り立ったので、fはRで連続である。
(Q.E.D.)
例3.について
例3.
h:R→Rがh(x)=[x]([]はGauss記号)とする。
このときhはx∈Zで連続でない。
ここで、[x]はxを超えない最大の整数である。

(証明)
示したいことは、
(∀n∈Z)(∃ϵ>0) s.t. [(∀δ>0)(∃x∈R) s.t.0<|x−n|<δ∧|h(x)−h(n)|≥ϵ]
である(hがx=n∈Zで連続であることの否定!)。
つまり、上記を満たすようなϵ>0とx∈Rを見つけてきなさい、ということである。
n∈Zとし、ϵ=1とする。
また、δを任意の正の実数とする。
このとき、x=n−δ2とすると、0<|x−n|=|−δ2|=δ2<δである。 さらに、Gauss記号[]の性質x−1<[x]≤xを用いれば、
|h(x)−h(n)|=|[n−δ2]−n|>|n−δ2−1−n|=|−δ2−1|=δ2+1>1
であるので、
(∀n∈Z)(∃ϵ>0) s.t. (∀δ>0)(∃x∈R) s.t.0<|x−n|<δ∧|h(x)−h(n)|≥ϵ
が成り立つ。
従って、hはx=n (n∈Z)で不連続である。
(Q.E.D.)
例4.について
例4.
u:R→Rが
u(x)={x+2(x∈R∖{1})1(x=1)
で定められていたとする。
このとき、limx→1u(x)=3だが、u(1)=1である。
すなわち、uはx=1で不連続である。

(証明)
示したいことは
(∃ϵ>0) s.t. [(∀δ>0)(∃x∈R) s.t.0<|x−1|<δ∧|u(x)−u(1)|≥ϵ]
である(uがx=1で連続であることの否定!)。 つまり、上記を満たすようなϵ>0とx∈Rを見つけてきなさい、ということである。
ϵ=1とし、δを任意の正の実数とする。
このとき、x=δ2+1とすると、0<|x−1|=|δ2+1−1|=δ2<δである。
また、δ2+1>1だからδ2+1≠1である。
従って、
|u(x)−u(1)|=|u(δ2+1)−u(1)|=δ2+3−1=δ2+2>1=ϵ
であるので、
(∃ϵ>0) s.t. [(∀δ>0)(∃x∈R) s.t.0<|x−1|<δ∧|u(x)−u(1)|≥ϵ]
が成り立つ。
従って、uはx=1で不連続である。
(Q.E.D.)
関数の連続の言い換え
先に関数の連続は
のだった。
また、定義域のすべての要素aに対して上記が成り立つとき、定義域内で連続であるというのだった。
これらは結局関数fの極限がf(a)と一致するということだった。
直感的にはaで関数がつながっているときにaで連続だ、ということだった。
これを言い換えてみると、

近づく方向ってどうやって数学で表現するの?
何ら難しいことではない。
- 右から近づく
右からa∈Rに近づく、というのはxがaよりも大きい状態でaに近づくということ。 - 左から近づく
左からa∈Rに近づく、というのはxがaよりも小さい状態でaに近づくということ。
なのである。
関数がaで連続であるというのは
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|f(x)−f(a)|<ϵ)
が成り立つことだった。
近づける方向はxに対する条件なのだから、0<|x−a|<δの部分を改変することで表現できる。 0<|x−a|<δは−δの状態で近づく。
従って、右から近づくことは0<x−a<δで表現される。
同様に、−δ<x−a<0は左から近づくことを表現している。
これを論理式で書けば、次である。
- Rが関数fの右極限であるとは、 (∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<x−a<δ⇒|f(x)−R|<ϵ) が成り立つことをいう。このとき、 limx→a+0f(x)=R と書く。
- Lが関数fの左極限であるとは、 (∀ϵ>0)(∃δ>0) s.t. (∀x∈I: −δ<x−a<0⇒|f(x)−L|<ϵ) が成り立つことをいう。このとき、 limx→a−0f(x)=L と書く。

片側極限と関数の連続との関係
では、片側極限がどのように関数の連続と関連するかということを表現する定理を述べる。
(証明)
f:I→Rを関数、α∈Rとする。
- limx→af(x)=α⇒limx→a+0f(x)=limx→a−0f(x)=αの証明
示したいことは、
①(∀ϵ1>0)(∃δ1>0) s.t. (∀x∈I: 0<x−a<δ1⇒|f(x)−α|<ϵ1)
②(∀ϵ2>0)(∃δ2>0) s.t. (∀x∈I: −δ2<x−a<0⇒|f(x)−α|<ϵ2)
が成り立つことである。
limx→af(x)=αであるから、
(∀ϵ0>0)(∃δ0>0) s.t. (∀x∈I: 0<|x−a|<δ0⇒|f(x)−α|<ϵ0)
が成り立つ。
故に上記を満たすδ0>0を見つけてくることができる。
δ1およびδ2としてδを採用し、ϵ0>0は任意だっため新たにϵと書き換えると、0<x−a<δならば、0<|x−a|<δが成り立つ。
また、−δ<x−a<0ならば、0<|x−a|<δが成り立つ。
故に
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<x−a<δ⇒|f(x)−α|<ϵ)
かつ
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: −δ<x−a<0⇒|f(x)−α|<ϵ2)
が成り立つので、①および②が成り立つ。
- limx→a+0f(x)=limx→a−0f(x)=α⇒limx→af(x)=αの証明
示したいことは、
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|f(x)−α|<ϵ)
である。
今、limx→a+0f(x)=limx→a−0f(x)=αなのだから、
①(∀ϵ1>0)(∃δ1>0) s.t. (∀x∈I: 0<x−a<δ1⇒|f(x)−α|<ϵ1)
②(∀ϵ2>0)(∃δ2>0) s.t. (∀x∈I: −δ2<x−a<0⇒|f(x)−α|<ϵ2)
が成り立っている。
故に上記を満たすδ1>0, δ2を見つけてくることができる。
δとして、δ1とδ2>0の内、大きい方を採用し、ϵ0>0は任意だっため新たにϵと書き換えると、
①’(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<x−a<δ⇒|f(x)−α|<ϵ)
②’(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: −δ<x−a<0⇒|f(x)−α|<ϵ)
が成り立っている。
従って、0<|x−a|<δならば0<x−a<δかつ−δ<x−a<0が成り立つ。
故に
(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|f(x)−α|<ϵ)
が成り立つ。(Q.E.D.)
連続関数の和・差・積・商
関数に対する「連続である」という条件は和をとっても差をとっても積をとっても割っても連続関数である。
「何の役に立つの?」と思うかもしれないが、筆者は非常に有用であると感じている。
筆者が挙げている例はどれも理解しやすいようなるべく明らかな例を挙げたりしているわけだが、実際に関数について考察するときは分かりやすいものばかりではない。
むしろわかりにくく複雑な関数のほうが多い。
そんなとき、その関数を細かく分けて個々が連続であれば全体も連続である、という事が分かるのである。
連続である事がわかると、次回解説する(と思う)中間値の定理や最大値の存在定理が使えることになり、より詳細な関数の特徴を捉えることができる。
本当にそうか?ということを和と差だけ確認してみる。
(※なぜ和と差だけなのか?というのは後述します。)
例1′.+例2′.
- 例1.:f:R→R、f(x)=x2
- 例2.:g:R→R、g(x)=2x
だった。
このとき、f(x)+g(x)=x2+2xである。
f(x)+g(x)はRで連続である。
(∀a∈R)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|x2+2x−a2−2a|<ϵ)
であれば良い。
任意のϵ>0に対して、δ=−(|a|+1)+√(|a|+1)2+ϵとすれば、δ>0であり、
|x2+2x−a2−2a|=|x2−a2+2(x−a)|=|(x+a)(x−a)+2(x−a)|<|x−a|(|x+a|+2)<|x−a|(|x−a+2a|+2)≤|x−a|(|x+a|+2|a|+2)<δ(δ+2|a|+2)=δ2+2(|a|+1)δ=(|a|+1)2−2(|a|+1)√(|a|+1)2+ϵ+(|a|+1)2+ϵ−2(|a|+1)2+2(|a|+1)√(|a|+1)2+ϵ=ϵ
であるからf(x)+g(x)はRで連続である。
例1′.-例2′.
- 例1.:f:R→R、f(x)=x2
- 例2.:g:R→R、g(x)=2x
だった。
このとき、f(x)−g(x)=x2−2xである。
f(x)−g(x)はRで連続である。
(∀a∈R)(∀ϵ>0)(∃δ>0) s.t. (∀x∈I: 0<|x−a|<δ⇒|x2−2x−a2+2a|<ϵ)
であれば良い。
任意のϵ>0に対して、δ=−(|a|−1)+√(|a|−1)2+ϵとすれば、δ>0であり、
|x2−2x−a2+2a|=|x2−a2−2(x−a)|=|(x+a)(x−a)−2(x−a)|<|x−a|(|x+a|−2)<|x−a|(|x−a+2a|−2)≤|x−a|(|x+a|+2|a|−2)<δ(δ+2|a|−2)=δ2+2(|a|−1)δ=(|a|−1)2−2(|a|−1)√(|a|−1)2+ϵ+(|a|−1)2+ϵ−2(|a|−1)2+2(|a|−1)√(|a|−1)2+ϵ=ϵ
であるからf(x)−g(x)はRで連続である。
このように、和と差については正しそうだ、という事が分かった。
実は、積、商についても成り立つ。
つまり、以下が成り立つ。
- a∈Iとし、fとgはaで連続とするとき、次が成り立つ。
- f(x)+g(x)、f(x)−g(x)、f(x)g(x)はaで連続である。すなわち、
- limx→a(f(x)+g(x))=f(a)+g(a),
- limx→a(f(x)−g(x))=f(a)−g(a),
- limx→a(f(x)g(x))=f(a)g(a).
- g(a)≠0ならば、f(x)g(x)はaで連続である。すなわち、 limx→af(x)g(x)=f(a)g(a) である。
- f(x)+g(x)、f(x)−g(x)、f(x)g(x)はaで連続である。すなわち、
- fとgはIで連続であるとするとき、次が成り立つ。
- f(x)+g(x)、f(x)−g(x)、f(x)g(x)はIで連続である。すなわち、
- (∀a∈I)limx→a(f(x)+g(x))=f(a)+g(a),
- (∀a∈I)limx→a(f(x)−g(x))=f(a)−g(a),
- (∀a∈I)limx→a(f(x)g(x))=f(a)g(a).
- g(a)≠0ならば、f(x)g(x)はI′={x∈∣g(x)≠0}で連続である。すなわち、 (∀a∈I′) limx→af(x)g(x)=f(a)g(a) である。
- f(x)+g(x)、f(x)−g(x)、f(x)g(x)はIで連続である。すなわち、
実はこの定理はすでに証明している。
というのも、以下をすでに証明しているからである。
IをRの区間、f:I→Rおよびg:I→Rを関数、a∈ˉI、A,b∈Rとし、limx→af(x)=A、limx→ag(x)=Bとする。 このとき、次が成り立つ。
- limx→a(f(x)+g(x))=limx→af(x)+limx→ag(x)=A+B,
- limx→a(f(x)−g(x))=limx→af(x)−limx→ag(x)=A−B,
- limx→af(x)g(x)=(limx→af(x))⋅(limx→ag(x))=AB,
- B≠0ならば、δ0>0が存在して、|x−a|<δ0なるx∈Iに対して、g(x)≠0で、limx→af(x)g(x)=limx→af(x)limx→ag(x)=AB
この事実において、∀a∈Iに対してA=f(a)かつB=g(a)のときを考えれば良いからである。
そういう意味で、積、商についての例を省いた。
結
今回は関数の連続について説明した。
関数の連続は一言で言えば、つながっている、ということで
要は、
というわけである。
このaがfの定義域の任意の要素であっても成り立つ場合には、定義域内で連続であるという。
また、関数の連続は左右極限が一致し、かつその点においての関数の極限と一致するという捉え方もできる。
さらに、連続関数を四則演算で組み合わせた関数もまた連続関数である。
次回は合成関数、多項式関数、有理関数の連続について述べる。
乞うご期待!質問、コメントなどお待ちしております!
この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください!
ちなみに「解析概論」は日本の歴史的名著らしいので、辞書的にもぜひ1冊持っておくと良いと思います!
コメントをする