"쾨니그의 정리"의 두 판 사이의 차이

잔글
로봇의 도움을 받아 동음이의 처리 : 공역 - 공역 (수학) 문서로 링크 걸음
잔글 (r2.7.2+) (로봇이 바꿈: fr:Théorème de Kőnig (théorie des graphes))
잔글 (로봇의 도움을 받아 동음이의 처리 : 공역 - 공역 (수학) 문서로 링크 걸음)
이 정리의 집합론적 공식화를 서술하기 전에 먼저 '''변별 대표원계'''(system of distinct representatives, 辨別代表元系)의 개념을 설명할 필요가 있다. 어떤 [[집합]] S가 있고, 그 [[부분집합]] <math>A_1, A_2, .., A_m</math> 이 이루는 집합족 T가 있다고 하자. 그러면 T에 대해 어떤 집합 s가 변별 대표원계라는 것은 다음과 같이 정의된다.<ref name="a"/>
 
* S의 서로 다른 원소 <math>a_1, a_2, .., a_r</math> 이 <math>a_i \in A_i (i = 1, 2, .., r)</math> 일 때, T의 원소를 [[정의역]]으로 하고 S를 [[공역 (수학)|공역]]으로 하며 <math>s(A_i) = a_i</math> 를 만족하는 [[함수]] s를 T에 대한 변별 대표원계라 한다.
 
집합 S에서 얻을 수 있는 집합족 T는 변별 대표원계를 가질 수도, 가지지 않을 수도 있다. 또 변별 대표원계를 갖는 경우 유일하지 않을 수도 있다. 여기서 T가 변별 대표원계를 가지는 필요충분조건이 바로 이하의 정리로 주어지는 것이다.

편집

3,764