Processing math: 100%
スポンサーリンク

「関数の連続性」【解析学の基礎シリーズ】関数の極限編 関数の極限を理解する まとめ②

解析学

本記事の内容

本記事は関数の連続性について解説する記事である。
本記事を読むにあたり、関数の極限を知っている必要があるため、その際は以下の記事を参照してください。

以前の記事(関数の極限を理解する その1)で述べたとおり、関数の極限と数列の極限との違いは、

  • 数列の極限:最終的に値がどうなるの?
  • 関数の極限:この点で値はどうなるの?

であった。
一言で言えば、数列の極限は大域的に、関数の極限は局所的に考える、ということである。
なぜ関数の極限は局所的に考えるのか、というと、関数に対しては今回解説する「連続性」という性質を知りたいからである。
関数の連続性は以前の実数の連続性とはまた別の話であるものの、考え方は非常に似ている。
要は、関数がある点でつながっている、ということなのである。

関数が連続であると、嬉しいことがたくさんある。
例えば、閉区間[a,b]において関数fが連続であれば、[a,b]においてfは最大値および最小値を持つ。
つまり、閉区間内で連続であれば、最大値と最小値の存在が保証される、というわけである。

関数の連続のイメージ

序で述べたことが全てといえば全てであるが、例を挙げよう。

例1.
f:RRf(x)=2xとする。
このとき、fRでつながっており、特にx=0でつながっている。

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

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

要は

x=aでつながっているときに、fx=aで連続だ。

というわけである。

“つながっている”ってどういうこと?

「”つながっている”というのは直感的に分かるけど、それを数学的に表すとどういうこと?」となるだろう。
これは極限を用いて表す事ができるのである。

ここで、発想を実数の連続性へと戻してみよう。
実数の連続性には2つの直感がある、という話をした(「実数の連続性のイメージをつかもう!」【解析学の基礎シリーズ】)。
それは

  1. 実数の数直線上には一切”すき間”が無い。
  2. どんな実数にもその十分近くにまた実数がある。

だった。
まず1.を思い浮かべてみよう。
関数の連続に話を戻すと、”つながっている”ということは”途切れていない”ということなのだから、”一切すき間が無い”ということなのである。
実数の連続性では数直線にすき間が無い、という発想だったのだが、関数の連続は”関数のグラフにすき間が無い”ということなのである。
つまり、イメージとしては数直線をグネグネに曲げたりした線(関数のグラフ)にすき間がない、ということである。

次に2.を思い浮かべてみよう。
実数の連続性については「数直線上のどんな実数に対しても、その十分近くにまた実数がある」ということだった。
この数直線をグネグネ曲げて関数の形にしたと想像してほしい。
このとき、「関数のグラフ上のどんな値に対しても、その十分近くにまた関数の値がある」ということが関数の連続なのである。
これをより数学の言葉に近い形で言えば、

xaに近づくとき、f(x)f(a)に近づくというときにfx=aで連続だという。

わけなのである。
故に関数の連続は極限の言葉を用いて書かれるのである。

実関数の収束は何だったか、というと、

実関数の収束 IRの区間、f:IRを写像(関数)、aˉIARとする。xaのときf(x)Aに収束する(このことをf(x)A (xa)と表す)とは、 (ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|f(x)A|<ϵ) が成り立つことをいう。 Aのことをxaのときのf(x)極限と呼び、 limxaf(x)=A と表す。 また、xaのときにf(x)が極限を持つ(あるいは「f(x)が収束する」)とは、あるARが存在して、xaのときにf(x)Aに収束することをいう。

だった。
aˉIと距離がδ未満であるようなxIに対して、f(x)ARが十分近いときにfAに収束する、ということだった。
このAf(a)と一致しているときに「連続である」というわけなのである。

「あれ?なんかおかしいぞ?」と思うかもしれない。
Aってf(a)のことじゃないの?」という疑問が湧くのではなかろうか。
実は違う。
例えばこんな例を考えてみる。

