[대학교이상] 동치관계 판단하는거 도움

[병맛아이(ysorry258995)]

reflexive 판단할때

~ defined on Z by x~y if and if only x is a divisor of y

이면 x~x <=> kx=x ,k : integer 이잖아요?

그러면 reflexive 정의에 따라서, k=1 이면 모든 x에 대해서 성립하니까 reflexive가 맞다고 해야되나요?

아니면 k=/1 이면 모두 성립 안하니까 reflexive가 아니라고 해야되나요? 

[ScARfaCE(kayuaao)]

x=kx인 적당한 정수 k가 존재하니까 reflexive지 굳이 case를 또 나눌 필요가 없음

[병맛아이(ysorry258995)]

감사해용

[익명(211.234)]

너무 뇌절인데 … 그정돈 당연하다고 생각해야함