• 締切済み

積分可能、不可能について

fを[a, b]で定義された単調関数とするときfの不連続点は高々可算個です． 1点集合は零集合であり，零集合の可算和も零集合となるので， fは[a,b]でリーマン可積分といえますよね。 それでは何故f(x)=1/xは[0,1]で定積分不可能なのでしょうか？ 不連続な点はx=0の時だけなので、「fの不連続点は高々可算個」という 上の条件を満たしていると思います。 どなたか誤りの指摘、または解説をよろしくお願い致します。

みんなの回答

  • uyama33
  • ベストアンサー率30% (137/450)
回答No.14

リーマン可積分 を、勝手に 広義リーマン積分 にしてしまってごめんなさい。 有界でないとだめだと言うことを確認しました。 ご質問にそっての回答は ｘ＝０での値をどう決めても、単調関数にはなりません。 関数が有界でないので、単調関数には出来ない。 f(0)<f(x) となる０＜ｘがある ということでしょうか。

  • uyama33
  • ベストアンサー率30% (137/450)
回答No.13

少し調べました。 解析概論では、 広義リーマン積分は、不連続点だ有限個のときにしか定義されていません。

  • tmpname
  • ベストアンサー率67% (195/287)
回答No.12

「ほとんど連続」というのは「ほとんど至る所で連続」に読み替えて下さい

  • tmpname
  • ベストアンサー率67% (195/287)
回答No.11

まあ、繰り返しになりますが、結局 「実数体Rの有界閉区間I上で定義された関数fが、I上有界でないなら、fはI上可積分で無い」のです。いい練習問題なので自力で証明してみるといいでしょう。 その上で、「fがI上有界でであるとき、fがI上Riemann可積分であることは、fがI上ほとんど連続であることと同値である」ことが成り立ちます。 また繰り返しになりますが、f(x)=1/xの時も、f(x) = (1/x)^(1/2)の時も、x=0の時はまあどう定義してもよいのですが、[0,1]で有界で無いので可積分で無いのです。fが[a,b]で単調増加だとしますと、f([a,b]) = [f(a), f(b)]でfは[a,b] 上有界、かつfは[a,b]上ほとんど連続なので、fは[a,b]上可積分になります。

qwetyu11
質問者

お礼

何度もありがとうございました。 ちょっと自分でも考え直して勉強してしっかり理解したいと思います。

  • uyama33
  • ベストアンサー率30% (137/450)
回答No.10

すみません。間違えました、 (1/x)^(1/2) は[0,1] で有界ではないけれど、 定義にしたがって、[0,1]で積分すると 2 になります。 次のように訂正します。 (1/x)^(1/2) は(0,1] で有界ではないけれど、 定義にしたがって、(0,1]で広義リーマン積分すると 2 になります。 追加 (1/x) は(0,1] で有界ではないけれど、 定義にしたがって、(0,1]で広義リーマン積分しようとしても 無限大に発散します。

qwetyu11
質問者

お礼

何度もありがとうございました。 参考に、自分でも考え直してみたいと思います。

  • tmpname
  • ベストアンサー率67% (195/287)
回答No.9

笑う前に少しは自分で調べよ。 容易に笑とか書かないこと。

qwetyu11
質問者

補足

すみません、お気に触ったようですね。 回答通知が頻繁にくるので何事かと思って驚いた所存です。 お許しくださいね。 ちなみに、私はtmpnameさんのように考えておりました。 1/x^(1/2)は ∫(0～1)1/x^(1/2)dx=lim(c→0)∫(c～1)1/x^(1/2)dx の右辺の極限値が存在するとき1/x^(1/2)は 「(0,1]広義可積分可能」ということなので、 「[0,1]で積分可能」とは違いますよね・・・。

  • tmpname
  • ベストアンサー率67% (195/287)
回答No.8

判定条件に関しては、 ＊例えば猪狩「実解析入門」（岩波）にも、 fは有界区間上での「有界関数である」とする。fがRiemann積分可能である為の 必要充分条件は、fがほとんどすべての点で連続であることである ときちんと書いてくれているし、さっきの杉浦の本にも、IV章定理9.5にきちんと こう書いてある。 で、さっき「問題をみよ」と書きましたが、一般に実数体Rの有界閉区間I上で定義された 関数fがI上有界でないときは、fはI上(Riemann)可積分で無い。広義Riemann積分を考えたときは また話が別です。

