[일반] 집합론 질문

[익명(182.227)]

동치관계 하면서

X/(X/E)=E 인건 알았음. 근데 이걸 그냥 예시를 들어서 둘이 같다는걸 보고싶은데

X/(X/E)를 어떻게 여기서 E와 같다고 유도할 수 있는지 모르겠어요

- dc official App

[익명(223.38)]

E가 동치관계가 아니라 분할이어야 할 거 같은데? 아까 찍어서 올린거 생각하면 X/(X/J)=J 말하려는거 아님?

[익명(223.38)]

그러면 X/J가 동치관계니까 E=X/J로 두면 X/E=J가 성립함. 책 노테이션이 너무 헷갈리게 돼있는듯

[익명(182.227)]

책에서 X/(X/E)=E, X/(X/J)=J 둘다 가능하다고 나와있어요 그래서 일단 먼저 동치관계일때만 직접 집합 하나를 잡아서 결과가 같다는걸 보이고 싶은데 어떤 과정을 통해서 X/(X/E)=E가 순서쌍들의 집합으로 나올 수 있는지 모르겠어요 - dc App

[익명(182.227)]

아 아니다 지금 막 알았어요ㅋㅋ - dc App

[익명(223.38)]

아 그러네 X/E가 분할이어서 X/(X/E)가 동치관계로 나오는구나.. 표기법 너무 헷갈리네