大学数学の同値関係に関する問題

ご回答ありがとうございます。 同値関係の定義より、 任意a,b,c対して、 同値関係が成り立つなら、 a〜bならばb〜cとして 推移律はいつも成り立つが、 問題文にどのような集合a,b,cについてのことなのか問題文に書いていなければ、 推移律が成り立つとは言えないということで、よくわかりました。 ありがとうございました。

コメントに目を通してくださりありがとうございます． 文章内容が変更されていたので，改めて内容を拝見しました． 概要としては正しいです．ただ証明があいまいです． 変に説明するより，実際にやってみたほうがいいと考えたので，解きました． この問題では暗黙のうちに集合が指定されていると読んだので，そのように進めました． 集合Xが関係～により同値関係になるとき，Xの元aについて，同値類が考えられます． 同値類の定義は集合｛X∍ｘ｜ｘ～ａ｝のことで，［ａ］と書くのでした． ここで集合の元a, b の同値類［ａ］,［ｂ］について， 任意の［ａ］∍ｘ,［ｂ］∍ｙでｘ～ｙが成立することを示します． ［ａ］∍ｘよりｘ～ａであり，仮定ａ～ｂと推移律より，ｘ～ｂ． さらに，［ｂ］∍ｙよりｙ～ｂであり，対称律よりｂ～ｙ． したがって，ｘ～ｙ． ｘ, ｙは任意だったので，すべてのｘ, ｙで関係～が成り立つことを意味する． よって，［ａ］＝［ｂ］． 回答としてはくど過ぎると思いますが，しばらくはこれくらいでやっていくと力がつくと考えます． 長々となってしまいましたがよろしくお願いします．

ご丁寧な解説ありがとうございました。 集合Xにおいて、任意のa,b,c に関して同値関係が成り立つ時、 と回答に書けば納得がいきます。 ご回答頂いた答案よくわかりました。ありがとうございました。