فضای متریک مجهز به متر بور (Baire Metric)، در ریاضیات (Mathematics)

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

فضای متریک مجهز به متر بور (Baire Metric) :

تعریف: فضای متریک بور (Baire Metric Space) به فضایی گفته می شود که در آن قضیه دسته بندی بائر (Baire Category Theorem) برقرار است. این قضیه بیان می کند که در یک فضای متریک کامل، اشتراک شمارا از مجموعه های باز و چگال، چگال است. گاهی نیز به یک فضای متریک خاص روی مجموعه توابع یا دنباله ها اشاره دارد که توسط رنه-لویی بائر معرفی شد (مانند فضای بور

\[ \mathbb{N}^{\mathbb{N}} \]

با متر

\[ d(x, y) = 2^{-\min\{n: x_n \neq y_n\}} \]

).

\[ \mathbb{N}^{\mathbb{N}} \text{ با } d(x, y) = 2^{-n} \text{ که } n = \min\{k: x_k \neq y_k\} \]

توضیح مفهومی: قضیه بائر یکی از اصول اساسی در آنالیز است و نشان می دهد که فضاهای کامل را نمی توان به صورت اجتماع شمارا از مجموعه های نادر (nowhere dense) نوشت. این قضیه کاربردهای فراوانی در اثبات وجود و یکتایی دارد. فضای بور

\[ \mathbb{N}^{\mathbb{N}} \]

یک فضای متریک کامل و کاملا ناهمبند است که در نظریه توصیفی مجموعه ها نقش اساسی دارد.

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

فضای بور

\[ \mathbb{N}^{\mathbb{N}} \]

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

این فضا با مجموعه اعداد گنگ (با متر معمولی) هم ریخت است.

هر فضای متریک کامل یک فضای بائر است.

هر فضای هاسدورف فشرده نیز یک فضای بائر است.

فضاهای بائر در اثبات قضایای وجودی مانند قضیه وجود جواب برای معادلات دیفرانسیل کاربرد دارند.

قضیه بائر: اگر

\[ X \]

یک فضای متریک کامل یا یک فضای هاسدورف فشرده موضعا فشرده باشد، و

\[ \{U_n\}_{n \in \mathbb{N}} \]

یک خانواده از مجموعه های باز و چگال در

\[ X \]

باشد، آن گاه

\[ \bigcap_{n \in \mathbb{N}} U_n \]

نیز در

\[ X \]

چگال است.

نتایج مهم قضیه بائر:

\[ \mathbb{R} \]

را نمی توان به صورت اجتماع شمارا از مجموعه های نادر نوشت (پس

\[ \mathbb{Q} \]

که اجتماع شمارا از نقاط است، یک

\[ F_\sigma \]

است اما یک

\[ G_\delta \]

نیست).

وجود توابع پیوسته ای که در هیچ نقطه ای مشتق پذیر نیستند (قضیه وایرشتراس).

مجموعه نقاطی که یک تابع مشتق پذیر در آنها مشتق متناهی دارد، یک

\[ G_\delta \]

است.

فضای بور در نظریه توصیفی: فضای

\[ \mathbb{N}^{\mathbb{N}} \]

با توپولوژی حاصلضرب (که با متر فوق هم ریخت است) یک فضای کامل و کاملا ناهمبند است و نقش "فضای جهانی" را برای مجموعه های بورل بازی می کند: هر فضای لهستانی (Polish) تصویر پیوسته یک زیرمجموعه بسته از

\[ \mathbb{N}^{\mathbb{N}} \]

است.

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

بازی بائر: یک بازی دو نفره که در آن دو بازیکن به نوبت مجموعه های باز را انتخاب می کنند و قضیه بائر با این بازی ارتباط دارد.

📌 مثال ساده:

\[ \mathbb{R} \]

با متر معمول یک فضای بائر است.

\[ \mathbb{Q} \]

یک فضای بائر نیست، زیرا

\[ \mathbb{Q} = \bigcup_{q \in \mathbb{Q}} \{q\} \]

و هر

\[ \{q\} \]

یک مجموعه نادر است.

در

\[ \mathbb{N}^{\mathbb{N}} \]

، دو دنباله

\[ x = (1, 1, 1, ...) \]

و

\[ y = (1, 2, 1, 1, ...) \]

: فاصله

\[ d(x, y) = 2^{-2} = 1/4 \]

.