- ベストアンサー
同値関係
nsafの回答
元a,bに対する論理式Pをもって関係R(a,b)=[P(a,b)]を定義します。 なおoは成立、xは不成立を表します。 o 1;x 2,3; {1,2,3}上の[a=b or (a=1 and b=2) or (a=2 and b=3)]という関係 o 2;x 1,3: {1,2,3}上の[(a=1 and b=2) or (a=2 and b=1)]という関係 o 3;x 1,2: {1,2,3}上の[aはbより大きい]という関係 x 3;o 1,2: {1,2,3}上の[a=b]という関係 x 2;o 1,3: {1,2,3}上の[aはb以上]という関係 x 1;o 2,3: {1,2,3}上の[{a,b}⊂{2,3}]という関係
関連するQ&A
- 同値関係
同値関係である条件は次のA1~A3を満たすことです。 A1:(反射律)∀xR(x,x) A2:(対象律)∀x∀y[R(x,y)→R(x,y)] A3:(推移律)∀x∀y∀z[(R(x,y)ΛR(y,z))→R(x,z)] (a)~(g)を例をあげてください。 お願いします(/_;) (a)身の回りの自然な例で、同値関係となるもの (これは、「同じクラス」とか「同じ血液型」があてはまりますよね?) (b)A1は成り立つが、A2,A3は成り立たない例 (c)A2は成り立つが、A1,A3は成り立たない例 (d)A3は成り立つが、A1,A2は成り立たない例 (e)A1,A2は成り立つが、A3は成り立たない例 (f)A1,A3は成り立つが、A2は成り立たない例 (g)A2,A3は成り立つが、A1は成り立たない例 できれば分かりやすい例で言っていただけると、ありがたいです。 おねがいします(>_<)
- ベストアンサー
- 数学・算数
- 同値関係の問題です。
同値関係の問題です。 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問でもいいので分かる方おねがいします。
- 締切済み
- 数学・算数
- 同値関係の問題です。
「反射律、対称律を満たすが、推移律は満たさない関係の例をあげよ」 という問題です。 同値関係については少しは理解しているのですがまだ勉強を始めたばかりでこういう問題はちょっと苦手です。 ヒントだけでも頂けないでしょうか?
- ベストアンサー
- 数学・算数
- 同値関係について
以下の二項関係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は共通の文字がないので推移律は成り立たない。
- ベストアンサー
- 数学・算数
- onegaisimasu
同値律の3法則が独立であることを示すということで, 集合Eとしては,実数全体をとり,次の3つの関係 x R_1 y とは x=y=0 x R_2 y とは x≦y x R_3 y とは |x-y|<1 を考えてこのとき R_1は反射律R_2は対称律R_3は推移律が成り立たないのでそれぞれの 法則は独立であると述べられているのですがよくわかりません. どういうことなのか教えてください.
- 締切済み
- 数学・算数
補足
ありがとうございます。 うれしいんですが、 バカなので、どう見たらよいのか わかりません>< バカでもわかるようにおしえていただけないでしょうか?