فضای متریک القاشده از تابع فاصله (Distance Function Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک القاشده از تابع فاصله (Distance Function Metric Space) :
تعریف: این مفهوم کلی به هر فضای متریک
\[ (X, d) \]اشاره دارد که در آن متریک
\[ d \]یک تابع فاصله (distance function) است. این همان تعریف استاندارد فضای متریک است. اما گاهی به فضاهایی اطلاق می شود که متریک آنها از یک تابع فاصله روی یک فضای بزرگتر (مثلا
\[ \mathbb{R}^n \]) القا شده باشد.
\[ d(x, y) = \|x - y\| \](مثال)
توضیح مفهونی: این عنوان تأکید دارد که متریک به عنوان یک تابع فاصله تعریف شده است. همه فضاهای متریک به این صورت هستند. بنابراین این یک کلاس خاص نیست، بلکه بیانگر تعریف پایه ای است.
ویژگی های اصلی:
هر فضای متریک به این صورت تعریف می شود.
این مفهوم برای تأکید بر این که متریک از یک تابع فاصله می آید به کار می رود.
در مقابل، فضاهای نیم متریک (semimetric) یا شبه متریک (quasimetric) که ممکن است شرایط مثلث را نداشته باشند، قرار می گیرند.
کاربردها: مفهوم پایه ای در تمام ریاضیات.
📌 مثال ساده:
\[ \mathbb{R}^n \]با متر
\[ d(x,y)=\|x-y\| \].
