فضای هایپرکانوکس (Hyperconvex Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای هایپرکانوکس (Hyperconvex Space) :
تعریف: یک فضای متریک
\[ (X, d) \]هایپرکانوکس (Hyperconvex) نامیده می شود اگر برای هر خانواده از گوی های بسته
\[ \{B(x_i, r_i)\}_{i \in I} \]که شرط اشتراک دو به دو (یعنی
\[ d(x_i, x_j) \leq r_i + r_j \]برای همه
\[ i, j \]) را داشته باشند، اشتراک سراسری آنها غیرتهی باشد، یعنی
\[ \bigcap_{i \in I} B(x_i, r_i) \neq \emptyset \].
\[ \forall \{B(x_i, r_i)\}_{i \in I}: d(x_i, x_j) \leq r_i + r_j \implies \bigcap_{i \in I} B(x_i, r_i) \neq \emptyset \]توضیح مفهومی: مفهوم هایپرکانوکسی توسط آرونشاین و پان در ارتباط با فضاهای باناخ اینژکتیو معرفی شد. این خاصیت تعمیمی از خاصیت هللی (Helly property) در هندسه است. در فضای اقلیدسی
\[ \mathbb{R}^n \]، این خاصیت برای خانواده های متناهی گوی ها برقرار نیست (مثلا در مثلث، سه گوی به مرکز رئوس با شعاع های مناسب می توانند دو به دو اشتراک داشته باشند بدون اینکه اشتراک سه تایی داشته باشند). اما در فضاهای هایپرکانوکس، این خاصیت برای هر خانواده (حتی نامتناهی) برقرار است.
ویژگی های اصلی:
هر فضای هایپرکانوکس، اینژکتیو است و بالعکس (در فضاهای متریک، این دو مفهوم معادلند).
فضاهای هایپرکانوکس همیشه کامل هستند.
این فضاها تحت حاصلضرب (با متر حداکثر) بسته هستند.
هر فضای هایپرکانوکس یک ساختار ژئودزیکی دارد و یک فضای CAT(0) است.
در فضاهای هایپرکانوکس، هر انقباض دارای نقطه ثابت است (قضیه نقطه ثابت لیم).
مثال های مهم:
\[ l^\infty \]
: فضای دنباله های کراندار با متر سوپریموم، هایپرکانوکس است.
درخت های حقیقی (Real Trees): هر درخت حقیقی (که تعمیمی از درخت هاست) هایپرکانوکس است.
\[ L^\infty \]
: فضای توابع اساسیا کراندار نیز هایپرکانوکس است.
گوی واحد در
\[ l^\infty \]: با متر القایی هایپرکانوکس است.
اعداد حقیقی
\[ \mathbb{R} \]: هایپرکانوکس است (خاصیت هللی برای بازه ها روی خط).
ارتباط با فضاهای اینژکتیو: همانطور که اشاره شد، در فضاهای متریک، هایپرکانوکسی معادل اینژکتیویتی است. این یک قضیه مهم توسط آرونشاین-پان و دیگران است: یک فضای متریک اینژکتیو است اگر و فقط اگر هایپرکانوکس باشد.
خاصیت هللی: در فضای
\[ \mathbb{R} \]، اگر خانواده ای از بازه های بسته دو به دو اشتراک داشته باشند، آن گاه کل خانواده اشتراک دارد. این خاصیت هللی نام دارد. فضاهای هایپرکانوکس تعمیم این خاصیت به فضاهای متریک با گوی ها هستند.
کاربردها: فضاهای هایپرکانوکس در نظریه نقطه ثابت (به دلیل وجود نقاط ثابت برای انقباضها)، در آنالیز تابعی (برای مطالعه فضاهای باناخ اینژکتیو)، در نظریه بهینه سازی (مسائل پوشش)، و در هندسه متریک (به عنوان فضاهای با انحنای نامثبت) کاربرد دارند.
قضیه نقطه ثابت لیم: (Lim) هر انقباض روی یک فضای هایپرکانوکس دارای یک نقطه ثابت است. این تعمیمی از قضیه نقطه ثابت باناخ است.
📌 مثال ساده:
\[ \mathbb{R} \]با متر معمولی هایپرکانوکس است. فرض کنید سه بازه
\[ [0,2] \]،
\[ [1,3] \]، و
\[ [2,4] \]را داریم. این بازه ها دو به دو اشتراک دارند:
\[ [0,2] \cap [1,3] = [1,2] \neq \emptyset \]،
\[ [1,3] \cap [2,4] = [2,3] \neq \emptyset \]،
\[ [0,2] \cap [2,4] = \{2\} \neq \emptyset \]. اشتراک سه تایی آنها نیز
\[ \{2\} \]است. این خاصیت برای هر خانواده از بازه ها با اشتراک دو به دو برقرار است.
اما در
\[ \mathbb{R}^2 \]، سه گوی با مراکز رئوس یک مثلث متساوی الاضلاع و شعاع برابر نصف ضلع، دو به دو اشتراک دارند (در نقاط میانی اضلاع) ولی اشتراک سه تایی ندارند. پس
\[ \mathbb{R}^2 \]هایپرکانوکس نیست.
