فضای متریک با نرم Lp (انگلیسی : Lp Norm Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با نرم Lp (انگلیسی : Lp Norm Metric Space) :
تعریف: برای
\[ 1 \leq p < \infty \]، فضای
\[ L^p(X, \mu) \]شامل توابع measurable با نرم
\[ L^p \]متناهی است:
\[ \|f\|_p = \left( \int_X |f|^p d\mu \right)^{1/p} \]متریک:
\[ d_p(f, g) = \|f - g\|_p \]توضیح مفهومی: فضاهای
\[ L^p \]یکی از مهم ترین کلاس فضاهای باناخ هستند. برای
\[ p=1 \]، فضای توابع انتگرال پذیر، برای
\[ p=2 \]فضای هیلبرت، و برای
\[ p=\infty \]فضای توابع کراندار (به طور اساسی) به دست می آید. این فضاها در آنالیز، معادلات دیفرانسیل، و فیزیک کاربرد دارند.
ویژگی های اصلی:
کامل بودن: برای هر
\[ 1 \leq p \leq \infty \]،
\[ L^p \]یک فضای باناخ است (قضیه فیشر-ریش).
جدایی پذیری: برای
\[ 1 \leq p < \infty \]، اگر فضای اندازه پایه جدایی پذیر باشد،
\[ L^p \]جدایی پذیر است.
\[ L^\infty \]معمولا جدایی پذیر نیست.
دوگان: برای
\[ 1 < p < \infty \]، دوگان
\[ L^p \]،
\[ L^q \]است با
\[ 1/p + 1/q = 1 \]. دوگان
\[ L^1 \]،
\[ L^\infty \]است (تحت شرایط)، و دوگان
\[ L^\infty \]بسیار بزرگتر است.
نامساوی هولدر:
\[ \int |fg| \leq \|f\|_p \|g\|_q \].
نامساوی مینکوفسکی:
\[ \|f+g\|_p \leq \|f\|_p + \|g\|_p \].
مثال های مهم:
\[ L^1([0,1]) \]
: توابع انتگرال پذیر.
\[ L^2([0,1]) \]
: توابع با مربع انتگرال پذیر (هیلبرت).
\[ L^p(\mathbb{R}^n) \]
: برای مطالعه معادلات دیفرانسیل با مشتقات جزئی.
قضایای مهم:
قضیه همگرایی تسلط یافته لبگ (برای
\[ L^1 \]).
قضیه بازنمایی ریتس برای
\[ L^p \].
قضیه بریز-لیب: در مورد تخمین های
\[ L^p \]برای عملگرهای شرودینگر.
کاربردها: فضاهای
\[ L^p \]در معادلات دیفرانسیل با مشتقات جزئی (برای فضاهای سوبولف)، آنالیز فوریه، نظریه احتمالات (فضاهای
\[ L^p \]برای متغیرهای تصادفی)، و فیزیک ریاضی کاربرد دارند.
📌 مثال ساده:
\[ f(x)=x \],
\[ g(x)=x^2 \]روی
\[ [0,1] \].
\[ \|f-g\|_1 = \int_0^1 |x-x^2| dx = \int_0^1 (x-x^2) dx = [x^2/2 - x^3/3]_0^1 = 1/2 - 1/3 = 1/6 \].
\[ \|f-g\|_2 = \sqrt{1/30} \](محاسبه شد).