例4.
u:RR
u(x)={x+2(xR{1})1(x=1)
で定められていたとする。

このとき、limx1u(x)=3である。
しかし、u(1)=1であるので、u(1)3である。
すなわち、必ずしもlimxau(x)u(a)は一致しないのである。
ちなみに、この場合はux=1で連続でない(不連続であるともいう)。

で?関数の連続って数学的にどういうこと?

以上のことをまとめると、関数における連続とはつぎのことをいう。

実関数の連続 IRの区間、f:IRとする。
  • aIとする。faで連続(continuous at a)であるとは、 limxaf(x)=f(a) が成り立つことをいう。
  • すなわち、 (ϵ>0)(δ>0) s.t. (xI; 0<|xa|<δ|f(x)f(a)|<ϵ) が成り立つことをいう。
  • fIで連続である(continuous on I)とは、任意のaIに対して、faで連続であることをいう。
  • すなわち、 (aI)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|f(x)f(a)|<ϵ) が成り立つことをいう。

実は、関数の連続には別の言い方もある。
それについては後述する。

関数が連続であることと連続でないことを証明してみよう!

先に挙げた例1.,2.,3.,4.が連続であるかどうかを証明してみよう!
とはいえ、関数の極限、特に関数の収束がわかっていればなんてことはない。
むしろほとんど同じである。
なぜならば、形式的には関数の収束におけるAf(a)に変わっただけだからである。
「ちょっとやってみようかな。」という方は是非挑戦してみてほしい!

例1.について

例1.
f:RRf(x)=2xとする。
このとき、fRで連続であり、特にx=0で連続である。

証明

  1. fx=0で連続であることの証明
    示したいことは
    (ϵ>0)(δ>0) s.t. (xI: 0<|x0|<δ|2x0|<ϵ)
    である。 つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
    δ=ϵ2とすると、δ>0である。
    0<|x0|=|x|<δを満たすxRに対して、
    |2x0|=|2x|=2|x|<2δ=2ϵ2=ϵ
    が成り立つ。
    従って、
    (ϵ>0)(δ>0) s.t. (xI: 0|x|<δ|2x|<ϵ)
    が成り立ったので、fx=0で連続である。
  2. fRで連続であることの証明
    示したいことは
    (aR)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|2x2a|<ϵ)
    である。
    つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
    δ=ϵ2とすると、δ>0である。
    0<|xa|<δを満たすxRに対して、
    |2x2a|=2|xa|<2δ=2ϵ2=ϵ
    が成り立つ。
    従って、
    (aR)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|2x2a|<ϵ)
    が成り立ったので、fRで連続である。(Q.E.D.)

例2.について(例1.の証明をマネしてやってみよう!)

例2.
g:RRg(x)=x2で定められているとする。
このとき、gRで連続であり、特にx=0で連続である。

証明

  1. gx=0で連続であることの証明
    示したいことは
    (ϵ>0)(δ>0) s.t. (xI: 0<|x0|<δ|x20|<ϵ)
    である。
    つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
    δ=ϵとすると、δ>0である。
    0<|x0|=|x|<δを満たすxRに対して、
    |x20|=|x2|=x2<δ2<ϵが成り立つ。
    従って、
    (ϵ>0)(δ>0) s.t. (xI: 0<|x|<δ|x2|<ϵ)
    が成り立ったので、fx=0で連続である。
  2. fRで連続であることの証明
    示したいことは
    (aR)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|2x2a|<ϵ)
    である。
    つまり、任意のϵ>0に対して上記を満たすようなδ>0を見つけてきなさい、ということである。
    δ=|a|+|a|2+ϵとすると、δ>0である。
    0<|xa|<δを満たすxRに対して、
    |x2a2|=|(x+a)(xa)|=|xa+2a||xa||xa|2+2|a||xa|=|a|22|a||a|2+ϵ+|a2|+ϵ+2|a|(|a|+|a|2+ϵ)=2|a|22|a|2+2|a||a|2+ϵ2|a||a|2+ϵ+ϵ=ϵ
    が成り立つ。
    従って、
    (aR)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|x2a2|<ϵ)
    が成り立ったので、fRで連続である。
    (Q.E.D.)

