فضای متریک مجذور-انتگرال پذیر (Square-Integrable Metric Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک مجذور-انتگرال پذیر (Square-Integrable Metric Space) :
تعریف: فضای مجذور-انتگرال پذیر معمولا به فضای
\[ L^2 \](یا
\[ l^2 \]) اشاره دارد. این فضا شامل توابع (یا دنباله هایی) است که انتگرال مربع قدر مطلق آنها متناهی است. متریک روی این فضا از نرم
\[ L^2 \]ناشی می شود:
\[ d(f, g) = \|f - g\|_2 = \left( \int |f - g|^2 \right)^{1/2} \]برای دنباله ها:
\[ d(x, y) = \left( \sum_{n=1}^\infty |x_n - y_n|^2 \right)^{1/2} \]توضیح مفهومی: فضای
\[ L^2 \]یک فضای هیلبرت است (تنها فضای
\[ L^p \]که هیلبرت است). این فضا نقش اساسی در آنالیز فوریه، مکانیک کوانتومی، و نظریه معادلات دیفرانسیل با مشتقات جزئی دارد. دلیل اهمیت آن وجود ضرب داخلی طبیعی
\[ \langle f, g \rangle = \int f \bar{g} \]است که مفاهیم عمود بودن و سری های فوریه را ممکن می سازد.
ویژگی های اصلی:
کامل بودن:
\[ L^2 \]یک فضای هیلبرت است، بنابراین کامل است.
جدایی پذیری: اگر فضای اندازه پایه جداپذیر باشد (مثل
\[ \mathbb{R}^n \])،
\[ L^2 \]جدایی پذیر است.
ضرب داخلی: وجود ضرب داخلی امکان تعریف زاویه و عمود بودن را فراهم می کند.
قضیه فیشر-ریش:
\[ L^2 \]با
\[ l^2 \](در مورد سری های فوریه) یکریخت است.
قضیه نمایش ریتس: هر تابعک خطی پیوسته روی
\[ L^2 \]به صورت ضرب داخلی با یک تابع
\[ L^2 \]نمایش داده می شود.
مثال های مهم:
\[ L^2([0,1]) \]
: توابع با مربع انتگرال پذیر روی بازه واحد.
\[ l^2 \]
: دنباله های با مربع مجموع پذیر.
\[ L^2(\mathbb{R}) \]
: توابع با مربع انتگرال پذیر روی خط حقیقی.
قضایای مهم:
قضیه پلانشريل (Plancherel): تبدیل فوریه یک ایزومتری روی
\[ L^2 \]است.
قضیه هرمیت-فوریه: توابع ویژه عملگرهای دیفرانسیل خاص در
\[ L^2 \]یک پایه متعامد تشکیل می دهند.
قضیه فشردگی ریلیف-ریش: برخی عملگرهای انتگرالی روی
\[ L^2 \]فشرده هستند.
کاربردها: فضای
\[ L^2 \]در مکانیک کوانتومی (فضای حالت ها)، پردازش سیگنال (تبدیل فوریه)، معادلات دیفرانسیل با مشتقات جزئی (روش اجزاء محدود)، و آمار (نظریه تخمین) کاربرد دارد.
📌 مثال ساده:
در
\[ L^2[0,1] \]، توابع
\[ f(x)=x \]و
\[ g(x)=x^2 \]را در نظر بگیرید.
\[ \|f-g\|_2 = \sqrt{\int_0^1 (x-x^2)^2 dx} = \sqrt{\int_0^1 (x^2 - 2x^3 + x^4) dx} = \sqrt{1/3 - 1/2 + 1/5} = \sqrt{1/30} \].
