定理証明済み
はさみうちの原理
内容
a の近くのすべての x(a 自身は除いてよい)について g(x)≤f(x)≤h(x) であり、limx→ag(x)=limx→ah(x)=L ならば、limx→af(x)=L である。
なぜ正しいのか?
同じ値に収束する2つの量の間に挟まれた量は、それ以外のどこにも行き場がない——ちょうど同じ地点に向かって閉じてくる2枚の壁の間に挟まれた人のように。
証明の概略
ε>0 を固定する。g(x)→L、h(x)→L であるから、0<∣x−a∣<δ ならば ∣g(x)−L∣<ε かつ ∣h(x)−L∣<ε、すなわち L−ε<g(x) かつ h(x)<L+ε となる δ>0 が存在する。g(x)≤f(x)≤h(x) と合わせると、そのような x すべてについて L−ε<f(x)<L+ε、すなわち ∣f(x)−L∣<ε が成り立つ。ε は任意であったから f(x)→L である。
ステップごとの証明
この定理のステップごとの証明はまだありません。