• ベストアンサー

束の証明問題

束の証明問題 交換則や結合則などを式変形によって証明する問題なのですが、うまく証明できません。 次の問題を証明していただけるとありがたいです。 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

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

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

この文面では「束」をどのように定義しているのか全く分かりません. そして, 厳密な定義なしに「厳密な証明」など不可能です. この (1)~(3) (まあ (3) は (2) から出るので省いてもいいけど) を含む形で「束」を定義することもできる. で, そのように定義しているなら #1 は「厳密な証明」といえる.

exymezxy09
質問者

補足

教科書の束の定義には (1)Lの任意の有限部分集合に上限と下限が存在する。 (2)任意のx,y≦Lに対して{x,y}の上限と下限が存在する。 とあります。 また問題文には束に関しては特に述べられていません。 Lを束とするとしか書かれていないので・・ (1)~(3)を個々に証明することはできないのでしょうか?

その他の回答 (1)

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

全部束の定義から自明では?

exymezxy09
質問者

補足

自明ではダメみたいです。 厳密に証明することが求められているので。

関連するQ&A

  • 証明問題

    証明問題 離散数学の証明問題です。 束における交換則や結合則などを式変形によって証明する問題なのですが、うまく証明できません。 次の問題を証明していただけるとありがたいです。 定義より自明ではなく、厳密に証明しないといけません。 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∈Lに対して、次の(1),(2)は同値であることを示せ。 (1)a・(b+c)=(a・b)+(a・c) (2)a+(b・c)=(a+b)・(a+c) 以上です。宜しくお願いします。

  • 束に関する証明

    束に関する証明 証明問題をどのように手をつければよいか全く分かりません。 以下の問題を解いて解説していただけるとありがたいです。 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,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)

  • 調和束線、調和点列の証明問題です。平面上に点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直線の交点が調和点列になることを示してそれを利用しようと思ったんですが わかりません。 わかるかたいましたら教えてください。 よろしくお願いします

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

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

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

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

  • 数学の不等式の証明

    数学の不等式の証明に関する質問です。 (問題) 次の不等式を証明せよ。ただし、文字はすべて実数を表す。 (1)√a^2+b^2+c^2*√x^2+y^2+z^2≧|ax+by+cz| (2)10(2a^2+3b^2+5c^2)≧(2a+3b+5c)^2 (1)は式を2乗し、差をとって変形して証明できました。 (2)は(1)の式を利用することまでは分かるのですが、どうやって式を利用して証明すればよいか分かりません。 (1)の2乗した式にa=√2a,b=√3b,c=√5c,x=√2,y=√3,z=√5を代入すると、(2)と等しくなります。 けどこれではちゃんとした解答と言えるのかがわかりません。 証明の切り口を教えていただけないでしょうか?

  • 証明問題について

    「1>s>0, t≧u>0 とする。3次方程式 x^3 + sx^2 + tx + u=0・・・(1)が3つの実数解α,β,γをもつならば-1<α,β,γ<0となることを証明せよ。」という問題です。 解答ではα>0と仮定して(1)にαを代入するとα^3 + sα^2 + tα + u=>0となり(1)の解にはなりえないから、α,β,γ<0 次に式が見やすいようにα=-a,β=-b,γ=-c(a,b,c>0)とおくと、解と係数の関係からa+b+c<1が得られる。従って0<a,b,c<1がいえると 書かれてあったのですが、 0<a+b+c<1から0<a,b,c<1の流れは明らかに必要条件ですよね。証明問題でこのように必要条件で答えにしても良いのでしょうか。よろしくお願いします。

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