大学学部レベル質問スレ 11単位目
■ このスレッドは過去ログ倉庫に格納されています
>>154-155
ありがとうございました。
s, t ∈ (a, b) とし、
F(s, t) := ∫_{s}^{t} f(x) dx
とおく。
逆に、
lim_{t → b-0, s → a+0} F(s, t)
が存在するとする。
S := lim_{t → b-0, s → a+0} F(s, t)
とおく。
ε を任意の正の実数とする。
S = lim_{t → b-0, s → a+0} F(s, t)
だから、定義により、以下のような正の実数 δ が存在する。
a < s < a + δ, b - δ < t < b ⇒ | F(s, t) - S | < ε/2
b - δ < t0 < b をみたす t0 を任意に固定する。
a < s1 < a + δ, a < s2 < a + δ
⇒
| F(s1, t0) - F(s2, t0) |
≦
| F(s1, t0) - S | + | F(s2, t0) - S |
<
ε/2 + ε/2
=
ε コーシーの条件より、
lim_{s → a+0} F(s, t0) が存在する。
同様にして、
lim_{t → b-0} F(s0, t) が存在する。
c を a < c < b をみたす任意の実数とする。
F(s, c) = F(s, t0) - F(c, t0)
だから、
lim_{s → a+0} F(s, c)
=
lim_{s → a+0} [F(s, t0) - F(c, t0)]
=
lim_{s → a+0} F(s, t0) - F(c, t0)
よって、
lim_{s → a+0} F(s, c) は存在する。
同様にして、
lim_{t → b-0} F(c, t) が存在する。
>>151
により、
lim_{t → b-0, s → a+0} ∫_{s}^{t} f(x) dx
=
lim_{s → a+0} ∫_{s}^{c} f(x) dx + lim_{t → b-0} ∫_{c}^{t} f(x) dx
が成り立つ。 ■ このスレッドは過去ログ倉庫に格納されています