• ベストアンサー

束に関する証明

束に関する証明 証明問題をどのように手をつければよいか全く分かりません。 以下の問題を解いて解説していただけるとありがたいです。 Lを束とする。このとき、任意のa,b,c,d∈Lに対して、次の(1)~(3)が成り立つことを示せ。 (1)a≦bならば、a+c≦b+c、かつ、a・c≦b・c (2)c≦aならば、(a・b)+c≦a・(b+c) (3)a+(b・c)≦(a+b)・(a+c)

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

  • ベストアンサー
  • nag0720
  • ベストアンサー率58% (1093/1860)
回答No.2

>「Lの任意の有限部分集合Bに対して、Bの上限と下限が存在する。」だと思います。 束の定義はそれだけじゃないでしょ。 それだけだとしたら、「+」、「・」、「≦」はどういう意味? 束の定義を見直してみては。

exymezxy09
質問者

補足

任意のx,y∈Aに対して{x,y}の上限と下限が存在する。 任意のx,y∈Aに対して、x+y、X・yが定義されかつ、それらは交換則、結合則、吸収則および、 x≦y iff x+y=yを満たす。 上の2つしか分かりません。 この証明問題を解くには定義よりも交換則や吸収則などの定理を使うと思うのですが・・・

その他の回答 (1)

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

では, まず束の定義をどうぞ.

exymezxy09
質問者

補足

「Lの任意の有限部分集合Bに対して、Bの上限と下限が存在する。」だと思います。

関連するQ&A

  • 束に関する証明問題

    束に関する証明問題 束の証明がよく分かりません。 次の問題を解いて、解説していただけると大変ありがたいです。 Lを束とする。任意のa,b,c∈Lに対して、次の(1),(2)は同値であることを示せ。 (1)a・(b+c)=(a・b)+(a・c) (2)a+(b・c)=(a+b)・(a+c) 以上です。宜しくお願いします。

  • 束の証明問題

    束の証明問題 交換則や結合則などを式変形によって証明する問題なのですが、うまく証明できません。 次の問題を証明していただけるとありがたいです。 Lを束とする。このとき、任意のa,b,c∈Lに対して、次の(1)~(3)が成立することを示せ。 また、(3)は(2)から導けることを示せ。 (1)a+(b+c)=(a+b)+c  a・(b・c)=(a・b)・c (2)a+(a・b)=a  a・(a+b)=a (3)a+a=a  a・a=a

  • 離散数学の証明

    離散数学の証明 束に関する証明問題なのですがいまいち分かりません。 以下の問題を解いて解説していただけるとありがたいです。 おそらく吸収則や冪等則を用いるのだと思うのですが・・・ Lを束とする。このとき、任意のa,b,c,d∈Lに対して、次の(1)~(3)が成り立つことを示せ。 (1)a≦bならば、a+c≦b+c、かつ、a・c≦b・c (2)c≦aならば、(a・b)+c≦a・(b+c) (3)a+(b・c)≦(a+b)・(a+c)

  • 証明問題

    証明問題 離散数学の証明問題です。 束における交換則や結合則などを式変形によって証明する問題なのですが、うまく証明できません。 次の問題を証明していただけるとありがたいです。 定義より自明ではなく、厳密に証明しないといけません。 Lを束とする。このとき、任意のa,b,c∈Lに対して、次の(1)~(3)が成立することを示せ。 また、(3)は(2)から導けることを示せ。 (1)a+(b+c)=(a+b)+c  a・(b・c)=(a・b)・c (2)a+(a・b)=a  a・(a+b)=a (3)a+a=a  a・a=a

  • 調和束線、調和点列の証明問題です。平面上に点0

    調和束線、調和点列の問題です。 平面上に点0を通る異なる2直線a,bがある。任意の実数λ=not0に対して、a,b,a+λb,a-λbは調和束線をなすことを証明せよ。 平面上に点0を通る異なる2直線a,bがある。任意の実数λ=not0に対して、a,b,a+λb,a-λbは調和束線をなすことを証明せよ。 という問題です。 oを原点として、x,y軸とって直線x=1と4直線の交点が調和点列になることを示してそれを利用しようと思ったんですが わかりません。 わかるかたいましたら教えてください。 よろしくお願いします

  • 演算子の一つ(例えば∩)をもしどの元、部分集合同士に適用しても空集合になるような集合のことを、その演算子(∩)を含めた演算子(∩と∪など)を束演算として束をなしているといってしまっていいのでしょうか、 また もしそれでもよいのなら、その束は A∩(B∪C)=(A∩B)∪(A∩C)=Φ A∪(B∩C)=(A∪B)∩(A∪C)=A となるので分配束であるといってよいのでしょうか。 これはどうでもいいことなのですがそもそも∩のことを、上記のような集合で定義されている演算子といっていいのでしょうか。

  • 証明が出来ません・・・

    任意のベクトルに対して成り立つ公式 A×(B×C)=B(A・C)-C(A・B) を証明したいのですが まったくというほど手がつかない状況です。 よかったら、この証明方法を知っている方がいたら 教えてください。 後、この公式には名前はついてないんですか?

  • 不等式の成立条件の証明

    以下,問題文です。 任意の実数a,bと任意の正の実数c,dについて,次の不等式(添付画像)が常に成立するなら証明せよ。必ずしも成立しないなら成立しないようなa,b,c,dの値を例示せよ。 皆目見当がつかず,滞っています。 不等式であるとはいえ相加・相乗平均のような 特徴的な解法が存在するのかも不明です。 どなたか解法の動機をご教授頂きたいと思います。

  • パップスの定理を束で証明できますか?

    パップスの定理とは添付図で、P、Q、Rが一直線上にあるというものです。 これを束(英語ではpencil)を使って証明することはできるのでしょうか? 束とは、例えば図でAを通る3つの直線の式に、 OE=kAD+lAF (k,lは実数) (ただし、OEなど直線の式で、OE=ax+by+cという一次式を意味するものとする) という関係があるというものです。

  • 不等式の証明

    不等式の証明の問題で、 絶対値が1より小さい4つの実数a,b,c,dに対して、次の不等式が成り立つことを示せ。というものがありました。(1),(2)と2問あって (1)はa+b<1+abの証明でした。 これは(右辺)-(左辺)をして(a-1)(b-1)>0となり、証明できました。 (2)は(1)を利用して示せ。となっており (2)はa+b+c+d<3+abcdの証明でした。 (1)よりa+b<1+abなのでc+d<1+cd 辺々加えてa+b+c+d<2+ab+cd ここまではできたのですが、ここからどうやって右辺を3+abcdに するのかどうしてもわかりません。 答えにはa+b+c+d<2+ab+cd            <2+(1+abcd)            <3+abcd と書かれていたのですがどうしても    <2+ab+cd          ↓    <2+(1+abcd) が分かりません。教えてください!