فضای متریک اینژکتیو (Injective Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک اینژکتیو (Injective Metric Space) :
تعریف: یک فضای متریک
\[ (X, d) \]اینژکتیو (Injective) نامیده می شود اگر برای هر فضای متریک
\[ A \]و
\[ B \]و هر جفت نگاشت های غیرانبساطی (۱-لیپشیتز)
\[ f: A \to X \]و
\[ g: A \to B \]که
\[ g \]یک غوطه وری (isometric embedding) باشد، یک نگاشت غیرانبساطی
\[ h: B \to X \]وجود داشته باشد به طوری که
\[ h \circ g = f \].
خاصیت توسعه (Extension Property):
هر نگاشت غیرانبساطی از یک زیرفضا به X، می تواند به کل فضا گسترش یابد.
توضیح مفهومی: فضاهای اینژکتیو تعمیمی از مفهوم "فضاهای هایپرکانوکس" (که بعدا معرفی می شوند) هستند. این فضاها دارای خاصیت توسعه برای نگاشت های غیرانبساطی هستند: هر نگاشت غیرانبساطی تعریف شده روی یک زیرفضا را می توان به کل فضا گسترش داد بدون اینکه ثابت لیپشیتز افزایش یابد. این شبیه به مفهوم مدول های اینژکتیو در جبر است.
ویژگی های اصلی:
هر فضای اینژکتیو، کامل است.
هر فضای اینژکتیو، هایپرکانوکس است (مفهومی که بعدا می آید).
در فضاهای اینژکتیو، هر جفت نقطه را می توان با یک ژئودزیک به هم وصل کرد.
این فضاها تحت حاصلضرب (با متر مناسب) بسته هستند.
هر فضای متریک را می توان در یک فضای اینژکتیو (پوشش اینژکتیو) غوطه ور کرد.
مثال های مهم فضاهای اینژکتیو:
خط حقیقی
\[ \mathbb{R} \]: با متر معمولی اینژکتیو است (قضیه تیتزه-نش برای توابع لیپشیتز).
درخت های حقیقی (Real Trees): فضاهای متریک شبه-درختی که در آنها هر مثلث یک درخت است، اینژکتیو هستند.
l^\infty
: فضای دنباله های کراندار با متر سوپریموم، یک فضای اینژکتیو است.
فضاهای هایپرکانوکس: مانند گوی های
\[ l^\infty \]، و هر محصولی از آنها.
اعداد حقیقی با متر مطلق: ساده ترین مثال.
ارتباط با فضاهای هایپرکانوکس: فضاهای هایپرکانوکس دسته ای خاص از فضاهای اینژکتیو هستند. یک فضای متریک هایپرکانوکس است اگر اشتراک هر خانواده از گوی های بسته که به صورت دو به دو اشتراک دارند، غیرتهی باشد. این خاصیت معادل اینژکتیو بودن در فضاهای متریک است.
پوشش اینژکتیو: برای هر فضای متریک
\[ X \]، یک فضای اینژکتیو منحصر به فرد (تا حد یکریختی) به نام پوشش اینژکتیو (injective envelope) وجود دارد که
\[ X \]به طور هم متریک در آن غوطه ور است و کوچکترین فضای اینژکتیو شامل
\[ X \]است. این مفهوم توسط ایزبل معرفی شد.
کاربردها: فضاهای اینژکتیو در آنالیز تابعی (برای مطالعه فضاهای باناخ)، نظریه نقطه ثابت (در فضاهای هایپرکانوکس قضایای نقطه ثابت قوی وجود دارد)، و هندسه متریک (برای مطالعه انقباضها و نگاشت های غیرانبساطی) کاربرد دارند.
قضیه مهم: (آرونشاین-پان) یک فضای باناخ اینژکتیو است اگر و فقط اگر با یک فضای
\[ C(K) \]برای یک
\[ K \]فوق استونی (extremally disconnected) یکریخت باشد. این ارتباط عمیقی بین آنالیز تابعی و توپولوژی ایجاد می کند.
📌 مثال ساده:
\[ \mathbb{R} \]یک فضای اینژکتیو است. فرض کنید
\[ A \subset Y \]یک زیرفضا، و
\[ f: A \to \mathbb{R} \]یک تابع ۱-لیپشیتز باشد. می توان
\[ f \]را به کل
\[ Y \]با
\[ F(y) = \inf_{a \in A} (f(a) + d(y, a)) \]گسترش داد. این همان گسترش مک شین (McShane extension) است که یک تابع ۱-لیپشیتز روی
\[ Y \]می دهد.
\[ l^\infty \]نیز اینژکتیو است: اگر
\[ f: A \to l^\infty \]با مؤلفه های
\[ f_i \]داده شود، هر
\[ f_i \]را می توان به طور جداگانه گسترش داد.
