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

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

فضای متریک بور (Baire Metric Space) :

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

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

با متریک زیر:

\[ d(x, y) = \begin{cases} 0 & \text{if } x = y \\ 2^{-n} & \text{otherwise, where } n = \min\{k : x_k \neq y_k\}\end{cases} \]

توضیح مفهومی: این فضا به نام رنه-لویی بائر (René-Louis Baire) ریاضیدان فرانسوی نامگذاری شده است. فضای بور، که گاهی به آن فضای بائر نیز می گویند، یک فضای متریک کامل و کاملا ناهمبند است. این فضا در نظریه توصیفی مجموعه ها (Descriptive Set Theory) نقش اساسی دارد و با مجموعه کانتور ارتباط نزدیکی دارد.

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

کامل بودن: فضای بور با این متریک کامل است.

جدایی پذیری: این فضا جدایی پذیر نیست (چون مجموعه ای ناشمارا از دنباله ها با فاصله ۱ از هم دارد).

کاملا ناهمبند: مؤلفه های همبندی آن نقاط تکی هستند.

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

خاصیت بائر: هر فضای متریک کامل، یک فضای بائر است (یعنی اشتراک شمارا از مجموعه های باز چگال، چگال است).

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

ارتباط با مجموعه کانتور: فضای بور با مجموعه کانتور منهای یک نقطه هم ریخت است. مجموعه کانتور خود فشرده است، در حالی که فضای بور فشرده نیست.

بازی بائر: در این فضا، مفهوم بازی بائر (Baire game) تعریف می شود که در اثبات قضایای دسته بندی استفاده می شود.

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

مثال های دیگر فضاهای بائر: هر فضای متریک کامل، هر فضای هاسدورف فشرده، و هر فضای هاسدورف موضعا فشرده، فضای بائر هستند.

📌 مثال ساده:

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

با متر فوق. دو دنباله

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

و

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

: کوچکترین

\[ n \]

که در آن تفاوت دارند

\[ n=2 \]

است، بنابراین

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

.

\[ \mathbb{R} \]

یک فضای بائر است. بنابراین

\[ \mathbb{Q} \]

(اعداد گویا) که اجتماع شمارا از نقاط تکی (که نادرند) است، نمی تواند در

\[ \mathbb{R} \]

چگال باشد؟ بله چگال است، اما اشکال در این است که نقاط تکی در

\[ \mathbb{R} \]

نادر نیستند؟ در واقع هر نقطه در

\[ \mathbb{R} \]

یک مجموعه نادر نیست، زیرا هر نقطه یک همسایگی باز دارد؟ بستگی به تعریف: یک مجموعه نادر مجموعه ای است که بستارش interior نداشته باشد. بستار یک نقطه خود آن نقطه است که interior ندارد، بنابراین نقاط تکی نادرند. پس

\[ \mathbb{Q} \]

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

\[ \mathbb{Q} \]

در

\[ \mathbb{R} \]

چگال است، اما

\[ \mathbb{Q} \]

خودش یک فضای کامل نیست.