logo

바나흐 고정점 정리 증명 📂바나흐공간

바나흐 고정점 정리 증명

정의

  • $(X, \left\| \cdot \right\|)$를 바나흐 공간이라고 하자. 모든 $x, \tilde{x} \in X$ 와 $0 \le r < 1$ 에 대해 $\| T(x) - T ( \tilde{x} ) \| \le r \| x - \tilde{x} \|$ 를 만족하는 $T : X \to X$ 를 축소 사상contraction mapping이라 정의한다.

  • $T ( \alpha ) = \alpha$ 를 만족하는 $\alpha \in X$를 고정점이라 한다.

정리 1

$T$의 고정점은 유일하게 존재한다.

설명

바나흐 고정점 정리는 축소 사상 정리contraction mapping theorem라도 불리며, 힐베트르 공간을 상정하는 편미분방정식의 풀이나 주로 $\mathbb{R}^{n}$ 상에서의 메소드를 다루는 수치해석에서 요긴하게 쓰일 수 있다.

사실 증명에서 놈 자체는 필요하지는 않기 때문에 $X$는 바나흐 공간이 아니라 완비 거리공간에 대해 일반화 될 수 있다. 거리공간의 $(X , d)$ 의 거리를 $d (x,y) := \| x - y \|$ 와 같이 정의하면 정확히 같은 증명이 된다.

증명

  • Part 1. $T$ 의 연속성

    $\displaystyle \delta := {{\varepsilon} \over {2}}$ 이라고 하면

    $$ \| x - \tilde{x} \| < \delta = {{ \varepsilon } \over { 2 r }} $$

    $$ \implies \| T(x) - T ( \tilde{x} ) \| \le r \| x - \tilde{x} \| = {{\varepsilon } \over {2}} < \varepsilon $$

    따라서 $T$ 는 $X$ 에서 연속함수다.

  • Part 2. $\alpha$ 의 존재성

    시퀀스 $\left\{ x_{n} \right\}_{n \in \mathbb{N}}$ 을 $x_{n+1} := T ( x_{n} )$ 과 같이 정의하자. 그러면

    $$ \| x_{n} - x_{n-1} \| = \| T(x_{n-1} )- T(x_{n-2}) \| = r \| x_{n-1} - x_{n-2} \| $$

    재귀적으로 풀어내면

    $$ \begin{align*} \| x_{n} - x_{n-1} \| =& r \| x_{n-1} - x_{n-2} \| \\ =& r^2 \| x_{n-2} - x_{n-3} \| \\ \vdots& \\ =& r^{n-1} \| x_{1} - x_{0} \| \end{align*} $$

    이제 $n, m, k \in \mathbb{N}$ 에 대해 $n = m + k$ 라고 하면 삼각부등식에 의해

    $$ \begin{align*} \| x_{n} - x_{m} \| =& \| x_{m+k} - x_{m} \| \\ \le & \| x_{m+k} - x_{m+(k-1) } \| + \cdots + \| x_{m+k} - x_{m+(k-1) } \| \\ \le & \| x_{m+1} - x_{m } \| \left( 1 + r + \cdots + r^{k} \right) \\ \le & \| x_{m+1} - x_{m } \| {{1 - r^{k}} \over {1 - r}} \\ \le & \| x_{m+1} - x_{m } \| {{1 } \over {1 - r}} \\ \le & {{ r^{m-1} } \over {1 - r}} \| x_{1} - x_{0} \| \end{align*} $$

    따라서 $\left\{ x_{n} \right\}_{n \in \mathbb{N}}$ 는 코시 시퀀스다. $X$ 는 바나흐 공간이므로, $n \to \infty$ 일 때 $x_{n}$ 는 어떤 $\alpha \in X$ 로 수렴함을 알 수 있다. 위의 Part 1. 에서 $T$ 는 연속이므로

    $$ \begin{align*} T ( \alpha ) =& T \left( \lim_{n \to \infty } x_{n} \right) = \lim_{n \to \infty } T(x_{n} ) \\ =& \lim_{n \to \infty } x_{n+1} \\ =& \alpha \end{align*} $$

    이고, $\alpha$ 는 $T$ 의 고정점이다.

  • Part 3. $\alpha$ 의 유일성

    $\beta \in X$ 또한 $T$ 의 고정점이라고 하자.

    $$ \| \alpha - \beta \| \le \| T( \alpha ) - T ( \beta ) \| \le r \| \alpha - \beta \| $$

    $$ \implies (1 - r ) \| \alpha - \beta \| \le 0 $$

    $$ \implies \| \alpha - \beta \| \le 0 $$

    $$ \implies \alpha = \beta $$

    따라서 $T$ 의 고정점 $\alpha \in X$ 는 유일하다.

혹은 바나흐 공간은 거리 공간이므로 하우스도르프 공간이고, 하우스도르프 공간에서는 시퀀스가 유일하게 수렴한다고 해도 좋다.


  1. Kreyszig. (1989). Introductory Functional Analysis with Applications: p300~302. ↩︎