فضای متریک با خاصیت اقلیدسی (Euclidean Property Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با خاصیت اقلیدسی (Euclidean Property Metric Space) :
تعریف: یک فضای متریک خاصیت اقلیدسی دارد اگر بتوان آن را در یک فضای اقلیدسی نشاند (embed) به طوری که متریک حفظ شود. به عبارت دیگر، یک فضای متریک
\[ (X, d) \]خاصیت اقلیدسی دارد اگر یک نگاشت
\[ f: X \to \mathbb{R}^n \](برای برخی
\[ n \]) وجود داشته باشد به طوری که
\[ d(x, y) = \|f(x) - f(y)\| \]. چنین فضایی را فضای اقلیدسی-پذیر (Euclidean embeddable) می نامند. همه فضاهای متریک چنین خاصیتی ندارند (مثلا گراف
\[ K_4 \]با وزن های خاص).
\[ \exists f: X \to \mathbb{R}^n \]با
\[ d(x, y) = \|f(x) - f(y)\| \].
توضیح مفهونی: این خاصیت به قضیه شنون (Schoenberg) و شرایط مثبت بودن ماتریس فاصله (distance matrix) مربوط می شود. یک ماتریس فاصله
\[ D \]را می توان در
\[ \mathbb{R}^n \]نشاند اگر و فقط اگر ماتریس
\[ G \]با
\[ G_{ij} = \frac{1}{2}(d_{i0}^2 + d_{j0}^2 - d_{ij}^2) \]مثبت نیمه معین باشد (برای یک نقطه مرجع).
ویژگی های اصلی:
فضاهای با
\[ n \]نقطه را می توان همیشه در
\[ \mathbb{R}^{n-1} \]نشاند (با حفظ فاصله ها) اگر شرایط مثلث برقرار باشد.
متریک های حاصل از نرم اقلیدسی همیشه قابل نشاندن هستند.
متریک منهتن (
\[ l^1 \]) را نمی توان در فضای اقلیدسی نشاند مگر در موارد خاص.
متریک های ذوزنقه ای (ultrametrics) را می توان در فضای هیلبرت نشاند.
کاربردها: این خاصیت در یادگیری ماشین (برای کاهش ابعاد)، تحلیل داده ها (MDS - مقیاس بندی چندبعدی)، و هندسه محاسباتی کاربرد دارد.
📌 مثال ساده:
سه نقطه با فواصل
\[ d(1,2)=1 \],
\[ d(1,3)=1 \],
\[ d(2,3)=1 \](مثلث متساوی الاضلاع) را می توان در
\[ \mathbb{R}^2 \]نشاند.
چهار نقطه با فواصل
\[ d(1,2)=d(1,3)=d(1,4)=1 \]و
\[ d(2,3)=d(2,4)=d(3,4)=2 \](ستاره) را نمی توان در
\[ \mathbb{R}^3 \]نشاند؟
