[집합론 시리즈 10편] 집합론 총정리

이번 글에서 다루는 내용

이 글에서는 집합론 시리즈 전체의 흐름을 다시 묶습니다. 각 장의 개념이 따로 떨어져 있지 않고 어떻게 연결되는지 확인하는 데 초점을 둡니다.

핵심 개념

이번 시리즈에서 다룬 핵심 흐름은 다음과 같습니다.

1. 집합은 대상을 하나의 덩어리로 묶어 다루는 기본 언어다.
2. 집합의 표현과 기호를 읽을 수 있어야 수학 문장을 정확히 해석할 수 있다.
3. 부분집합과 집합 연산은 포함과 결합, 배제를 다루는 기본 도구다.
4. 멱집합과 데카르트 곱은 집합을 더 확장된 구조로 보게 해 준다.
5. 관계는 데카르트 곱의 부분집합이고, 함수는 관계의 특별한 형태다.
6. 집합의 크기는 전단사라는 대응 관점으로 비교하고, 유한집합에서는 그것이 익숙한 개수와 일치한다.
7. 논리 기호는 이 모든 정의를 더 짧고 정확하게 쓰기 위한 도구다.

이 흐름을 한 번에 보면, 집합론은 단순히 기호 몇 개를 배우는 단원이 아니라 이후 수학 과목을 읽기 위한 기본 문법이라는 점이 분명해집니다.

단계별 예시

간단한 예로

$$A = \{1,2,3\}, \qquad B = \{2,3,4\}$$

를 생각해 봅시다.

이때

• A \cap B = \{2,3\}
• A \cup B = \{1,2,3,4\}
• A \setminus B = \{1\}

입니다.

또 데카르트 곱 A \times B를 만들면 (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,2), (3,3), (3,4) 같은 순서쌍들이 생깁니다. 여기서

$$R = \{(x,y) \in A \times B \mid x < y\}$$

처럼 관계를 만들 수 있고, 여기서 정의역의 각 원소가 공역의 원소 하나에 정확히 대응되도록 조건을 주면 함수가 됩니다.

예를 들어

$$f = \{(1,2), (2,3), (3,4)\}$$

는 A에서 B로 가는 함수입니다. A의 원소 1, 2, 3이 각각 정확히 하나의 값에 연결되기 때문입니다. 이렇게 보면 집합, 연산, 관계, 함수가 한 줄로 이어진다는 점이 드러납니다.

자주 하는 실수

1. 기호를 각각 따로 외우는 실수

\subseteq, \cup, \times 같은 기호를 따로 외우기만 하면 금방 헷갈립니다. 어떤 흐름 속에서 나왔는지 함께 기억해야 합니다.

2. 함수와 관계를 집합론과 분리해서 보는 실수

함수는 집합론과 별개의 주제가 아니라, 집합론 위에서 정의되는 개념입니다.

3. 논리 기호를 마지막 부록처럼 생각하는 실수

논리 기호는 처음부터 끝까지 정의를 정밀하게 읽는 데 쓰입니다. 집합론과 따로 떨어진 도구가 아닙니다.

정리

집합론은 수학의 여러 개념을 담는 가장 기본적인 틀입니다. 집합의 표현, 부분집합, 집합 연산, 데카르트 곱, 관계, 함수, 집합의 크기, 논리 기호를 한 흐름으로 이해하면 이후 이산수학과 대수, 해석학의 문장을 훨씬 안정적으로 읽을 수 있습니다. 특히 함수가 관계의 특수한 경우이고, 집합의 크기가 전단사와 연결된다는 점까지 이어서 보면 뒤 과목의 정의를 읽는 힘이 훨씬 좋아집니다.

다음 단계로는 관계의 성질을 더 깊게 다루는 글, 논리와 증명 시리즈, 이산수학 핵심 시리즈로 자연스럽게 이어 갈 수 있습니다.