(유튜브 동영상인데 현재는 삭제되어서 내용만 남김)
1
개념
•
집합을 쪼개서 집합족으로 만드는 것을 분할이라고 한다.
•
가 의 분할이면 아래의 조건을 모두 만족한다.
◦
◦
(는 합집합)
◦
•
동치관계 에 대하여 는 의 분할이다.
◦
는 상집합(Quotient Set)
◦
이것을 역으로 생각해 본다면, 분할된 집합은 어떤 상집합이 존재한다고 생각해 볼 수 있다.
•
분할 에 대한 관계
◦
•
는 위 동치관계
•
공집합이 아닌 집합 위에는 동치 관계가 있다.
관계식
•
•
동치관계인 것들
◦
◦