فضای متریک ستاره وار (Star-Shaped Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک ستاره وار (Star-Shaped Metric Space) :

تعریف: یک فضای متریک

\[ (X, d) \]

ستاره وار (Star-Shaped) نامیده می شود اگر نقطه ای مانند

\[ x_0 \in X \]

وجود داشته باشد (مرکز ستاره) به طوری که برای هر

\[ x \in X \]

و هر

\[ t \in [0, 1] \]

، نقطه ای مانند

\[ \gamma_x(t) \in X \]

وجود داشته باشد با:

\[ d(x_0, \gamma_x(t)) = t \, d(x_0, x) \] \[ d(\gamma_x(t), x) = (1-t) \, d(x_0, x) \]

یعنی یک ژئودزیک از

\[ x_0 \]

به

\[ x \]

وجود دارد که با پارامتر

\[ t \]

قابل نمایش است.

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

\[ A \]

ستاره وار است اگر نقطه ای مانند

\[ x_0 \]

وجود داشته باشد که پاره خط بین

\[ x_0 \]

و هر نقطه

\[ a \in A \]

درون

\[ A \]

باشد. در اینجا خود فضا باید این خاصیت را داشته باشد. فضاهای ستاره وار لزوما محدب نیستند، اما دارای یک نقطه مرکزی هستند که فضا از آن نقطه "قابل دید" است.

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

هر فضای محدب (به عنوان فضای متریک) ستاره وار است (با هر نقطه به عنوان مرکز).

فضاهای ستاره وار همبند مسیری هستند (چون هر نقطه با یک مسیر به مرکز وصل می شود).

اگر فضا ستاره وار و کامل باشد، می توان آن را به یک فضای ژئودزیکی تبدیل کرد.

در فضاهای ستاره وار، می توان مختصات قطبی تعریف کرد.

مثال های مهم:

گوی واحد در

\[ \mathbb{R}^n \]

: با مرکز مبدأ، ستاره وار است.

مخروط ها: هر مخروط با رأس، ستاره وار است.

یک ستاره دریایی (پنج پر): در صفحه، با مرکز، ستاره وار است.

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

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

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

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

📌 مثال ساده:

\[ X = \{(r\cos\theta, r\sin\theta) : 0 \leq r \leq 1, 0 \leq \theta \leq 2\pi\} \]

با متر اقلیدسی و مرکز

\[ (0,0) \]

: این فضا ستاره وار است (در واقع محدب).

\[ X = \{(x, y) : |y| \leq |x|, |x| \leq 1\} \]

(یک X شکل) با مرکز

\[ (0,0) \]

: ستاره وار است، اما محدب نیست (چون نقاط

\[ (0.5, 0.5) \]

و

\[ (0.5, -0.5) \]

در آن هستند اما پاره خط بین آنها خارج است).