• 締切済み

数学、証明

次の問題が分からずに困っています。 f(x,y)を[-1,1]×[-1,1]において定義された2変数の関数とする。任意のy∈[-1,1]について、 f(x、y)≧0⇔x≧0 は真か。偽ならば反例を示し、真ならば証明せよ。 よろしくお願いします。

みんなの回答

  • uen_sap
  • ベストアンサー率16% (67/407)
回答No.3

偽が自明に見えますが? 何が問題なのですか?

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

問題が任意の f, x, y において f(x, y)≧0⇔x≧0 なら 反例 f(x, y) = -1 でおしまいですが、あまりにもばかげた問題なので、 問題を写し間違っている気がします。

全文を見る
すると、全ての回答が全文表示されます。
  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

何を問うているのか分からん問題だなぁ.... x の正負によらず 1 は正なわけだが....

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

関連するQ&A

  • 解析学について

    f(x)は[0,∞)上で微分可能. ある[0,∞)上で定義された関数g(x),h(x)が存在して、 f(x)=g(x)h(x) が任意のx∈[0,∞)で成り立つと仮定する. この時命題「g(x)h(x)は[0,∞)上で微分可能である」は真か偽か。 という問題なのですが、偽だと考えているのですがなかなか反例が見つかりません。 反例を教えていただけないでしょうか。

  • 【問題】

    【問題】 次の命題について、真のときは証明を与え、偽のときは反例を与えよ。 x,yを実数とする。 |x|≦1かつ|y|≦1ならば(x+y)^2≦(xy+1)^2である。 たぶん…真だと思うのですが^^; どうでしょうか??

  • y=|x|の証明について

    y=|x|は定義域を実際に持つ連続関数であることを示せ という問題なのですが、自分はx=0のときを考え f(0)=0より、 lim_x→0 f(x)=0を示す。 任意のε>0に対して、ある値δが存在して |x|<δならば、|f(x)-0|=|x|=|x|<δ<ε   したがって連続である。 と回答しようと思ったのですが、一応連続関数であることは証明できていると思うのですが、定義域を実数に持つという所に関しては、どうしたらいいのかわかりません。 多分ε-δ論法で証明していくと思うのですが、どうしたらいいのでしょうか。 回答の程、よろしくお願いします。

  • 証明問題

    以下について真偽を証明せよ。(偽の場合は反例を挙げよ。) ※Oはビッグ・オー、Ωはビッグ・オメガ、Θはビッグ・セータ。 (1)もしf(x)=O(g(x))が成り立つなら、g(x)=Ω(f(x))も成り立つ。 OとΩは丁度逆の定義なので自明で真のような気がしますが、あえて定義から証明しようとすると、f(x)=O(g(x))ということは、f(x)<=C*(g(x)) x>kとなるような定数Cとkが存在し、また、g(x)=Ω(f(x))ということは、g(x)>=C*(f(x)) x>kとなるような定数Cとkが存在する、となってこの先の導き方がわかりません。ひょっとしてこれは偽でしょうか? (2)β>0のとき、Θ(β(f(x)))=Θ(f(x))。 私が問題文の意味を聞くのもなんですが、ΘとはOかつΩのことなので、これは(1)β(f(x))=O(f(x))かつβ(f(x))=Ω(f(x))と、(2)(f(x))=O(β(f(x)))かつ(f(x))=Ω(β(f(x)))の二つを証明すればよいということなのでしょうか?

  • 解析の問題です。

    解析の問題です。 E ⊂ R(:実数) E' = {x+1 | x ∈ E} とすると、次の命題は真か偽か? 真なら証明を、偽なら反例述べよ。 (1) a は E の上界 ⇒ a+1 は E' の上界 (2) a は E の上限 ⇒ a+1 は E' の上限 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ (1)は真であることは次のように示しました。 上界の定義: 『任意のx∈Eに対し、x ≦ a が成立』より、 両辺に1を足して、x+1 ≦ a+1 が全てのxについて成り立つ。 これは a+1 が E' の上界であることに他ならない ■ (2)は偽…だと思うのですが、 判例が作れません… そもそも偽だと思うのが間違っているのでしょうか? どなたかアドバイスをお願いいたします。

  • 経済数学について教えてください!

    大学の経済数学入門の問題で分からない問題があるので、回答よろしくお願いします。 点aの近くで定義された関数fが次の条件を満たすとする 任意のε>0に対して、あるδ>0をとると、aとの距離がδ以下の任意のx,y(≠a)に対してε≧|f(x)-f(y)| このときlimx↦a f(x) が存在することを示せ。 テストがあるので、よろしくお願いします。

  • 位相数学の証明問題です。

    (1)R空間の部分集合で連結かつコンパクトなものは有界な閉区間に限ることを示してください。 (3)[a,b]上で定義された実数値連続関数f(x)に対して、正の実数δで次の※性質をもつものが存在することを示してください。 ※|x-y|<δを満たすすべてのx,y∈[a,b]に対して、|f(x)-f(y)|<0.1 の証明を、どなたか分かる方、よろしくお願いします

  • 数学問題の解説

    次の問題の解説をお願いします。 微分の定義式d/dx f(x)=lim[y→0]{f(x+y)-f(x)}/yを用いて、以下の関数の導関数を求めよ。 但しlim[x→0]sinx/x=1は証明なしに利用してよいものとする。 1)sinx 2)cosx 3)x^m 文系にも理解できるくらいに詳しくして頂けますと非常に助かります。

  • 高校数学、関数(写像)の定義

    lim(x→0)(cosx-cosx^2)/(x-x^2) 解答で、f(x)=cosxとすると、f(x)は全ての実数で微分可能で、f‘(x)=-sinx x>0のとき、x→+0のとき、0<x<1としてよく、平均値の定理より、(f(x)-f(x^2))/(x-x^2)=-sincとあります。 関数f(x)=cosxのxにx^2を代入しているのが違和感があるのですが、ここで参考書で関数(写像)を調べてみたのですが、 (関数(写像)の定義) 集合Xから集合Yへの対応が次のような条件を満たす時、fをXからYへの関数(写像)という。 Xの任意の要素xに対し、Yの要素yがただ1つにきまる。また、Xをfの定義域、Yをfの終域という。 (考え) ここで、元の問題に戻ります。、f(x)=cosxとしているのを考えると、f(□)=cos□という写像の□に入るものの代表としてxという文字を使っていると理解できます。そこで、x=x^2としてみたのがf(x^2)と考えると、x=x^2としてさらにそのx^2のxには任意の数が代入できるとして混乱しますが、□に入る数字の代表としてx^2を入れても□には実数が入れるから当然大丈夫。x^2とすると、□には0以上の実数が入っていくと理解してよいですか? (一般化すると、関数の変数は集合の定義域に収まっていればどのようなものを代表にしてもよい)

  • またまた数学です

    次の命題の逆、裏、対偶を述べ、それぞれ真偽(逆、裏、対偶)を求めよ。 また、偽の場合は反例を挙げよ。  (1)X²=Y² ⇒ X=Y (2)「X≧1かつY≧2」 ⇒ X+Y≧3