최근 수정 시각 : 2024-06-07 18:07:34

최대·최소 정리

해석학· 미적분학
Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#26455A>실수와 복소수 실수( 실직선 · 아르키메데스 성질) · 복소수( 복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수 함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수( 동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
초등함수( 대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수( 변분법 · 오일러 방정식) · 병리적 함수
극한·연속 함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴( 균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 0.999…=1
중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사( 어림)
수열· 급수 수열 · 급수( 멱급수 · 테일러 급수( 일람) · 조화급수 · 그란디 급수( 라마누잔합) · 망원급수( 부분분수분해)) · 그물
오일러 수열 · 베르누이 수열 · 월리스 곱
단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측미해결
미분 미분 · 도함수( 이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점( 변곡점 · 안장점) · 매끄러움
평균값 정리( 롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법
적분 적분 · 정적분( 예제) · 스틸체스 적분 · 부정적분( 부정적분 일람) · 부분적분( LIATE 법칙 · 도표적분법 · 예제) · 치환적분 · 이상적분( 코시 주요값)
미적분의 기본정리 · 적분의 평균값 정리
리시 방법 · 2학년의 꿈
다변수· 벡터 미적분 편도함수 · 미분형식 · · 중적분( 선적분 · 면적분 · 야코비안) · 야코비 공식
라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리( 발산 정리 · 그린 정리 변분법
미분방정식 미분방정식( 풀이) · 라플라스 변환
측도론 측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
칸토어 집합 · 비탈리 집합
복소해석 코시-리만 방정식 · 로랑 급수 · 유수 · 해석적 연속 · 오일러 공식( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석 공간 위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · Lp 공간
작용소 수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
대수 C*-대수 · 폰 노이만 대수
정리 한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
이론 디랙 델타 함수( 분포이론)
조화해석 푸리에 해석( 푸리에 변환 · 아다마르 변환)
관련 분야 해석기하학 · 미분기하학 · 해석적 정수론( 1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설미해결) · 확률론( 확률변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학 · 수리경제학( 경제수학) · 공업수학
양-밀스 질량 간극 가설미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움미해결
기타 퍼지 논리
}}}}}}}}} ||


1. 개요2. 진술
2.1. 고교 교육과정 하에서의 최대·최소 정리2.2. 최대·최소 정리(extreme value theorem)
3. 증명
3.1. 컴팩트성을 사용하지 않은 증명3.2. 컴팩트성을 사용한 증명
4. 관련 문서

1. 개요

최대·최소 정리(· , extreme value theorem; EVT)는 함수의 최댓값, 최솟값에 관한 정리로, 연속함수의 대표적인 성질 중 하나이다.

2. 진술

2.1. 고교 교육과정 하에서의 최대·최소 정리

[ 정리 ] 최대·최소 정리( 수학Ⅱ(2015))
함수 [math(f: \mathbb R \to \mathbb R)]가 닫힌 구간 [math([a, b])]에서 연속이면, 함수 [math(f)]는 구간 [math([a, b])]에서 최댓값과 최솟값을 가진다.
여기서 중요한 것은 닫힌 구간연속이다. 둘 중 한 조건이라도 성립하지 않는다면, 최댓값과 최솟값이 존재하지 않을 수도 있다.[* [math(f\left(x\right)=x)]라는 단순한 함수를 토대로 [math(\left(a,b\right)\left(a<b\right))]라는 열린 구간을 대상으로 해 보자. 이 경우, 모든 [math(f)]값이 [math(\left(a,b\right))] 사이에 들어가지만, 구간의 양 끝값 자체가 구간에 미포함되기 때문최대값도 최소값도 없다는걸 간단하게 보일 수 있다. 불연속일 경우는 [math(\left(0, 2\right))]라는 범위에서 [math(f\left(x\right)=x-\left\lfloor x\right\rfloor )]라는 함수를 정의하면, 그 치역은 [math(\left[0,1\right))]로 표현되어, 최대값이 없는 함수가 됨을 알 수 있다.] 일견 당연해 보이는 이 정리는, 고교 수준을 넘는다며 증명을 생략하고 넘어가는 경우가 대부분이다.

2.2. 최대·최소 정리(extreme value theorem)

[ 정리 ] 최대·최소 정리(extreme value theorem)
컴팩트집합 [math(X)]에서 정의된 연속함수 [math(f: X \to \mathbb R)]는 정의역 [math(X)]에서 최댓값과 최솟값을 가진다.
고교 수준의 정의에서 닫힌 유계구간이 컴팩트집합(compact set)으로 치환된 형태다. 실제로 하이네-보렐 정리에 따르면 실수 집합의 닫힌 유계구간은 전부 컴팩트집합이므로, 위 정리를 온전히 포함하게 된다.

