فضای متریک اعداد حقیقی (Real Numbers Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک اعداد حقیقی (Real Numbers Metric Space) :
تعریف: فضای متریک اعداد حقیقی
\[ \mathbb{R} \]همراه با متر معمول
\[ d(x, y) = |x - y| \]است. این فضا اساسی ترین و مهم ترین فضای متریک در آنالیز ریاضی محسوب می شود.
\[ (\mathbb{R}, d) \quad \text{با} \quad d(x, y) = |x - y| \]توضیح مفهومی: اعداد حقیقی با متر قدر مطلق، مدل خط اعداد و هندسه یک بعدی اقلیدسی هستند. این فضا تمام خواص یک فضای متریک کامل را دارد و اساس قضایای اساسی آنالیز مانند قضیه مقدار میانی، قضیه بولزانو-وایرشتراس، و قضیه هاینه-بورل را فراهم می کند.
ویژگی های اصلی:
کامل بودن:
\[ \mathbb{R} \]با متر قدر مطلق یک فضای متریک کامل است. هر دنباله کوشی از اعداد حقیقی به یک عدد حقیقی همگراست.
همبندی:
\[ \mathbb{R} \]یک فضای همبند است. تنها زیرمجموعه های همبند
\[ \mathbb{R} \]بازه ها هستند.
جدایی پذیری:
\[ \mathbb{R} \]جدایی پذیر است، زیرا
\[ \mathbb{Q} \]یک زیرمجموعه شمارا و چگال در آن است.
فشردگی موضعی:
\[ \mathbb{R} \]فشرده موضعی است. هر نقطه
\[ x \]دارای یک همسایگی فشرده مانند
\[ [x-1, x+1] \]است.
فشردگی:
\[ \mathbb{R} \]فشرده نیست، زیرا ناکراندار است. اما طبق قضیه هاینه-بورل، زیرمجموعه های بسته و کراندار آن فشرده هستند.
ساختار خطی و ترتیبی:
\[ \mathbb{R} \]علاوه بر ساختار متریک، دارای ساختار میدان و ترتیب کامل نیز هست. این ساختارهای اضافی آن را به فضایی منحصربه فرد تبدیل کرده است.
قضایای مهم:
قضیه کانتور:
\[ \mathbb{R} \]ناشمارا است.
قضیه بولزانو-وایرشتراس: هر دنباله کراندار در
\[ \mathbb{R} \]دارای یک زیردنباله همگراست.
قضیه هاینه-بورل: یک زیرمجموعه از
\[ \mathbb{R} \]فشرده است اگر و فقط اگر بسته و کراندار باشد.
اصل کمال: هر مجموعه ناتهی و کراندار بالای
\[ \mathbb{R} \]دارای سوپریموم است.
متریک های معادل روی
\[ \mathbb{R} \]: مترهای دیگری مانند
\[ d(x, y) = |e^x - e^y| \]،
\[ d(x, y) = |\arctan x - \arctan y| \]و
\[ d(x, y) = \frac{|x-y|}{1+|x-y|} \]نیز روی
\[ \mathbb{R} \]تعریف می شوند که با متر معمول هم توپولوژی هستند اما کامل بودن را حفظ نمی کنند.
کاربردها: فضای اعداد حقیقی پایه و اساس تمام آنالیز حقیقی، حسابان، معادلات دیفرانسیل، نظریه اندازه و بسیاری از شاخه های دیگر ریاضیات است.
📌 مثال ساده:
دنباله
\[ x_n = 1/n \]در
\[ \mathbb{R} \]به ۰ همگراست. دنباله
\[ x_n = (-1)^n \]همگرا نیست. مجموعه
\[ [0,1] \]فشرده است، اما
\[ (0,1) \]فشرده نیست.
در متر
\[ d(x, y) = |\arctan x - \arctan y| \]، دنباله
\[ x_n = n \]یک دنباله کوشی است (چون
\[ \arctan n \to \pi/2 \])، اما در
\[ \mathbb{R} \]حد ندارد؟ در واقع حد آن در این متر برابر
\[ \pi/2 \]است که معادل عدد حقیقی خاصی نیست؟ این متر
\[ \mathbb{R} \]را به
\[ (-\pi/2, \pi/2) \]می نگارد، بنابراین
\[ \mathbb{R} \]با این متر کامل نیست.
