فضای متریک روی مجموعه های محدب (Convex Sets Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک روی مجموعه های محدب (Convex Sets Metric Space) :

تعریف: این فضا، فضای همه زیرمجموعه های محدب، بسته و کراندار یک فضای برداری نرم دار (مانند

\[ \mathbb{R}^n \]

) است که با متر هاسدورف (Hausdorff metric) مجهز شده است. این فضا در آنالیز محدب، هندسه و بهینه سازی اهمیت دارد.

\[ \mathcal{C}(X) = \{K \subset X : K \text{ محدب، بسته، کراندار، ناتهی}\} \] \[ d_H(A, B) = \max\{\sup_{a \in A} d(a, B), \sup_{b \in B} d(b, A)\} \]

توضیح مفهومی: مطالعه فضاهای مجموعه های محدب با متر هاسدورف در آنالیز محدب و هندسه محدب اهمیت دارد. این فضا معمولا کامل است اگر فضای پایه کامل باشد. همچنین می توان عملیات جبری (مانند جمع مینکوفسکی) روی آن تعریف کرد که با متریک سازگار هستند.

ویژگی های اصلی:

اگر

\[ X \]

کامل باشد،

\[ \mathcal{C}(X) \]

با متر هاسدورف کامل است.

اگر

\[ X \]

فشرده باشد،

\[ \mathcal{C}(X) \]

فشرده است (قضیه بلومنتال).

نگاشت

\[ x \mapsto \{x\} \]

یک غوطه وری ایزومتریک از

\[ X \]

به

\[ \mathcal{C}(X) \]

است.

جمع مینکوفسکی

\[ A+B = \{a+b : a \in A, b \in B\} \]

یک عملیات پیوسته است.

این فضا یک مخروط محدب است (زیرا

\[ A + \lambda B \]

نیز محدب است).

قضایای مهم:

قضیه انتخاب بلومنتال: زیرمجموعه های محدب فشرده یک فضای فشرده را با متر هاسدورف تشکیل می دهند.

قضیه هرماندر: در مورد پیوستگی تبدیل های خطی روی این فضا.

کاربردها: این فضا در آنالیز محدب (برای مطالعه توابع محدب)، بهینه سازی محدب (برای تحلیل الگوریتم ها)، هندسه (برای مطالعه شکل های محدب)، و نظریه تقریب کاربرد دارد.

📌 مثال ساده:

\[ X = \mathbb{R} \]

،

\[ A = [0,1] \]

،

\[ B = [2,3] \]

.

\[ d_H(A, B) = 2 \]

(فاصله بین نزدیک ترین نقاط ۲ است).

\[ C = [0.5, 1.5] \]

،

\[ d_H(A, C) = 0.5 \]

.

\[ A = [0,1] \]

،

\[ B = [0,2] \]

.

\[ d_H(A, B) = \max(0, 1) = 1 \]

(چون

\[ A \subset B \]

،

\[ d_H = \sup_{b \in B} d(b, A) = 1 \]

).