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

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

فضای متریک ذوزنقه ای (Ultrametric Space) :

تعریف: یک فضای متریک

\[ (X, d) \]

ذوزنقه ای (Ultrametric) یا فوق متریک نامیده می شود اگر به جای نامساوی مثلث معمولی، یک نامساوی قوی تر به نام نامساوی فوق مثلث (Ultrametric Inequality) برقرار باشد:

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

و سایر شرایط متریک (نامنفی، تقارن، و

\[ d(x,y)=0 \iff x=y \]

) برقرارند.

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

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

در فضاهای ذوزنقه ای، هر مثلث متساوی الساقین است (دو ضلع بزرگتر با هم برابرند).

همه گوی های باز، بسته نیز هستند (چون اگر

\[ y \in B(x, r) \]

، آن گاه

\[ B(y, r) = B(x, r) \]

).

اگر دو گوی با هم اشتراک داشته باشند، یکی شامل دیگری است.

فضا کاملا ناهمبند (totally disconnected) است.

هر نقطه مرکز هر گوی ای است که در آن قرار دارد.

مثال های مهم فضاهای ذوزنقه ای:

اعداد p-ادیک

\[ \mathbb{Q}_p \]

: با متر

\[ d(x, y) = p^{-v_p(x-y)} \]

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

مجموعه کانتور: با متر معمولی از

\[ \mathbb{R} \]

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

هر مجموعه با متر گسسته: چون

\[ d(x,z) \leq 1 \]

و

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

یا ۰ یا ۱ است، نامساوی برقرار است.

درخت ها: اگر روی رئوس یک درخت، فاصله را به صورت طول مسیر تعریف کنیم، با یک شرط خاص (مثلا درخت ریشه دار با وزن های مناسب) می تواند ذوزنقه ای باشد.

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

\[ \mathbb{Q}_p \]

همگراست اگر و فقط اگر جمله عمومی آن به صفر همگرا باشد (شرط ضعیف تری نسبت به

\[ \mathbb{R} \]

).

ساختار درختی: فضاهای ذوزنقه ای را می توان با درخت های ریشه دار نمایش داد. هر گوی متناظر با یک گره در درخت است، و رابطه شمول گوی ها متناظر با رابطه والد-فرزندی در درخت است.

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

📌 مثال ساده:

اعداد گویا با متر p-ادیک: برای

\[ p=2 \]

، فاصله بین ۰ و ۱ برابر

\[ |1-0|_2 = 2^{-v_2(1)} = 1 \]

است. فاصله بین ۱ و ۳ برابر

\[ |2|_2 = 2^{-1} = 1/2 \]

است. فاصله بین ۰ و ۳ برابر

\[ |3|_2 = 1 \]

است. بررسی کنید:

\[ \max(d(0,1), d(1,3)) = \max(1, 1/2) = 1 \]

و

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

، برقرار است.