상한

실수의 상한은 실수 집합에서 정의되는 중요한 개념이다. 어떤 실수 집합 S를 생각할 때, S의 모든 원소보다 크거나 같은 실수를 S의 상계라고 한다. 이때 가능한 모든 상계들 중 가장 작은 값을 집합 S의 상한, 또는 최소상계라고 하며, 보통 sup(S) 또는 sup S로 표기한다.

예를 들어, 열린 구간 (0, 1)에 속하는 모든 실수의 집합을 생각해 보자. 이 집합의 상계는 1보다 크거나 같은 모든 실수(예: 1, 2, 10)이다. 이 수많은 상계들 중 가장 작은 값은 1이므로, 이 집합의 상한은 1이다. 이 경우 집합 자체는 1을 원소로 포함하지 않으므로 최댓값은 존재하지 않지만, 상한은 명확히 존재한다.

상한은 최댓값과 밀접한 관계가 있다. 만약 집합 S가 최댓값을 가진다면, 그 최댓값은 당연히 S의 상계이며, 다른 어떤 상계도 그 값보다 작을 수 없으므로 상한과 정확히 일치한다. 따라서 최댓값이 존재할 때는 상한과 최댓값이 같은 개념이 된다. 그러나 상한은 최댓값이 존재하지 않는 집합에 대해서도 정의될 수 있다는 점에서 더 일반적인 개념이다.

실수 집합의 중요한 성질 중 하나인 완비성 공리는 '공집합이 아니고 위로 유계인 모든 실수 집합은 반드시 실수인 상한을 가진다'는 내용을 담고 있다. 이 공리는 실수의 연속성을 보장하는 근본 원리이며, 이를 바탕으로 해석학의 다양한 정리들이 성립한다. 상한의 쌍대 개념은 하한(infimum)이다.

부분 순서 집합에서의 상한 개념은 실수 집합에서의 정의를 보다 일반적인 부분 순서 집합으로 확장한 것이다. 어떤 부분 순서 집합 (P, ≤)와 그 부분 집합 S가 주어졌을 때, P의 원소 u가 S의 상계라는 것은 S의 모든 원소 x에 대해 x ≤ u가 성립함을 의미한다. 이러한 상계들의 집합 중, 만약 다른 모든 상계보다 작거나 같은 상계가 P 내에 존재한다면, 그 원소를 집합 S의 상한 또는 최소 상계라고 정의하며, 보통 sup(S)로 표기한다.

즉, 상한 u = sup(S)는 두 가지 조건을 만족해야 한다. 첫째, u는 S의 상계여야 한다. 둘째, P에 속하는 S의 다른 임의의 상계 v에 대해 u ≤ v가 성립해야 한다. 이 정의는 실수에서의 상한 정의와 본질적으로 동일하나, 모든 부분 순서 집합에서 그러한 상한이 항상 존재하는 것은 아니다. 상한의 존재는 해당 부분 순서 집합의 구조에 크게 의존한다.

최댓값이 존재하는 경우, 상한은 그 최댓값과 일치한다. 최댓값은 집합 S 자체에 속하는 상계를 의미하는 반면, 상한은 반드시 S에 속할 필요는 없으며, 더 넓은 집합 P에서 찾는다는 점이 차이점이다. 따라서 상한은 최댓값보다 더 널리 적용 가능한 개념으로, 예를 들어 열린 구간 (0, 1)은 최댓값을 가지지 않지만, 상한으로 1을 가진다.

이 일반화된 정의는 해석학을 넘어 위상수학, 범주론, 격자 이론 등 다양한 수학 분야에서 중요한 역할을 한다. 특히 모든 부분 집합이 상한과 하한을 가지는 부분 순서 집합을 완비 격자라고 부르며, 이는 중요한 수학적 구조 중 하나이다.

