[일반] 집합론 질문 ㅠㅠ

[익명(172.225)]

X/E(입실론) 는 이제 어느정도 무슨뜻인지 알겠는데 partition X/P는 뭐 어떻게 되는건지 이해가 잘안되네요 X/E가 relation에 의해 나눈것이 P가 된다는것까진 이해하겠는데 X/P가 E가 된다는것이 머리로 잘 이해가 되지않습니다

[Oo(175.208)]

a~b를 a와 b가 같은 partition에 있을 때라고 정의하면 될텐데?

[수갤러 1(172.225)]

그럼 제 이해가 맞는지 확인점 X=a,b,c P=(a,b) c 일때 E= aa bb cc ab ba인거까진 이해가되는데 X/P ?? 어떻게 해야되는지 모르겠고 구체적으로 어떻게 계산이되는지도 모르겠음

[익명(121dot88)]

X를 분할로 집합 여러개로 나눔 (몫집합) 이중에 같은 집합에 있는 원소끼리는 동치관계

[Oo(175.208)]

X/P가 뭘 나타내는 기호냐?

[수갤러 2(172.225)]

유펭린집합론책에서 equivalence class 기호

[ScARfaCE(kayuaao)]

정의를 차근차근 잘 따라가봐 X/P가 정확히 무슨 원소들로 이루어진 집합이야?

[나이제정주행(175.116)]

저건 또 무슨책이냐? 아마 equivalence relation으로 identify 해서 나오는 거 notation인거 같은데 찰스 핀터 표기만 알아서 저건 첨븓ㄹ어봄

[ScARfaCE(kayuaao)]

You Feng-Lin이랑 Jech-Hrbacek에서 나오는 표기법임 비슷한걸로 Schaum에서 나오기도 함

[나이제정주행(175.116)]

그냥 당연한거 아닌가? 집합론적으로 뭐 정의되고 그런거 class, set 차이 같은거만 빼면 partition이랑 equivalence는 동치, partition으로 쿼션트하면 그냥 대각선된다 끝. 이거잖아. 그래서 저런 내용은 고딩 수학에도 나오는건데 왜