위 정리는 다음과 같이 [math((\mathbb R, <))] 뿐만이 아닌, 임의의 전순서 집합 위의 순서 위상에 대한 정리로 일반화할 수 있다.
[ 정리 ] 최대·최소 정리(extreme value theorem)
컴팩트집합 [math(X)]와 전순서(total order) [math(<)]가 주어진 위상 공간 [math((Y, <))] 사이에 정의된 연속함수 [math(f: X \to Y)]는 정의역 [math(X)]에서 최댓값과 최솟값을 가진다.

3. 증명

당연해 보이는 것의 증명이 더욱 어려운 법이다. 이 정리를 증명하기 위해서는 유계(boundness)나 컴팩트성(compactness)을 알아야 한다.

3.1. 컴팩트성을 사용하지 않은 증명

[ 보조정리 ]
함수 [math(f: \mathbb R \to \mathbb R)]가 닫힌 구간 [math([a, b])]에서 연속이면, 함수 [math(f)]는 구간 [math([a, b])]에서 유계 함수이다.
[ 증명 ]
임의의 실수 [math(M \in \mathbb R)]를 잡아도 그보다 큰 함수값 [math(f(x) > M)]을 지니는 [math(x \in [a, b])]가 존재한다고 가정해 보자.

[math(a_i)] = "[math(f(x) > i)]인 임의의 [math(x \in [a, b])]"인 수열 [math(\{a_n\})]을 정의하자. 볼차노-바이어슈트라스 정리에 의해, 이 수열의 집적점(accumulation point) [math(v)]는 구간 [math([a, b])]안에 존재한다. 다시 말해, 임의의 [math(\delta > 0)]을 잡아도 구간 [math((v - \delta, v + \delta) \cap [a, b])] 내에 [math(a_i)]가 들어가게 되는 [math(i)]가 무한히 많이 존재한다.

함수 [math(f)]는 [math(v)]에서 연속이므로, 엡실론-델타 논법에 따라 임의의 [math(\epsilon > 0)]에 대해 [math((v - \delta, v + \delta) \cap [a, b])] 상의 모든 함수값이 [math((f(v) - \epsilon, f(v) + \epsilon))]에 포함되도록 하는 [math(\delta > 0)]를 찾을 수 있어야 한다.
하지만 [math(\delta)]를 어떻게 잡아도, 임의로 큰 [math(i > f(v) + \epsilon)]를 잡아 [math(a_i)]가 그 구간 안에 들어가게 할 수 있고, 이 경우 [math(f(a_i) > i > f(v) + \epsilon)]이므로, 조건을 만족하는 [math(\delta)]를 찾을 수 없게 된다.

따라서 가정은 틀렸고, 구간 [math([a, b])] 상에서 [math(f)]의 모든 함수값보다 큰 [math(M \in \mathbb R)], 즉 [math(f)]의 상한이 존재해야 한다.

같은 방식으로 [math(f)]의 하한이 존재한다는 사실을 증명할 수 있고, 따라서 [math(f)]는 구간 [math([a, b])]에서 유계 함수이다. [math(\blacksquare)]
이 증명의 핵심은 볼차노-바이어슈트라스 정리를 이용하는 것인데, 컴팩트성 문서에도 적혀 있듯이 사실 이것은 [math([a, b])]의 점렬 컴팩트성을 이용한 것과 마찬가지이다.
[ 정리 ] 최대·최소 정리( 수학Ⅱ(2015))
함수 [math(f: \mathbb R \to \mathbb R)]가 닫힌 구간 [math([a, b])]에서 연속이면, 함수 [math(f)]는 구간 [math([a, b])]에서 최댓값과 최솟값을 가진다.
{{{#!folding [ 증명 ]
[ 보조정리 ]에 의해 [math(f)]는 [math([a, b])]에서 유계이다. 그러므로 집합 [math(\{ f(x) \,|\, x \in [a ,b] \})]의 최소 상한 [math(M \in \mathbb R)]이 존재한다. 이제 [math(f(x) = M)]인 [math(x \in [a ,b])]가 존재함을 증명하자.

결론을 부정하여, 임의의 [math(x \in [a ,b])]에 대해 [math(f(x) \neq M)], 즉 [math(f(x) < M)]을 가정하자. 그러면 다음과 같이 정의된 함수 [math(g: [a ,b] \to \mathbb R)]는 잘 정의되며, 연속이다. ( 연속함수의 성질 참고.)
<table width=100%>
[math(\displaystyle \begin{aligned}
g(x) = \frac1{M-f(x)}
\end{aligned} )]
그러므로 [math(g)]에도 [ 보조정리 ]를 적용할 수 있다. [math(g)]도 구간 [math([a, b])]에서 유계이므로, 적당한 실수 [math(N)]이 존재하여 [math(g(x) = |g(x)| \leq N)]이 성립한다. 따라서 모든 [math(x \in [a, b])]에 대해 [math(\dfrac1{M-f(x)} \leq N)]이고 [math(f(x) \leq M - \dfrac1N)]이다. 이는 [math(M)]이 집합 [math(\{ f(x) \,|\, x \in [a, b] \})]의 최소 상한이라는 가정에 모순이다.

귀류법 가정이 틀렸으므로, [math(f(x) = M)]인 [math(x \in [a, b])]가 존재한다. 즉, [math(f)]는 구간 [math([a, b])]에서 최댓값 [math(M)]을 가진다. 한편, [math(\inf f = -\sup(-f))] 및 [math(\min f = -\max(-f))]을 이용하면 최솟값에 대한 결론도 얻을 수 있다. [math(\blacksquare)]
}}}||

