نظریه نقطه ثابت باناخ

در ریاضیات، **قضیه نقطه ثابت باناخ**(همچنین به عنوان **قضیه نگاشت انقباضی** یا **قضیه نگاشت انقباضی** یا **قضیه باناخ کاچیوپولی** نیز شناخته می‌شود) ابزار مهمی در نظریه فضاهای متریک است. این نظریه وجود و منحصر به فرد بودن نقاط ثابت برخی از خود نگاشت های فضاهای متریک را تضمین می‌کند و روشی سازنده برای یافتن آن نقاط ثابت ارائه می‌دهد. می‌توان آن را به عنوان یک فرمول انتزاعی از روش پیکارد برای تقریب‌های متوالی درک کرد. این قضیه به افتخار استفان باناخ (۱۸۹۲–۱۹۴۵) که اولین بار آن را در سال ۱۹۲۲ بیان کرد، نامگذاری شده‌است.

## شرح مسئله
*تعریف.* فرض کنید (X, d) یک فضای متریک باشد. سپس یک نگاشت T : X \to X در صورت وجود، نگاشت انقباضی روی *X* نامیده می‌شود q \in [0, 1) به طوری کهː

d(T(x),T(y)) \le q d(x,y)

برای همه x, y \in X.

**قضیه نقطه ثابت باناخ.** اجازه دهید (X, d) یک فضای متریک کامل غیر خالی با نگاشت انقباضی T : X \to X باشد سپس *T* یک نقطه ثابت منحصر به فرد x^*  در *X* (یعنی T(x^*) = x^*) را می‌پذیرد. علاوه بر این، x^* را می‌توان به صورت زیر یافت: با یک عنصر دلخواه x_0 \in X شروع کنید و یک دنباله (x_n)_{n\in\mathbb N} توسط x_n = T(x_{n-1}) برای n \geq 1 تعریف کنید سپس نشان دهید\lim_{n \to \infty} x_n = x^*.

*تبصره ۱.* نابرابری‌های زیر معادل هستند و سرعت همگرایی را توصیف می‌کنند:


\begin{align}
d(x^*, x_n) & \leq \frac{q^n}{1-q} d(x_1,x_0), \\
d(x^*, x_{n+1}) & \leq \frac{q}{1-q} d(x_{n+1},x_n), \\
d(x^*, x_{n+1}) & \leq q d(x^*,x_n).
\end{align}


هر مقداری مانند *q* با ویژگی فوق را *[[پیوستگی لیپ‌شیتس|ثابت لیپشیتز]]* برای T می‌نامند و کوچک‌ترین آنها را گاهی «بهترین ثابت لیپشیتز» برای T می‌نامند.

*تبصره ۲.* به‌طور کلی برای اطمینان از وجود یک نقطه ثابت، شرط d(T(x),T(y)) برای همه x \neq y، کافی نیست، همان‌طور که توسط نگاشت نشان داده شده‌است:

T : [1,\infty) \to [1,\infty), \,\, T(x)=x+\tfrac{1}{x}\,,

که فاقد نقطه ثابت است. با این حال، اگر X فشرده است، پس این فرض ضعیف‌تر دلالت بر وجود و منحصربه‌فرد بودن یک نقطه ثابت دارد که به راحتی می‌توان آن را به‌عنوان کمینه‌کننده d(x,T(x)) پیدا کرد. در واقع، یک مینیمم کننده با فشردگی وجود دارد و باید یک نقطه T ثابت باشد. سپس به راحتی نتیجه می‌گیرد که نقطه ثابت حد هر دنباله ای از تکرار T است.

*تبصره ۳.* هنگام استفاده از قضیه در عمل، معمولاً دشوارترین بخش به درستی تعریف کردن X است بطوریکه T(X) \subseteq X.

## اثبات
اجازه دهید x_0 \in X دلخواه باشد و دنباله ای بصورت (x_n)_{n\in\mathbb N} را با فرض *x <sub>n</sub>* = *T* (*x* *n-* 1) تعریف کنید. ما ابتدا توجه داریم که برای همه n \in \N, نابرابری زیر را داریم.

d(x_{n+1}, x_n) \le q^n d(x_1, x_0).

این نتیجه استقراء بر روی *n* با فرض این واقعیت که *T* یک نگاشت انقباضی است. سپس می‌توانیم نشان دهیم (x_n)_{n\in\mathbb N} یک دنباله کوشی است. به‌طور خاص، اجازه دهید m, n \in \N به طوری که *m* > *n*:

\begin{align}
d(x_m, x_n) & \leq d(x_m, x_{m-1}) + d(x_{m-1}, x_{m-2}) + \cdots + d(x_{n+1}, x_n) \\
& \leq q^{m-1}d(x_1, x_0) + q^{m-2}d(x_1, x_0) + \cdots + q^nd(x_1, x_0) \\
& = q^n d(x_1, x_0) \sum_{k=0}^{m-n-1} q^k \\
& \leq q^n d(x_1, x_0) \sum_{k=0}^\infty q^k \\
& = q^n d(x_1, x_0) \left ( \frac{1}{1-q} \right ).
\end{align}

اجازه دهید ε > ۰ دلخواه باشد. از آنجایی که *q* ∈ [۰، ۱)، می‌توانیم یک N \in \N بزرگ پیدا کنیم  به طوری کهː

q^N 

بنابراین، با انتخاب *m* و *n* بزرگتر از *N* می‌توانیم بنویسیم:

d(x_m, x_n) \leq q^n d(x_1, x_0) \left ( \frac{1}{1-q} \right ) 

این ثابت می‌کند که دنباله (x_n)_{n\in\mathbb N} کوشی است. با کامل بودن ( *X*, *d* )، دنباله دارای حد x^* \in X است  علاوه بر این، x^* باید نقطه ثابت *T* باشد:

x^*=\lim_{n\to\infty} x_n = \lim_{n\to\infty} T(x_{n-1}) = T\left(\lim_{n\to\infty} x_{n-1} \right) = T(x^*). 

به عنوان یک نگاشت انقباضی، *T* پیوسته‌است، بنابراین آوردن حد در داخل *T* موجه بود. در نهایت، *T* نمی‌تواند بیش از یک نقطه ثابت در (*X*, *d*) داشته باشد، زیرا هر جفت نقطه ثابت متمایز *p <sub>1</sub>* و *p <sub>2</sub>* با انقباض *T* در تضاد است:

 d(T(p_1),T(p_2)) = d(p_1,p_2) > q d(p_1, p_2).

## یادداشت

## رده

رده:توپولوژی
رده:هندسه متریک
رده:قضایای نقطه ثابت
رده:مقاله‌های دربردارنده برهان