최대·최소 정리 (Extreme Value Theorem)
쉽게 풀면
등산로 입구부터 정상까지 끊어짐 없이 이어진 길을 걷는다고 생각해 보세요. 길이 시작 지점과 끝 지점을 포함해 완전히 이어져 있다면(닫힌구간), 그 길 위에는 반드시 가장 높은 지점과 가장 낮은 지점이 존재합니다. 이것이 최대·최소 정리입니다. 다만 조건이 중요합니다. 만약 길의 끝부분이 뚝 끊어져 있거나(구간이 열려 있거나) 중간에 다리가 무너져 있다면(불연속이면), 가장 높은 지점이 없을 수도 있습니다. 그래서 이 정리는 "닫힌구간"과 "연속함수"라는 두 조건이 함께 있을 때만 성립합니다.
왜 중요한가
최적화 문제를 풀 때 "최적해가 애초에 존재하는가"는 계산 이전에 반드시 확인해야 할 전제이기 때문에, 최대·최소 정리는 경제학의 효용 극대화 모형, 공학의 설계 최적화, 통계학의 추정량 도출 등 최적화가 개입하는 거의 모든 이론적 논증의 출발점으로 등장합니다. 이 정리가 성립하지 않는 상황(구간이 닫혀 있지 않거나 함수가 불연속인 경우)에서는 최적해의 존재 자체를 별도로 증명해야 하므로, 모형 설정 단계에서 조건을 명시하는 근거로도 자주 인용됩니다.
논문에서는 이렇게 쓰입니다
이 문장은 "최적화 문제를 풀기 전에, 애초에 최댓값이나 최솟값이 존재하기는 하는지를 최대·최소 정리로 먼저 확인했다"는 뜻으로, 최적화나 경제학 논문에서 해의 존재성을 논증할 때 자주 인용됩니다.
경제학에서 소비자의 최적 선택이 이론적으로 항상 존재함을 보장하는 근거로 이 정리가 쓰인다는 뜻입니다.
공학 최적설계 문제에서도 계산에 앞서 해가 존재한다는 것을 이론적으로 먼저 확보한다는 의미입니다.
조금 더 깊게 보면
이 정리를 일반화하면, 실수 구간뿐 아니라 콤팩트(compact) 집합 위에서 정의된 연속함수라면 항상 최댓값과 최솟값을 갖는다는 형태로 확장됩니다. 최적화 문제에서 "실행가능영역이 콤팩트하다"는 표현이 자주 등장하는 이유가 바로 이 확장된 형태를 근거로 최적해의 존재성을 보장하기 위해서입니다. 다만 존재성만으로는 최적해를 실제로 계산할 수 없으므로, 볼록성(convexity)이나 도함수 조건을 추가로 활용해 최적해의 위치를 구체적으로 찾아냅니다.
주의할 점
최대·최소 정리는 최댓값과 최솟값이 "존재한다"는 것만 보장할 뿐, 그 값이 정확히 무엇인지, 혹은 어느 지점에서 나타나는지는 알려주지 않습니다. 실제로 최댓값이 나타나는 지점을 찾으려면 미분을 이용하거나 롤의 정리처럼 별도의 도구를 함께 사용해야 합니다.