3.2. 컴팩트성을 사용한 증명

컴팩트성과 관련된 다음 두 개의 보조정리를 이용하면 쉽게 증명할 수 있다.
[ 보조정리 1 ]
컴팩트집합 [math(X)] 상에서 정의된 연속함수 [math(f: X \to Y)]의 치역 [math(f(X))]는 컴팩트 집합이다.
[ 증명 ]
[math(f(X))]의 열린 덮개 [math(C)]가 있다면, [math(f)]가 연속 함수이므로 [math(D = \{f^{-1}(S) \,|\, S \in C\})]는 [math(X)]의 열린 덮개이다. [math(X)]는 컴팩트하므로, [math(D)]의 유한 부분덮개 [math(D')]가 존재한다. 즉, [math(C' = \{f(S') \,|\, S' \in D'\})]는 [math(f(X))]를 덮는 [math(C)]의 유한 부분덮개가 된다.

이는 임의의 열린 덮개 [math(C)]에 대해 성립하므로, [math(f(X))]는 컴팩트 집합이다. [math(\blacksquare)]
[ 보조정리 2 ]
전순서 [math(<)]가 주어진 위상 공간 [math((Y, <))]의 임의의 컴팩트집합 [math(Z)]의 최소상계 [math(\sup Z)] 및 최대하계 [math(\inf Z)]는 존재하고, [math(Z)]에 포함된다. 즉, [math(Z)]는 최댓값과 최솟값을 포함한다.
[ 증명 ]
편의상 [math(y \in Y)]가 있을 때, 하집합(lower set) [math(\{y' \in Y \,|\, y' < y \})]를 [math((-\infty, y))]라고 표기하자.

열린 구간의 집합 [math(C = \{ (-\infty, z) \,|\, z \in Z \})]가 있을 때, 만약 이 [math(C)]가 [math(Z)]의 덮개라면, 유한 부분덮개 [math(C' = \{(-\infty, z_1), \cdots, (-\infty, z_n)\} \subseteq C)]가 존재해야 한다. 하지만 [math(C')]는 [math(\max \{z_1, \cdots, z_n\})]을 덮을 수 없으므로 [math(C')]는 [math(Z)]의 덮개일 수 없고, 따라서 [math(C)]는 [math(Z)]의 덮개가 아니다.

즉, [math(Z' = Z \setminus \bigcup C)]는 공집합이 아니다. 이 집합의 원소 [math(z')]와, [math(Z)]의 임의의 원소 [math(z)]가 있으면, [math(z' \not\in (-\infty, z))]이므로, [math(z \le z')]이여야 한다. 따라서, [math(z' = \sup Z \in Z)]이다. (사실 [math(Z' = \{z'\})]이다.) 같은 방식으로 [math(\inf Z \in Z)]임을 증명할 수 있다. [math(\blacksquare)]
[ 정리 ] 최대·최소 정리(exterme value theorem)
컴팩트집합 [math(X)]와 전순서(total order) [math(<)]가 주어진 위상 공간 [math((Y, <))] 사이에 정의된 연속함수 [math(f: X \to Y)]는 정의역 [math(X)]에서 최댓값과 최솟값을 가진다.
[ 증명 ]
[ 보조정리 1, 2 ]에 의해 [math(f(X))]는 최댓값과 최솟값을 포함하는 컴팩트집합이다. [math(\blacksquare)]

4. 관련 문서