有界閉区間I=[a,b]で関数f(x)が定義されていて、有界であるとする。
区間Iをn分割して、その分割をΔとする。リーマン和Σf(ξi)(x(i)-x(i-1))(ξi∈[x(i),x(i-1)])
を考える。[x(i),x(i-1)]におけるf(x)の上限、下限をMi、miとおく。
Σmi(x(i)-x(i-1)≦Σf(ξi)(x(i)-x(i-1))≦ΣMi(x(i)-x(i-1))
について左辺をsΔ、右辺をSΔとおく。
このとき、(1)任意のε>0に対して、ある分割Δがあり、SΔーsΔ<ε
⇒(2)f(x)はIで積分可能
(証明)(1)が成り立てば、それはsΔの上限=SΔの下限に他ならない。
とあるのですが、これはどうしてですか?
また、証明の道筋を教えてください。(証明自体は打ち込むのが面倒であればなくてもだいじょうぶです)
No.2ベストアンサー
- 回答日時:
有界閉区間I=[a,b]をn分割したΔはdxのことです。
リーマン和Σf(ξi)(x(i)-x(i-1))≒∫f(x)dxです。sΔ≦∫f(x)dx≦SΔで、任意のε>0に対し有界閉区間I=[a,b]をある区間に分割出来るΔが存在すれば
SΔーsΔ<εが成立してsΔ=∫f(x)dx=SΔなる∫f(x)dxが存在すると言うことです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 数学 解析学の問題がわかりません 1 2023/01/12 22:59
- 数学 線型独立か線型従属か 3 2022/05/04 16:43
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 数学 以下の議論はどこがおかしいのでしょうか? また、それをどう直せばよいのでしょうか? 教えて下さい。よ 6 2022/05/04 15:42
- 数学 関数f(x)が閉区間[a、b]で連続で開区間(a、b)で微分可能なら f(b)-f(a)/b-a = 1 2023/07/19 17:26
- 数学 大学の解析学の問題です。 ∮[0→1]2xdxをリーマン積分の定義に従って求めよ という問題がわから 4 2022/12/21 19:04
- 数学 解析学の問題がわからず困っています。 2 2023/01/12 23:07
- 数学 f(x)=x^2 , x∈I=[ー1, 1]において、 f(x)は区間Iで一様連続か?という(証明) 2 2022/09/02 14:15
- 数学 1変数関数に陰関数ってあるんですか? 1変数関数は f(x)=xの式 f(x)はxの値で決まるもの( 4 2023/05/08 18:47
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
位相ずれのないフィルター
-
同値なノルムについて教えてく...
-
位相交差角周波数 と ゲイン...
-
位相でないものの例
-
2つの位相が一致することの証明
-
開集合
-
[a,b)と(a,b]の形の...
-
広義一様収束の定義がいまいち...
-
一点x=aと[a,a]は区間なの
-
ラプラス変換について
-
制御工学(古典制御)に関する...
-
位相差の求め方
-
コンパクトについての証明
-
閉区間[-1,1]がコンパクトであ...
-
第2可算公理
-
平均値の定理の極限のやつで x→...
-
離散位相、密着位相はなぜそう...
-
逆フーリエ変換における位相の...
-
第2可算公理が成立すると第1可...
-
生成する開基の証明問題で示す...
おすすめ情報