알레프 수: 두 판 사이의 차이

알레프 수는 [[순서수]]의 [[고유 모임]] <math>\operatorname{Ord}</math>에서 [[기수 (수학)|기수]]의 [[고유모임]] <math>\operatorname{Card}</math>으로 가는 "함수"이다. (물론, [[체르멜로-프렝켈 집합론]]에서는 [[정의역]]과 [[공역]]이 집합이 아니므로 이는 엄밀히 말해 함수가 될 수 없다.) 이는 "[[단사함수]]"이며, 그 "[[상 (수학)|상]]"은 무한 기수이다. 따라서, 모든 순서수 <math>\alpha</math>에 대하여,

:<math>\aleph_\alpha<\kappa<\aleph_{\alpha+1}</math>

 

=== 연속체 가설 ===

 

== 참고 문헌 ==

* {{책 인용

| last = Roitman

 

{{집합론}}

[[분류:집합론]]