집합론, 그 여덟 번째 이야기 | 동치관계
수학/집합론 | Set Theory2020. 5. 9. 19:05
아마 이 글을 읽고 있는 사람의 대부분은 같다는 것이 무엇인가에 대해 고민해본 적이 없었을 것이다. 만약 고민했다고 하더라도 스스로 그 결론을 내리는 것은 매우 어려운 일이었을 것이다. 만약 지금 이 글을 읽고 있는 독자가 앞선 글들을 제대로 읽었다면 그 독자는 수학적으로 같은 것이 무엇인지 정의를 하고 그에 대해 이해할 수 있는 준비가 끝났다고 할 수 있다. 그러면 이제 수학에서 같다는 것을 어떻게 정의하는지 알아보도록 하자.
집합 1. 반사성 : 2. 대칭성 : 3. 추이성 : |
즉, 동치관계란, 반사적이고 대칭적이며 추이적인 이항관계를 말한다. 그리고 이러한 정의는 우리가 직관적으로 생각하는 같다는 것의 성질을 잘 만족한다.
다음은 동치관계의 예시다.
1. 집합 사이의 등호 2. 논리적 동치 3. 도형 사이의 닮음 4. 도형 사이의 합동 |
다음은 동치관계의 세 조건 중 두 조건을 만족하지만 나머지 하나의 조건을 만족하지 못해 동치관계가 되지 못하는 관계이다.
1. 공집합이 아닌 임의의 집합 2. 실수 집합 위의 순서관계 3. 실수 집합 위의 이항관계 |
또한, 두 동치관계 사이에도 비교하는 개념이 존재한다. 두 동치관계
이런 관계를 만족하는 동치관계는 도형의 닮음과 합동이 있다.
'수학 > 집합론 | Set Theory' 카테고리의 다른 글
집합론, 그 열 번째 이야기 | 칸토어 베른슈타인 정리의 증명 ( The Proof of The Cantor-Bernstein Theorem ) (0) | 2020.05.11 |
---|---|
집합론, 그 아홉 번째 이야기 | 집합의 농도 ( Cardinality of Sets ) (0) | 2020.05.10 |
집합론, 그 일곱 번째 이야기 | 함수의 합성과 역함수 (0) | 2020.05.09 |
집합론, 그 여섯 번째 이야기 | 함수 (0) | 2020.05.08 |
집합론, 그 다섯 번째 이야기 | 관계 (0) | 2020.05.08 |
댓글()