쾨니그의 정리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 잔글 →홀 결혼 정리 |
||
11번째 줄:
[[집합족]] <math>\mathcal T</math>의 모든 원소가 [[유한집합]]이라고 하자. '''홀 결혼 정리'''에 따르면, 다음 두 조건이 서로 동치이다.<ref name="윤영진"/>{{rp|289}}
* (결혼 조건 {{llang|en|marriage condition}}) 모든 <math>\mathcal U\subset\mathcal T</math>에 대하여, <math>\textstyle|\mathcal U|\le\left|\bigcup\mathcal U\right|</math>
* (횡단의 존재) 다음 조건들을 만족시키는 순서쌍 <math>(S,f)</math>가 존재한다. 이러한 순서쌍을 '''횡단'''(橫斷, {{llang|en|transversal}}) 또는 '''변별 대표원계'''(辨別代表元系, {{llang|en|system of distinct representatives}})라고 한다.
** <math>S\subset\bigcup\mathcal T</math>는 [[집합]]이다.
** <math>f\colon S\to T</math>는 [[전단사 함수]]이다.
| |||