2 수학의 이해
Shared on September 29, 2026
무한 집합과 일대일 대응
개요
- 주제: 집합 이론의 기초 개념과 무한 집합에 대한 이해
- 목표: 1–1 대응(단사·전사·전단사) 정의, 동치관계와 무한 집합의 정의를 학습하고, 자연수·짝수, 구간 $[0,1]$·$[0,2]$ 등 예시를 통해 개념을 체험한다.
핵심 개념
| 개념 | 정의 |
|---|---|
| 단사 (injective) | 함수 $f:A\to B$에서 $f(x_1)=f(x_2)$이면 $x_1=x_2$. |
| 전사 (surjective) | 모든 $y\in B$에 대해 $\exists x\in A$가 존재하여 $f(x)=y$. |
| 전단사 (bijection) | 단사와 전사가 동시에 성립하는 함수. |
| 일대일 대응 (one‑to‑one correspondence) | 집합 $A,B$ 사이에 전단사 함수가 존재함을 말한다. |
| 동치관계 (equivalence relation) | 반사성, 대칭성, 추이성(전이성)을 만족하는 관계. |
| 무한 집합 | 자기 자신과 일대일 대응이 가능한 진부분집합을 갖는 집합. |
상세 노트
1. 함수의 성질
- 단사 증명 예
- $f(n)=2n$ (자연수 $ \mathbb{N}$ → 짝수 집합)
- $f(n_1)=f(n_2)\Rightarrow 2n_1=2n_2\Rightarrow n_1=n_2$.
- 전사 증명 예
- 짝수 집합의 원소 $y=2k$에 대해 $x=k$이면 $f(x)=y$.
- 따라서 전사임을 확인.
2. 동치관계와 대등성
- 반사성: $a\sim a$.
- 대칭성: $a\sim b\Rightarrow b\sim a$.
- 추이성: $a\sim b,\ b\sim c\Rightarrow a\sim c$.
- 대등 관계와 일대일 대응
- $A$와 $B$가 일대일 대응을 가지면 $A\sim B$임을 증명.
- 단순히 전단사 함수를 제공하면 대칭과 추이성을 만족한다.
3. 무한 집합의 정의와 예시
- 자연수와 짝수
- $f:\mathbb{N}\to 2\mathbb{N}$, $f(n)=2n$은 전단사.
- 따라서 $\mathbb{N}$과 $2\mathbb{N}$은 대등(동치)이며, 무한 집합의 대표적 예시.
- **구간 **$[0,1]$**과 **$[0,2]$
- $g:[0,1]\to[0,2]$, $g(x)=2x$는 전단사.
- $[0,1]$의 진부분집합 $[0,1]\subset[0,2]$이면서 전단사 존재 → 무한 집합.
- 연속적 실수 구간과 무한성
- 실수 구간은 무한히 많은 원소를 포함하므로, 자기 자신과 전단사인 진부분집합이 존재한다.
4. 무한 집합의 의미
- 무한 집합은 **“전체가 부분보다 크다”**는 직관적 생각과는 반대다.
- 자연수와 짝수, $[0,1]$과 $[0,2]$ 같은 사례에서 볼 수 있듯, 부분집합과 전체가 원소 수를 비교해도 동일하다.
- 이 개념은 칸토어의 무한의 이론(가장 큰 무한수 등)으로 이어진다.
5. 교육적 시사점
- 학생들에게 “자연수는 짝수보다 많다”라는 직관을 바로잡아야 한다.
- 대신 “두 집합은 서로 대등하다” 또는 “같은 개수의 원소를 가진다”라는 표현을 활용하도록 지도한다.
- 예시를 통해 직접 1–1 대응을 만들면서 무한 집합의 성질을 체험하게 하면 이해가 깊어진다.
정리 이 강의는 집합 이론의 기초 개념(단사·전사·전단사, 일대일 대응, 동치관계)과 무한 집합의 정의를 체계적으로 다룬다. 자연수·짝수, 실수 구간과 같은 구체적 예시를 통해 무한 집합의 특성을 명확히 하며, 교육 현장에서 학생들이 무한 개념을 올바르게 이해하도록 돕는다.