فضای متریک اعداد گویا (Rational Numbers Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک اعداد گویا (Rational Numbers Metric Space) :
تعریف: فضای متریک اعداد گویا
\[ \mathbb{Q} \]با متر القایی از
\[ \mathbb{R} \]، یعنی
\[ d(x, y) = |x - y| \]برای
\[ x, y \in \mathbb{Q} \].
\[ (\mathbb{Q}, d) \quad \text{با} \quad d(x, y) = |x - y| \]توضیح مفهومی: اعداد گویا یک مثال کلاسیک از یک فضای متریک هستند که کامل نیست. آنها در
\[ \mathbb{R} \]چگالند، اما خودشان نقاط "سوراخ" دارند. مطالعه این فضا به درک مفهوم کامل بودن و تکمیل فضاها کمک می کند.
\[ \mathbb{Q} \]همچنین یک میدان است، اما با متر معمولی، میدان ارزش دار (valued field) نیست زیرا قدر مطلق روی آن کامل نیست.
ویژگی های اصلی:
ناکامل بودن:
\[ \mathbb{Q} \]کامل نیست. دنباله
\[ 3, 3.14, 3.141, 3.1415, ... \](تقریب های
\[ \pi \]) کوشی است اما حد آن (
\[ \pi \]) در
\[ \mathbb{Q} \]نیست.
جدایی پذیری:
\[ \mathbb{Q} \]خودش یک مجموعه شمارا است، بنابراین جدایی پذیر است.
چگالی در
\[ \mathbb{R} \]:
\[ \mathbb{Q} \]در
\[ \mathbb{R} \]چگال است.
کاملا ناهمبند:
\[ \mathbb{Q} \]کاملا ناهمبند است (زیرا بین هر دو عدد گویا، یک عدد گنگ وجود دارد).
فشردگی موضعی:
\[ \mathbb{Q} \]فشرده موضعی نیست. هیچ همسایگی فشرده ای از یک نقطه گویا وجود ندارد (چون هر همسایگی شامل اعداد گنگ نیز می شود و بستار آن فشرده نیست).
تکمیل
\[ \mathbb{Q} \]: تکمیل (completion) فضای متریک
\[ \mathbb{Q} \]، فضای اعداد حقیقی
\[ \mathbb{R} \]است. این یک راه برای ساختن
\[ \mathbb{R} \]از
\[ \mathbb{Q} \]است (روش کوشی).
متریک های دیگر روی
\[ \mathbb{Q} \]: علاوه بر متر معمولی، مترهای p-ادیک نیز روی
\[ \mathbb{Q} \]تعریف می شوند:
\[ d_p(x, y) = |x - y|_p \]. این مترها خواص متفاوتی دارند و تکمیل آنها اعداد p-ادیک
\[ \mathbb{Q}_p \]را به دست می دهد.
قضایای مهم:
قضیه بائر:
\[ \mathbb{Q} \]به عنوان زیرفضای
\[ \mathbb{R} \]، یک فضای بائر نیست (چون اجتماع نقاط تکی است که نادرند و در
\[ \mathbb{Q} \]چگالند؟ در واقع
\[ \mathbb{Q} \]در خودش چگال است و اجتماع نقاط تکی است، اما نقاط تکی در
\[ \mathbb{Q} \]نادر نیستند؟ بستگی به توپولوژی دارد. در
\[ \mathbb{Q} \]، هر نقطه یک مجموعه باز نیست (چون توپولوژی چگال است)، بنابراین نقاط تکی در
\[ \mathbb{Q} \]interior ندارند، بنابراین نادرند. پس
\[ \mathbb{Q} \]اجتماع شمارا از مجموعه های نادر است، پس یک فضای بائر نیست.
قضیه: هر فضای متریک جدایی پذیر، با یک زیرفضای از
\[ \mathbb{R} \]هم ریخت است؟ خیر،
\[ \mathbb{Q} \]خودش زیرفضای
\[ \mathbb{R} \]است.
کاربردها:
\[ \mathbb{Q} \]به عنوان مثال نقض در آنالیز (برای نشان دادن نیاز به کامل بودن)، در نظریه اعداد (به عنوان میدان پایه)، و در آموزش ریاضی برای معرفی مفهوم عدد حقیقی استفاده می شود.
توپولوژی
\[ \mathbb{Q} \]: توپولوژی
\[ \mathbb{Q} \]به عنوان زیرفضای
\[ \mathbb{R} \]، توپولوژی چگال و کاملا ناهمبند است. پایه این توپولوژی بازه های گویا هستند.
ارتباط با اعداد گنگ:
\[ \mathbb{Q} \]و
\[ \mathbb{P} \](اعداد گنگ) هر دو در
\[ \mathbb{R} \]چگالند و هر دو کاملا ناهمبندند. اما
\[ \mathbb{P} \]با فضای بور
\[ \mathbb{N}^{\mathbb{N}} \]هم ریخت است و کامل نیست (چرا؟
\[ \mathbb{P} \]زیرفضای
\[ \mathbb{R} \]است و بسته نیست، بنابراین کامل نیست).
📌 مثال ساده:
\[ x_n = \frac{F_{n+1}}{F_n} \](نسبت جمله های فیبوناچی). این دنباله به
\[ \phi = \frac{1+\sqrt{5}}{2} \]همگراست که گنگ است. دنباله در
\[ \mathbb{Q} \]کوشی است اما حدش در
\[ \mathbb{Q} \]نیست.
\[ x_n = (1 + 1/n)^n \]به
\[ e \]همگراست (گنگ).
