집합론에서 쾨니그의 정리

König's theorem

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

목차

1. 진술

1. 진술 _{✎ ⊖}

I가 첨수집합이고 \\kappa_i, \\lambda_i가 임의의 i\\in I에 대해 \\kappa_i<\\lambda_i를 만족시킬 때

\\sum_{i\\in I}\\kappa_i < \\prod_{i\\in I} \\lambda_i

이다.

이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.