바나흐 고정점 정리

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

정의

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

• 임의의 $x,y\in X$에 대하여, $d(T(x),T(y))\le \alpha d(x,y)$

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

사실, 임의의 $x_0\in X$에 대하여, 반복 점렬 $(x_n=T^n(x_0){)}_{n=0}^{\mathrm{\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{array}{cc}d(x_{n+1},x_n)& =d(T(x_n),T(x_{n-1}))\\ & \le \alpha d(x_n,x_{n-1})\\ & \le {\alpha }^{2}d(x_{n-1},x_{n-2})\\ & ⋮\\ & \le {\alpha }^{n}d(x_1,x_0)\end{array}$

따라서, 임의의 $m\ge n\ge 0$에 대하여,

$\begin{array}{cc}d(x_m,x_n)& \le \sum _{i=n}^{m-1}d(x_{i+1},x_i)\\ & \le \sum _{i=n}^{m-1}{\alpha }^{i}d(x_1,x_0)\\ & \le \frac{{\alpha }^n}{1-\alpha }d(x_1,x_0)\end{array}$

이다. 즉, $(x_n{)}_{n=0}^{\mathrm{\infty }}$는 코시 열이며, 어떤 점 $x^{*}\in X$로 수렴한다. 그렇다면, $T$가 연속 함수이므로

$T(x^{*})=\underset{n\to \mathrm{\infty }}{\lim }T(x_n)=\underset{n\to \mathrm{\infty }}{\lim }{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{array}{cc}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{array}$

이다. 즉, $(x_n{)}_{n=0}^{\mathrm{\infty }}$는 코시 열이며, 어떤 점 $x^{*}$으로 수렴한다. 그렇다면, $T{x}^{*}=x^{*}$이며, 또한 다음이 성립한다.

$d(x^{*},x_n)=\underset{m\to \mathrm{\infty }}{\lim }d(x_m,x_n)\le \underset{m\to \mathrm{\infty }}{\lim }\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: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₁ 공간 $X$ 위의 함수 $T:X\to X$가 다음 두 조건을 만족시킨다고 하자.

• 유일한 고정점 $x^{*}\in X$을 갖는다.
• 임의의 $x\in X$에 대하여, 점렬 $(T^n(x){)}_{n=0}^{\mathrm{\infty }}$이 $x^{*}$로 수렴한다.

그렇다면, $T$가 1/2에 대한 축약 사상이 되는, $X$ 위의 완비 초거리 함수 $d$가 존재한다.

일반화

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

축약 조건의 약화

n번 합성이 축약 사상인 경우

완비 거리 공간 $(X,d)$ 위의 함수 $T: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:X\to X$에 대하여, 다음 두 조건을 만족시키는 수열 $({\alpha }_n{)}_{n=1}^{\mathrm{\infty }}\subset [0,\mathrm{\infty })$이 존재한다고 하자.

• 임의의 $n\in {\mathbb{Z}}^{+}$ 및 $x,y\in X$에 대하여, $d(T^n(x),T^n(y))\le {\alpha }_{n}d(x,y)$
• ${\sum }_{n=1}^{\mathrm{\infty }}{\alpha }_n<\mathrm{\infty }$

그렇다면, $T$는 유일한 고정점을 갖는다. 틀:증명 바나흐 고정점 정리의 증명을 조금 수정한다. 틀:증명 끝

콤팩트 공간에서의 약화

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

구체적으로, 콤팩트 거리 공간 $(X,d)$ 위의 함수 $T:X\to X$가 다음 조건을 만족시킨다고 하자.

• 임의의 $x,y\in X$에 대하여, 만약 $x\ne y$라면 $d(T(x),T(y))<d(x,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)$ 위의 준축약 사상(틀:Llang)은 다음 조건을 만족시키는 $\alpha \in [0,1)$이 존재하는 함수 $T: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:X\to X$은 유일한 고정점을 갖는다.

약축약 사상

거리 공간 $(X,d)$ 위의 약축약 사상(틀:Llang)은 다음 조건을 만족시키는 함수 $\varphi :[0,\mathrm{\infty })\to [0,\mathrm{\infty })$가 존재하는 함수 $T:X\to X$이다.

• 임의의 $x,y\in X$에 대하여, $d(T(x),T(y))\le d(x,y)-\varphi (d(x,y))$
• $\varphi$는 연속 함수이며, 증가 함수이다.
• ${\varphi }^{-1}(0)=\{0\}$

완비 거리 공간 $(X,d)$ 위의 약축약 사상 $T:X\to X$은 유일한 고정점을 갖는다.

거리 공간의 일반화

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

예

비(非)완비 거리 공간에 대한 반례

(표준적인 거리 공간 구조를 갖춘) 구간 $(0,1]\subset ℝ$은 완비 거리 공간이 아니다. 그 위의 함수

$T:x\mapsto \frac{1}{2}x$

는 축약 사상이지만, 고정점을 가지지 않는다.

비(非)콤팩트 공간에 대한, 축약 조건의 약화의 반례

(표준적인 거리 공간 구조를 갖춘) 실수 집합 $ℝ$은 완비 거리 공간이지만 콤팩트 공간이 아니다. 그 위의 함수

$T: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|<|x-y|$

$\xi \in (x,y)\cup (y,x)$

이다. 그러나 $T$는 고정점을 가지지 않는다.

모든 축약 사상이 유일한 고정점을 가지는 비(非)완비 거리 공간

(표준적인 거리 공간 구조를 갖춘) 집합

$A=\{0\}\cup \bigcup _{n=1}^{\mathrm{\infty }}{A}_n\subset {ℝ}^2$

$A_n=\{(t,t/n):t\in (0,1]\}$

을 생각하자. 이는 ${ℝ}^2$의 닫힌집합이 아니므로 ($(0,1)\in ̸A$) 완비 거리 공간이 아니지만, 모든 축약 사상이 유일한 고정점을 갖는다. 임의의 연속 함수 $T:A\to A$에 대하여, $T$의 고정점의 존재를 보이는 것으로 족하다. (이는 모든 축약 사상이 연속 함수이며, 축약 사상의 고정점은 많아야 하나이기 때문이다.) 만약 $T(0)=0$이라면, 0은 $T$의 고정점이다. 이제 $n\in {\mathbb{Z}}^{+}$에 대하여 $T(0)\in A_n$이라고 가정하자. 다음과 같이 정의하자.

$U:A_n\cup \{0\}\to A_n\cup \{0\}$

$U:x\mapsto \{\begin{array}{cc}T(x)& T(x)\in A_n\\ 0& T(x)\in ̸A_n\end{array}$

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

$U(0)=0\in ̸A_n$

이므로 $T(0)\in ̸A_n$이 되어 모순이다. 그렇다면,

$U(x^{*})=x^{*}\in A_n$

이므로, $T(x^{*})\in A_n$이며, 따라서

$T(x^{*})=U(x^{*})=x^{*}$

이다.)

역사

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

같이 보기

• 브라우어르 고정점 정리
• 축약 사상

외부 링크

• 틀:Eom
• 틀:매스월드