A set of real numbers (hollow and filled circles), a subset of (filled circles), and the infimum of Note that for finite, totally ordered sets the infimum and the minimum are equal.A set of real numbers (blue circles), a set of upper bounds of (red diamond and circles), and the smallest such upper bound, that is, the supremum of (red diamond).
부분적으로 순서화된 집합 의 부분집합 의 상한(supremum, sup로 약칭됨; 복수형 suprema)은 만약 그러한 원소가 존재하면 의 모든 원소보다 작거나 같은 에서 가장 작은 원소(least element)입니다.[1] 따라서, 상한은 역시 가장 작은 위쪽 경계 (least upper bound, 또는 LUB)로 참조됩니다.[1]
하한과 상한의 개념은 최솟값(minimum)과 최댓값(maximum)과 유사하지만, 해석학에서 보다 유용한데 왜냐하면 그것들은 최솟값 또는 최댓값을 가지지 않는 특별 집합을 더 잘 특성화하기 때문입니다. 예를 들어, 양의 실수(positive real numbers) ( 제외)의 집합은 최솟값을 가지지 않는데, 왜냐하면 의 임의의 주어진 원소는 여전히 내에 있는 더 작은 숫자를 초래하는 단순히 반으로 나뉠 수 있습니다. 어쨌든, 양의 실수의 정확하게 하나의 하한: 이 있으며, 이것은 모든 양의 실수보다 작고 아래쪽 경계로 사용될 수 있는 임의의 모든 실수보다 큽니다.
Formal definition
supremum = least upper bound
부분적으로 순서화된 집합 은 부분집합 의 아래쪽 경계는 다음을 만족하는 의 원소 입니다:
모든 에 대해 입니다.
의 아래쪽 경계 는 만약 다음이면 의 하한 (또는 가장 큰 아래쪽 경계, 또는 만남(meet))이라고 불립니다:
에서 의 모든 아래쪽 경계 에 대해, 입니다 (는 임의의 다른 아래쪽 경계보다 크거나 같습니다).
유사하게, 부분적으로 순서화된 집합 은 부분집합 의 위쪽 경계는 다음을 만족하는 의 원소 입니다:
모든 에 대해, 입니다.
의 아래쪽 경계 는 만약 다음이면 의 상한 (또는 가장 작은 위쪽 경계, 또는 접합(join))이라고 불립니다:
에서 의 모든 위쪽 경계 에 대해, 입니다 (는 임의의 다른 위쪽 경계보다 작거나 같습니다).
Existence and uniqueness
하한과 상한이 반드시 존재하지는 않습니다. 의 부분집합 의 하한의 존재는 만약 가 아래쪽 경계를 전혀 가지지 않거나, 만약 아래쪽 경계의 집합이 가장 큰 원소를 포함하지 않으면 실패할 것입니다. 어쨌든, 하한 또는 상한이 존재하면, 그것은 고유합니다.
결과적으로, 특정 하한이 존재하는 것으로 알려진 부분적으로 순서화된 집합이 특히 흥미롭게 됩니다. 예를 들어, 격자(lattice)는 모든 비-빈 유한 부분집합이 상한과 하한 둘 다를 가지는 부분적으로 순서화된 집합이고 완비 격자(complete lattice)는 모든 부분집합이 상한과 하한 모두를 가지는 부분적으로 순서화된 집합입니다. 그러한 고려 사항에서 발생하는 부분적으로 순서화된 집합의 다양한 클래스에 대한 자세한 내용은 완비성 속성(completeness properties)에 대한 문서에서 찾을 수 있습니다.
만약 부분집합 의 상한이 존재하면, 그것은 고유합니다. 만약 가 가장 큰 요소를 포함하고 있으면, 해당 원소가 상한입니다; 그렇지 않으면, 상한은 에 속하지 않습니다 (또는 존재하지 않습니다). 마찬가지로, 만약 하한이 존재하면, 그것은 고유합니다. 만약 가 가장 작은 원소를 포함하고 있으면, 해당 원소는 하한입니다; 그렇지 않으면, 하한은 에 속하지 않습니다 (또는 존재하지 않습니다).
Relation to maximum and minimum elements
부분적으로 순서화된 집합 의 부분집합 의 하한은, 그것이 존재한다고 가정하면, 반드시 에 속하는 것은 아닙니다. 만약 그것이 속하면, 그것은 의 최솟값 또는 가장 작은 원소입니다. 유사하게, 만약 의 상한은 에 속하면, 그것은 의 최댓값 또는 가장 큰 원소입니다.
예를 들어, 음의 실수 집합 (영 제외)을 생각해 보십시오. 이 집합은 가장 큰 원소를 가지지 않는데, 왜냐하면 집합의 모든 각 원소에 대해, 또 다른, 더 큰, 원소가 있기 때문입니다. 예를 들어, 임의의 음의 실수 에 대해, 더 큰 것인 또 다른 음의 실수 가 있습니다. 다른 한편으로, 영보다 크거나 같은 모든 각 실수는 확실하게 이 집합에 대한 위쪽 경계입니다. 따라서, 은 음의 실수의 가장 작은 위쪽 경계이므로, 상한은 0입니다. 이 집합은 상한을 가지지만 가장 큰 원소는 없습니다.
어쨌든, 최대와 최소 원소의 정의가 보다 일반적입니다. 특히, 집합은 많은 최대와 최소 원소를 가질 수 있지만, 하한과 상한은 고유합니다.
최댓값과 최솟값은 고려 중인 부분집합의 구성원이어야 하지만, 부분집합의 하한과 상한은 해당 부분집합 자체의 구성원일 필요는 없습니다.
Minimal upper bounds
마지막으로, 부분적으로 순서화된 집합은 가장 작은 위쪽 경계를 가짐없이 많은 최소 위쪽 경계를 가질 수 있습니다. 최소 위쪽 경계는 역시 위쪽 경계인 엄격하게 작은 원소가 없는 그것들의 위쪽 경계입니다. 이것은 각각의 최소 위쪽 경계가 모든 다른 위쪽 경계보다 작다는 말하지 않고, 그것이 단지 더 크지 않을 뿐입니다. "최소"와 "가장 작은" 사이의 구분은 주어진 순서가 전체(total) 순서가 아닐 때 오직 가능합니다. 전체적으로 순서화된 집합에서, 실수와 마찬가지로, 그 개념은 같습니다.
하나의 예제로, 를 자연수의 모든 유한 부분집합의 집합으로 놓고 정수(integer)의 집합과 함께 에서 모든 집합을 취함으로써 얻어진 부분적으로 순서화된 집합과 위에서 처럼 부분집합 포함에 의해 순서화된 양의 실수 의 집합을 생각해 보십시오. 그런-다음 분명하게 와 둘 다는 자연수의 모든 유한 집합보다 큽니다. 아직, 가 보다 작은 것도 아니고 그 전환이 참도 아닙니다: 집합 둘 다는 최소 위쪽 경계이지만 무엇도 상한이 아닙니다.
만약 순서화된 집합 가 위쪽 경계를 가지는 의 모든 각 비-빈 부분집합이 역시 가장 작은 위쪽 경계를 가진다는 속성을 가지면, 는 가장-작은-위쪽-경계 속성을 가진다고 말합니다. 위에서 언급된 것처럼, 모든 실수의 집합 은 가장-작은-위쪽-경계 속성을 가집니다; 만약 가 의 비-빈 부분집합이고 의 모든 각 원소 가 보다 작거나 같은 것을 만족하는 일부 숫자 이 있으면, 에 대해 가장 작은 위쪽 경계 , 에 대해 위쪽 경계이고 에 대해 모든 각 다른 위쪽 경계보다 작거나 같은 정수가 있습니다. 바른-순서(well-order)화된 집합은 역시 가장-작은-위쪽-경계 속을 가지고, 빈 부분집합은 역시 가장 작은 위쪽 경계: 전체 집합의 최솟값을 가집니다.
가장-작은-위쪽-경계 속성이 없는 집합의 하나의 예제는 유리수의 집합입니다. 를 를 만족하는 모든 유리수 의 집합으로 놓습니다. 그런-다음 는 위쪽 경계 (예를 들어, 또는 )를 가지지만 에서 가장 작은 위쪽 경계를 가지지 않습니다: 만약 우리가 가 가장 작은 위쪽 경계라고 가정하면, 모순은 즉시 추론되는데 왜냐하면 (와 를 포함하는) 임의의 두 실수 와 사이에 자체가 (이면) 가장 작은 위쪽 경계가 되어야 하거나 (이면) 보다 더 큰 의 구성원이어야 하는 어떤 유리수 이 존재하기 때문입니다. 또 다른 예제는 초실수(hyperreals)입니다; 양의 무한소의 집합의 가장 작은 위쪽 경계는 없습니다.
대응하는 가장-큰-아래쪽-경계 속성이 있습니다; 순서화된 집합이 가장-큰-아래쪽-경계 속성을 보유하는 것과 그것이 역시 가장-작은-위쪽-경계 속성을 보유하는 것은 필요충분 조건입니다; 집합의 아래쪽 경계의 집합의 가장-작은-위쪽-경계는 가장-큰-아래쪽-경계이고, 집합의 위쪽 경계의 집합의 가장-큰-아래쪽-경계는 집합의 가장-작은-위쪽-경계입니다.
만약 부분적으로 순서화된 집합 에서, 모든 각 경계진 부분집합은 상한을 가지지만, 이것은 역시, 에서 로의 모든 함수를 포함하는 함수 공간에서, 임의의 집합 에 대해 적용되며, 여기서 인 것과 모든 에 대해 인 것은 필요충분 조건입니다. 예를 들어, 그것은 실수에 대해 적용되고, 이것들이 함수의 특별한 경우로 고려되기 때문에, 실수 -튜플과 실수의 수열에 대해 적용됩니다.
^ abThe definition is commonly used with the extended real numbers; in fact, with this definition the equality will also hold for any non-empty subset However, the notation is usually left undefined, which is why the equality is given only for when