가산집합,비가산집합,실수집합,칸토어의 대각선 논법,기수의 역사

_SLIDE_1_
가산집합, 비가산집합, 실수집합

_SLIDE_2_
목차
가산집합과 비가산집합
- 가산집합, 비가산집합의 정의
- 가산집합, 비가산집합의 성질
- 칸토어의 대각선 논법


기수의 역사

기수 대소, 덧셈, 곱셈, 거듭제곱

연속체가설의 역사

_SLIDE_3_
가산집합, 비가산집합의 정의
무한집합
유한집합
가부번 집합

공집합이 아닌 집합 X에 대해 그 진부분집합 Y가 존재함으로써 X와 Y 사이에 일대일 대응이 존재할 때 X를 무한집합

무한집합이 아닌 집합

집합 X가 X~N(자연수집합)이면 X를 가부번집합

“번호 붙일 수 있는 집합”
가산집합
- 유한집합 또는 가부번 집합, “셀 수 있는 집합”

비가산집합(비가부번집합)
- 가산이 아닌 집합, “하나하나 셀 수 없는 집합”
_SLIDE_4_
가산집합과 비가산집합의 성질
두 집합 A, B가 A⊆B를 만족한다고 하자