qwetyu11
質問者

補足

お二人方の討論が進んでいるようですが・・・ 結局結論は、どうなるのでしょう笑

  • tmpname
  • ベストアンサー率67% (195/287)
回答No.7

いや、その例を実は書こうとも思ったんですが、 > (1/x)^(1/2) は[0,1] で有界ではないけれど、 > 定義にしたがって、[0,1]で積分すると > 2 > になります。 ならないでしょ。この関数は『[0,1]で可積分で無い』です。まさに (0,1]での「広義」リーマン積分は可能だけど、[0,1]にした途端 可積分でなくなる典型例です。もう一度定義に従って検討しなおして 下さい。 ヒント：0を含む区間では、幅がいくら小さくなってもそれに応じて いくらでも大きい代表点が取れるでしょう?(0,1]で広義リーマン積分を 考える時は、0は入っていない点が異なる。 これでもまだ疑うなら、きちんと杉浦「解析入門1」第IV章2節問題2とかに 例えば書いてあるからみてみると良いです。

  • uyama33
  • ベストアンサー率30% (137/450)
回答No.6

たとえば、 (1/x)^(1/2) は[0,1] で有界ではないけれど、 定義にしたがって、[0,1]で積分すると 2 になります。 ｆが有界か否かは、広義リーマン積分可能か否かの判定条件にはなりません。

  • uyama33
  • ベストアンサー率30% (137/450)
回答No.5

