فضای متریک روی مجموعه های موضعا متناهی (Locally Finite Subsets Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک روی مجموعه های موضعا متناهی (Locally Finite Subsets Metric Space) :
تعریف: فرض کنید
\[ (X, d) \]یک فضای متریک باشد. مجموعه همه زیرمجموعه های موضعا متناهی (locally finite)
\[ X \]را با
\[ \mathcal{F}(X) \]نشان می دهیم. یک مجموعه
\[ A \subset X \]موضعا متناهی است اگر اشتراک آن با هر گوی بسته متناهی باشد. روی این فضا می توان متریک های مختلفی تعریف کرد، مانند متریک هاسدورف (در صورت کراندار بودن مجموعه ها) یا متریک های مبتنی بر تطبیق (matching distance).
یک مثال: متریک هاسدورف تعمیم یافته
\[ d_H(A, B) = \inf\{r > 0 : A \subset B_r, B \subset A_r\} \]توضیح مفهومی: مجموعه های موضعا متناهی در هندسه و آنالیز ظاهر می شوند، مثلا مجموعه نقاط یک شبکه یا مجموعه نقاط یک فرآیند نقطهای (point process). مطالعه این فضاها با متریک مناسب در هندسه تصادفی، آمار فضایی، و نظریه فرکتال ها اهمیت دارد.
ویژگی های اصلی:
اگر
\[ X \]کامل باشد، فضای زیرمجموعه های موضعا متناهی با متر هاسدورف کامل نیست (چون ممکن است دنباله هایی از مجموعه های موضعا متناهی به مجموعه ای غیرموضعا متناهی همگرا شوند).
این فضا معمولا فشرده نیست.
متریک های مبتنی بر تطبیق (مانند متریک Gromov-Hausdorff برای فضاهای نقطهای) کاربرد دارند.
مجموعه های موضعا متناهی نقش مهمی در نظریه فرآیندهای نقطهای دارند.
متریک تطبیق (Matching Metric): برای دو مجموعه متناهی
\[ A \]و
\[ B \]با همان تعداد عضو، متریک تطبیق به صورت
\[ d(A, B) = \min_{\pi} \max_{a \in A} d(a, \pi(a)) \]تعریف می شود که
\[ \pi \]یک تطابق یک به یک بین
\[ A \]و
\[ B \]است. این متریک با متریک هاسدورف مرتبط است.
فرآیندهای نقطهای (Point Processes): در آمار فضایی، مجموعه نقاط تصادفی (مانند موقعیت درختان در یک جنگل) با این فضا مدل می شوند و متریک هایی مانند متریک وازرشتاین برای مقایسه آنها استفاده می شود.
کاربردها: این فضا در آمار فضایی (برای تحلیل الگوهای نقطهای)، هندسه تصادفی، نظریه فرکتال ها (برای مطالعه مجموعه های خودمتشابه گسسته)، و فیزیک (برای مدل سازی موقعیت ذرات) کاربرد دارد.
مثال: مجموعه نقاط با فاصله های صحیح روی خط،
\[ \mathbb{Z} \subset \mathbb{R} \]، یک مجموعه موضعا متناهی است. دو مجموعه
\[ \{n \in \mathbb{Z} : n \text{ زوج}\} \]و
\[ \{n \in \mathbb{Z} : n \text{ فرد}\} \]را می توان با متریک هاسدورف مقایسه کرد.
📌 مثال ساده:
\[ X = \mathbb{R} \]،
\[ A = \{0, 1, 2\} \]،
\[ B = \{0.1, 1.1, 2.1\} \].
\[ d_H(A, B) = \max\{0.1, 0.1, 0.1, 0.1, 0.1, 0.1\} = 0.1 \].
\[ A = \mathbb{Z} \]،
\[ B = \mathbb{Z} + 0.5 \].
\[ d_H(A, B) = 0.5 \].
