فضای ضرب داخلی (Inner Product Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای ضرب داخلی (Inner Product Space) :

تعریف: یک فضای ضرب داخلی (فضای پیش هیلبرت) یک فضای برداری

\[ V \]

(روی

\[ \mathbb{R} \]

یا

\[ \mathbb{C} \]

) همراه با یک ضرب داخلی

\[ \langle \cdot, \cdot \rangle \]

است که یک فرم متقارن (یا هرمیتی)، مثبت معین، و خطی در مؤلفه اول است. این ضرب داخلی یک نرم به صورت

\[ \|x\| = \sqrt{\langle x, x \rangle} \]

و در نتیجه یک متریک

\[ d(x, y) = \|x - y\| \]

القا می کند.

\[ \|x\| = \sqrt{\langle x, x \rangle} \] \[ d(x, y) = \|x - y\| = \sqrt{\langle x-y, x-y \rangle} \]

توضیح مفهومی: فضاهای ضرب داخلی مهم ترین کلاس فضاهای نرم دار هستند، زیرا نرم آنها از یک ضرب داخلی می آید که امکان تعریف مفاهیم هندسی مانند زاویه و عمود بودن را فراهم می کند. اگر این فضا کامل باشند، فضای هیلبرت نامیده می شوند.

ویژگی های اصلی:

قاعده متوازی الاضلاع: در فضاهای ضرب داخلی، قاعده

\[ \|x+y\|^2 + \|x-y\|^2 = 2(\|x\|^2 + \|y\|^2) \]

برقرار است. این خاصیت مشخصه فضاهای ضرب داخلی در میان فضاهای نرم دار است.

نامساوی کوشی-شوارتز:

\[ |\langle x, y \rangle| \leq \|x\| \|y\| \]

.

قضیه فیثاغورس: اگر

\[ x \perp y \]

(یعنی

\[ \langle x, y \rangle = 0 \]

)، آن گاه

\[ \|x+y\|^2 = \|x\|^2 + \|y\|^2 \]

.

برآمدگی متعامد: روی زیرفضاهای بسته می توان برآمدگی متعامد تعریف کرد که یک نگاشت خطی و ناانبساطی است.

مثال های مهم:

\[ \mathbb{R}^n \]

با ضرب داخلی استاندارد:

\[ \langle x, y \rangle = \sum_{i=1}^n x_i y_i \]

.

\[ \mathbb{C}^n \]

با ضرب داخلی هرمیتی:

\[ \langle z, w \rangle = \sum_{i=1}^n z_i \overline{w_i} \]

.

\[ l^2 \]

: فضای دنباله های با مربع مجموع پذیر با ضرب داخلی

\[ \langle x, y \rangle = \sum_{i=1}^\infty x_i y_i \]

.

\[ L^2 \]

: فضای توابع با مربع انتگرال پذیر با ضرب داخلی

\[ \langle f, g \rangle = \int f \overline{g} \]

.

فضاهای سوبولف

\[ H^k \]

: با ضرب داخلی شامل مشتقات.

فضاهای هیلبرت: فضاهای ضرب داخلی کامل، فضاهای هیلبرت نامیده می شوند. این فضاها نقش اساسی در آنالیز تابعی، مکانیک کوانتومی، و نظریه معادلات دیفرانسیل با مشتقات جزئی دارند.

قضایای مهم:

قضیه نمایش ریتس: هر تابعک خطی پیوسته روی یک فضای هیلبرت به صورت

\[ \langle \cdot, y \rangle \]

برای یک

\[ y \]

یکتا نمایش داده می شود.

قضیه برآمدگی متعامد: اگر

\[ M \]

یک زیرفضای بسته از فضای هیلبرت

\[ H \]

باشد، آن گاه

\[ H = M \oplus M^\perp \]

.

قضیه بسل: برای هر مجموعه متعامد، مجموع مربعات ضرایب فوریه ≤

\[ \|x\|^2 \]

.

کاربردها: فضاهای ضرب داخلی در آنالیز فوریه (سری های فوریه)، مکانیک کوانتومی (فضای حالت ها)، نظریه تقریب (روش حداقل مربعات)، و پردازش سیگنال کاربرد دارند.

📌 مثال ساده:

\[ \mathbb{R}^3 \]

با ضرب داخلی نقطه ای یک فضای ضرب داخلی است. دو بردار

\[ (1,0,0) \]

و

\[ (0,1,0) \]

متعامدند و

\[ \|(1,1,0)\|^2 = 1^2 + 1^2 = 2 \]

که با قضیه فیثاغورس سازگار است.

\[ C[0,1] \]

با ضرب داخلی

\[ \langle f, g \rangle = \int_0^1 f(x)g(x) dx \]

یک فضای ضرب داخلی است اما کامل نیست (چون حد توابع پیوسته ممکن است ناپیوسته باشد). تکمیل آن

\[ L^2[0,1] \]

است.