فضای متریک درخت (Tree Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک درخت (Tree Metric Space) :

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

\[ 0 \]

-هذلولوی گروماف هستند.

\[ d_T(u, v) = \text{طول مسیر یکتا بین } u \text{ و } v \]

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

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

در درخت ها، بین هر دو رأس یک مسیر یکتا وجود دارد.

درخت ها

\[ 0 \]

-هذلولوی گروماف هستند، یعنی شرط هذلولوی با

\[ \delta = 0 \]

برقرار است.

مثلث‌ها در درخت ها "لاغر" هستند: هر مثلث در واقع یک سه راه (tripod) است.

درخت ها فضاهای CAT(0) هستند (ژئودزیک یکتا).

هر درخت با متریک خود یک فضای هایپرکانوکس (injective) است.

درخت های حقیقی (Real Trees): تعمیم درخت ها به حالتی که یال ها پاره خط های حقیقی هستند و می توانند طول دلخواه داشته باشند. درخت حقیقی یک فضای متریک است که در آن بین هر دو نقطه یک مسیر یکتا (ژئودزیک) وجود دارد و این مسیر هومئومورف با یک بازه است.

قضیه: یک فضای متریک فشرده و همبند یک درخت حقیقی است اگر و فقط اگر

\[ 0 \]

-هذلولوی گروماف باشد.

کاربردها: درخت ها در زیست شناسی (درخت های فیلوژنتیک برای نمایش تکامل گونه ها)، علوم کامپیوتر (درخت های جستجو، درخت های تصمیم)، نظریه گروه ها (درخت های سری برای گروه های آزاد)، و زبان شناسی (درخت های نحوی) کاربرد دارند.

متریک های دیگر روی درخت: گاهی از متریک های وزن دار استفاده می شود که در آن هر یال وزنی متناسب با "فاصله تکاملی" دارد.

📌 مثال ساده:

یک درخت سه رأسی با ریشه:

\[ a \]

متصل به

\[ b \]

و

\[ c \]

.

\[ d(a, b) = 1 \]

،

\[ d(b, c) = 2 \]

.

درخت حقیقی: یک پاره خط

\[ [0, 1] \]

با یک شاخه در

\[ 0.5 \]

به طول

\[ 0.5 \]

.