فضای متریک گسسته (Discrete Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک گسسته (Discrete Metric Space) :

تعریف: یک فضای متریک

\[ (X, d) \]

گسسته (Discrete) نامیده می شود اگر متر آن به صورت زیر تعریف شود: برای هر

\[ x, y \in X \]

،

\[ d(x, y) = \begin{cases} 0 & \text{if } x = y \\ 1 & \text{if } x \neq y \end{cases} \]

توضیح مفهومی: در این فضا، فاصله بین هر دو نقطه متمایز برابر ۱ است. این ساده ترین مثال یک فضای متریک است و خواص جالبی دارد. توپولوژی حاصل از این متر، توپولوژی گسسته است: هر مجموعه ای باز است (چون هر نقطه یک گوی باز به شعاع ۱/۲ دارد که فقط خودش را شامل می شود). بنابراین هر تابعی از یک فضای گسسته به هر فضای توپولوژیک دیگر، پیوسته است.

ویژگی های اصلی:

هر فضای گسسته کامل است، زیرا تنها دنباله های کوشی، دنباله های ثابت هستند (یا دنباله هایی که از جایی به بعد ثابت می شوند).

یک فضای گسسته فشرده است اگر و فقط اگر متناهی باشد (زیرا پوشش باز از تک نقاط، زیرپوشش متناهی فقط در حالت متناهی دارد).

فضاهای گسسته همبند نیستند مگر اینکه یک نقطه داشته باشند (چون می توان آنها را به دو مجموعه باز مجزا افراز کرد).

هر فضای گسسته، جدایی پذیر است اگر و فقط اگر شمارا باشد.

این فضاها دارای متر ذاتی (intrinsic) نیستند، زیرا هیچ مسیر غیرثابتی وجود ندارد (طول هر مسیر غیرثابت حداقل ۲ است و نمی توان به فاصله ۱ رسید).

خواص توپولوژیک: توپولوژی گسسته روی هر مجموعه

\[ X \]

، بزرگترین توپولوژی ممکن است (همه مجموعه ها باز هستند). در این توپولوژی، هر نقطه یک مجموعه باز است، بنابراین فضا دارای خاصیت

\[ T_1 \]

(و حتی

\[ T_2 \]

) است و همچنین کاملا منظم است.

دنباله ها و همگرایی: در یک فضای گسسته، یک دنباله

\[ (x_n) \]

به

\[ x \]

همگراست اگر و فقط اگر از جایی به بعد

\[ x_n = x \]

. زیرا برای

\[ \epsilon = 1/2 \]

، گوی

\[ B(x, 1/2) \]

فقط

\[ x \]

را شامل می شود.

فضاهای متریک گسسته تعمیم یافته: گاهی به هر فضای متریک که در آن نقاط از هم جدا هستند (یعنی فاصله بین نقاط متمایز از یک مقدار مثبت ثابت بزرگتر است) فضای گسسته می گویند. اما متر گسسته استاندارد همان متر ۰-۱ است.

کاربردها: فضاهای گسسته به عنوان مثالهای ساده در توپولوژی و آنالیز استفاده می شوند. همچنین در علوم کامپیوتر (برای مدل سازی داده های گسسته) و ترکیبیات کاربرد دارند. در نظریه گراف، مجموعه رئوس یک گراف با متر کوتاه ترین مسیر یک فضای گسسته نیست (فاصله ها می توانند بیش از ۱ باشند).

ارتباط با فضاهای گسسته در آنالیز تابعی: فضای

\[ l^\infty \]

با متر سوپریموم، گسسته نیست. اما فضای دنباله های با مقادیر گسسته می تواند توپولوژی گسسته داشته باشد.

📌 مثال ساده:

\[ X = \{1, 2, 3\} \]

با متر گسسته:

\[ d(1,2)=1 \]

،

\[ d(1,3)=1 \]

،

\[ d(2,3)=1 \]

. این فضا فشرده است (چون متناهی است) و کامل است. هر تابع

\[ f: X \to \mathbb{R} \]

پیوسته است. گوی باز

\[ B(1, 0.5) = \{1\} \]

است که نشان می دهد نقاط تکی باز هستند.

\[ X = \mathbb{N} \]

با متر گسسته: این فضا کامل است اما فشرده نیست (چون نامتناهی است و پوشش

\[ \{\{n\}: n \in \mathbb{N}\} \]

زیرپوشش متناهی ندارد).