쾨니그의 정리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
편집 요약 없음 |
||
11번째 줄:
== 공식화 ==
쾨니그의 정리는 다음과 같이 공식화할 수 있다.<ref name="a"/>
* 앞에서와 같이 정의된 집합 S, T에 대하여 T가 변별 대표원계를 가질 필요충분조건은 각각의 r≤m에 대해 r개 <math>A_i</math>의 [[합집합]]이 적어도 r개의 원소를 가지는 것이다.
여기서 →의 방향은 변별 대표원계의 정의에 따라 자명하므로, 쾨니그의 정리에서 실제로 증명할 것은 ←의 방향이다.
== 주석 ==
|