|
수학기초론 Foundations of Mathematics |
|||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
다루는 대상과 주요 토픽 | ||
| 수리논리학 | 논리 · 논증{ 귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{ 자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · 더블 카운팅 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문( 조각적 정의) · 명제 논리( 명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리( 존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론 | ||
| 집합론 | 집합( 원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계( 동치관계 · 순서 관계) · 순서쌍( 튜플) · 서수( 하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC( 선택공리) · 기수( 초한기수) · 절대적 무한 · 모임 | ||
| 범주론 | 범주 · 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 | ||
| 계산가능성 이론 | 계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수 | ||
| 정리 | |||
| 드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리( 괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리 | |||
| 기타 | |||
| 예비사항( 약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 | |||
| 틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 | }}}}}}}}} | ||
1. 개요
Schröder–Bernstein theorem두 집합 A, B의 원소의 개수를 비교할 때, A의 원소수가 B의 원소수보다 작거나 같고, 또한 반대로 B의 원소수가 A의 원소수보다 작거나 같다면, 두 집합의 원소의 수가 같다는 정리이다. 유한집합에서는 자명한 사실이지만, 무한집합에서도 이러한 사실이 성립한다는 내용을 담고 있다.
2. 진술
임의의 집합 [math( A, B )]에 대하여, 함수 [math(f: A \to B )]와 [math(g: B \to A )]가 모두 단사함수라면 전단사함수 [math( h: A \to B )]가 존재한다.이를 다시쓰면,
[math( \left| A \right| \leq \left| B \right|, \left| B \right| \leq \left| A \right| \Rightarrow \left| A \right| = \left| B \right| )]
가 성립한다.3. 증명
단사함수 [math(f: A \to B )]와 [math(g: B \to A )]가 있을 때, 집합열 [math( \left(C_n \right))]을 다음과 같이 정의한다.
[math( \begin{aligned} C_0 &= A \setminus g\left(B\right) \\ C_{n+1} &= g\left(f\left(C_n\right)\right) \end{aligned} )]
그리고, [math(\displaystyle C = \bigcup_{n=0}^{\infty} C_n)]이라 할 때, 함수 [math( h: A \to B )]를 다음과 같이 정의한다.
[math(h \left(x \right) = \begin{cases} f\left(x\right) & x\in C \\ g^{-1}\left(x\right) & x \in A\setminus C \end{cases})]
그러면 [math( h )]는 전단사함수가 된다.먼저, 단사함수가 되는 것을 보인다. [math(x_1, x_2 \in A )]가 있다고 하자[math( \left(x_1 \neq x_2\right) )]. [math( f, g^{-1} )]는 각각 정의된 영역에서 단사이므로 [math(x_1 \in C, x_2 \in A\setminus C )]인 경우만 살피면 충분하다. [math(x_1 \in C)]이므로, [math(x_1 \in C_n)]인 n이 존재한다. 따라서 [math( \left(C_n \right))]의 정의로부터 [math(g\left(f\left(x_1\right)\right) \in C_{n+1} )]이 성립하고, [math( g^{-1}\left(x_2\right) \in B\setminus g^{-1}\left(C\right))]이므로 [math( f\left(x_1\right)\neq g^{-1}\left(x_2\right) )]이다. 즉, [math( h\left(x_1\right)\neq h\left(x_2\right) )]
다음으로, 전사함수가 됨을 보인다. 임의로 [math(y \in B )]를 택했을 때, [math(y \in f\left(C\right) )]라면 당연히 [math(y \in h\left(A\right) )]이다. 만약 [math(y \notin f\left(C\right) )]이라면 [math(g)]가 단사이므로
[math(\displaystyle g\left(y\right) \notin g\left(f\left(C\right)\right) = \bigcup_{n=0}^{\infty} g\left(f\left(C_n \right)\right) = \bigcup_{n=1}^{\infty} C_n )]
이다. 또한 정의에 의해 [math(g\left(y\right) \notin C_0 )]이다. 따라서 [math(g\left(y\right) \notin C )]이고, 이는 [math(g\left(y\right) \in A\setminus C )]라는 뜻이다. 따라서 [math(y \in h\left(A\right) )]이다.