فضای متریک جزئا مرتب (Partially Ordered Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک جزئا مرتب (Partially Ordered Metric Space) :
تعریف: یک فضای متریک جزئا مرتب، یک فضای متریک
\[ (X, d) \]همراه با یک رابطه ترتیب جزئی
\[ \preceq \]روی
\[ X \]است که معمولا با متریک سازگار است. این سازگاری اغلب به این معناست که اگر
\[ x \preceq y \preceq z \]، آن گاه
\[ d(x, z) \geq d(x, y) \]و
\[ d(x, z) \geq d(y, z) \]، یا شرایطی از این دست.
ترتیب جزئی: یک رابطه ترتیب جزئی
\[ \preceq \]روی
\[ X \]، رابطه ای است که سه ویژگی دارد:
بازتابی:
\[ x \preceq x \]برای هر
\[ x \]تضادنی: اگر
\[ x \preceq y \]و
\[ y \preceq x \]، آن گاه
\[ x = y \]تعدی: اگر
\[ x \preceq y \]و
\[ y \preceq z \]، آن گاه
\[ x \preceq z \]توضیح مفهومی: در بسیاری از مسائل، علاوه بر فاصله، یک ساختار ترتیبی نیز روی مجموعه وجود دارد. مثلا در نظریه بازی ها، برخی راه حل ها ممکن است "بهتر" از دیگران باشند. در اقتصاد، کالاها قابل مقایسه هستند. در آنالیز، توابع را می توان نقطه به نقطه مقایسه کرد. ترکیب متریک و ترتیب به ما امکان می دهد قضایای نقطه ثابت قوی تری اثبات کنیم.
سازگاری متریک و ترتیب: شرایط مختلفی برای سازگاری متریک و ترتیب وجود دارد. رایج ترین آنها عبارتند از:
یکنوایی متر: اگر
\[ x \preceq y \preceq z \]، آن گاه
\[ d(x, y) \leq d(x, z) \]و
\[ d(y, z) \leq d(x, z) \]خاصیت بازه ای: هر بازه
\[ [a, b] = \{x: a \preceq x \preceq b\} \]مجموعه ای بسته در متریک است
پیوستگی ترتیب: اگر
\[ x_n \to x \]و
\[ y_n \to y \]و
\[ x_n \preceq y_n \]برای همه
\[ n \]، آن گاه
\[ x \preceq y \]کاربرد در قضایای نقطه ثابت: مهم ترین کاربرد این فضاها در اثبات وجود و یکتایی نقاط ثابت برای توابع است. قضایایی مانند قضیه نقطه ثابت Banach در فضاهای متریک معمولی، در فضاهای جزئا مرتب با شرایط یکنوایی تعمیم می یابند. این تعمیم ها به ویژه برای توابعی که لزوما انقباضی نیستند اما خاصیت یکنوایی دارند، مفیدند.
قضیه نقطه ثابت ندر: یکی از نتایج مهم در این زمینه، قضیه ندر (Nadler) است که وجود نقاط ثابت را برای توابع چندمقداری در فضاهای متریک جزئا مرتب بررسی می کند.
مثال های مهم:
اعداد حقیقی:
\[ (\mathbb{R}, |\cdot|, \leq) \]یک فضای متریک جزئا مرتب است.
فضاهای تابعی: فضای توابع پیوسته با ترتیب نقطه به نقطه و متر یکنواخت.
فضاهای برداری با مخروط: در فضاهای باناخ با یک مخروط، می توان ترتیب جزئی تعریف کرد.
📌 مثال ساده:
\[ X = \mathbb{R}^2 \]با متر اقلیدسی و ترتیب
\[ x \preceq y \iff x_1 \leq y_1 \text{ and } x_2 \leq y_2 \](ترتیب مؤلفه ای). این یک فضای متریک جزئا مرتب است. در این فضا، اگر
\[ x \preceq y \preceq z \]، آن گاه
\[ d(x, y) \leq d(x, z) \]برقرار است.
