巴拿赫不動點定理、稠密集與可分性

BANACH FIXED-POINT THEOREM.
Let (X, d) be a NON-EMPTY COMPLETE metric space and
T : X -> X a contraction with constant k, 0 <= k < 1.
Then T has exactly one fixed point p, and for any start x_0
the iterates x_{n+1} = T(x_n) converge to p.

PROOF.
Step 1 (consecutive gaps shrink geometrically).
  Let D = d(x_0, x_1).  Applying the contraction repeatedly,
      d(x_n, x_{n+1}) = d(T(x_{n-1}), T(x_n)) <= k * d(x_{n-1}, x_n),
  so by induction   d(x_n, x_{n+1}) <= k^n * D.

Step 2 (the orbit is Cauchy).
  For m > n, chain the triangle inequality across the gaps:
      d(x_n, x_m) <= d(x_n,x_{n+1}) + ... + d(x_{m-1}, x_m)
                  <= (k^n + k^{n+1} + ... + k^{m-1}) * D
                  <= k^n * (1 + k + k^2 + ...) * D
                  =  k^n * D / (1 - k).          [geometric series, k<1]
  Since k^n -> 0, the right side -> 0 as n -> infinity,
  so for every epsilon > 0 we can force d(x_n, x_m) < epsilon.
  Hence (x_n) is Cauchy.

Step 3 (a limit exists).
  X is complete, so x_n -> p for some p in X.

Step 4 (p is fixed).
  T is a contraction, hence continuous, so T(x_n) -> T(p).
  But T(x_n) = x_{n+1} -> p as well.
  Limits are unique, so T(p) = p.

Step 5 (uniqueness).
  Suppose T(p) = p and T(q) = q.  Then
      d(p, q) = d(T(p), T(q)) <= k * d(p, q).
  So (1 - k) * d(p, q) <= 0.  Since 1 - k > 0 and d >= 0,
  we get d(p, q) = 0, i.e. p = q.   QED