فضای متریک p-ادیک (P-adic Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک p-ادیک (P-adic Metric Space) :

تعریف: فضای متریک p-ادیک معمولا به اعداد p-ادیک

\[ \mathbb{Q}_p \]

با متریک

\[ d(x, y) = |x - y|_p \]

اشاره دارد، که در آن

\[ |x|_p = p^{-v_p(x)} \]

(با

\[ v_p \]

مرتبه p-ادیک). این متریک یک فضای ذوزنقه ای (ultrametric) کامل و کاملا ناهمبند ایجاد می کند.

\[ |x|_p = p^{-v_p(x)} \]

،

\[ v_p(0) = \infty \] \[ d(x, y) = |x - y|_p \]

توضیح مفهومی: اعداد p-ادیک توسط کورت هنسل در اوایل قرن بیستم معرفی شدند. آنها تعمیمی از اعداد گویا هستند و در آنها قدر مطلق به گونه ای تعریف می شود که اعدادی که بر توان بالایی از p بخش پذیرند، "کوچک" هستند. این فضاها در نظریه اعداد، آنالیز p-ادیک، و فیزیک ریاضی کاربرد دارند.

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

ذوزنقه ای بودن:

\[ |x + y|_p \leq \max(|x|_p, |y|_p) \]

.

کامل بودن:

\[ \mathbb{Q}_p \]

کامل است (برخلاف

\[ \mathbb{Q} \]

).

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

فشردگی موضعی:

\[ \mathbb{Q}_p \]

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

گوی ها هم باز و هم بسته هستند.

حلقه اعداد صحیح p-ادیک

\[ \mathbb{Z}_p = \{x \in \mathbb{Q}_p : |x|_p \leq 1\} \]

فشرده است.

قضایای مهم:

قضیه استون-وایرشتراس برای توابع p-ادیک.

قضیه ماهلر: توابع پیوسته روی

\[ \mathbb{Z}_p \]

با سری های ماهلر نمایش داده می شوند.

قضیه هنسل: برای بالا بردن ریشه ها.

کاربردها: اعداد p-ادیک در نظریه اعداد (برای حل معادلات دیوفانتی)، آنالیز p-ادیک (برای مطالعه توابع p-ادیک)، فیزیک (نظریه میدان های کوانتومی p-ادیک)، رمزنگاری، و دینامیک p-ادیک کاربرد دارند.

📌 مثال ساده:

\[ x = 2 \]

،

\[ y = 6 \]

در

\[ \mathbb{Q}_5 \]

.

\[ v_5(2-6) = v_5(-4) = 0 \]

، زیرا ۴ بر ۵ بخش پذیر نیست. پس

\[ |2-6|_5 = 5^{-0} = 1 \]

.

\[ x = 5 \]

،

\[ y = 0 \]

:

\[ |5|_5 = 5^{-1} = 1/5 \]

.