Introduction
저번 포스팅에서 정수 n에 대하여 ℤ/nℤ 를 정의했었는데요, 아직은 우리가 quotient group 개념을 모르기에 equivalence relation 을 이용하여 정의를 했었습니다.
오늘은 equivalence relation의 개념을 알아보고 ℤ/nℤ 의 예시를 들어 설명해 보겠습니다. 그냥 넘어가려니 찝찝해서 결국 강의를 하게 되네요..
Equivalence relation을 정의하기에 앞서 (binary) relation 을 정의하겠습니다:
Definition
이게 무슨 소리일까요.. 어떤 집합 S에 대하여 S×S의 부분집합이면 relation 이라고 하네요. 즉 순서쌍들의 집합이라는 거죠.
이해가 안되면 뭐라고 했죠? 예시를 들으라고 했죠.
Example
S=ℝ 이라고 둘게요. (ℝ은 모든실수들의 집합, the set of real numbers)
모두들 잘 아시다시피 우리는 두개의 실수의 대소비교를 할 수 있습니다. 예를 들어, 2보다 3이 크고 √3 보다 √5가 크다는건 누구나 알 수 있죠. 이때 부등호 기호를 쓰죠? 부등호 >,<는 초등학생도 알고 있는 relation (on ℝ) 입니다. (사실 좀 더 나아가서 order relation on ℝ 입니다)
나올 수 있는 예상 질문:
엥? 그런데 저기 위에 있는 정의를 보면 어떤 집합 S에 대하여 S×S의 부분집합이면 relation 이라고 했는데, 부등호가 어떤 집합의 부분집합이 될 수 있나요?
Answer:
네, 될 수 있습니다. 가령 예를 들어, 2<3 이라는 관계가 만족되는 것을 알 수 있죠. 이것을 (2,3)∈< 으로 해석 할 수 있죠. 마찬가지로 (√3,√5)∈< 입니다.
이렇게 해석을 하면 당연히 <⊂ℝ×ℝ 임을 확인할 수 있습니다.
Relation을 정의하고 잘 이해했으니, 이제 equivalence relation을 다음과 같이 정의할 수 있습니다:
Definition
Relation 중에서 Reflexive, Symmetric, Transitive 인 것들을 equivalence relation 이라고 합니다.
제가 위에 들었던 예시 부등호 <는 아쉽게도 equivalence relation이 아닙니다. 왜냐하면 1<1 은 성립하지 않기 때문이죠 (so not reflexive).
≤는 어떨까요? 모든 r에 대하여 r≤r 이 성립하기 때문에 reflexive 입니다. 하지만 2≤3 이 3≤2 를 보장하지 않으므로 symmetic 이 아닙니다.
(사실 위의 두 예시는 order relation이 됩니다)
등호 =는 equivalence relation이 됩니다. 구독자 여러분들은 한번 체크해보시기 바랍니다.
Example
자 그럼 저번 시간에 정의했던 ≡ (mod n) 이 equivalence relation이 되는지 증명해 보겠습니다: (≡ mod n 을 congruence relation, 합동 관계 라고 부릅니다)
우선, 정수 a,b,n 에 대하여 a≡b (mod n)를 n|a-b (n이 a-b를 나눈다) 로 정의했었습니다.
따라서, ≡ (mod n)은 ℤ 위에서 relation이 됩니다.
n|0, 0=a-a 이므로 모든 a에 대하여 a≡a (mod n)이 성립하여 Reflexive 입니다.
만약 정수 a,b에 대하여 a≡b (mod n) 이면 n|a-b 이고 a-b=b-a 이므로 n|b-a가 되어
b≡a (mod n) 가 됩니다. (Symmetric)
정수 a,b,c에 대하여 a≡b (mod n), b≡c (mod n) 이면 a-b=nk, b-c=nl for some integers k,l 이고, 따라서 a≡c (mod n) 입니다. (Transitive)
따라서 증명이 끝납니다.
마지막으로 연습문제 하나를 소개하고 끝내겠습니다. 한번 증명해 보시길 바랍니다.
Exercise
Let X be the set of Cauchy sequence in ℚ, where ℚ: the set of rational numbers.
Define a relation ~ on X by
{a_n}~{b_n} if lim a_n=lim b_n
Show that ~ is an equivalence relation on X.
다음 시간에는 집합 S를 equivance relation on S 로 자른다(quotient)는 개념을 배우겠습니다.
감사합니다.
좋은 설명 감사드립니다. 예전에 Abstract Algebra를 공부했던 기억이 새록새록 나네요 :)
저는 4년전에 들었었네요.. 그때는 수업도 안듣고 도망가고 그랬는데 추억이네요 ㅎㅎ
앞으로도 열심히 포스팅 하겠습니다~
자세한 설명 좋네요. 이런 글들이 스팀을 살찌우게할 것이라 생각합니다. 이런글이 스팀 내부보다 외부에서 검색으로 한번 보고 지나가는 경우가 더 많다는게 아쉽습니다.
읽어주셔서 감사합니다. 스팀 내 수학에 관심 있으신 분들께 도움이 되면 좋겠네요.
꾸준히 하면 내부에서도 많이 봐줄거라고 생각하고 있습니다!
마침 몇일 전에 아는 동생이 공부하다가 모르는거 있다고 저한테 물어본게, 합동식이랑 equivalence relation , quotient set 이거였는데, 문제가 상집합?이었나 우리말로 물어봐서 당황했던 기억이 있습니다. 동생한테 잘 알고 싶으면 이글을 참조하라고 해도 좋을 것 같습니다.
아는 동생분이 집합론을 공부중이셨나 보네요. 마침 quotient set에 대해 다룰 예정이었습니다. 참고하시면 되겠네요
오늘도 좋은 글 감사합니다!
읽어주셔서 감사합니다!
2018년에는 두루 평안하시길!
감사합니다! virus707님도 새해 복 많이 받으시길 바랍니다~
감사히 수업 쫓아가고 있습니다. quotient 도 안 찾고 기다립니다 ㅎㅎ
ㅎㅎ 감사합니다. 코션트는 내일 중으로 업로드 하겠습니다