4.1-定理敘述與證明

巴拿赫不動點定理（Banach Fixed-Point Theorem）#

巴拿赫不動點定理，也稱為壓縮映射不動點定理，是數學中一個重要的結果，尤其在數值分析、解方程和迭代方法中具有廣泛應用。這一定理指出，在適當的條件下，壓縮映射在完備距離空間中具有唯一的不動點。

1. 定理敘述#

巴拿赫不動點定理：
設 \((X, d)\) 是一個完備的度量空間，並且 \(f: X \to X\) 是一個壓縮映射，即存在常數 \(0 \leq c < 1\) 使得對所有 \(x, y \in X\) ，有
[ d(f(x), f(y)) \leq c \cdot d(x, y) ] 那麼， \(f\) 在 \(X\) 中恆有唯一的不動點 \(x^*\) ，即存在一個 \(x^* \in X\) 使得
[ f(x^) = x^. ] 此外，對於任意 \(x_0 \in X\) ，通過反覆應用 \(f\) ，對應的序列 \(x_{n+1} = f(x_n)\) 會收斂於這個不動點 \(x^*\) ，並且滿足
[ \lim_{n \to \infty} x_n = x^*. ]

2. 定理中的關鍵概念#

• 完備度量空間：度量空間 \((X, d)\) 是完備的，指的是 \(X\) 中每個柯西序列都有極限點，並且這個極限點屬於 \(X\) 。
• 壓縮映射：映射 \(f\) 是壓縮的，若存在常數 \(c \in [0, 1)\) 使得對於所有 \(x, y \in X\) ，有
  [ d(f(x), f(y)) \leq c \cdot d(x, y), ] 這意味著 \(f\) 縮小了點之間的距離，並且越遠的點，映射之後的距離縮小得越多。

3. 證明#

證明巴拿赫不動點定理的基本思想是利用壓縮映射的性質，逐步迭代並證明收斂。具體的證明過程如下：

步驟 1：構造迭代序列#

設定初始點 \(x_0 \in X\) ，並定義迭代序列 \(\{x_n\}\) 使得
[ x_{n+1} = f(x_n) \quad \text{對於} \ n = 0, 1, 2, \dots ] 我們希望證明這個序列收斂於不動點 \(x^*\) 。

步驟 2：證明序列的收斂性#

首先，對於任意的 \(m, n \in \mathbb{N}\) ，利用壓縮映射的性質，我們可以得到
[ d(x_{n+1}, x_{n}) = d(f(x_n), f(x_{n-1})) \leq c \cdot d(x_n, x_{n-1}). ] 同理，我們可以得出
[ d(x_{n+1}, x_0) \leq c^{n+1} \cdot d(x_0, x_0) = 0. ] 這樣推斷下去。