فضای شبه مدولار (Pseudomodular Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای شبه مدولار (Pseudomodular Metric Space) :
تعریف: فضای شبه مدولار تعمیمی از فضای مدولار است که در آن شرط جدایی پذیری (یعنی
\[ d_λ(x, y) = 0 \]برای همه
\[ λ \]نتیجه دهد
\[ x = y \]) لزوما برقرار نیست. به عبارت دیگر، ممکن است نقاط متمایزی وجود داشته باشند که فاصله مدولار بین آنها برای همه
\[ λ \]صفر باشد.
ویژگی های اصلی: در فضای شبه مدولار، تابع فاصله به یک پارامتر مثبت
\[ λ \]وابسته است و شرایط زیر را دارد:
\[ d_λ(x, x) = 0 \quad \forall λ > 0 \] \[ d_λ(x, y) = d_λ(y, x) \quad \text{(تقارن)} \] \[ d_{λ+μ}(x, y) \leq d_λ(x, z) + d_μ(z, y) \]اما: ممکن است
\[ d_λ(x, y) = 0 \]برای
\[ x \neq y \]توضیح مفهومی: این فضاها شبیه به شبه متریک ها هستند، اما با این تفاوت که فاصله به یک مقیاس
\[ λ \]وابسته است. این وابستگی به مقیاس به ما امکان می دهد تا رفتار فاصله را در بزرگنمایی های مختلف بررسی کنیم. در فضای شبه مدولار، دو نقطه ممکن است در همه مقیاس ها فاصله صفر داشته باشند بدون اینکه یکسان باشند، که نشان دهنده نوعی هم ارزی ضعیف تر است.
ریشه و کاربرد: این مفهوم در آنالیز تابعی و نظریه فضاهای برداری توپولوژیک ظهور می کند. وقتی با فضاهای توابع یا فضاهای سوبولف سروکار داریم، گاهی نیاز به مفاهیمی داریم که در آن ها همگرایی در یک مقیاس خاص معنا پیدا می کند. شبه مدولارها امکان تعریف همگرایی های ضعیف تر را فراهم می کنند.
مثال ملموس: فرض کنید
\[ X = \mathbb{R} \]و تعریف کنیم
\[ d_λ(x, y) = \frac{|x-y|}{λ} \]اگر
\[ x \]و
\[ y \]هر دو گویا یا هر دو غیرگویا باشند، و
\[ d_λ(x, y) = 0 \]برای سایر حالات. این یک شبه مدولار است زیرا دو عدد گویا و غیرگویا می توانند فاصله صفر داشته باشند.
ارتباط با مفاهیم دیگر: شبه مدولارها حالت خاصی از مدولارها هستند. همچنین می توان آنها را به عنوان خانواده ای از شبه متریک ها (یک شبه متریک برای هر
\[ λ \]) در نظر گرفت که با رابطه
\[ d_{λ+μ}(x, y) \leq d_λ(x, z) + d_μ(z, y) \]به هم مرتبط هستند.
مثال مهم در آنالیز: در نظریه فضاهای
\[ L^p \]، اگر
\[ d_λ(f, g) = λ \int |f-g|^p \]را تعریف کنیم، این یک مدولار است. اگر به جای انتگرال، از یک تابعک نیم خطی استفاده کنیم که ممکن است برای توابع غیرمساوی صفر شود، به یک شبه مدولار می رسیم.
📌 مثال ساده:
مجموعه توابع پیوسته روی
\[ [0,1] \]را در نظر بگیرید. تعریف کنید
\[ d_λ(f, g) = λ \sup_{x \in [0,1]} |f(x) - g(x)| \]اگر
\[ f \]و
\[ g \]در یک زیرفضای خاص (مثلا توابع ثابت) باشند، و در غیر این صورت
\[ d_λ(f, g) = 0 \]. این یک شبه مدولار است که نمی تواند توابع مختلف را از هم تشخیص دهد.
