فضای متریک زیرمجموعه های بسته (Space of Closed Subsets with Hausdorff Metric)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک زیرمجموعه های بسته (Space of Closed Subsets with Hausdorff Metric) :
تعریف: این فضا همان فضای متریک هاسدورف است، با این تفاوت که معمولا روی زیرمجموعه های بسته (نه لزوما کراندار) تعریف می شود، اما برای اینکه متریک تعریف شود، باید مراقب فاصله های نامتناهی بود. معمولا روی زیرمجموعه های بسته و کراندار تعریف می شود. گاهی نیز روی زیرمجموعه های بسته یک فضای متریک کامل (با یک شرط اضافی) تعریف می شود.
\[ \mathcal{F}(X) = \{A \subset X : A \text{ بسته و ناتهی}\} \]با متر هاسدورف
\[ d_H \](در صورت کراندار بودن مجموعه ها).
توضیح مفهومی: مطالعه فضاهای زیرمجموعه ها با متر هاسدورف در آنالیز هندسی و توپولوژی اهمیت دارد. این فضاها معمولا کامل هستند اگر
\[ X \]کامل باشد، اما ممکن است فشرده نباشند حتی اگر
\[ X \]فشرده باشد (چون مجموعه های بسته در یک فضای فشرده، خود فشرده اند و فضای هاسدورف آنها فشرده است).
ویژگی های اصلی:
اگر
\[ X \]کامل باشد، فضای زیرمجموعه های بسته و کراندار با متر هاسدورف کامل است.
اگر
\[ X \]فشرده باشد، این فضا نیز فشرده است.
این فضا به طور طبیعی یک ابرفضا (hyperspace) نامیده می شود.
خواص توپولوژیک
\[ X \]و
\[ \mathcal{F}(X) \]ارتباط نزدیکی دارند (مثلا
\[ X \]همبند است اگر و فقط اگر
\[ \mathcal{F}(X) \]همبند مسیری باشد؟).
ابر فضاها (Hyperspaces): مطالعه فضاهای زیرمجموعه ها با توپولوژی های مختلف (مانند توپولوژی ویتوریس) یک شاخه مهم در توپولوژی است. متر هاسدورف یک مورد خاص از این توپولوژی هاست.
قضیه کوراتوفسکی: اگر
\[ X \]یک فضای متریک فشرده باشد، آن گاه فضای زیرمجموعه های بسته آن با متر هاسدورف یک فضای متریک فشرده است.
کاربردها: این فضاها در نظریه فرکتال ها (برای مطالعه دستگاه های تابع تکراری)، آنالیز محدب (برای مطالعه مجموعه های محدب)، و نظریه مورفولوژی ریاضی کاربرد دارند.
📌 مثال ساده:
\[ X = [0, 1] \]،
\[ A_n = \{0, 1/n, 2/n, ..., 1\} \](مجموعه های متناهی). این دنباله در متر هاسدورف به
\[ [0, 1] \]همگراست؟ خیر، فاصله
\[ d_H(A_n, [0,1]) \]به ۰ میل می کند، بله چون هر نقطه از
\[ [0,1] \]در فاصله
\[ 1/(2n) \]از یک نقطه
\[ A_n \]قرار دارد.
مجموعه کانتور
\[ C \]:
\[ d_H(C, [0,1]) = 1/2 \]؟ خیر،
\[ C \subset [0,1] \]،
\[ d_H(C, [0,1]) = \sup_{x \in [0,1]} d(x, C) \]که بزرگترین فاصله یک نقطه از
\[ C \]است، مثلا
\[ x = 1/2 \].
