فضای متریک نقاط ثابت (Fixed Point Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک نقاط ثابت (Fixed Point Metric Space) :
تعریف: این مفهوم معمولا به فضاهای متریکی اشاره دارد که در آنها قضایای نقطه ثابت (مانند قضیه انقباض باناخ) برقرار است. اما گاهی به طور خاص به فضاهایی گفته می شود که برای مطالعه نقاط ثابت نگاشت ها طراحی شده اند، مانند فضاهای متریک با خاصیت نقطه ثابت (fixed point property). یک فضای متریک
\[ X \]دارای خاصیت نقطه ثابت است اگر هر نگاشت انقباضی (contraction) روی
\[ X \]یک نقطه ثابت داشته باشد.
خاصیت نقطه ثابت: هر نگاشت
\[ f: X \to X \]با
\[ d(f(x), f(y)) \leq k d(x, y) \]،
\[ 0 \leq k < 1 \]، یک نقطه ثابت دارد.
توضیح مفهومی: قضیه نقطه ثابت باناخ یکی از مهم ترین قضایای آنالیز تابعی است. این قضیه می گوید هر انقباض روی یک فضای متریک کامل یک نقطه ثابت یکتا دارد. فضاهای متریک کامل این خاصیت را دارند. اما فضاهای ناکامل ممکن است این خاصیت را نداشته باشند (مثلا
\[ (0,1) \]با
\[ f(x)=x/2 \]نقطه ثابت ندارد).
ویژگی های اصلی:
فضاهای متریک کامل دارای خاصیت نقطه ثابت برای انقباضها هستند (قضیه باناخ).
فضاهای متریک فشرده نیز دارای خاصیت نقطه ثابت برای نگاشت های ناانبساطی (nonexpansive) هستند (قضیه براور).
فضاهای هایپرکانوکس (مانند
\[ l^\infty \]) نیز دارای خاصیت نقطه ثابت هستند.
برخی فضاها مانند گوی واحد در
\[ c_0 \](دنباله های همگرا به صفر) دارای خاصیت نقطه ثابت نیستند.
انواع قضایای نقطه ثابت:
قضیه باناخ (انقباض).
قضیه براور (برای توابع پیوسته روی گوی های بسته در
\[ \mathbb{R}^n \]).
قضیه شاودر (برای عملگرهای فشرده در فضاهای باناخ).
قضیه کارتیستي (در فضاهای مرتب).
کاربردها: قضایای نقطه ثابت در اثبات وجود جواب برای معادلات دیفرانسیل، معادلات انتگرالی، معادلات دیفرانسیل با مشتقات جزئی، و در اقتصاد ریاضی (نظریه تعادل) کاربرد دارند.
📌 مثال ساده:
\[ X = [0,1] \]با متر
\[ d(x,y)=|x-y| \]کامل است.
\[ f(x) = x/2 \]یک انقباض با
\[ k=1/2 \]است و نقطه ثابت
\[ x=0 \]دارد.
\[ X = (0,1) \]ناکامل است.
\[ f(x) = x/2 \]نقطه ثابت
\[ x=0 \]دارد که در
\[ X \]نیست. پس خاصیت نقطه ثابت برای انقباضها در
\[ (0,1) \]برقرار نیست.
