극대 원소와 극소 원소

(극대값에서 넘어옴)

수학, 특히 순서론에서 극대 원소(極大元素, 영어: maximal element)와 극소 원소(極小元素, 영어: minimal element)는 부분 순서 집합에서 그와 비교 가능한 원소들 가운데 가장 크거나 가장 작은 원소이다. 이는 최대 원소, 최소 원소보다 약한 개념이다. 줄여서 극대원, 극소원이라고도 한다.

극대·극소 원소는 각각 존재하지 않을 수도, 유일하게 존재할 수도, 둘 이상 존재할 수도 있다. 극대 원소가 존재할 충분조건은 초른 보조정리에 의해 제시된다. 이 정리에 의하면, 부분 순서 집합의 모든 사슬이 상계를 가지면 그 부분 순서 집합은 극대 원소를 가진다. 이는 정렬 정리, 선택 공리와 동치인 명제이다.[1]

정의

편집

부분 순서 집합  극대 원소  는 다음의 서로 동치인 두가지 정의가 있다.

  • 모든  에 대하여,  라면  이다.
  • 모든  에 대하여,  이다.

부분 순서 집합  극소 원소는 반대 순서 집합  의 극대 원소이다. 즉, 다음의 서로 동치인 성질 중 하나를 만족하는  이다.

  • 모든  에 대하여,  라면  이다.
  • 모든  에 대하여,  이다.

존재성과 유일성

편집

존재성

편집

극대 원소와 극소 원소는 존재하지 않을 수 있다.

  • 실수전순서 집합  은 극대·극소 원소를 갖지 않는다.
  • 실수의 부분집합  은 극대 원소를 갖지 않는다.

유일성

편집

극대 원소와 극소 원소는 유일하지 않을 수 있다.

  • '울타리'로 불리는 부분 순서 구조  에서, 모든  는 극소원, 모든  는 극대원이다.
  • 적어도 두 원소를 포함한 집합  에 대해 집합  와 그 위의 부분 순서  를 정의하면,  의 임의의 서로 다른 원소는 비교가 불가능하므로,  의 모든 원소는 동시에 극대원이자 극소원이다.

다른 예

편집
  •  자연수 36의 자명하지 않은 (즉 1과 자신을 제외한) 자연수 약수들의 집합이다. 이들에게 약수 관계에 의한 부분 순서를 주면 2, 3을 극소 원소, 12, 18을 극대 원소로 한다.
  •  고유 아이디얼(  전체가 아닌 아이디얼)들의 극대 원소를 극대 아이디얼이라고 한다.

최대·최소 원소와의 관계

편집

모든 최대 원소는 극대 원소이며, 모든 최소 원소는 극소 원소이다. 그 역은 일반적으로 성립하지 않는다.

전순서 집합에서는 극대 원소와 최대 원소, 극소 원소와 최소 원소의 개념이 동등하다.

최대 원소와 최소 원소가 각각 많아야 하나뿐인 반면, 부분 순서 집합의 극대 원소와 극소 원소는 여러 개일 수 있다.[2][3] 다만, 어떤 부분 순서 집합이 최대 원소를 갖는다면, 이는 유일하며, 또한 최대 원소가 아닌 극대 원소는 존재하지 않는다. 이는 최소 원소에 대해서도 마찬가지다.

극대 원소와 최대 원소가 동일시 되는 경우는 전순서뿐만이 아니다. 임의의 집합  에 대해, 그의 멱집합과 포함 관계로 이루어진 부분 순서 집합  은 극대와 최대, 극소와 최소 원소가 각각 유일하며 같으나, 이는 일반적으로 전순서가 아니다( 의 원소가 없거나 하나 뿐일 때에만 전순서이다).

유향 집합

편집

응용

편집

같이 보기

편집

각주

편집
  1. Jech, Thomas (2008) [1973 초판]. 《The Axiom of Choice》 (영어). Dover Publications. ISBN 0-486-46624-8. 
  2. Richmond, Bettina; Richmond, Thomas (2009), 《A Discrete Transition to Advanced Mathematics》 (영어), American Mathematical Society, 181쪽, ISBN 978-0-8218-4789-3 [깨진 링크(과거 내용 찾기)].
  3. Scott, William Raymond (1987), 《Group Theory》 (영어) 2판, Dover, 22쪽, ISBN 978-0-486-65377-8 

외부 링크

편집