• ベストアンサー

一様連続性について(2)

過日、 ω(δ)=sup{ |f(x)-f(x')| | x,x'∈I, |x-x'|≦δ 、f(x)は定義域 I で連続}にて、δ≦δ’ならばω(δ)≦ω(δ') の証明をご教示頂きました。誠に有り難う御座いました。 これに関連して、もう一つ、お教え下さい。 任意のδ>0に対して、ω(2δ)≦2ω(δ) は分かったのですが、 これから、 (1)ω(δ)があるδ>0に対して有限ならば、全てのδ>0に対して有限である。 (2)ω(δ)があるδ>0に対して無限大ならば、全てのδ>0に対して無限大である。 が分かりません。 何卒お教え下さい。

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

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

先ず、(2)は(1)の対偶。 その上で、(1)について、あるDがあってw(D)が有限とする。 その時、勝手なδに対して、Archimedesの原理より、(2^n) * D ≧ δなる非負整数 nがある。この時 帰納法からw((2^n) D) ≦ 2^n w(D)。 更にx≦yならばω(x)≦ω(y) なのだからw(δ)≦ w((2^n) * D)より明らか。 因みに、前の問いは、解決したのであれば閉じておいてください。

horikawano
質問者

お礼

早速のご回答、誠に有り難う御座います。 頂いたご回答を元に自分なりに考え続けております。大分、理解が深まって参りました。 この度も有り難う御座いました。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 一様連続性に関して

    以下の証明をお教え下さい。 ω(δ)=sup{ |f(x)-f(x')| | x,x'∈I, |x-x'|≦δ 、f(x)は定義域 I で連続} にて、δ≦δ’ならばω(δ)≦ω(δ') となる理由をお教え下さい。 <追伸> δが大きくなれば、supをとる範囲が増えるので、当たり前のことなのでしょうが、数式で表現出来ません。

  • 連続性・一様連続性についての問題

    【問】 区間I=(0,1)で定義された関数f(x)で、Iで連続であるが一様連続でないような例をひとつ挙げよ。 という問題について、f(x)=1/x という例を思いつきました。これは正しいでしょうか。 また、これがIで連続であること、一様連続でないことを証明しようと思ったのですができませんでした。この例が正しければ、証明を教えていただきたく思います。 連続であることは自明であるように思えますが、ε-δ論法を用いて証明しようとするとできませんでしたので、できればε-δ論法を用いた証明を教えていただきたく思います。 よろしくお願いします。

  • 連続性の定義を用いた証明問題

    はじめまして。 私は某K大学の理工学部に通っています。 今回課題レポートで証明問題が出たのですが1問どうしてもわからなくて困っています。 提出が明日なので急いでいるのですが… どなたか少しでも分かる方いらしたら助けてください(>_<) Iを区間、a∈Iとし、fを区間Iで定義された関数でaにおいて連続でありかつf(a)>0を満たすとする。このとき、ある正数δが存在し|x-a|<δを満たす任意のx∈Iに対してf(x)>0となることを、連続性の定義を用いて厳密に証明せよ。 ヒント:ε=f(a)/2>0に対して連続性の定義を用いよ。 よろしくお願いいたします。

  • 関数の連続性について

     現在、高校2年の者です。  数学の問題で教えていただきたいことがあります。  (1)y=f(x)=xsinx (2)y=f(x)=x+√(x^2-1) (3)y=f(x)=cos(1/x)  上記(1)~(3)の定義域とその定義域で連続かどうかを調べるのですが、定義域で連続かどうかを調べる方法がよく分かりません。  一応、以下のように考えております。  定義域については、  (1)すべての実数  (2)根号条件より、x^2-1≧0⇔x≦-1,1≦x  (3)(分母)≠0より、0以外のすべての実数  連続性については、(1)~(3)のすべてにおいて、  定義域の任意に実数aについて、lim(x→a+0)f(x)=lim(x→a-0)f(x)=f(a)を示す?  あと、(2)の定義域の端点(x=-1とx=1)と(3)の定義域のx>0とx<0の0の付近の示し方が?  アドバイスいただけないでしょうか。よろしくお願いします。

  • 連続関数

    関数の連続性を証明するところがわからないので質問します。 xが無理数ならば、f(x)=0とし、xが有理数で既約分数p/q(ただしq>0)のかたちに書けるときは、f(x)=1/qとする。 このように定義された関数fは無理数xで連続、有理数xで非連続である。その証明はやさしい。 xが無理数とし、εを任意の正数とする。1/q≧εすなわちq≦1/εとなる正整数qは有限個しかないから、δ>0を十分に小さく選ぶと開区間(x-δ,x+δ)には、上の条件を満たすqにたいする既約分数p/qは存在しない。したがって任意のy∈(x-δ,x+δ)に対して |f(y)-f(x)|=1/q<εとなる。fはxで連続である。一方、有理点のどんな近傍にも無理点が存在し、そこでfの値は0だから有理点では連続ではない。 自分は具体的な数としてx=√2、ε=0.4とすると、q≦2.5となり、q=1,2。 p/q=1/1,2/1,1/2,3/2などいろいろあげられますが、δ=0.01とすると(√2-0.01,√2+0.01)=(1.404・・・,1.424・・・)にはp/qはふくまれません。 ここからがわからないところなのですが、x±δは無理数に有理数を足したり引いたりした無理数であることがあるので、yが無理数になり、f(y)=0となり|f(y)-f(x)|=1/q<εが成立しないような場合があると思います。自分は本があっているなら、f(x)=0より、 f(y)=1/qになると予想しました。どなたか任意のy∈(x-δ,x+δ)に対して|f(y)-f(x)|=1/q<εとなる。を説明してください。お願いします。

  • 一様連続

    R(実数の集合)上で定義された連続関数fがlim[x→∞]f(x)=0を満たすとする。 このとき、fは[0,∞)上で一様連続であることを証明せよ。 という問題が解りません。解る方は教えてください。

  • 一次元ユークリッド空間における連続

    お世話になります。 Rを1次元ユークリッド空間としf,g:R→Rを関数とする。このときf,gが連続であるならば、その合成関数g・f:R→Rも連続である事を示せ。 ただし関数fが連続であるという事は、任意のx∈Rにおいてfが連続となる事であり、また、任意のx∈Rでfが連続である事は次の様に定義される。    任意のε>0に対して、あるбが存在して│xーx0│<бならば、│f(x)-f(x0)│<εが任意のx∈Rに対して成立する という問題で、 任意のε>0に対して、あるбが存在して│xーx0│<бならば、│f(x)-f(x0)│<εが任意のx∈Rに対して成立する ですでに証明ができている様な気がして、問題の意図すら分かりません。

  • 一様連続の証明問題です

    R上で定義された連続関数fが lim[x→+∞] f(x)=0 をみたすとする このときfは[0,∞)上で 一様連続であることを証明せよ. ※証明にはε-δ論法を用いよ という問題なんですが まったく歯がたちません どなたか教えてください お願いします

  • 連続関数の定義について

    定義 1: f : S → T が点 x ∈ S で連続であるとは, 任意の ε >0 、ある δ >0 が存在して、 d(x,y) <δ ⇒ d(f(x),f(y)) <ε が成り立つ 定義2: f:S→Tが点x∈Sで連続であるとは, xk →xであるようなすべての数列 {xk}∞k=1 (ただし, ∀k, xk ∈ S )について, lim f(xk) = f(x) k→∞ が成り立つ これらの定義が同値であることを示しなさい. つまり,「定義 1 が真ならば, 定義 2 が真である」という 命題と「定義 2 が真であるならば, 定義 1 も真である」という 2 つの命題を示しなさい. この問題が分からないので教えてください教えてください

  • 1変数連続関数の最大値について

    f(x)が[0;∞) で連続かつf(x) > 0 にて、xが無限大の時、f(x)が0に近付くならば、f(x) は[0;∞) で最大値をとることの証明をお教え下さい。