König's theorem
집합론에서 쾨니히의 정리는 선택공리의 귀결 중 하나로
기수의 농도의 계산과 관련된 정리이다. 기수의 연산, 특히 곱셈과 덧셈의 관계를 엄밀하게 규정하는 강력한 도구로, 단순히 부등식 하나를 보여주는 것을 넘어 무한 기수의 성질을 파악하는 데 결정적인 역할을 한다.
목차
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
이다.