例3.について

例3.
h:RRh(x)=[x]([]はGauss記号)とする。
このときhxZで連続でない。
ここで、[x]xを超えない最大の整数である。

(証明)
示したいことは、
(nZ)(ϵ>0) s.t. [(δ>0)(xR) s.t.0<|xn|<δ|h(x)h(n)|ϵ]
である(hx=nZで連続であることの否定!)。

つまり、上記を満たすようなϵ>0xRを見つけてきなさい、ということである。
nZとし、ϵ=1とする。
また、δを任意の正の実数とする。
このとき、x=nδ2とすると、0<|xn|=|δ2|=δ2<δである。 さらに、Gauss記号[]の性質x1<[x]xを用いれば、
|h(x)h(n)|=|[nδ2]n|>|nδ21n|=|δ21|=δ2+1>1
であるので、
(nZ)(ϵ>0) s.t. (δ>0)(xR) s.t.0<|xn|<δ|h(x)h(n)|ϵ
が成り立つ。
従って、hx=n (nZ)で不連続である。
(Q.E.D.)

例4.について

例4.
u:RR
u(x)={x+2(xR{1})1(x=1)
で定められていたとする。
このとき、limx1u(x)=3だが、u(1)=1である。
すなわち、ux=1で不連続である。

(証明)
示したいことは
(ϵ>0) s.t. [(δ>0)(xR) s.t.0<|x1|<δ|u(x)u(1)|ϵ]
である(ux=1で連続であることの否定!)。 つまり、上記を満たすようなϵ>0xRを見つけてきなさい、ということである。
ϵ=1とし、δを任意の正の実数とする。
このとき、x=δ2+1とすると、0<|x1|=|δ2+11|=δ2<δである。
また、δ2+1>1だからδ2+11である。
従って、
|u(x)u(1)|=|u(δ2+1)u(1)|=δ2+31=δ2+2>1=ϵ
であるので、
(ϵ>0) s.t. [(δ>0)(xR) s.t.0<|x1|<δ|u(x)u(1)|ϵ]
が成り立つ。
従って、ux=1で不連続である。
(Q.E.D.)

関数の連続の言い換え

先に関数の連続は

xaに近づくとき、f(x)f(a)に近づくというときにfx=aで連続だという。

のだった。
また、定義域のすべての要素aに対して上記が成り立つとき、定義域内で連続であるというのだった。
これらは結局関数fの極限がf(a)と一致するということだった。
直感的にはaで関数がつながっているときにaで連続だ、ということだった。
これを言い換えてみると、

xを左からaに近づけたときの極限と、xを右からaに近づけたときの極限が一致していて、しかもその極限がf(a)であるときにfx=aで連続だという。

近づく方向ってどうやって数学で表現するの?

何ら難しいことではない。

  • 右から近づく
    右からaRに近づく、というのはxaよりも大きい状態でaに近づくということ。
  • 左から近づく
    左からaRに近づく、というのはxaよりも小さい状態でaに近づくということ。

なのである。
関数がaで連続であるというのは
(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|f(x)f(a)|<ϵ)
が成り立つことだった。
近づける方向はxに対する条件なのだから、0<|xa|<δの部分を改変することで表現できる。 0<|xa|<δδの状態で近づく。
従って、右から近づくことは0<xa<δで表現される。
同様に、δ<xa<0は左から近づくことを表現している。
これを論理式で書けば、次である。

片側極限 IRの区間、f:IRを写像(関数)、aˉIARとする。
  • Rが関数fの右極限であるとは、 (ϵ>0)(δ>0) s.t. (xI: 0<xa<δ|f(x)R|<ϵ) が成り立つことをいう。このとき、 limxa+0f(x)=R と書く。
  • Lが関数fの左極限であるとは、 (ϵ>0)(δ>0) s.t. (xI: δ<xa<0|f(x)L|<ϵ) が成り立つことをいう。このとき、 limxa0f(x)=L と書く。

片側極限と関数の連続との関係

では、片側極限がどのように関数の連続と関連するかということを表現する定理を述べる。

定理5. αRとする。このとき、 limxaf(x)=αlimxa+0f(x)=limxa0f(x)=α が成り立つ。 特にα=f(a)のとき、左右の極限が一致し、かつその極限がf(a)と一致することと関数がaで連続であることは同値である、という主張である。

(証明)

f:IRを関数、αRとする。

  • limxaf(x)=αlimxa+0f(x)=limxa0f(x)=αの証明
    示したいことは、
    (ϵ1>0)(δ1>0) s.t. (xI: 0<xa<δ1|f(x)α|<ϵ1)
    (ϵ2>0)(δ2>0) s.t. (xI: δ2<xa<0|f(x)α|<ϵ2)
    が成り立つことである。
    limxaf(x)=αであるから、
    (ϵ0>0)(δ0>0) s.t. (xI: 0<|xa|<δ0|f(x)α|<ϵ0)
    が成り立つ。
    故に上記を満たすδ0>0を見つけてくることができる。
    δ1およびδ2としてδを採用し、ϵ0>0は任意だっため新たにϵと書き換えると、0<xa<δならば、0<|xa|<δが成り立つ。
    また、δ<xa<0ならば、0<|xa|<δが成り立つ。
    故に
    (ϵ>0)(δ>0) s.t. (xI: 0<xa<δ|f(x)α|<ϵ)
    かつ
    (ϵ>0)(δ>0) s.t. (xI: δ<xa<0|f(x)α|<ϵ2)
    が成り立つので、①および②が成り立つ。
  • limxa+0f(x)=limxa0f(x)=αlimxaf(x)=αの証明
    示したいことは、
    (ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|f(x)α|<ϵ)
    である。
    今、limxa+0f(x)=limxa0f(x)=αなのだから、
    (ϵ1>0)(δ1>0) s.t. (xI: 0<xa<δ1|f(x)α|<ϵ1)
    (ϵ2>0)(δ2>0) s.t. (xI: δ2<xa<0|f(x)α|<ϵ2)
    が成り立っている。
    故に上記を満たすδ1>0, δ2を見つけてくることができる。
    δとして、δ1δ2>0の内、大きい方を採用し、ϵ0>0は任意だっため新たにϵと書き換えると、
    ①’(ϵ>0)(δ>0) s.t. (xI: 0<xa<δ|f(x)α|<ϵ)
    ②’(ϵ>0)(δ>0) s.t. (xI: δ<xa<0|f(x)α|<ϵ)
    が成り立っている。
    従って、0<|xa|<δならば0<xa<δかつδ<xa<0が成り立つ。
    故に
    (ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|f(x)α|<ϵ)
    が成り立つ。(Q.E.D.)

連続関数の和・差・積・商

関数に対する「連続である」という条件は和をとっても差をとっても積をとっても割っても連続関数である。
「何の役に立つの?」と思うかもしれないが、筆者は非常に有用であると感じている。
筆者が挙げている例はどれも理解しやすいようなるべく明らかな例を挙げたりしているわけだが、実際に関数について考察するときは分かりやすいものばかりではない。
むしろわかりにくく複雑な関数のほうが多い。
そんなとき、その関数を細かく分けて個々が連続であれば全体も連続である、という事が分かるのである。
連続である事がわかると、次回解説する(と思う)中間値の定理や最大値の存在定理が使えることになり、より詳細な関数の特徴を捉えることができる。

本当にそうか?ということを和と差だけ確認してみる。
(※なぜ和と差だけなのか?というのは後述します。)

例1′.+例2′.

  • 例1.:f:RRf(x)=x2
  • 例2.:g:RRg(x)=2x

だった。
このとき、f(x)+g(x)=x2+2xである。
f(x)+g(x)Rで連続である。
(aR)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|x2+2xa22a|<ϵ)
であれば良い。
任意のϵ>0に対して、δ=(|a|+1)+(|a|+1)2+ϵとすれば、δ>0であり、
|x2+2xa22a|=|x2a2+2(xa)|=|(x+a)(xa)+2(xa)|<|xa|(|x+a|+2)<|xa|(|xa+2a|+2)|xa|(|x+a|+2|a|+2)<δ(δ+2|a|+2)=δ2+2(|a|+1)δ=(|a|+1)22(|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:RRf(x)=x2
  • 例2.:g:RRg(x)=2x

だった。
このとき、f(x)g(x)=x22xである。
f(x)g(x)Rで連続である。
(aR)(ϵ>0)(δ>0) s.t. (xI: 0<|xa|<δ|x22xa2+2a|<ϵ)
であれば良い。
任意のϵ>0に対して、δ=(|a|1)+(|a|1)2+ϵとすれば、δ>0であり、
|x22xa2+2a|=|x2a22(xa)|=|(x+a)(xa)2(xa)|<|xa|(|x+a|2)<|xa|(|xa+2a|2)|xa|(|x+a|+2|a|2)<δ(δ+2|a|2)=δ2+2(|a|1)δ=(|a|1)22(|a|1)(|a|1)2+ϵ+(|a|1)2+ϵ2(|a|1)2+2(|a|1)(|a|1)2+ϵ=ϵ
であるからf(x)g(x)Rで連続である。

このように、和と差については正しそうだ、という事が分かった。
実は、積、商についても成り立つ。
つまり、以下が成り立つ。

定理6. IRの区間、f:IRg:IRとする。
  • aIとし、fgaで連続とするとき、次が成り立つ。
    1. f(x)+g(x)f(x)g(x)f(x)g(x)aで連続である。すなわち、
      • limxa(f(x)+g(x))=f(a)+g(a),
      • limxa(f(x)g(x))=f(a)g(a),
      • limxa(f(x)g(x))=f(a)g(a).
      である。
    2. g(a)0ならば、f(x)g(x)aで連続である。すなわち、 limxaf(x)g(x)=f(a)g(a) である。
  • fgIで連続であるとするとき、次が成り立つ。
    1. f(x)+g(x)f(x)g(x)f(x)g(x)Iで連続である。すなわち、
      • (aI)limxa(f(x)+g(x))=f(a)+g(a),
      • (aI)limxa(f(x)g(x))=f(a)g(a),
      • (aI)limxa(f(x)g(x))=f(a)g(a).
      である。
    2. g(a)0ならば、f(x)g(x)I={x∈∣g(x)0}で連続である。すなわち、 (aI) limxaf(x)g(x)=f(a)g(a) である。

実はこの定理はすでに証明している。
というのも、以下をすでに証明しているからである。

関数の和・差・積・商の極限
IRの区間、f:IRおよびg:IRを関数、aˉIA,bRとし、limxaf(x)=Alimxag(x)=Bとする。 このとき、次が成り立つ。
  • limxa(f(x)+g(x))=limxaf(x)+limxag(x)=A+B,
  • limxa(f(x)g(x))=limxaf(x)limxag(x)=AB,
  • limxaf(x)g(x)=(limxaf(x))(limxag(x))=AB,
  • B0ならば、δ0>0が存在して、|xa|<δ0なるxIに対して、g(x)0で、limxaf(x)g(x)=limxaf(x)limxag(x)=AB

この事実において、aIに対してA=f(a)かつB=g(a)のときを考えれば良いからである。
そういう意味で、積、商についての例を省いた。

今回は関数の連続について説明した。
関数の連続は一言で言えば、つながっている、ということで
要は、

x=aでつながっているときに、fx=aで連続だ。

というわけである。
このafの定義域の任意の要素であっても成り立つ場合には、定義域内で連続であるという。

また、関数の連続は左右極限が一致し、かつその点においての関数の極限と一致するという捉え方もできる。

さらに、連続関数を四則演算で組み合わせた関数もまた連続関数である。

次回は合成関数、多項式関数、有理関数の連続について述べる。

乞うご期待!質問、コメントなどお待ちしております!

この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください!
ちなみに「解析概論」は日本の歴史的名著らしいので、辞書的にもぜひ1冊持っておくと良いと思います!

コメントをする

タイトルとURLをコピーしました