![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?c9bd177)
No.1ベストアンサー
- 回答日時:
集合A上の二項関係Rが、Aの任意の要素a,b,cについて、
(1)反射律
aRa
(2)対称律
aRb ⇒ bRa
(3)推移律
aRb, bRc ⇒ aRc
を満たしているとき、Rを同値関係と言います。
【問題】
集合A上の二項関係Rが、反射律を満たしている。このとき、
aRb, bRc ⇒ cRa (a,b,c∈A) … (1)
が成り立つならば、Rは同値関係であることを示せ。
【証明】
Rは、反射律を満たすから、
bRb
が成り立つ。すると、(1)から、
aRb, bRc ⇒ cRa
であるが、いま、cをbと置き換えれば、
aRb, bRb ⇒ bRa
を得る。ゆえに、対称律
aRb ⇒ bRa
が成り立つ。また、(1)から、
aRb, bRc ⇒ cRa
であるから、対称律
cRa ⇒ aRc
より、
aRb, bRc ⇒ cRa ⇒ aRc
を得る。ゆえに、推移律
aRb, bRc ⇒ aRc
が成り立つ。 q.e.d.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 同値関係の問題です。わかる方教えてください。 実数の集合Rにおいて関係Rを、 xRy⇦⇨x-yは整数 3 2022/07/28 00:12
- 数学 存在記号と「または」 5 2022/10/02 19:03
- 数学 内田伏一著 集合と位相 p34, 問8.4 5 2022/12/17 20:21
- 数学 逆像法について 高校生です -1≦X≦2のとき、y=2x-3の値域を求めよ。 この問題を、集合X={ 4 2022/05/01 17:38
- 数学 逆像法について 高校生です -1≦x≦2のとき、y=2x-3の値域を求めよ。 この問題を、xについて 4 2022/05/01 23:11
- Excel(エクセル) エクセルの数式で教えてください。 2 2023/06/23 15:02
- その他(悩み相談・人生相談) 価値観や好みが全く正反対でも恋愛関係は成立しますか? 5 2022/05/02 22:26
- 教育・文化 同性婚や選択的夫婦別姓制度等、今私達が考えさせられる問題がありますよね。 私は2つとも反対です。 マ 14 2023/03/04 09:02
- 英語 関係形容詞"which"の感覚について 4 2022/12/05 11:46
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
無限は実在しますか?
-
無限に1を引くとどうなりますか?
-
複素数 実数 集合 濃度
-
無限と永遠の定義
-
アレフゼロの証明について
-
集合の濃度に関する質問です
-
実無限と可能無限の違いを教え...
-
非可算無限なグラフ
-
lim[n→∞](1-1/n)^n=1/e について
-
エクセルで(~以上,~以下)...
-
【数学】 lim x→a ↑これってど...
-
dx/dy や∂x/∂y の読み方について
-
判別式の使う時とか使わない時...
-
数学の極限の問題です! (1)l...
-
高2の数学の対数関数です。 真...
-
f(x)=logx/x (x>0) の極限の求...
-
離散位相、密着位相はなぜそう...
-
三角関数の範囲について、 0≦x≦...
-
変数と関数の違いはなんですか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
無限に1を引くとどうなりますか?
-
無限より大きい何か
-
逆写像の求め方
-
Vをn次元実ベクトル空間、ΓをV...
-
分数関数についての質問です。...
-
無限は実在しますか?
-
無限順列に対して無限組合せを...
-
逆関数 高校数学にて y=x^2+2x+...
-
集合の濃度
-
続きです。合成関数の定義域と...
-
合成関数の定義域につきまして
-
高校数学の関数について 値域や...
-
合成関数について
-
複素数 実数 集合 濃度
-
開集合がコンパクトでない理由
-
逆関数に虚数は含まれない?
-
全射の個数を求める問題
-
0.999999・・・無限と1とはどう...
-
tanxが全射であることを厳密に...
おすすめ情報