바나흐 고정점 정리

수학에서 **바나흐 고정점 정리**(-固定點定理, ) 또는 **축약 사상 정리**(縮約寫像定理, )는 완비 거리 공간 위의 축약 사상이 유일한 고정점을 갖는다는 정리이다.

## 정의
거리 공간 (X,d) 위의 **축약 사상**(縮約寫像, )은 1 미만의 상수에 대한 립시츠 연속 함수이다. 즉, 다음 조건을 만족시키는 \alpha\in[0,1)이 존재하는 함수 T\colon X\to X이다.
* 임의의 x,y\in X에 대하여, d(T(x),T(y))\le\alpha d(x,y)

**바나흐 고정점 정리**에 따르면, 완비 거리 공간 (X,d) 위의 축약 사상 T\colon X\to X은 유일한 고정점을 갖는다. 즉, T(x^*)=x^*인 x^*\in X가 존재하며, 이는 유일하다.

사실, 임의의 x_0\in X에 대하여, 반복 점렬 (x_n=T^n(x_0))_{n=0}^\infty은 x^*로 수렴한다. (여기서 T^n은 T의 n번 합성이다.) 그 오차의 한 상계는 다음과 같다.
:d(x_n,x^*)\le\frac{\alpha^n}{1-\alpha}d(x_1,x_0)

우선, 임의의 n=0,1,2,\dots에 대하여, 다음이 성립한다.
:
\begin{align}d(x_{n+1},x_n)
&=d(T(x_n),T(x_{n-1}))\\
&\le\alpha d(x_n,x_{n-1})\\
&\le\alpha^2d(x_{n-1},x_{n-2})\\
&\vdots\\
&\le\alpha^nd(x_1,x_0)
\end{align}

따라서, 임의의 m\ge n\ge 0에 대하여,
:
\begin{align}d(x_m,x_n)
&\le\sum_{i=n}^{m-1}d(x_{i+1},x_i)\\
&\le\sum_{i=n}^{m-1}\alpha^id(x_1,x_0)\\
&\le\frac{\alpha^n}{1-\alpha}d(x_1,x_0)
\end{align}

이다. 즉, (x_n)_{n=0}^\infty는 코시 열이며, 어떤 점 x^*\in X로 수렴한다. 그렇다면, T가 연속 함수이므로
:T(x^*)=\lim_{n\to\infty}T(x_n)=\lim_{n\to\infty}x_{n+1}=x^*
이며, x^*는 T의 고정점이다.

반대로, x^{**}\in X가 T의 고정점이라고 하자. 그렇다면,
:d(x^*,x^{**})=d(T(x^*),T(x^{**}))\le Cd(x^*,x^{**})
이므로
:d(x^*,x^{**})=0
이다. 즉, x^*=x^{**}이다.

우선, 임의의 x,y\in X에 대하여,
:d(x,y)\le d(x,T(x))+d(T(x),T(y))+d(T(y),y)\le d(x,T(x))+\alpha d(x,y)+d(T(y),y)
이므로
:d(x,y)\le\frac 1{1-\alpha}(d(x,T(x))+d(T(y),y))
이다. 특히, x,y가 모두 T의 고정점일 경우 d(x,y)=0이다.

이제, 임의의 m,n\ge 0에 대하여
:
\begin{align}d(x_m,x_n)
&\le\frac 1{1-\alpha}(d(x_m,x_{m+1})+d(x_{n+1},x_n))\\
&\le\frac{\alpha^m+\alpha^n}{1-\alpha}d(x_0,x_1)
\end{align}

이다. 즉, (x_n)_{n=0}^\infty는 코시 열이며, 어떤 점 x^*으로 수렴한다. 그렇다면, Tx^*=x^*이며, 또한 다음이 성립한다.
:d(x^*,x_n)=\lim_{m\to\infty}d(x_m,x_n)\le\lim_{m\to\infty}\frac{\alpha^m+\alpha^n}{1-\alpha}d(x_0,x_1)=\frac{\alpha^n}{1-\alpha}d(x_0,x_1)

