MathLabs
定理証明済み

はさみうちの原理

内容

aa の近くのすべての xx(aa 自身は除いてよい)について g(x)≤f(x)≤h(x)g(x)\le f(x)\le h(x) であり、lim⁡x→ag(x)=lim⁡x→ah(x)=L\lim_{x\to a} g(x) = \lim_{x\to a} h(x) = L ならば、lim⁡x→af(x)=L\lim_{x\to a} f(x) = L である。

なぜ正しいのか?

同じ値に収束する2つの量の間に挟まれた量は、それ以外のどこにも行き場がない——ちょうど同じ地点に向かって閉じてくる2枚の壁の間に挟まれた人のように。

証明の概略

ε>0\varepsilon>0 を固定する。g(x)→Lg(x)\to L、h(x)→Lh(x)\to L であるから、0<∣x−a∣<δ0<|x-a|<\delta ならば ∣g(x)−L∣<ε|g(x)-L|<\varepsilon かつ ∣h(x)−L∣<ε|h(x)-L|<\varepsilon、すなわち L−ε<g(x)L-\varepsilon<g(x) かつ h(x)<L+εh(x)<L+\varepsilon となる δ>0\delta>0 が存在する。g(x)≤f(x)≤h(x)g(x)\le f(x)\le h(x) と合わせると、そのような xx すべてについて L−ε<f(x)<L+εL-\varepsilon<f(x)<L+\varepsilon、すなわち ∣f(x)−L∣<ε|f(x)-L|<\varepsilon が成り立つ。ε\varepsilon は任意であったから f(x)→Lf(x)\to L である。

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. James Stewart (2015). Calculus
  2. Walter Rudin (1976). Principles of Mathematical Analysis