• ベストアンサー

*ε-δ*

問題(1)√(x)は[0,+∞)で連続であることを示せ。 問題(2)sinxはRで連続であることを示せ。 (proof) (1)(ア)―――――自分の解法  f(x)=√(x)とすると、f(x)は開区間(0,+∞)で連続。  また、区間の左端x=0では右側連続      ∴連続となる。  (イ)―――――参考書の解法のヒント  任意の点cをとり、x∈[0,+∞)とする。lim(x→c)√(x)=√(c)を示す。   (2)―――――参考書の解法のヒント  lim(x→c)sinx=sincを示す。  |sinx-sinc|=|2cos(x+c)/2*sin(x-c)/2|≦2|sin(x-c)/2|  ここで、|θ|≦π/2ならば|sinθ|≦|θ|であることを利用する。 自分でもやってみたんですが、上手く解けません。 参考書にヒントだけ書いてあったんですが、なかなか理解できなくて分かりませんでした。 誰か教えてください。よろしくお願いします!!

質問者が選んだベストアンサー

  • ベストアンサー
  • atushi256
  • ベストアンサー率62% (10/16)
回答No.3

<問1> 関数f(x)がc∈[0,+∞)で連続とは「任意の正の微小量sに対し、正の微小量dが定義されて、|x-c|<dであるような任意のxに対して|f(x)-f(c)|<sとできる事」です。 (lim(x->c) f(x)=f(c)とはそれを簡単に書いたものです。でもlim(x->c) f(x)=f(c)だから連続と言ってしまう訳にはいきません。なぜならば「連続なので連続です」と言っていることになってしまうからです。上記の定義にあてはめて、愚直に示す必要があります。) 今f(x) = √xとすればいいわけで。c∈[0,+∞)において、正の微小量sが与えられた時に正の微小量dを適切に定義したら、|x-c|<dなる任意のxに対して|√x-√c|<sとなることを示せばいい。 問題はdをどのように定義するかです。 √xはその定義域において単調増加関数です。言い換えれば√x<√(x+d)です。両辺とも正の数ですので、二乗しても大小関係は変わりません。x<x+dですから、√x<√(x+d)です。 また√(x+d)<√x+√dです。両辺とも正の数ですので、やはり二乗しても大小関係は変わりません。x+d<x+d+2√x√dですから、√(x+d)<√x+√dです。 以上より|√x-√c|<|√(c+d)-√c|<|√c+√d-√c|=√d d=s^2と定義すれば結局|√x-√c|<s <問2> ほとんど同じです。同じように考えてみてください。解法のヒントがもうほとんど答えになっています。 間違えてたらご勘弁を。

xyz0122
質問者

お礼

すみません、遅くなったのですが大変ありがとうございました!!

その他の回答 (2)

  • ujitaka
  • ベストアンサー率17% (3/17)
回答No.2

方針は良いと思います。(1)のアの前半のみ示します。 任意の正数εと(0,+∞)にある任意のaをとります。あるδがあって |x-a|<δ を満たすxに対して|√x-√a|<ε を示せばいいわけです。δ=ε・√a ととります。 |√x-√a|=|x-a|/(√x+√a)<|x-a|/√a ≦δ/√a=ε となり(0,+∞)で連続となります。

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

(1) の方だけど, その解答では 0点でもしょうがないと思う. 「√x が (0, ∞) で連続」であることを証明しないと.... ところで, 「f(x) が x = c で連続である」ということを, ε-δで書けますか?