## 응용
바나흐 고정점 정리는 다음과 같은 명제들의 증명에서 사용할 수 있다.
* 피카르-린델뢰프 정리
* 음함수 정리

## 역
### Bessaga (1959)
집합 X 및 함수 T\colon X\to X 및 \alpha\in(0,1)이 주어졌다고 하자. 그렇다면, 다음이 성립한다.
* 만약 임의의 n\in\mathbb Z^+에 대하여, T^n의 고정점이 많아야 하나라면, T가 \alpha에 대한 축약 사상이 되는, X 위의 거리 함수 d가 존재한다.
* 만약 추가로 T^n이 고정점을 갖는 n\in\mathbb Z^+가 존재한다면, T가 \alpha에 대한 축약 사상이 되는, X 위의 완비 거리 함수 d가 존재한다.

### Hitzler; Seda (2001)
T<sub>1</sub> 공간 X 위의 함수 T\colon X\to X가 다음 두 조건을 만족시킨다고 하자.
* 유일한 고정점 x^*\in X을 갖는다.
* 임의의 x\in X에 대하여, 점렬 (T^n(x))_{n=0}^\infty이 x^*로 수렴한다.
그렇다면, T가 1/2에 대한 축약 사상이 되는, X 위의 완비 초거리 함수 d가 존재한다.

## 일반화
다양한 방향의 수많은 변형과 일반화가 존재한다.

### 축약 조건의 약화
#### ''n''번 합성이 축약 사상인 경우
완비 거리 공간 (X,d) 위의 함수 T\colon X\to X에 대하여, T^n이 축약 사상인 n\in\mathbb Z^+가 존재한다고 하자. 그렇다면, T는 유일한 고정점을 갖는다.

존재: 바나흐 고정점 정리에 따라, T^n은 유일한 고정점 x^*\in X을 갖는다.
:T^n(T(x^*))=T(T^n(x^*))=T(x^*)
이므로, T(x^*) 역시 T^n의 고정점이다. 따라서 T(x^*)=x^*이다.

유일성: T의 고정점은 T^n의 고정점이므로 x^*로 유일하다.

#### ''n''번 합성에 대한 상수의 급수가 수렴하는 경우
완비 거리 공간 (X,d) 위의 함수 T\colon X\to X에 대하여, 다음 두 조건을 만족시키는 수열 (\alpha_n)_{n=1}^\infty\subset[0,\infty)이 존재한다고 하자.
* 임의의 n\in\mathbb Z^+ 및 x,y\in X에 대하여, d(T^n(x),T^n(y))\le\alpha_nd(x,y)
* \textstyle\sum_{n=1}^\infty\alpha_n
그렇다면, T는 유일한 고정점을 갖는다.

바나흐 고정점 정리의 증명을 조금 수정한다.

#### 콤팩트 공간에서의 약화
축약 사상의 정의에서 상수 1을 취하고 부등식을 엄격한 부등식으로 대체할 경우, 보다 더 약한 조건을 얻는다. 바나흐 고정점 정리는 축약 조건을 이 조건으로 약화할 경우 거짓이 된다. 그러나 콤팩트 공간 조건을 추가할 경우 다시 참이다. (모든 콤팩트 거리 공간은 자동적으로 완비 거리 공간이다.)

구체적으로, 콤팩트 거리 공간 (X,d) 위의 함수 T\colon X\to X가 다음 조건을 만족시킨다고 하자.
* 임의의 x,y\in X에 대하여, 만약 x\ne y라면 d(T(x),T(y))
그렇다면, T는 유일한 고정점을 갖는다.

함수
:x\mapsto d(x,T(x))
가 연속 함수이므로, 콤팩트 조건에 따라 이 함수는 어떤 점 x^*\in X에서 최솟값을 갖는다. 특히
:d(T(x^*),T^2(x^*))\ge d(x^*,T(x^*))
이며, 따라서 x^*=T(x^*)이다.

#### 준축약 사상
거리 공간 (X,d) 위의 **준축약 사상**()은 다음 조건을 만족시키는 \alpha\in[0,1)이 존재하는 함수 T\colon X\to X이다.
* 임의의 x,y\in X에 대하여, d(T(x),T(y))\le\alpha\max\{d(x,y),d(x,T(x)),d(y,T(y)),d(x,T(y)),d(y,T(X))\}
완비 거리 공간 (X,d) 위의 준축약 사상 T\colon X\to X은 유일한 고정점을 갖는다.