주어진 집합의 상계 중 가장 작은 값인 상한은, 그것이 존재할 경우 유일하다. 이는 상한의 정의에서 직접적으로 도출되는 성질이다. 만약 어떤 집합에 두 개의 서로 다른 상한, 예를 들어 α와 β가 존재한다고 가정하면, α는 상계 중 최소이므로 β보다 작거나 같아야 한다. 동시에 β도 상계 중 최소이므로 α보다 작거나 같아야 한다. 이 두 조건을 동시에 만족하려면 α와 β는 서로 같아야 하므로, 상한은 오직 하나만 존재할 수 있다.

이러한 유일성은 실수 집합에서 완비성 공리에 의해 보장된다. 공집합이 아니고 위로 유계인 임의의 실수 부분 집합은 항상 유일한 상한을 가진다. 이 공리는 실수의 근본적인 성질 중 하나로, 해석학의 여러 정리들을 증명하는 데 핵심적인 역할을 한다.

일반적인 부분 순서 집합에서도, 상한이 존재한다면 그것은 유일하다. 상한의 정의가 '주어진 부분 집합의 모든 상계보다 작거나 같은 원소'이기 때문이다. 두 개의 다른 원소가 이 조건을 동시에 만족할 수 없으므로, 상한은 집합 내에서 유일하게 결정된다.

집합의 최댓값이 존재한다면, 그 값은 자동적으로 집합의 상한이 된다. 최댓값은 집합의 원소 중 가장 큰 값으로, 이는 상계의 정의를 만족하면서 동시에 집합 자신에 속하기 때문이다. 또한, 최댓값은 모든 상계 중 가장 작은 값, 즉 최소상계이기도 하다. 따라서 최댓값이 존재할 경우, 상한(sup)은 그 최댓값과 정확히 일치한다.

반면, 상한이 존재한다고 해서 항상 최댓값이 존재하는 것은 아니다. 상한은 집합의 원소일 수도 있고, 그렇지 않을 수도 있다. 예를 들어, 구간 (0, 1)의 모든 실수로 이루어진 집합을 생각해 보자. 이 집합의 상한은 1이다. 그러나 1은 해당 집합의 원소가 아니므로, 이 집합에는 최댓값이 존재하지 않는다. 이처럼 상한이 집합 밖에 존재하는 경우, 상한은 집합의 원소들에 의해 '접근'될 수는 있지만 정확히 '도달'되지는 않는 경계값의 역할을 한다.

이 관계는 해석학에서 수열의 극한이나 함수의 최적값 문제를 다룰 때 중요한 차이를 만든다. 최댓값의 존재는 실제로 그 값을 attain(달성)할 수 있음을 의미하는 반면, 상한의 존재는 단지 값이 어떤 범위를 넘지 않음을 보장할 뿐이다. 따라서 어떤 집합이 위로 유계일 때, 그 상한의 존재는 완비성 공리에 의해 보장되지만, 최댓값의 존재 여부는 집합의 구체적인 형태에 따라 추가로 확인해야 한다.

해석학에서 상한은 수열의 극한, 함수의 극한, 그리고 적분과 같은 핵심 개념들을 엄밀하게 정의하고 다루는 데 필수적인 도구이다. 특히 실수의 완비성 공리는 위로 유계인 공집합이 아닌 실수 집합이 반드시 실수 내에서 상한을 가진다는 성질을 보장하며, 이는 해석학의 기초를 이루는 중요한 원리이다.

수열의 수렴성을 논할 때, 상한과 하한은 중요한 역할을 한다. 예를 들어, 단조 증가하면서 위로 유계인 수열은 항상 그 상한으로 수렴한다는 정리는 해석학의 기본 정리 중 하나이다. 또한, 함수의 상한과 하한을 이용하면 함수의 극한을 엄밀하게 정의할 수 있으며, 리만 적분의 정의에서도 구간을 분할할 때 각 소구간에서 함수값의 상한과 하한이 사용된다.

