극대 원소와 극소 원소: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 봇: 토막글이 아닌 빈 문단의 {{부분 토막글}} → {{빈 문단}} |
잔글편집 요약 없음 |
||
1번째 줄:
[[수학]], 특히 [[순서론]]에서, '''극대 원소'''(極大元素, {{llang|en|maximal element}})와 '''극소 원소'''(極小元素, {{llang|en|minimal element}})는 [[부분 순서 집합]]에서 그와 비교 가능한 원소들 가운데 가장 크거나 가장 작은 원소이다. 이는 [[최대 원소]], [[최소 원소]]보다 약한 개념이다. 줄여서 '''극대원''', '''극소원'''이라고도 한다.
극대·극소 원소는 각각 존재하지 않을 수도, 유일하게 존재할 수도, 둘 이상 존재할 수도 있다. 극대 원소가 존재할 충분조건은 [[초른의 보조정리]]에 의해 제시된다. 이 정리에 의하면, 부분 순서 집합의 모든 [[사슬 (순서론)|사슬]]이 상계를 가지면 그 부분 순서 집합은 극대 원소를 가진다. 이는 [[정렬 정리]], [[선택 공리]]와 동치인 명제이다.<ref>{{cite book|language=en|last=Jech|first=Thomas
== 정의 ==
| |||