목차
12 처지: 로버트 솔로베이, 마틴 공리, 강콤팩트 기수, 가측 기수, 공종도, 기멜 함수, 기수 (수학), 집합론, 체르멜로-프렝켈 집합론, 초콤팩트 기수, 연속체 가설, 선택 공리.
- 기수
로버트 솔로베이
버트 마틴 솔로베이(1938–)는 미국의 수학자이.
마틴 공리
집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.
강콤팩트 기수
집합론에서, 강콤팩트 기수(強compact基數)는 티호노프 정리와 유사한 성질을 만족시키는 무한 기수이.
가측 기수
집합론에서, 가측 기수(可測基數)는 기본 매장으로 정의될 수 있는 기수이.
공종도
집합론에서, 공종도(共終度)는 주어진 원순서 집합의 공종 집합의 최소 크기이.
기멜 함수
집합론에서, 기멜 함수(ℷ函數)는 무한 기수의 거듭제곱을 나타낼 수 있는 함수이.
기수 (수학)
ℵ0은 가장 작은 무한 기수이다. 수학에서, 기수(基數)는 집합의 크기를 나타내는 수이.
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
초콤팩트 기수
집합론에서, 초콤팩트 기수(超compact基數)는 가측 기수보다 더 강한 폐포 성질을 갖춘 큰 기수이.
연속체 가설
집합론에서, 연속체 가설(連續體假說,, 약자 CH)은 실수 집합의 모든 부분 집합은 가산 집합이거나 아니면 실수 집합과 크기가 같다는 명제이.
선택 공리
선택 공리의 형상화. 선택 함수는 각 집합 S_i를 그 속의 원소 x_i\in S_i로 대응시킨다. 집합론에서, 선택 공리(選擇公理,, 약자 AC)는 공집합이 아닌 집합에서 한 원소를 고를 수 있으며, 또한 이를 무한 번 반복할 수 있다는 공리이.