- ベストアンサー
同値関係とは
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
関係~について, 反射律とは a~a を満たすこと 対称律とは a~b ⇒ b~a を満たすこと 推移律とは a~b,b~c ⇒ a~c を満たすこと です。この3つをすべて満たすことを同値関係といい, 高校までに習った「同値」という概念の本質を端的に 言い表しています。 定義なのだから,そのまま認めればいいだけのことですが, 実感がつかみにくいなら,中学・高校で習った具体例を あげるとよいでしょう。 例えば,線分の長さについて考えると AB=AB, AB=CD ⇒ CD=AB, AB=CD,CD=EF ⇒ AB=EF が成り立ちますから,「線分の長さが等しい」という関係は 同値関係ですね。 大学の数学って,今まであいまいにしてきたことを, スッキリさせてくれますよね。
関連するQ&A
- 同値関係の問題です。
「反射律、対称律を満たすが、推移律は満たさない関係の例をあげよ」 という問題です。 同値関係については少しは理解しているのですがまだ勉強を始めたばかりでこういう問題はちょっと苦手です。 ヒントだけでも頂けないでしょうか?
- ベストアンサー
- 数学・算数
- 数学の同値関係の問題です
集合Zでm~nとは、m-nは3で割り切れるとするとき、~が同値関係であることを示せ、という問題に困っています……。 反射律まではわかるのですが、対象律、推移律の証明の仕方がわかりません。どなたか教えていただけないでしょうか。最近集合を勉強し始めたのですが、ネットの情報などを見てもどうしてもわからないので質問しました。どうぞよろしくお願いいたします……
- 締切済み
- 数学・算数
- 同値関係
R(x,y)はx=yを意味し、 1.∀xR(x,x)(反射律) 2.∀x∀y[R(x,y)→R(y,x)](対称律) 3.∀x∀y∀z[R(x,y)∧R(y,z)→R(x,z)](推移律) の三つがあります。 この三つを満たしたとき同値関係となることがわかりますが、 1.が成り立って2.3.が成り立たないとき 2.が成り立って1.3.が成り立たないとき 3.が成り立って1.2.が成り立たないとき 1.2.が成り立って3.が成り立たないとき 1.3.が成り立って2.が成り立たないとき 2.3.が成り立って1.が成り立たないとき の6つのパターン例を示すことはできるのでしょうか? 日常の例でかまいません><
- ベストアンサー
- 数学・算数
- 同値関係の問題です。
同値関係の問題です。 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問でもいいので分かる方おねがいします。
- 締切済み
- 数学・算数
- 同値関係
同値関係である条件は次の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は成り立たない例 できれば分かりやすい例で言っていただけると、ありがたいです。 おねがいします(>_<)
- ベストアンサー
- 数学・算数
- 無向グラフにおける同値関係について教えてください
aRb aとbを通る初等的閉路が存在する が同値関係であることを示したいのですがどうも文章として理解できません 特に推移律に関してがわからないです。 どなたか証明していただけないでしょうか。 お願いいたします。
- 締切済み
- 数学・算数
お礼
あ、そういうことでしたか。 例があると、とてもわかりやすいですね。 丁寧なご説明、ありがとうございました。