집합론에서 쾨니그의 정리 (원본) (1)

[[분류:가져온 문서/오메가]]
König's theorem

집합론에서 쾨니히의 정리는 선택공리의 귀결 중 하나로 [[기수]]의 농도의 계산과 관련된 정리이다. 

== 진술 ==
[math(I)]가 첨수집합이고 [math(\kappa_i)], [math(\lambda_i)]가 임의의 [math(i\in I)]에 대해 [math(\kappa_i<\lambda_i)]를 만족시킬 때
><math> \sum_{i\in I}\kappa_i < \prod_{i\in I} \lambda_i</math>
이다.

[Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]