편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
;aleph | ;aleph number | ||
;알레프 수 | ;알레프 수 | ||
* 무한집합의 농도 | * 무한집합의 농도 | ||
6번째 줄: | 6번째 줄: | ||
* 기수의 고유 모임은 정렬 순서를 가지므로, 이에 따라 무한 기수를 순서수와 일대일 대응시킴 | * 기수의 고유 모임은 정렬 순서를 가지므로, 이에 따라 무한 기수를 순서수와 일대일 대응시킴 | ||
https://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/Aleph0.svg/ | https://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/Aleph0.svg/150px-Aleph0.svg.png | ||
==정의== | ==정의== | ||
17번째 줄: | 17번째 줄: | ||
;ℵ<sub>0</sub> | ;ℵ<sub>0</sub> | ||
* [[가산 무한 집합]]의 [[집합의 크기|크기]] | * [[가산 무한 집합]]의 [[집합의 크기|크기]] | ||
* [[자연수]] 집합 <math>\mathbb N</math> | * [[자연수]]의 집합 <math>\mathbb N</math> | ||
* [[정수]] 집합 <math>\mathbb Z</math> | * [[정수]]의 집합 <math>\mathbb Z</math> | ||
* [[유리수]] 집합 <math>\mathbb Q</math> | * [[유리수]]의 집합 <math>\mathbb Q</math> | ||
;ℵ<sub>1</sub> | ;ℵ<sub>1</sub> | ||
31번째 줄: | 28번째 줄: | ||
* [[선택 공리]]를 추가한 [[체르멜로-프렝켈 집합론]]에서 <math>2^{\aleph_0}<\kappa</math> 임을 증명할 수 있는 가장 작은 기수 <math>\kappa</math> | * [[선택 공리]]를 추가한 [[체르멜로-프렝켈 집합론]]에서 <math>2^{\aleph_0}<\kappa</math> 임을 증명할 수 있는 가장 작은 기수 <math>\kappa</math> | ||
==참고 자료== | |||
==참고== | |||
* https://ko.wikipedia.org/wiki/알레프_수 | * https://ko.wikipedia.org/wiki/알레프_수 | ||
* http://terms.naver.com/entry.nhn?docId=1122813&cid=40942&categoryId=32206 | * http://terms.naver.com/entry.nhn?docId=1122813&cid=40942&categoryId=32206 | ||
[[분류: 수]] | [[분류: 수]] |