Prerequisite
微分を導入するために,また函数のふるまいを調べるために極限とよばれる操作を導入しよう.
ここでの議論は1変数函数 のみに限る.
簡単な例から始める. は 以外の点で値が定義されている.
が に限りなく近づくと は に限りなく近づいていく.
を限りなく大きくすると は限りなく へ近づいていく.
このように変数をある値 に近づけたときに函数がある値 に限りなく近づくことを収束する (converge) といい
とかく.
変数を限りなく大きくするときは という記号を用いて
とかく.負の方でも同様であり
とかく.
他方で三角函数 などで を大きくしても は と の間を変動し続け,決して特定の値に収束しない.
このように値が1つに定まらない場合は振動するという(特に記号はない).
多項式 や指数函数 などで を限りなく大きくしていくと は限りなく大きい値になり特定の値に収束しない.
このように限りなく(絶対値が)大きくなり続ける場合は発散する (diverge) といい
と表記する. は便宜的な記号であり,数字ではないことに注意せよ.
つまり発散している場合も定まった値は存在しない.
最初の例 に戻ろう. を に近づけるとき,正の側から近づけると は へ,負の側から近づけると に発散する.
函数によっては近づき方によって極限値が異なることがある.
そこで正の側から近づけるとき (右極限)とかき,負の側から近づけるとき (左極限)とかく.
もしこの2つの極限が収束しかつ での値と一致するとき
函数 は において連続 (continuous) という.
たいていの初等函数は全ての点において連続である.しかし は において発散しているので不連続である( では連続).
もっと簡単な不連続函数の例は階段函数
である. かつ なので において収束するが両者が一致せず不連続である.
2つの函数 が両方とも において連続ならば以下の函数も において連続である:
ただし3つ目に関しては でなければならない.
以下にいくつか極限の公式をあげておく:
ただし は正の整数.
正弦函数に関して
という重要な極限値がある(証明略).
最後に指数函数に関しても重要な極限
が成り立つ.ここで はNapier数と呼ばれる無理数である:
上では極限操作を「限りなく近づく」という言葉でかなり曖昧に定めた.
しかし近づき方には左右の任意性があり,多変数函数の場合にこの定義は破綻してしまう.また限りなくということが数学的に表現される必要がある
ある函数 において を有限の値 に近づけたときある有限の値 に収束することを次のように定義する:
収束
このとき とかき函数 は で に収束するという.この定義を慣習的に使われる文字からとって – 論法 (( )-definition of limit)という.
定義を補足すると,任意の とは「どんなに小さい任意の をとってきても」と解釈する.その小さい に対し必ずある数値 が存在してs.t.以下を成立させる.
s.t.以下は と の差が 未満となるように を へ近づけられることを示している.
は と によって決まる.
– 論法を用いて連続を再定義する.
函数 が で連続であるとは
函数の連続
と絶対値表記されているので左極限と右極限がまとめられており,近づき方の任意性が排除されている.
連続函数の性質を示しておこう.
まず函数 に対し次の定理が成立する:
連続函数の性質
が において連続かつ
の十分小さな近傍で .
ここで の近傍 (neighbourhood) とは を含むような開区間のことである.この定理はどんなに が に近くてもその間に「隙間」が生じることを述べている.
では定理を証明しよう. において連続なので,
が成り立つような が任意の に対して存在する. 絶対値を外せば,
そこで にとって,それに応じた をとれば
註)ここでは に選んだが, として の形であればなんでも良い.
が開区間 において成り立つ.この開区間は の近傍だから所期の結果を得た.
同様に に対しても十分小さな近傍で が成り立つ .
次に中間値の定理 (intermediate value theorem) を示そう
中間値の定理
函数 が閉区間 の全ての点において連続かつ のとき
開区間で定義された連続函数は必ずその区間内で両端の間の値を取らなければならないことを主張している.
簡単に証明しておく. としても一般性を失わない.
を定義すると も で連続函数である.
が負の値となるような の集合
を考える. であり任意の に対して である.
よって集合 は上に有界である.
註)集合 が上に有界とは,ある が存在して,任意の に対して となること:
実数 の連続性より上に有界な集合には上限
が存在する.
註)ある上に有界な集合 の上限 とは任意の に対し となる の最小値のことである. は に含まれるとは限らない.たとえば開区間 なら上限は だがこれは開区間に含まれない.
上限の定義より任意の に対し .
だから先の定理より十分小さな が存在して において .
よってこの区間は に包含されていて が成り立つ.
なので ということから が導かれる.
と仮定すると先の定理よりある小さな が存在して .
ゆえに だが,これは が の上限であることに反する.
他方で と仮定すると同じく先の定理よりある小さな が存在して .
これは上限 の最小性(任意の に対し を満たす の最小値)に反する.
以上から でなければならない,すなわち がしたがう .
Problems
右極限と左極限を – 論法を用いて定義せよ.
右極限:
左極限: