최근 수정 시각 : 2021-07-11 13:10:40

부동점 정리

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙
극한 부정형 · 어림( 유효숫자 ) · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
· 급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미분 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(boldsymbolnabla)] · 라그랑주 승수법
정리 · 토픽 평균값 정리 ( 롤의 정리 ) · 스토크스 정리 ( 발산 정리 ) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 ) · 아다마르 변환
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 · 2학년의 꿈 · 리시 방법 · 야코비안
실해석 측도론 ( 측도 · 르베그 측도 ) · 유계( 콤팩트성 ) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소해석 복소평면 · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 드 무아브르 공식 ) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 수치해석학 ( FEM ) · 미분기하학 · 해석기하학 · 해석적 정수론 ( 소수 정리 ) · 확률론 ( 중심극한정리 )
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 리만 가설미해결 · 카오스 이론미해결 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}}}}


1. 개요2. 바나흐 부동점 정리3. 브라우어 부동점 정리

1. 개요

Fixed-point Theorem

정의역과 공역이 공간 [math(X)]인 함수 [math(f:X\to X)]에 대하여 [math(x_0\in X)]가 [math(f(x_0) = x_0)]를 만족할때 이 점 [math(x_0)]를 함수 [math(f)]의 부동점 또는 고정점(fixed point)이라고 한다.

부동점 정리[1]는 공간 [math(X)]와 함수 [math(f)]에 적당한 조건이 주어지면 [math(X)]내에 [math(f)]의 부동점이 존재한다는 것을 내용으로 한다. 그 적당한 조건이 구체적으로 어떤 조건인가에 따라 많은 부동점 정리가 있다. 그중에 해석학에서 배우는 바나흐의 부동점 정리와 위상수학에서 배우는 브라우어의 부동점 정리가 잘 알려져 있다.

부동점 정리는 많이 응용되는 도구이다. 대표적으로 립쉬츠 조건을 만족하는 미분방정식의 해가 존재한다는 정리를 증명할때 부동점 정리가 사용된다. 또한 다변수해석학에서 역함수 정리를 증명할때 사용하기도 한다. 부동점 정리는 수학 이외의 학문에서도 응용되는 경우가 많다. 예를 들자면 경제학에서 완전경쟁교환경제에 일반균형이 존재함을 증명하는데에 이용된다. 그리고, 영화 뷰티풀 마인드로 유명한 존 내쉬가 게임이론에서 내쉬균형의 존재를 증명할 때도 부동점 정리가 이용됐다.

2. 바나흐 부동점 정리

바나흐 부동점 정리의 내용은 다음과 같다.
공집합이 아닌 완비거리공간 [math((X,d))]에서 정의된 함수 [math(f:X\to X)]가 축소사상이면 [math(f)]는 유일한 부동점 [math(x^*\in X)]를 갖는다. (즉, [math(f(x^*)=x^*)]이다.)
여기서 함수 [math(f)]가 축소사상이라는 것은 임의의 [math(x,y\in X)]에 대하여 상수 [math(0\leq\alpha<1)]가 있어서 [math(d(f(x),f(y)) \leq \alpha d(x,y))]가 항상 성립하는 사상이라는 것을 말한다.

증명은 완비거리공간임을 이용해서 [math(X)]안의 임의의 점 [math(x_0)]로부터 출발하여 [math(x_1 = f(x_0))], [math(x_2 = f(x_1))] ...의 방식으로 구성한 수열 [math((x_n))]이 코시수열임을 보임으로써 존재성과 유일성을 한꺼번에 보인다. 자세한 것은 해석학 교과서를 참조하면 된다.[2]

3. 브라우어 부동점 정리

[math(K\subset \mathbb{R}^n)]를 [math(n)]차원 유클리드 공간의 볼록 컴팩트 부분집합이라고 하자. 함수 [math(f:K\to K)]가 연속이면 [math(f)]는 [math(K)]에서 부동점을 갖는다.
여기서 볼록 컴팩트 부분집합은 단위구 [math(D^n = \{ \mathbf{x}\in \mathbb{R}^n : \Vert \mathbf{x}\Vert \leq 1\})]로 바꾸어도 무방하다. 위의 바나흐 부동점 정리와는 달리 유일성은 브라우어 부동점 정리의 내용이 아니다.

여러 위상수학 교과서에 귀류법을 사용하는 증명법이 소개되어 있다.[3] 그 외에도 여러가지 다른 증명 방법도 있다.


[1] 고정점 정리 또는 정점 정리라고 번역되는 경우도 있다. '부동'에 떠다닌다(浮動)는 의미의 동음반의어가 있다 보니 이쪽을 선호하기도 한다. [2] 증명이 쉬워서 연습문제로 나오는 교과서도 있다. 간단히 풀어보려면 Munkres, Topology, 2판, ch3. sec.28의 exercise 7 참조 [3] Munkres, Topology, 2판, p. 351 또는 Kahn, Topology, pp. 139-140