فضای متریک روی ابرعددها (Hyperreal Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک روی ابرعددها (Hyperreal Metric Space) :
تعریف: ابرعددها (Hyperreal numbers) تعمیمی از اعداد حقیقی هستند که شامل اعداد بی نهایت کوچک (infinitesimals) و بی نهایت بزرگ (infinite) می شوند. آنها در آنالیز ناستاندارد (Nonstandard analysis) استفاده می شوند. یک فضای متریک روی ابرعددها، مجموعه ای از ابرعددها (مانند
\[ {}^*\mathbb{R} \]یا
\[ {}^*\mathbb{R}^n \]) با متر
\[ d(x,y)=|x-y| \]است که در آن قدر مطلق به ابرعددها تعمیم داده شده است.
\[ {}^*\mathbb{R} \]میدان ابراعداد
\[ d(x, y) = |x - y| \]توضیح مفهونی: آنالیز ناستاندارد توسط آبراهام رابینسون در دهه ۱۹۶۰ معرفی شد. در این نظریه، اعداد بی نهایت کوچک وجود دارند و مفاهیم حد و پیوستگی به طور مستقیم با آنها تعریف می شود. فضای متریک روی ابرعددها دارای خواص توپولوژیک متفاوتی است (مثلا فشرده نیست).
ویژگی های اصلی:
\[ {}^*\mathbb{R} \]
یک میدان مرتب است که شامل
\[ \mathbb{R} \]به عنوان زیرمیدان است.
اعداد بی نهایت کوچک غیرصفر وجود دارند که قدر مطلق آنها از هر عدد حقیقی مثبت کوچکتر است.
توپولوژی روی
\[ {}^*\mathbb{R} \]با متر
\[ |x-y| \]، توپولوژی
\[ S \]-حد نامیده می شود و با توپولوژی معمولی متفاوت است.
این فضا فشرده نیست و دنباله ها ممکن است به اعداد بی نهایت بزرگ همگرا شوند.
کاربردها: فضاهای متریک روی ابرعددها در آنالیز ناستاندارد (برای تعریف حد و مشتق)، فیزیک نظری (برای مدل سازی کمیت های بینهایت کوچک)، و نظریه اندازه کاربرد دارند.
📌 مثال ساده:
\[ x = \varepsilon \](یک بی نهایت کوچک) و
\[ y = 0 \].
\[ d(x,y) = \varepsilon \]که از هر عدد حقیقی مثبت کوچکتر است.