関連するQ&A

  • 積分 証明 問題

    積分 証明 問題 (1)∫[0~π](x・sinx)dxをx=π-tとおいて求めなさい。 (2)f(x)が区間[-1,1]で連続であるとき、次の等式が成り立つことを証明せよ。 ∫[0~π]x・f(sinx)dx =π/2∫[0~π]f(sinx)dx (1)はπと求めることが出来ました。 (2)も(1)と同様に置換して証明できました。 問題にある「f(x)が区間[-1,1]で連続であるとき」に関しては 特に何も考えなかったのですが「f(x)が区間[-1,1]で連続であるとき」 とは何を言いたいのでしょうか?sinxの周期は-1から1なので、 単純にf(x)が連続のときと解釈してよいですか? 以上、ご回答よろしくお願い致します。

  • (x^2)sin(1/x)

    f(x)を (x^2)sin(1/x) (x≠0) 0 (x=0) としたとき、x=0で、(f(x))'が非連続であることを示せという問題なのですが、 ヒントお願いできますか? とりあえず lim{x→0}(f(x))'=lim{x→0} 2xsin(1/x)-cos(1/x) を求めてみようと思ったのですが、lim{x→0}cos(1/x)って値無いですし、どうすればよいものかと、、、

  • 数学 積分

    (1)F(x)が0≦x≦1で連続な関数である時、∫xF(sinx)dx=π/2∫F(sinx)dxが成立することを示し、 ∫xsinx/3+sinx^2・dxを求めよ。 積分区間はすべてπから0までです。 t=π-xと置くのか定石とか書いてありますが、なぜこういうことをするのですか? それと、成立することを示した後、なぜsinx/3+sinx^2をF(sinx)と置くのでしょうか? これはそうしないと解けないのですか? 詳しくお願いします。 (2)∫|1-√2-2sinΘ^2-2√3sinΘcosΘ| 積分区間πから0を求めよ。 絶対値の中を2cos(2Θ+3π)-√2にして、それで(2Θ+3π)をtとかおいて積分区間を7π/3, π/3まではわかるんですが、それから解説だと、9π/4からπ/4までを積分すればいいとなっていますが、なぜでしょうか? 周期関数はどこから区間を始めても、定積分の値は等しいとなっていますが、なぜですか? 周期関数とはsin,cosだけでで表されてるものだけをいうのでしょうか? それ以外に周期的な関数というのは存在するでしょうか? 解説お願いします。

  • 増加関数?

    [問] f(x)=x-sinx は閉区間[0,π/2]で増加関数であることを証明せよ。 1.閉区間[0,π/2]で連続で、開区間(0,π/2)で微分可能でかつf'(x)>0ならば、f(x)は閉区間[0,π/2]で増加関数である。 2.f(x)がある区間で微分可能ならば、f(x)はその区間で連続である。 この2つの定理を利用して、 開区間(0,π/2)で微分可能を求めて、かつ、左端0で右側微分可能、右端閉区間π/2で左側微分可能。 ・・・・・・(ア) よって閉区間[0,π/2]で微分可能となり、連続となる。 次にf'(x)>0を求めて増加関数となる。 このように解いていこうと思うのですが、肝心の最初の(ア)の解き方が分かりません。どのようにすればいいのでしょうか? また、この方針はあっているのでしょうか?よろしくお願いします。

  • 「連続である」という条件の使い方

    f(x):0≦x≦1で連続な関数であるとき ∫xf(sinx)dx=(π/2)∫f(sinx)dx (積分区間はともに0からπ) という問題で、一応解けたのですが、 0≦x≦1で連続 という条件がどこで使われるのかがわかりません。 教えていただけませんか?

  • 微積

    lim[x→a]f(x)=bの定義をのべ、 lim[x→0]xsin1/x=0 lim[x→0]sin1/xは存在しない lim[x→∞](sinx)/x=0 を示せというもんだいです お願いします。

  • 極限値の問題について質問させていただきます。ます

    ヒントやアドバイスをよろしくお願いします。 次の極限値を求めよ。 1、lim(x→+0)sinx/√x 2、lim(x→0)√|x|sin(1/x) 3、lim(x→∞)(1+x+x^2)^(1/x)

  • lim(X→0)sin(1/X)とlim(x→0)cos(1/X)って何ですか?

    f(X) =X^2sin(1/X) (X≠0)     =0        (X=0) (1)f’(0)を求めよ。 (2)f’(X)はX=0で連続であるか という問題なのですが、(1)は解けたのですが、(2)が分かりません。 f’(X)を求めようと思ってf(X)を微分しました。 f’(X)=2Xsin(1/X)-cos(1/X)  となりました。 そしてlim(X→0)f’(X)を求めればいいのかと思ったのですが、 lim(X→0)sin(1/X)とlim(x→0)cos(1/X)が分かりません。 (2)の答えは『lim(X→0)f’(X)は存在しないため、連続ではない。』なのですが、lim(X→0)sin(1/X)とlim(x→0)cos(1/X)が存在せず、(1)で求めた数とは一致しないため連続ではないという考えでいいのでしょうか? お願いします。

  • ロピタルの定理

    [定理] f(x),g(x)が開区間(a,b)で微分可能で、  lim_{x→a+0}f(x)=0、 lim_{x→a+0}g(x)=0、 g'(x)≠0 のとき、lim_{x→a+0}{f'(x)/g'(x)}が存在すれば、  lim_{x→a+0}{f(x)/g(x)}=lim_{x→a+0}{f'(x)/g'(x)} ________________________________ (proof) f(a),g(a)が定義されていて、f(a)=0,g(a)=0ならば、f(x),g(x)は[a,b)で連続である。 そういう場合は、新しくf(a)=0,g(a)=0と定義すれば、f(x),g(x)は[a,b)で連続となる。 こうしておいて、(a,b)のxをとれば、f(x),g(x)は[a,x)で連続、(a,x)で微分可能、かつ(a,x)でg'(x)≠0だから、コーシーの平均値の定理より、  f(x)/g(x) = {f(x)-f(a)}/{g(x)-g(a)} = f'(c)/g'(c)  (a<c<b) のcが存在し、x→a+0 ならばcも c→a+0 となるから、  lim_{x→a+0}{f(x)/g(x)}=lim_{c→a+0}{f'(c)/g'(c)} lim_{x→a+0}{f'(x)/g'(x)}の存在は仮定から保証されているので、  lim_{c→a+0}{f'(c)/g'(c)}= lim_{x→a+0}{f'(x)/g'(x)}                               (q.e.d) このように、ある参考書に定理の証明があったのですが、この証明で、  "lim_{x→a+0}{f'(x)/g'(x)}が存在すれば" という仮定はなぜ必要なのでしょうか? 簡単なことかもしれませんが、よろしくお願いします。

  • 極限を求める問題です

    lim[x→0] (e^x*sinx - x)/x^2 という問題なのですが lim[x→0] (e^x*sinx - x)/x^2 =lim[x→0] e^x/x * (sinx)/x - x/x^2 =lim[x→0] e^x/x * (sinx)/x - 1/x = 0*1-0 =0 のように分解して,極値を求める解法を使ってもよろしいのでしょうか。 もし駄目でしたら、この問題の解き方をご教授お願いします