فضای متریک محدب (Convex Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک محدب (Convex Metric Space) :
تعریف: یک فضای متریک
\[ (X, d) \]محدب (Convex) نامیده می شود اگر برای هر دو نقطه
\[ x, y \in X \]با
\[ x \neq y \]، نقطه سومی مانند
\[ z \in X \]،
\[ z \neq x, y \]، وجود داشته باشد به طوری که:
\[ d(x, y) = d(x, z) + d(z, y) \]یعنی
\[ z \]روی یک ژئودزیک (کوتاه ترین مسیر) بین
\[ x \]و
\[ y \]قرار دارد.
توضیح مفهومی: این مفهوم تعمیم طبیعی تحدب در فضاهای اقلیدسی به فضاهای متریک عمومی است. در یک فضای متریک محدب، بین هر دو نقطه می توان نقاط میانی یافت. توجه کنید که این تعریف با تحدب در فضاهای برداری متفاوت است: در فضاهای برداری، تحدب مجموعه ها مطرح است، در حالی که اینجا تحدب خود فضا مطرح است.
ویژگی های اصلی:
هر فضای ژئودزیکی، محدب است (زیرا در ژئودزیک ها می توان نقاط میانی یافت).
عکس آن درست نیست: یک فضای محدب لزوما ژئودزیکی نیست، زیرا ممکن است نقاط میانی وجود داشته باشند اما ژئودزیک کامل وجود نداشته باشد.
در فضاهای محدب، متریک پیوسته است و گوی ها همبند هستند.
اگر فضا محدب و کامل باشد، آن گاه ژئودزیکی است (تحت شرایطی).
مثال های مهم:
فضاهای اقلیدسی:
\[ \mathbb{R}^n \]با متر اقلیدسی محدب است.
فضاهای هذلولوی: محدب هستند.
کره
\[ S^n \]: با متر طول کمان محدب نیست، زیرا برای نقاط متقابل، هیچ نقطه میانی ای روی کره (با طول کمان کمتر از
\[ \pi \]) وجود ندارد.
درخت ها: محدب هستند (در درخت، بین هر دو نقطه یک مسیر یکتا وجود دارد و می توان نقطه میانی یافت).
نقاط میانی: وجود نقطه میانی برای هر دو نقطه، خاصیت قوی تری از وجود ژئودزیک است. در واقع وجود نقطه میانی به همراه کامل بودن، وجود ژئودزیک را تضمین می کند.
قضیه: (مونگر) اگر
\[ (X, d) \]یک فضای متریک محدب و کامل باشد، آن گاه یک فضای طولی (طول) است و بین هر دو نقطه یک ژئودزیک وجود دارد.
کاربردها: فضاهای محدب در هندسه متریک (برای مطالعه فضاهای با انحنای محدود)، آنالیز محدب (تعمیم به فضاهای متریک)، و نظریه نقطه ثابت کاربرد دارند.
تحدب در فضاهای برداری نرم دار: در فضاهای نرم دار، تحدب فضا (به عنوان فضای متریک) با خاصیت تحدب نرم ارتباط دارد. اگر نرم به طور یکنواخت محدب باشد، فضا به عنوان فضای متریک محدب است.
📌 مثال ساده:
\[ \mathbb{R} \]با متر
\[ d(x, y) = |x - y| \]محدب است: بین
\[ x \]و
\[ y \]، نقطه
\[ (x+y)/2 \]قرار دارد و
\[ |x-y| = |x - (x+y)/2| + |(x+y)/2 - y| \].
\[ X = \mathbb{R}^2 \setminus \{0\} \]با متر اقلیدسی محدب نیست، زیرا بین نقاط
\[ (1,0) \]و
\[ (-1,0) \]نقطه میانی
\[ (0,0) \]در فضا نیست، و هیچ نقطه دیگری نمی تواند در مسیر مستقیم باشد.