더 나아가, 측도론과 르베그 적분과 같은 현대 해석학의 영역에서도 상한의 개념은 일반화되어 적용된다. 가측 집합의 열에 대한 상한을 다루거나, 함수열의 점별 수렴과 균등 수렴을 논할 때 상한 함수가 자연스럽게 등장한다. 이처럼 상한은 해석학 전반에 걸쳐 수학적 객체의 행동을 정량화하고 한계를 규정하는 데 없어서는 안 될 개념이다.

위상수학에서 상한의 개념은 일반적인 실수 집합을 넘어 다양한 위상 공간과 순서 집합의 구조를 분석하는 데 활용된다. 특히, 부분 순서 집합에 특정한 위상을 부여한 순서 위상을 다룰 때 중요한 역할을 한다. 어떤 위상 공간이 주어졌을 때, 그 안의 부분 집합이 상계를 가질 수 있는지, 그리고 그 상한이 해당 공간 내에 존재하는지(즉, 닫힌집합에 속하는지)는 그 공간의 완비성이나 콤팩트성과 같은 핵심적 성질과 깊이 연관되어 있다.

예를 들어, 실수 직선 R은 표준 순서와 위상을 가지며, 여기서 상한의 존재는 완비성 공리에 의해 보장된다. 이는 실수의 근본적인 성질 중 하나이다. 한편, 위상수학에서는 닫힌구간 [a, b]와 같은 집합이 콤팩트 공간이 되는 중요한 이유 중 하나가, 그 집합 내의 모든 상계를 가진 부분 집합이 항상 상한을 그 집합 내에서 가진다는 사실과 연결된다. 이는 하이네-보렐 정리의 실수선에서의 한 형태로 이해될 수 있다.

더 일반적인 부분 순서 집합 위에 정의된 순서 위상에서, 상한의 존재는 해당 집합이 연결 공간이거나 완비 격자가 되는 조건과 관련이 있다. 또한, 범주론의 관점에서, 상한은 극한의 특별한 경우로서, 곱과 같은 구성과 함께 다루어지기도 한다. 이처럼 상한은 단순한 수의 개념을 넘어, 집합에 부여된 순서와 위상 구조를 결합하여 공간의 성질을 규명하는 데 필수적인 도구로 작용한다.

계산 이론에서 상한은 주로 계산 복잡도 이론에서 자원 사용량의 점근적 상한을 분석하는 데 활용된다. 특히 알고리즘의 시간 복잡도나 공간 복잡도를 표현할 때 점근 표기법인 빅 오 표기법이 사용되는데, 이는 알고리즘의 수행 시간 상한을 의미하는 개념과 연결된다.

예를 들어, 어떤 알고리즘의 수행 시간이 입력 크기 n에 대해 O(n^2)이라면, 이는 충분히 큰 n에 대해 알고리즘의 실제 수행 시간이 n^2에 비례하는 어떤 함수의 상한(supremum) 이내에 있음을 나타낸다. 이는 최악의 경우를 분석하는 데 중요한 도구가 된다. 계산 가능성 이론에서도 특정 문제 클래스를 해결하는 데 필요한 계산 자원의 이론적 하한(infimum)과 상한을 연구하는 데 관련 개념이 적용된다.

이러한 분석은 최적화 문제나 온라인 알고리즘의 경쟁비 분석과 같은 영역에서도 발견된다. 경쟁비는 온라인 알고리즘의 성능을 최적의 오프라인 알고리즘 성능과 비교하는 비율로, 이 비율의 상한을 통해 알고리즘의 최악-case 성능 보장을 수학적으로 증명할 수 있다.

하한(infimum)은 상한(supremum)의 쌍대 개념이다. 주어진 부분 순서 집합의 부분집합에 대해, 그 집합의 모든 원소보다 작거나 같은 값들, 즉 하계(lower bound)들 중에서 가장 큰 값을 그 집합의 하한이라고 정의한다. 이는 상한이 상계(upper bound)들 중 가장 작은 값인 것과 대칭을 이룬다.

