Compactness·연속성과 극값

상한이 달성되는지 묻기

실수 집합의 상한은 모든 값을 위에서 누르는 최소 경계입니다. 최대값은 그 경계를 실제 집합 원소로 얻는 경우입니다. f(x)=x에서 정의역 [0,1]은 최대값 1을 갖지만 (0,1)은 상한 1만 있고 최대값은 없습니다.

어떤 x<1을 골라도 (x+1)/2가 더 크고 여전히 정의역 안에 있으므로 최대 원소가 될 수 없습니다. 이 반례는 상한 존재를 보장하는 완비성과 극값 달성을 보장하는 compactness가 다른 역할임을 보여 줍니다.

Compactness의 정의와 범위

위상적 정의는 모든 열린 덮개에 유한 부분 덮개가 있다는 것입니다. 유클리드 공간 Rⁿ에서는 Heine–Borel 정리에 의해 닫히고 유계인 것과 동치입니다. 또한 어떤 수열을 골라도 그 집합 안에서 수렴하는 부분수열이 존재하는 성질과 동치입니다.

이 동치는 유한차원 유클리드 공간의 정리입니다. 무한차원 노름공간의 닫힌 단위 공에 그대로 적용하지 마세요. 일반 공간에서는 정의와 해당 공간의 정리를 따로 확인해야 합니다.

연속 함수는 극값을 얻는다

비어 있지 않은 compact K 위의 연속 실함수는 유계이고 최솟값·최댓값을 달성합니다. 연속상 f(K)가 compact이므로 실수에서 닫히고 유계입니다. 상한 s에 접근하는 함수값 수열을 택하면 극한 s가 닫힌 f(K)에 속하므로 실제 함수값입니다.

연속성과 compactness 중 어느 가정을 없애도 일반 결론이 실패할 수 있습니다. 단, 가정이 충분조건이라는 사실이 그 조건이 없는 모든 함수에서 극값이 없다는 뜻은 아닙니다. 상수 함수는 열린 구간에서도 극값을 달성합니다.

균등 연속성까지 연결하기

compact 집합 위의 연속 함수는 균등 연속입니다. 반대로 이 명제를 전체 R로 넓히면 실패합니다. x²은 R에서 연속이지만 아주 큰 x에서 가까운 두 점의 함수값 차이를 하나의 δ로 제어하지 못합니다.

극값 정리는 최적해의 존재를 말하지만 계산 알고리즘이나 최적해 유일성을 주지는 않습니다. f가 상수이면 모든 점이 최적해입니다. 이론의 결론이 존재·유일·안정성·계산 중 무엇인지 구분하세요.

실습의 끝점과 AI 해석

실습의 빈 원은 정의역에서 빠진 끝점입니다. 열린 구간 모형에 x₀=1을 넣으면 f(x₀)는 —입니다. 상한 1을 함수값으로 대신 표시하지 않습니다. 같은 함수식이더라도 정의역을 바꾸면 극값 달성 여부가 바뀝니다.

제약된 파라미터 집합에서 연속 손실을 최소화하면 compactness로 해 존재를 증명할 수 있습니다. 비제약 최적화에서는 coercivity 등의 대체 가정이 필요할 수 있습니다. 존재 정리가 경사하강의 수렴이나 좋은 일반화까지 보장하지는 않습니다.

확인 문제와 답

1. f(x)=x의 (0,1)에서 inf와 최소값은? inf는 0, 최소값은 없습니다.
2. compact 영역에서 연속 함수의 최적해는 유일한가요? 반드시 그렇지는 않습니다.
3. 열린 구간의 상수 함수는 극값을 얻나요? 예. 모든 점에서 얻습니다.

추가 읽기: MIT 공식 강좌 안내. 강좌 범위를 확인해 보충 자료로 연결하며, 아래의 작은 예제와 논증은 직접 구성했습니다.