Search
Duplicate

데코수학/ 집합론/ 동치관계, 분할

(유튜브 동영상인데 현재는 삭제되어서 내용만 남김)

1

개념

집합을 쪼개서 집합족으로 만드는 것을 분할이라고 한다.
TTXX의 분할이면 아래의 조건을 모두 만족한다.
A,BT(AB)AB=A, B \in T (A \neq B) \Rightarrow A \cap B = \emptyset
UT=XUT = X (UU는 합집합)
T\emptyset \notin T
동치관계 ϵ:XX\epsilon : X \to X에 대하여 X/ϵX / \epsilonXX의 분할이다.
XX는 상집합(Quotient Set)
이것을 역으로 생각해 본다면, 분할된 집합은 어떤 상집합이 존재한다고 생각해 볼 수 있다.
분할 TT에 대한 관계
a(X/T)bAT,a,bA_{a}(X/T)_{b} \Leftrightarrow \exists A \in T, a,b \in A
X/T:XXX / T : X \to XXX 위 동치관계
공집합이 아닌 집합 위에는 동치 관계가 있다.

관계식

X/(X/T)=TX/(X/T) = T
동치관계인 것들
a=ba = b
ab(modn)kZ,ab=kna \equiv b (\text{mod} n) \Leftrightarrow \exists k \in \mathbb{Z}, a - b = k \cdot n