#### 약축약 사상
거리 공간 (X,d) 위의 **약축약 사상**()은 다음 조건을 만족시키는 함수 \phi\colon[0,\infty)\to[0,\infty)가 존재하는 함수 T\colon X\to X이다.
* 임의의 x,y\in X에 대하여, d(T(x),T(y))\le d(x,y)-\phi(d(x,y))
* \phi는 연속 함수이며, 증가 함수이다.
* \phi^{-1}(0)=\{0\}
완비 거리 공간 (X,d) 위의 약축약 사상 T\colon X\to X은 유일한 고정점을 갖는다.

### 거리 공간의 일반화
유사 거리 공간 또는 직사각 거리 공간() 또는 뿔 거리 공간() 따위에서의 일반화가 존재한다.

## 예
### 비(非)완비 거리 공간에 대한 반례
(표준적인 거리 공간 구조를 갖춘) 구간 (0,1]\subset\mathbb R은 완비 거리 공간이 아니다. 그 위의 함수
:T\colon x\mapsto\frac 12x
는 축약 사상이지만, 고정점을 가지지 않는다.

### 비(非)콤팩트 공간에 대한, 축약 조건의 약화의 반례
(표준적인 거리 공간 구조를 갖춘) 실수 집합 \mathbb R은 완비 거리 공간이지만 콤팩트 공간이 아니다. 그 위의 함수
:T\colon x\mapsto\frac\pi 2+x-\arctan x
를 생각하자. 임의의 x\ne y에 대하여, 평균값 정리에 따라
:|T(x)-T(y)|=|x-y-\arctan x+\arctan y|=\frac{\xi^2}{1+\xi^2}|x-y|
:\xi\in(x,y)\cup(y,x)
이다. 그러나 T는 고정점을 가지지 않는다.

### 모든 축약 사상이 유일한 고정점을 가지는 비(非)완비 거리 공간
(표준적인 거리 공간 구조를 갖춘) 집합
:A=\{0\}\cup\bigcup_{n=1}^\infty A_n\subset\mathbb R^2
:A_n=\{(t,t/n)\colon t\in(0,1]\}
을 생각하자. 이는 \mathbb R^2의 닫힌집합이 아니므로 ((0,1)\not\in A) 완비 거리 공간이 아니지만, 모든 축약 사상이 유일한 고정점을 갖는다. 임의의 연속 함수 T\colon A\to A에 대하여, T의 고정점의 존재를 보이는 것으로 족하다. (이는 모든 축약 사상이 연속 함수이며, 축약 사상의 고정점은 많아야 하나이기 때문이다.) 만약 T(0)=0이라면, 0은 T의 고정점이다. 이제 n\in\mathbb Z^+에 대하여 T(0)\in A_n이라고 가정하자. 다음과 같이 정의하자.
:U\colon A_n\cup\{0\}\to A_n\cup\{0\}
:U\colon x\mapsto
\begin{cases}
T(x)&T(x)\in A_n\\
0&T(x)\not\in A_n
\end{cases}

그렇다면, U는 연속 함수이다. A_n\cup\{0\}이 콤팩트 볼록 집합이므로, U는 고정점 x^*\in A_n\cup\{0\}을 가진다. 또한, x^*\ne 0이며 T(x^*)=x^*임을 보일 수 있다. (만약 x^*=0이라면,
:U(0)=0\not\in A_n
이므로 T(0)\not\in A_n이 되어 모순이다. 그렇다면,
:U(x^*)=x^*\in A_n
이므로, T(x^*)\in A_n이며, 따라서
:T(x^*)=U(x^*)=x^*
이다.)

## 역사
스테판 바나흐가 1922년에 처음 서술하였다.

## 같이 보기
* 브라우어르 고정점 정리
* 축약 사상
## 각주

## 외부 링크
* 
* 

분류:계량기하학
분류:고정점 정리