Принцип сжимающих отображений

Последовательности

Определение 1. Последовательность $$\{x_n\}_{n=1}^{\infty}$$, где все $$x_n \in M$$, называется сходящейся к элементу $$x \in M$$, если

\[ \lim_{n \to \infty} d(x_n, x) = 0. \]

Определение 2. Последовательность $$\{x_n\}_{n=1}^{\infty}$$, где все $$x_n \in M$$, называется фундаментальной (последовательностью Коши), если

\[ \lim_{m,n \to \infty} d(x_n, x_m) = 0, \]

то есть

\[ \forall \varepsilon > 0 \ \exists N = N(\varepsilon) : \forall n, m > N \quad d(x_n, x_m) < \varepsilon. \]

Определение 3. Метрическое пространство $$M$$ называется полным, если всякая фундаментальная последовательность сходится в $$M$$.

Отображения

Пусть $$X$$ и $$Y$$ — метрические пространства.

Определение 4. Отображение $$f : X \to Y$$ называется непрерывным в точке $$x \in X$$, если для любой последовательности $$\{x_n\}$$, сходящейся к $$x$$, выполняется

\[ x_n \to x \;\Rightarrow\; f(x_n) \to f(x). \]

Определение 5. Отображение $$f : M \to M$$ называется сжимающим, если существует число $$\alpha \in (0,1)$$ такое, что

\[ d(f(x), f(y)) \le \alpha\, d(x, y), \qquad \forall x, y \in M. \]

Теорема о сжимающих отображениях

Теорема (принцип сжимающих отображений). У любого сжимающего отображения, действующего в полном метрическом пространстве, существует и притом единственная неподвижная точка.

Доказательство. Пусть $$M$$ — полное метрическое пространство, $$f : M \to M$$ — сжимающее отображение. Возьмём произвольный $$x_0 \in M$$ и построим последовательность $$x_{n+1} = f(x_n)$$.

Так как (для определённости полагаем $$n > m$$)

\[ d(x_{n+1}, x_n) \le \alpha d(x_n, x_{n-1}) \le \dots \le \alpha^n d(x_1, x_0), \]

то

\[ d(x_n, x_m) \le d(x_n, x_{n-1}) + \dots + d(x_{m+1}, x_m) \le (\alpha^{\,n-1} + \dots + \alpha^{\,m}) d(x_1, x_0) \le \frac{\alpha^{\,m}}{1 - \alpha}\, d(x_1, x_0), \]

следовательно, эта последовательность фундаментальна. Поскольку пространство $$M$$ полно, существует её предел $$x$$.

Переходя к пределу в равенстве $$x_{n+1} = f(x_n)$$, получаем $$x = f(x)$$. Легко видеть, что другой неподвижной точки быть не может. Теорема доказана.

Замечание. Скорость сходимости:

\[ d(x_n, x) \le \alpha^n\, \frac{d(x_1, x_0)}{1 - \alpha}. \]

Теоремы о сжимающих отображениях

Теорема. Пусть $$M$$ — полное метрическое пространство, $$f : M \to M$$, $$f^m$$ — сжимающее при некотором $$m \in \mathbb{N}$$. Тогда $$\exists !\, x \in M : f(x) = x$$.

Доказательство. В силу принципа сжимающих отображений $$\exists !\, x \in M : f^{\,m}(x) = x$$. Но тогда

\[ d(f(x), x) = d(f(f^{\,m}(x)), f^{\,m}(x)) = d(f^{\,m}(f(x)), f^{\,m}(x)) \le \alpha\, d(f(x), x) \;\Rightarrow\; d(f(x), x) = 0. \]

Единственность вытекает из того, что если $$x$$ — неподвижная точка для $$f$$, то она неподвижная и для $$f^{\,m}$$. Теорема доказана.

Теорема. Пусть $$M$$ — полное метрическое пространство, $$f : \overline{B(x_0, r)} \to M$$, $$f$$ — сжимающее на $$\overline{B(x_0, r)}$$ и $$d(f(x_0), x_0) \le (1 - \alpha) r$$. Тогда $$\exists !\, x \in \overline{B(x_0, r)} : f(x) = x$$.

Достаточно заметить, что $$f : \overline{B(x_0, r)} \to \overline{B(x_0, r)}$$:

\[ d(f(x), x_0) \le d(f(x), f(x_0)) + d(f(x_0), x_0) \le \alpha d(x, x_0) + (1 - \alpha) r \le r , \]

и взять $$\overline{B(x_0, r)}$$ в качестве полного метрического пространства.

Замечание. Если вместо неравенства \[ d(f(x), f(y)) \le \alpha d(x, y) \] выполнено лишь строгое неравенство $$d(f(x), f(y)) < d(x, y), \; x \ne y,$$ то неподвижной точки может и не быть.

Пример. $$M = [1, +\infty),\quad d(x, y) = |x - y|,\quad f(x) = x + 1/x.$$

Теорема о неподвижной точке в компактном пространстве

Определение. Метрическое пространство называется компактным, если из любой последовательности его элементов можно выделить сходящуюся подпоследовательность.

Теорема. Пусть $$M$$ — полное метрическое и компактное пространство, $$f : M \to M$$, и выполнено строгое сжатие

\[ d(f(x), f(y)) < d(x, y) \quad \forall\, x, y \in M,\; x \ne y. \]

Тогда $$\exists !\, x \in M : f(x) = x.$$

Доказательство. Обозначим

\[ d_0 = \inf_{x \in M} d(f(x), x) \ge 0. \]

Если $$d_0 = 0$$, то $$\exists\, x_n \in M :\; d(f(x_n), x_n) \to 0.$$ В силу компактности $$\exists\, x_{n_k} \to x \in M$$. Легко убедиться, что $$f(x) = x.$$

Если $$d_0 > 0$$, то, рассуждая аналогично, находим $$x_0 :\; d(f(x_0), x_0) = d_0$$. Но тогда

\[ d_0 = d(f(f(x_0)), f(x_0)) < d(f(x_0), x_0) = d_0, \]

что является противоречием.

Единственность легко доказывается от противного:

\[ d(x, \tilde{x}) = d(f(x), f(\tilde{x})) < d(x, \tilde{x}). \]

Теорема доказана.