広義リーマン積分で積分可能か否かは、積分の定義どおりに判断したほうが良いと思いますが。 fを[a, b]で定義された単調関数とするときfの不連続点は高々可算個です． 1点集合は零集合であり，零集合の可算和も零集合となるので， fは[a,b]でリーマン可積分といえますよね。 このような判定条件を使う上で考えるのは、 この条件にあっているときは、単調性と閉区間で定義されているので 不連続点での飛び幅が余り大きくならない最大でも |f(a)-f(b)|で抑えられるところにある と考えます。 とび幅が抑えられないときは、 定義どおりに考えて、調べる必要があります。 したがって、判定条件がなぜ適用できないかは、 fが　[a, b]で定義された単調関数 ではない。 からです。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • リーマン積分

    不連続点が高々可算個しかない有界な関数は有界区間[a,b]上でリーマン積分可能ですが、不連続点が連続濃度（ただしもちろんルベーグ測度0）を持つ集合で不連続な場合[a,b]上でリーマン積分不可能な例というのはありますか？もしご存知あればできるだけ簡単な例を知りたいのですが。 それとも零集合上だけで不連続となる有界な[a,b]上の関数はいつでもリーマン積分できるのでしょうか？

  • リーマン積分について

    リーマン積分の積分可能性について悩んでいます。 自分の考えを整理したいので、以下の２つの質問に回答していただけると助かります。 (1)1/xは=0で不連続なのに、何故[0,1]で定積分可能なのですか？ 　　 (2)f(x)が[a,b]で2乗可積分可能でも、f(x)が[a,b]のすべての点で連続とは限らない 　　これは正しいですか？また具体的なf(x)にはどのようなものがありますか？ どなたかご回答、解説をよろしくお願い致します。

  • リーマン積分

    リーマン積分は与えられた閉区間で区分的に連続ならば積分可能とあったのですが、 例えば　ｆ（ｘ）が ｘ＝１以外で｛（ｘ－１)＾２｝/（ｘ－１）で　 ｘ＝１のときｆ（ｘ）＝　３　という関数のとき、　閉区間[0, 2]で　リーマン積分をつかって積分することはできるのでしょうか？ ｘ＝３で区分的に連続とはいえないのでリーマン積分不可能のようなきがするんですが・・・。

  • 半開区間は可算個の開区間の交わり？　閉区間の和？　

    ボレル集合に関しての質問です。 ある本に、 every half-open interval [a,b) is a G_δ and an　F_σ in R^1. と書かれていたので気になったのですが、証明をつけようとしても、どうしてよいかわからないので教えてください。 （G_σは可算個の開集合の交わりで表される集合、F_δは可算個の閉集合の和で表される集合です。） よろしくお願いします。m(__)m

  • 積分可能の証明

    [問]ｆ(ｘ)は[ａ,ｂ]で定義された有界な関数とする 　ｆ(ｘ)が[ａ,ｂ]の１点ｃだけで不連続であるならば、ｆ(ｘ)は[ａ,ｂ]で積分可能であることを証明せよ。 　また、ｆ(ｘ)が[ａ,ｂ]の有限個の点だけで不連続であるならば、ｆ(ｘ)は[ａ,ｂ]で積分可能であることを証明せよ。 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ (proof) ａ＜ｃ＜ｂとして、lim_x→c-0 ｆ(ｘ)≠ｆ(ｃ)のとき、ｆ(ｘ)は[ａ,ｃ]で積分可能であることを示す。 任意のε＞０を決めて、[ａ,ｃ]をＩ＝[ａ,ｃ－ε] , Ｊ＝[ｃ－ε,ｃ]とに分けて考える。 ｆ(ｘ)はＩでは連続であるから、Ｉで積分可能。 また、Ｊでは、 　Σ_J Ｏ_iδ_i ≦ Σ_J(Ｍ－ｍ)δ_i ＝(Ｍ－ｍ)Σ_J δ_i ＝(Ｍ－ｍ)ε 　｛Ｍ,ｍ は[ａ,ｃ]におけるｆ(ｘ)の上限、下限｝ であるから、ｆ(ｘ)はＪでも積分可能、したがって、Ｉ∪Ｊ＝[ａ,ｃ]でも積分可能。 同様に、lim_x→c+0 ｆ(ｘ)≠ｆ(ｃ)のとき、ｆ(ｘ)は[ｃ,ｂ]で積分可能であることを示す。 ↑とりあえず、問題の前半部分はこのように解いたのですが、合っているでしょうか？ また、後半部分がわかりません。どのように解けばいいのでしょうか？ よろしくお願いします。

  • 大学の微積分困ってる。お願いします

    お願いいたします。。大学の微積分で。 f(x)は連続かつ単調減少で、 f(x)>0. {積分の f(x)dx(1から n まで)}<f(1)+f(２)+.....+f(n)<{積分の f(x)dx (1から n まで)}+f(1)が成り立つことを示せ。。

  • 微分・積分

    次の定積分を含む関数について解き方がわかりません。定積分だけを左辺にして微分してもそこからがどうしたらいいか・・・。どのように解けばいいのかおしえてください。 　a-(1/b)∫f(x)dx=c*f(x)＋d/f(x) [x:0→x] a,b,c,dは定数、f(0)=a/c 宜しくお願いします。

  • 大学数学の次の問題がわかりません。わかる方、教えてください。

    大学数学の次の問題がわかりません。わかる方、教えてください。 位相空間Ｘにおいて、次の二つは同値となることを示せ。 (1)Ｘの可算個の閉集合Ｆ_n(n=1,2,3,...)に対してＡ＝∪(n=1～∞)Ｆ_nが内点をもてば、少なくとも一つのＦ_nは内点を持つ。 (2)Ｘの可算個の開集合Ｇ_nがＸで稠密ならばＡ＝∩(n=1～∞)Ｇ_nもＸで稠密である。 お願いします。

  • 微分可能でない関数

    微分可能でない関数について学習しているのですが、 例えば連続関数であり、かつ1点で微分可能でない関数はf(x)=|x|などが自分で考え付くことが出来たのですが、 では任意の点の有限個の点の集合、可算個の点を含む適当な集合上で微分不可能な連続関数はどのような構成が考えられますでしょうか？ 宜しくお願い致します。

  • 数学III　定積分の問題を教えて下さい！！

    問　次の各問に答えよ (1)略 (2)定積分　∫<0、π> {(xsinx)/(1+cos^(2)x)} dx　の値を求めよ。(ただし、∫<a、b> f{x} dxとは「f(x)のaからbの定積分」を表しています。) という問題なのですが、解き方を教えて下さい。 また、どうしてそういう解き方が思いついたのかも教えていただけると有り難いです。 因みに(1)で等式∫<π/2、π> {xf(sinx)} dx ＝ ∫<0、π/2> {(π－x)f(sinx)} dx　(但しf(x)は閉区間［0,1］で連続)を証明しています。 回答よろしくお願いいたします！！

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する