실수 집합에서, 공집합이 아니고 아래로 유계인 부분집합은 항상 하한을 가진다. 이 성질은 실수의 완비성 공리와 밀접하게 연결되어 있다. 하한은 수학적 표기로는 inf(S) 또는 \inf S 로 나타낸다. 상한과 마찬가지로, 집합의 최솟값(minimum)이 존재한다면 그 값은 하한과 정확히 일치한다.

해석학에서는 수열의 극한이나 함수의 극값을 논할 때, 위상수학에서는 격자 이론이나 순서 위상을 다룰 때, 계산 이론에서는 정지 문제와 같은 결정 불가능성을 증명하는 과정에서 상한과 하한의 개념이 함께 활용된다. 이 두 개념은 수학적 구조의 경계를 명확히 정의하는 데 필수적인 도구이다.

상한은 상계 중에서 가장 작은 것을 의미하며, 최소 상계라고도 부른다. 어떤 집합이 주어졌을 때, 그 집합의 모든 원소보다 크거나 같은 수를 상계라고 한다. 이러한 상계가 여러 개 존재할 수 있는데, 이들 중 가장 작은 값이 바로 상한이다. 즉, 상한은 집합을 위에서 누르는 가장 작은 '뚜껑'에 해당하는 개념이다.

실수 집합에서 공집합이 아니고 위로 유계인 부분집합 S의 상한은 유일하게 존재하며, 기호로는 sup(S) 또는 \sup S로 표기한다. 이는 실수의 완비성 공리에 의해 보장되는 성질이다. 만약 집합 S가 최댓값(maximum)을 가진다면, 그 최댓값이 바로 상한과 일치한다. 반대로 최댓값이 존재하지 않더라도 상한은 존재할 수 있으며, 이 경우 상한은 집합의 원소가 아닐 수 있다.

하한(infimum)은 상한의 쌍대 개념으로, 하계 중 가장 큰 값을 의미한다. 상한과 하한은 해석학, 위상수학, 계산 이론 등 다양한 수학 분야에서 기본적이고 중요한 도구로 활용된다. 특히 함수의 극한이나 연속성, 수열의 수렴을 논할 때 핵심적인 역할을 한다.

완비성 공리는 실수 체계의 근본적인 성질 중 하나로, 실수의 집합이 상계를 가질 때 그 상계들 중 가장 작은 것이 반드시 존재한다는 공리이다. 이를 '최소 상계의 원리'라고도 부른다. 구체적으로, 공집합이 아니고 위로 유계인 실수의 부분집합은 항상 상한을 가진다는 명제이다. 이 공리는 유리수 집합에서는 성립하지 않는 실수 집합만의 특징적인 성질이며, 해석학의 여러 기본 정리들을 증명하는 데 핵심적인 역할을 한다.

예를 들어, 구간 (0, 1)에 속하는 모든 실수의 집합을 생각해보자. 이 집합은 1보다 큰 모든 수(예: 2, 1.5)를 상계로 가진다. 완비성 공리는 이러한 수많은 상계들 중에서 가장 작은 상계, 즉 최소 상계가 반드시 존재함을 보장한다. 이 경우 그 값은 1이다. 1은 집합의 원소는 아니지만(최댓값이 아님), 이 집합의 어떤 원소보다도 작지 않은 수들 중 가장 작은 수이므로, 이 집합의 상한이 된다.

이 공리는 하한에 대해서도 쌍대적으로 적용된다. 즉, 공집합이 아니고 아래로 유계인 실수의 부분집합은 항상 하한을 가진다. 완비성 공리는 실수의 연속성을 보여주며, 이를 바탕으로 단조 수렴 정리, 볼차노-바이어슈트라스 정리, 코시 수열의 수렴성 등 해석학의 근간이 되는 중요한 정리들이 유도된다.