فضای متریک با خاصیت هللی (Helly Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با خاصیت هللی (Helly Metric Space) :
تعریف: خاصیت هللی (Helly property) یک ویژگی ترکیبیاتی است که در نظریه گراف و هندسه ظاهر می شود. در فضاهای متریک، خاصیت هللی به این معناست که برای هر خانواده از گوی های بسته که اشتراک دو به دو آنها غیرتهی باشد، اشتراک کل خانواده نیز غیرتهی است. فضاهایی که این خاصیت را دارند، فضاهای هللی (Helly spaces) نامیده می شوند. مهم ترین مثال، خط حقیقی
\[ \mathbb{R} \]با متر معمولی است (برای بازه های بسته).
اگر
\[ B(x_i, r_i) \cap B(x_j, r_j) \neq \emptyset \]برای همه
\[ i,j \]، آن گاه
\[ \bigcap_i B(x_i, r_i) \neq \emptyset \].
توضیح مفهونی: خاصیت هللی یک ویژگی قوی است که در فضاهای با انحنای منفی (مانند درخت ها و فضاهای هذلولوی) ظاهر می شود. این خاصیت در نظریه گروه های هندسی و آنالیز محدب اهمیت دارد. خط حقیقی این خاصیت را دارد، اما صفحه اقلیدسی آن را ندارد (سه گوی با مراکز مثلث می توانند دو به دو اشتراک داشته باشند بدون اینکه اشتراک سه تایی داشته باشند).
ویژگی های اصلی:
هر درخت (با متر گرافی) دارای خاصیت هللی است.
فضاهای با انحنای منفی (مانند فضای هذلولوی) نیز این خاصیت را دارند.
خاصیت هللی با مفهوم هایپرکانوکسی (hyperconvexity) مرتبط است.
این خاصیت در نظریه نقطه ثابت و آنالیز محدب کاربرد دارد.
کاربردها: فضاهای هللی در نظریه گروه های هندسی (برای مطالعه گروه های هذلولوی)، آنالیز محدب (برای مسائل پوشش)، و نظریه گراف کاربرد دارند.
📌 مثال ساده:
\[ \mathbb{R} \]: سه بازه
\[ [0,2] \]،
\[ [1,3] \]و
\[ [2,4] \]دو به دو اشتراک دارند (اشتراک اول و دوم
\[ [1,2] \]، دوم و سوم
\[ [2,3] \]، اول و سوم
\[ \{2\} \]) و اشتراک سه تایی
\[ \{2\} \]غیرتهی است.
\[ \mathbb{R}^2 \]: سه گوی به مرکز رئوس مثلث متساوی الاضلاع با شعاع مناسب دو به دو اشتراک دارند اما اشتراک سه تایی ندارند.
