- ベストアンサー
同値関係の証明問題
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
対象律、推移律だけで反射律を求めることはできません。 aに対して。 aRb となるbが存在する。(継続的より)-(1) bRa である(対称的より)-(2) (1)(2)よりaRa(推移的より) 継続律がなければbが登場できません。
その他の回答 (3)
- gatch_ky
- ベストアンサー率43% (18/41)
looseboyさんの証明の間違いを指摘させていただきます。 >∀a,b[aRb→aRa] >ゆえに >∀a[aRa]…反射律 とありますが。 ∀a,b[aRb→aRa]、は正しいが、 だからといって∀a[aRa]とはなりません。 「もし戦争になれば、命を懸けて君を守るよ」 は戦争が起こらなければウソにはなりません。 「命を懸けて君を守るよ」 はそのとおりにしないとウソになります。
お礼
さらに詳しく教えてくださりすみません。もう一度よく考えてみます。
- koko_u_
- ベストアンサー率18% (459/2509)
>∀a,b[aRb→aRa] > ゆえに > ∀a[aRa]…反射律 なぜ最後の最後で論理が飛んでしまうのでしょうか。 冷静になりたまえ。 >問題は継続的、対称的、推移的な関係が同値関係であることの証明なので >全てを用いて反射律を求める必要があります。 蛇足ですが、一般論として 条件全てを用いて反射律を求める必要があるわけではありません。
お礼
ご回答ありがとうございます。確かに改めて考えると変でした。
- koko_u_
- ベストアンサー率18% (459/2509)
>対象律、推移律だけで反射律を求めることはできた ではそれを補足に。 >それでは証明の題意を満たしません なぜですか?それも補足に。
補足
∀a,b[aRb→bRa]…(1)対称律 ∀a,b[aRb→aRb]…(2)恒等式 (1),(2)より ∀a,b[aRb→aRb∧bRa]…(3) ∀a,b,c[aRb∧bRc→aRc]…(4)推移律 (4)より ∀a,b[aRb∧bRa→aRa]…(5) (3),(5)より ∀a,b[aRb→aRa] ゆえに ∀a[aRa]…反射律 (証終) こんな感じです。これが間違ってたらダメなんですが・・・。 問題は継続的、対称的、推移的な関係が同値関係であることの証明なので全てを用いて反射律を求める必要があります。上記の証明で推移律を使うならどこで用いるのだろうかとも考えましたが思いつきませんでした。ほかに証明の仕方があればぜひ回答よろしくお願いします
関連するQ&A
- 無向グラフにおける同値関係について教えてください
aRb aとbを通る初等的閉路が存在する が同値関係であることを示したいのですがどうも文章として理解できません 特に推移律に関してがわからないです。 どなたか証明していただけないでしょうか。 お願いいたします。
- 締切済み
- 数学・算数
- 同値関係の問題です。
「反射律、対称律を満たすが、推移律は満たさない関係の例をあげよ」 という問題です。 同値関係については少しは理解しているのですがまだ勉強を始めたばかりでこういう問題はちょっと苦手です。 ヒントだけでも頂けないでしょうか?
- ベストアンサー
- 数学・算数
- 同値関係の証明について
「0より大きい整数集合A={1,2,....}についてA×A上の関係RをR={<(a,b),(c,d)>|ad=bc}とするとRが同値関係であることを証明しなさい」 という問題でRが反射的、対称的、推移的と証明していけばいいと思うのですが、A×Aだったら<>の中は<1,2>などになるはずだと思うのに<(a,b),(c,d)>となっていて問題の意味がよくわかりません。 この場合どう証明すればいいのでしょうか?
- 締切済み
- 数学・算数
- 同値関係について
以下の二項関係Rにおいて、反射律、対称律、推移律のどれが成り立つか答えよ。(※←→はbioconditional/If and only if) 1. (a, b) ∈ R ←→ |a - b| は奇数で整数Zに属する。 2. (a, b) ∈ R ←→ a と b は少なくとも一文字以上の共通の文字を持つ単語である。 以下解いてみたのですが、正しいかどうかわかりません。 おかしなところがあれば指摘して欲しいです。 1)a,aのとき0となって奇数ではないので反射律は成り立たない。a-bもb-aも絶対値は同じなので対称律は成り立つ。a=1,b=2,c=3とすると|a-c|は偶数なので推移律は成り立たない。 2) a,aのとき全ての文字が共通なので反射律は成り立つ。aという単語とbという単語を取り替えても共通の文字は変わらないので対称律は成り立つ。a=りんご、b=あんず、c=あずき、とする場合aとcは共通の文字がないので推移律は成り立たない。
- ベストアンサー
- 数学・算数
- 数学の同値関係の問題です
集合Zでm~nとは、m-nは3で割り切れるとするとき、~が同値関係であることを示せ、という問題に困っています……。 反射律まではわかるのですが、対象律、推移律の証明の仕方がわかりません。どなたか教えていただけないでしょうか。最近集合を勉強し始めたのですが、ネットの情報などを見てもどうしてもわからないので質問しました。どうぞよろしくお願いいたします……
- 締切済み
- 数学・算数
- 同値関係の問題です。
同値関係の問題です。 1)群Gと部分群Hで{(x,y)|xy∈H}がG上の同値関係でないものを与えよ。 2)群Gと部分群Hで{(x,y)|xyx^(-1)y^(-1)∈H}がG上の同値関係でないものを与えよ。 3)RをXの同値関係とする。与えられたx∈Xに対して、y∈Xを(x,y)∈Rとなるように選ぶ。対称律より(y,x)∈Rとなり、次に推移律より(x,x)∈Rが示される。それゆえ、同値関係の反射律は余計なように思える。この議論の何が問題なのだろうか? 1問でもいいので分かる方おねがいします。
- 締切済み
- 数学・算数
お礼
ご回答ありがとうございます。おかげで理解できました。