11年生
関数の極限
変数がある点に限りなく近づくとき、関数が近づく値。
直観ある点のすぐ隣で何が起きるか
x=x0 で式を直接評価できないとしよう——例えば h=0 における差分商 hf(x0+h)−f(x0) は 00 になる。その点自体には触れられなくても、両側から x0 に限りなく近づき、f(x) がどの値に向かって落ち着くかを観察できる。その目標値が極限 limx→x0f(x)=L であり、f(x0) が存在するかどうかさえ問わない。
割線の傾き hf(x0+h)−f(x0):h→0 に動かすと割線が接線に重なっていく——式自体が未定義な h=0 における極限。中高厳密な定義と基本極限
定義: 一点における関数の極限(ε–δ 定義)
f は x0 の周りの開区間(x0 自体は除いてもよい)で定義されているとする。任意の許容誤差 ε>0 に対してある半径 δ>0 が存在し ∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε が成り立つとき、limx→x0f(x)=L と書く。厳密な不等号 0<∣x−x0∣ に注意:この判定では x は決して x0 に等しくならない。
∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε ここで ε は出力軸における L の周りの縦方向の許容誤差、δ(デルタ)は入力軸における x0 の周りの横方向の窓である。幾何学と単調評価で証明される二つの基本極限 — limx→0xsinx=1(x はラジアン)と limx→∞(1+x1)x=e — が、三角関数・指数関数・対数関数のすべての導関数を解き明かす。
x→0limxsinx=1,x→∞lim(1+x1)x=e 一点における片側極限と両側極限| 関数と点 | 左極限・右極限 | 両側極限 |
|---|
| x0=0 における f(x)=x∣x∣ | 左 =−1、右 =+1 | 存在しない(−1=+1) |
| x0=1 における f(x)=x−1x2−1 | 左 =2、右 =2 | 2 に等しい(f(1) は未定義でも) |
| x0=0 における f(x)=xsinx | 左 =1、右 =1 | 1 に等しい |
大学主要定理とその証明
両側極限が存在するための必要十分条件は、左右の片側極限がともに存在して等しいことである:limx→x0f(x)=L⟺limx→x0−f(x)=limx→x0+f(x)=L。
なぜ正しいのか?
左の廊下と右の廊下から同じ扉に向かって歩いて同じ部屋に着けるのは、両方の廊下が本当に同じ場所で出会っているときだけである。
証明
(⇒) limx→x0f(x)=L と仮定する。与えられた ε>0 に対し、ε–δ 定義より 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε を満たす δ>0 が存在する。
特に x0<x<x0+δ(右側の条件)または x0−δ<x<x0(左側の条件)のとき自動的に 0<∣x−x0∣<δ となるので ∣f(x)−L∣<ε。よって左右の片側極限はいずれも L に等しい。
(⇐) 逆に、左右の片側極限がともに L に等しいとする。与えられた ε>0 に対し、左極限から (x0−δ1,x0) で成り立つ δ1>0 が、右極限から (x0,x0+δ2) で成り立つ δ2>0 が得られる。
δ=min(δ1,δ2)>0 とおけば、0<∣x−x0∣<δ を満たす任意の x は (x0−δ1,x0) または (x0,x0+δ2) に属し、いずれの場合も ∣f(x)−L∣<ε が成り立つ。したがって limx→x0f(x)=L。■
x をラジアンで測るとき、limx→0xsinx=1。
なぜ正しいのか?
単位円において、非常に小さい弧長 x、縦の弦の長さ sinx、外側の接線線分 tanx は、角が 0 に近づくにつれて見分けがつかなくなる。
証明
中心 O の単位円上で 0<x<2π とし、A=(1,0)、円周上の点 B=(cosx,sinx)、半直線 OB と A における鉛直な接線との交点 T=(1,tanx) をとる。
三角形 △OAB は扇形 OAB の真に内側にあり、扇形は直角三角形 △OAT の真に内側にある。3つの面積を比較すると 21sinx<21x<21tanx が得られる。
(0,2π) では sinx>0 なので、全体に sinx2 を掛けると 1<sinxx<cosx1。逆数をとると不等号の向きが逆転し cosx<xsinx<1 となる。
x→0+ のとき cosx→1 だから、はさみうちの定理より limx→0+xsinx=1。最後に g(x)=xsinx は偶関数(g(−x)=−xsin(−x)=−x−sinx=g(x))なので limx→0−xsinx=1 も成り立ち、合わせて limx→0xsinx=1 が得られる。■
大学実世界での応用と具体例
関数の極限は物理学において平均変化率を瞬間変化率(速度・加速度・電流)へと変え、幾何光学(カメラレンズ・望遠鏡)や振り子力学における近軸の小角近似 sinθ≈θ を正当化し、さらに limx→∞(1+x1)x=e を通じて離散複利を連続複利へと結びつける。
例
落下する石の時刻 t(秒)における位置が s(t)=5t2(メートル)で表される。区間 [2, 2+h] での平均速度の極限を用いて、t=2 秒における瞬間速度を求めよ。
解答
h=0 として時間区間 [2, 2+h] における平均速度は vavg(h)=hs(2+h)−s(2)=h5(2+h)2−5⋅22。
分子を展開すると:5(4+4h+h2)−20=20h+5h2=h(20+5h)。
極限では h=0 なので h で約分すると:vavg(h)=20+5h。
h→0 の極限をとると:v(2)=limh→0(20+5h)=20 m/s。極限をとる前に約分することで、不定形 00 が解消されることに注目しよう。
例
近軸光学では、レンズ設計者は limx→0xsinx=1 を根拠にスネルの法則 n1sinθ1=n2sinθ2 の sinθ を θ(ラジアン)に置き換える。はさみうちの不等式 cosx<xsinx<1 を用いて、入射角 θ=0.1 rad(≈5.7∘)の光線に対する相対誤差 sinθθ−sinθ が 1% 未満であることを示せ。
解答
0<θ<2π における cosx<xsinx<1 の逆数をとると 1<sinθθ<cosθ1。
全体から 1 を引くと:0<sinθθ−sinθ<cosθ1−1=cosθ1−cosθ。
1−cosθ=2sin2(θ/2)<2(θ/2)2=2θ2 および cos(0.1)>0.99 を用いると、θ=0.1 では sinθθ−sinθ<0.990.005≈0.00505、すなわち約 0.5%<1% となる。
(実際、正確な値は ≈0.167% である。)これこそ、線形化されたレンズの公式 do1+di1=f1 が光軸付近の光線に対して極めて高い精度を持つ理由である。
limx→2x−2x2−4 を求めよ。
x<1 で f(x)=x+1、x≥1 で f(x)=x2 とする。limx→1f(x) はどうなるか。
limx→0xsin(3x)(x はラジアン)の値はいくつか。
limx→∞(1+x1)x によって定義される有名な定数はどれか。