فضای متریک جدایی پذیر (Separable Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک جدایی پذیر (Separable Metric Space) :

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

\[ (X, d) \]

جدایی پذیر (Separable) نامیده می شود اگر دارای یک زیرمجموعه شمارا و چگال باشد. یعنی مجموعه ای مانند

\[ D = \{x_1, x_2, ...\} \subset X \]

وجود دارد که

\[ \overline{D} = X \]

.

\[ X \]

جدایی پذیر است اگر

\[ \exists D \subset X \]

،

\[ D \]

شمارا و

\[ \overline{D} = X \]

یعنی هر نقطه از

\[ X \]

را می توان با دنباله ای از نقاط

\[ D \]

تقریب زد.

توضیح مفهومی: جدایی پذیری به معنای این است که فضا آنقدر "بزرگ" نیست که نتوان آن را با یک مجموعه شمارا پوشش داد. در عوض، یک مجموعه شمارا وجود دارد که به همه نقاط فضا هر قدر هم که دور باشند، می توان نزدیک شد. این خاصیت در آنالیز تابعی بسیار مهم است، زیرا بسیاری از اثبات ها از شمارایی یک مجموعه چگال استفاده می کنند.

ویژگی ها و قضایا:

هر فضای متریک فشرده، جدایی پذیر است.

زیرفضا و حاصلضرب شمارا از فضاهای جدایی پذیر، جدایی پذیر است.

در فضاهای جدایی پذیر، مفهوم پایه شمارا برای توپولوژی وجود دارد.

فضای دوگان یک فضای جدایی پذیر، لزوما جدایی پذیر نیست (مثلا دوگان

\[ l^1 \]

که

\[ l^\infty \]

است، جدایی پذیر نیست).

قضیه: یک فضای متریک جدایی پذیر است اگر و فقط اگر با یک زیرفضای از

\[ [0,1]^\mathbb{N} \]

(مکعب هیلبرت) هم ریخت باشد.

مثال های مهم فضاهای جدایی پذیر:

اعداد حقیقی:

\[ \mathbb{R} \]

با اعداد گویا

\[ \mathbb{Q} \]

به عنوان مجموعه چگال شمارا.

فضاهای اقلیدسی:

\[ \mathbb{R}^n \]

با

\[ \mathbb{Q}^n \]

به عنوان مجموعه چگال شمارا.

فضاهای

l^p

برای

1 \leq p < \infty

: با دنباله هایی با تعداد متناهی درایه غیرصفر و مقادیر گویا.

فضاهای

L^p[a,b]

برای

1 \leq p < \infty

: با توابع پله ای با ضرایب گویا.

C[a,b]

: با چندجمله ای های با ضرایب گویا (توسط قضیه وایرشتراس تقریب).

مثال های غیرجدایی پذیر:

l^\infty

: فضای دنباله های کراندار با سوپریموم متر، جدایی پذیر نیست.

L^\infty[a,b]

: فضای توابع اساسیا کراندار، جدایی پذیر نیست.

یک مجموعه ناشمارا با متر گسسته: چون هر مجموعه چگال باید شامل همه نقاط باشد.

ارتباط با مفاهیم دیگر: جدایی پذیری با مفاهیم پایه شمارا، فشردگی، و خواص کاردینالی فضا مرتبط است. در فضاهای متریک، جدایی پذیری معادل با وجود پایه موضعا شمارا برای توپولوژی است.

کاربردها: در نظریه اندازه، فضاهای جدایی پذیر برای تعریف اندازه های رادون و همگرایی ضعیف اندازه ها استفاده می شوند. در نظریه عملگرها، دوگان فضاهای جدایی پذیر رفتار بهتری دارند.

📌 مثال ساده:

\[ \mathbb{R} \]

با متر معمولی جدایی پذیر است، زیرا

\[ \mathbb{Q} \]

(اعداد گویا) یک مجموعه شمارا و چگال در

\[ \mathbb{R} \]

است. هر عدد حقیقی را می توان با دنباله ای از اعداد گویا تقریب زد.