فضای متریک فازی (Fuzzy Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک فازی (Fuzzy Metric Space) :
تعریف: فضای متریک فازی تعمیمی از فضای متریک است که در آن درجه ای از شباهت یا نزدیکی بین نقاط به صورت یک مقدار فازی (بین ۰ و ۱) بیان می شود. اولین بار توسط کراموسیل و میچالک در سال ۱۹۷۵ معرفی شد.
ساختار: در یک فضای متریک فازی، به ازای هر
\[ x, y \in X \]و هر
\[ t > 0 \]، یک مقدار
\[ M(x, y, t) \]داریم که نشان دهنده درجه نزدیکی
\[ x \]و
\[ y \]در پارامتر
\[ t \]است. هرچه
\[ M(x, y, t) \]به ۱ نزدیک تر باشد،
\[ x \]و
\[ y \]به هم نزدیک ترند.
\[ M: X \times X \times (0, \infty) \to (0,1] \]شرایط:
\[ M(x, y, t) = 1 \iff x = y \] \[ M(x, y, t) = M(y, x, t) \] \[ M(x, z, t+s) \geq \min(M(x, y, t), M(y, z, s)) \] \[ \lim_{t \to \infty} M(x, y, t) = 1 \]توضیح مفهومی: در منطق فازی، مفاهیم به صورت درجه ای (نه صفر و یک) معنا می یابند. در فضای متریک فازی نیز به جای اینکه بگوییم دو نقطه دقیقا به فاصله
\[ d \]هستند، می گوییم با درجه
\[ M \]به هم نزدیک هستند. این رویکرد برای مدل سازی مفاهیمی مانند "نزدیک"، "دور" و "خیلی نزدیک" که در زبان روزمره استفاده می کنیم، مناسب است.
تفاوت با فضای احتمالاتی: فضای متریک فازی با فضای متریک احتمالاتی تفاوت دارد. در فضای احتمالاتی،
\[ F_{x,y}(t) \]یک احتمال است (یعنی یک متغیر تصادفی)، در حالی که در فضای فازی،
\[ M(x, y, t) \]یک درجه عضویت (یک مقدار قطعی بین ۰ و ۱) است که از منطق فازی می آید.
انواع فضاهای متریک فازی: تعاریف مختلفی از فضای متریک فازی وجود دارد. معروف ترین آنها توسط جورج و ویرمانی (۱۹۹۴) ارائه شده است که در آن به جای
\[ t \]از یک پارامتر استفاده می شود و شرط مثلث با استفاده از نرم مثلثی (t-norm) بیان می شود.
کاربردها: این فضاها در زمینه های مختلفی از جمله تشخیص الگو، خوشه بندی فازی، کنترل فازی، تصمیم گیری چندمعیاره، و نظریه تقریب کاربرد دارند.
نرم مثلثی (t-norm): رایج ترین نرم های مثلثی مورد استفاده در فضاهای متریک فازی عبارتند از:
- مینیمم:
\[ a * b = \min(a, b) \]- حاصلضرب:
\[ a * b = ab \]- لوکاسیویچ:
\[ a * b = \max(a+b-1, 0) \]📌 مثال ساده:
روی
\[ \mathbb{R} \]، تعریف کنید
\[ M(x, y, t) = e^{-\frac{|x-y|}{t}} \]برای
\[ t > 0 \]. این یک فضای متریک فازی با نرم مثلثی مینیمم است. وقتی
\[ |x-y| \]کوچک باشد،
\[ M \]نزدیک به ۱ است و وقتی
\[ |x-y| \]بزرگ باشد،
\[ M \]به ۰ نزدیک می شود.
