>>148
おっちゃん、どうも、スレ主です。

戻る 過去スレ 35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/624

”１）同値関係 ”を説明しよう

https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82
数学において、同値関係（どうちかんけい、英: equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。

定義
ある集合 S において、二項関係 ? が次の性質を満たすとき、? は S 上の同値関係であるという。S の任意の元 a, b, c に対し、
反射律: a ? a.
対称律: a ? b ならば b ? a.
推移律: a ? b かつ b ? c ならば a ? c.
上の三つをまとめてしばしば同値律という[1]。? が同値関係であるとき、a ? b であることを、a と b は同値であると言う[1]。

・反射律： https://ja.wikipedia.org/wiki/%E5%8F%8D%E5%B0%84%E9%96%A2%E4%BF%82 反射関係の例:「A は B と等しい」（等式） 、非反射関係の例:「A は B より大きい」
・対称律: https://ja.wikipedia.org/wiki/%E5%AF%BE%E7%A7%B0%E9%96%A2%E4%BF%82 例 「（A は B と）結婚している」は対称関係だが、「（A は B より）小さい」は対称関係ではない。
・推移律: https://ja.wikipedia.org/wiki/%E6%8E%A8%E7%A7%BB%E9%96%A2%E4%BF%82 例 「AはBと等しい」（等式）、「AはBより小さい」、「AはB以下である」（不等式）

同値関係のとき、反射律と対称律とはすぐ分かるときが多いので、推移律のみ確認する場合が多い
「推移律: a ? b かつ b ? c ならば a ? c」は、例えていえば、”仲間”みたいな関係だと思えば、そう外れていない
a と bが仲間で かつ b と cが仲間なら、 a と cが仲間だと
これから、「a ? b かつ b ? c にも関わらず、 a not? c」は排除される。なので、同値類の集合が一意に定まる
（∵ある同値類の集合をHとして、H={a,b,c・・}でd ∈Hなら、d ? a かつ d ? b かつ d ? c ・・・。
　逆に、d not∈Hなら、d not? a かつ d not? b かつ d not? c ・・・。例外はない。 ）

おっちゃん、分かる？