takehikom https://blog.hatena.ne.jp/takehikom/ わさっきhb https://takehikom.hateblo.jp/ いきなりですが問題です． 集合S上の二項関係〜が，反射律，対称律，推移律をすべて満たすとき，〜はSの同値関係であるといいます． 「対称律と推移律を満たせば，反射律が導かれる．したがって同値関係の定義に反射律は不要である」という主張に対して，どう答えますか． 元ネタです． 問1 ある人が「対称律があれば、x〜yとするとき、y〜x。ここで推移律を用いるとx〜xが導かれる。だから同値関係の定義で反射律は実は余分である。」と言った。正しいだろうか？ http://nalab.mind.meiji.ac.jp/~mk/lecture/literacy-2014/equivalence.pdf これを目に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftakehikom.hateblo.jp%2Fentry%2F20150817%2F1439819517" title=" 同値関係になぜ反射律が必要か - わさっきhb" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/t/takehikom/20150817/20150817224820.jpg Hatena Blog https://hatena.blog 2015-08-17 22:51:57 rich https://takehikom.hateblo.jp/entry/20150817/1439819517 1.0 100%