정의
- 최대 원소(最大元素, maximum element): 부분 순서 집합 $(P, \leq)$에서 어떤 원소 $m \in P$가 모든 원소 $x \in P$에 대해 $x \leq m$을 만족하면 $m$을 그 집합의 최대 원소라 한다. 최대 원소는 집합 전체에서 가장 큰 값이며, 존재한다면 유일하다.
- 최소 원소(最小元素, minimum element): 부분 순서 집합 $(P, \leq)$에서 어떤 원소 $n \in P$가 모든 원소 $x \in P$에 대해 $n \leq x$을 만족하면 $n$을 그 집합의 최소 원소라 한다. 최소 원소는 집합 전체에서 가장 작은 값이며, 존재한다면 유일하다.
주요 특성
-
존재와 유일성
- 최대(또는 최소) 원소가 존재하면 그 원소는 유일하다.
- 모든 정렬된 집합이 최대·최소 원소를 갖는 것은 아니다. 예를 들어 열린 구간 $(0,1)$은 실수의 usual order에서 최대·최소 원소를 갖지 않는다.
-
극대·극소와의 구분
- *극대 원소(maximal element)*와 *극소 원소(minimal element)*는 부분 순서에서 더 이상 큰(작은) 원소가 없다는 조건만 만족한다. 즉, $m$이 극대 원소라면 $m \leq x$이면 $x = m$이어야 한다.
- 최대·최소 원소는 전체 집합에 대해 절대적인 위·아래 관계를 만족하는 반면, 극대·극소는 부분적인 관계만 요구한다.
예시
- 정수 집합 $\mathbb{Z}$와 표준 순서: 최대 원소와 최소 원소가 존재하지 않는다(무한히 큰/작은 정수가 없기 때문).
- 유한 집합 ${2,5,7}$: 최대 원소는 7, 최소 원소는 2이다.
- 부분 순서 집합 $(\mathcal{P}(S), \subseteq)$(멱집합): 전체 집합 $S$는 최대 원소이며, 공집합 $\emptyset$은 최소 원소이다.
관련 개념
- 극대·극소 원소: 위에서 언급한 바와 같이 전체적인 비교가 필요 없는 경우에 사용되는 개념.
- 최대·최소값: 함수 $f: X \to \mathbb{R}$에 대해 정의역 전체에서 가장 큰(작은) 출력값을 의미한다. 순서 이론에서의 최대·최소 원소와는 구별된다.
- 상한(supremum)·하한(infimum): 집합이 상(하)한계를 가질 경우, 그 중 가장 작은 상한을 상한, 가장 큰 하한을 하한이라 한다. 상한·하한은 존재하더라도 반드시 집합에 속하지 않을 수 있다(예: $(0,1)$의 상한은 1이지만 1은 집합에 포함되지 않는다).
수학적 표기법
- 최대 원소: $\max P$ (존재할 경우)
- 최소 원소: $\min P$ (존재할 경우)
참고 문헌
- C. D. H. Birkhoff, Lattice Theory, 3rd ed., AMS, 1967.
- G. Birkhoff, Order and Lattice Theory, American Mathematical Society, 2010.
- K. N. L. Kelley, General Topology, Springer, 1975 – 순서 위상에 대한 장 포함.
본 내용은 수학·논리학 분야에서 널리 인정받는 정의와 예시를 기반으로 작성되었습니다.
