فضای متریک ذوزنقه ای p-ادیک (P-adic Ultrametric Space)، در ریاضیات (Mathematics)

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

فضای متریک ذوزنقه ای p-ادیک (P-adic Ultrametric Space) :

تعریف: فضای متریک ذوزنقه ای p-ادیک یک فضای ذوزنقه ای خاص است که در آن متریک بر اساس قدر مطلق p-ادیک تعریف می شود. مهم ترین مثال آن، اعداد p-ادیک

\[ \mathbb{Q}_p \]

با متر

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

است.

\[ |x|_p = p^{-v_p(x)} \quad \text{که } v_p(x) \text{ مرتبه p-ادیک x است} \] \[ d(x, y) = |x - y|_p \]

و بنابراین

\[ d(x, z) \leq \max\{d(x, y), d(y, z)\} \]

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

ارزیابی p-ادیک: برای یک عدد صحیح

\[ n \]

،

\[ v_p(n) \]

بزرگترین توان p است که n بر آن بخش پذیر است. برای اعداد گویا،

\[ v_p(a/b) = v_p(a) - v_p(b) \]

. قدر مطلق p-ادیک به صورت

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

تعریف می شود (با قرارداد

\[ |0|_p = 0 \]

).

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

میدان

\[ \mathbb{Q}_p \]

با این متر یک فضای متریک کامل و ذوزنقه ای است.

گوی های واحد

\[ B(0, 1) = \{x: |x|_p \leq 1\} \]

یک زیرحلقه (حلقه اعداد p-ادیک صحیح) است.

این فضا کاملا ناهمبند و فشرده موضعی است.

توپولوژی p-ادیک با توپولوژی حاصل از ضرب متناهی مجموعه های گسسته هم ریخت است.

\[ \mathbb{Q}_p \]

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

ساختار

\[ \mathbb{Q}_p \]

: هر عدد p-ادیک را می توان به صورت سری توانی

\[ \sum_{i=k}^\infty a_i p^i \]

با

\[ a_i \in \{0,1,...,p-1\} \]

نمایش داد. فاصله بین دو عدد با کوچکترین اندیس i که ضرایب متفاوت دارند تعیین می شود: هرچه دیرتر متفاوت شوند، فاصله کمتر است.

مثال های دیگر فضاهای p-ادیک ذوزنقه ای:

\[ \mathbb{Q}_p^n \]

با متر max:

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

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

\[ \mathbb{Z}_p \]

که فشرده است.

فضاهای تابعی p-ادیک مانند

\[ C(\mathbb{Z}_p, \mathbb{Q}_p) \]

.

آنالیز p-ادیک: در آنالیز p-ادیک، بسیاری از مفاهیم کلاسیک مانند مشتق، انتگرال، و سری های توانی تعریف می شوند، اما رفتار متفاوتی دارند. برای مثال، یک سری

\[ \sum a_n \]

در

\[ \mathbb{Q}_p \]

همگراست اگر و فقط اگر

\[ a_n \to 0 \]

.

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

ارتباط با مجموعه کانتور: فضای

\[ \mathbb{Z}_p \]

(اعداد صحیح p-ادیک) با توپولوژی p-ادیک هومئومورف با مجموعه کانتور است. این ارتباط جالبی بین آنالیز p-ادیک و توپولوژی ایجاد می کند.

📌 مثال ساده:

در

\[ \mathbb{Q}_5 \]

،

\[ d(0, 5) = |5|_5 = 5^{-1} = 1/5 \]

،

\[ d(0, 10) = |10|_5 = 5^{-1} = 1/5 \]

(چون

\[ v_5(10)=1 \]

)، و

\[ d(5, 10) = |5|_5 = 1/5 \]

. همه اینها برابرند، پس مثلث متساوی الاضلاع است.

در

\[ \mathbb{Q}_2 \]

،

\[ d(0, 1) = 1 \]

،

\[ d(1, 3) = |2|_2 = 1/2 \]

،

\[ d(0, 3) = |3|_2 = 1 \]

. بررسی کنید:

\[ \max(1, 1/2) = 1 \]

و

\[ d(0,3) = 1 \leq 1 \]

، برقرار است.