توزیعپذیری ضرب داخلی بردارها نسبت به جمع: ویژگی خطی بودن در فضای برداری
بیان قانون توزیعپذیری ضرب داخلی
در فضاهای برداری، ضرب داخلی (که گاهی ضرب نقطهای یا اسکالر نیز نامیده میشود) عملیاتی است که به دو بردار، یک عدد حقیقی (نردهای) نسبت میدهد. یکی از مهمترین ویژگیهای این عمل، توزیعپذیری نسبت به جمع بردارها است. به زبان ریاضی، برای هر سه بردار $\vec{a}$، $\vec{b}$ و $\vec{c}$ در صفحه یا فضا داریم:
این قانون به ما اجازه میدهد ضرب داخلی یک بردار را در مجموع دو بردار دیگر، به صورت مجموع دو ضرب داخلی سادهتر بنویسیم. در حقیقت، این ویژگی نشان میدهد که ضرب داخلی نسبت به عمل جمع بردارها «خطی» است. برای درک بهتر، ابتدا یادآوری میکنیم که ضرب داخلی دو بردار در دستگاه مختصات دکارتی چگونه محاسبه میشود.
<!-- مثال روایت کوتاه عملی در یک پاراگراف مستقل -->فرض کنید در حال محاسبه کار انجام شده توسط یک نیرو هستید که برآیند دو نیروی متفاوت است. طبق قانون توزیعپذیری، میتوانید کار هر نیرو را جداگانه حساب کنید و سپس جمع بزنید. این ویژگی محاسبات فیزیک دبیرستان را بسیار ساده میکند.
تأیید قانون با مؤلفههای برداری
برای اثبات این قانون در صفحه دو بعدی، بردارها را به صورت مؤلفهای مینویسیم. فرض کنید:
طرف اول رابطه را محاسبه میکنیم. ابتدا جمع برداری $\vec{b} + \vec{c}$ را انجام میدهیم:
سپس ضرب داخلی $\vec{a} \cdot (\vec{b} + \vec{c})$ را به دست میآوریم:
حال طرف دوم یعنی $\vec{a} \cdot \vec{b} + \vec{a} \cdot \vec{c}$ را محاسبه میکنیم:
بنابراین:
که با طرف اول برابر است. بنابراین قانون توزیعپذیری برای هر سه بردار دلخواه در صفحه ثابت شد. همین اثبات برای فضای سه بعدی1 نیز به سادگی قابل گسترش است.
<!-- جدول مقایسه مقادیر عددی -->| مرحله محاسبه | عملیات ریاضی | نتیجه عددی (برای مثال داده شده) |
|---|---|---|
| تعریف بردارها | $\vec{a}=(2,3)$ , $\vec{b}=(1,-1)$ , $\vec{c}=(4,2)$ | مقادیر ورودی داده شده |
| محاسبه $\vec{b}+\vec{c}$ | $(1+4,-1+2)$ | (5,1) |
| طرف اول: $\vec{a}\cdot(\vec{b}+\vec{c})$ | $2\times5 + 3\times1$ | 10+3 = 13 |
| طرف دوم: $\vec{a}\cdot\vec{b}$ | $2\times1 + 3\times(-1)$ | 2 - 3 = -1 |
| طرف دوم: $\vec{a}\cdot\vec{c}$ | $2\times4 + 3\times2$ | 8+6 = 14 |
| جمع طرف دوم | $(\vec{a}\cdot\vec{b}) + (\vec{a}\cdot\vec{c})$ | -1 + 14 = 13 (برابر طرف اول) |
کاربرد در محاسبه کار نیروی متغیر (مثال فیزیک)
در فیزیک دبیرستان، کار انجام شده توسط یک نیروی ثابت $\vec{F}$ در امتداد جابجایی $\vec{d}$ برابر $W = \vec{F} \cdot \vec{d}$ است. حال فرض کنید یک جسم تحت تأثیر دو نیروی همزمان $\vec{F_1}$ و $\vec{F_2}$ قرار گیرد. نیروی برآیند $\vec{F} = \vec{F_1} + \vec{F_2}$ است. طبق قانون توزیعپذیری:
یعنی کار کل برابر مجموع کارهایی است که هر نیرو به تنهایی انجام میدهد. این نتیجه در مسائلی که چند نیرو بر یک جسم وارد میشوند، بسیار مفید است و نیازی به محاسبه برآیند نیروها قبل از محاسبه کار نیست.
چالشهای مفهومی پیرامون توزیعپذیری ضرب داخلی
۱) آیا قانون توزیعپذیری برای ضرب خارجی یا ضرب معمولی اعداد نیز برقرار است؟
بله، ضرب معمولی اعداد حقیقی و همچنین ضرب خارجی بردارها (کراس پروداکت) نیز نسبت به جمع توزیعپذیر هستند. اما ضرب داخلی با ضرب خارجی تفاوت ماهوی دارد؛ خروجی ضرب داخلی یک عدد نردهای (اسکالر) است در حالی که خروجی ضرب خارجی یک بردار عمود بر دو بردار اولیه است. قانون توزیع برای ضرب داخلی به صورت $\vec{a}\cdot(\vec{b}+\vec{c}) = \vec{a}\cdot\vec{b} + \vec{a}\cdot\vec{c}$ و برای ضرب خارجی به صورت $\vec{a}\times(\vec{b}+\vec{c}) = \vec{a}\times\vec{b} + \vec{a}\times\vec{c}$ نوشته میشود.
۲) آیا ترتیب بردارها در قانون توزیعپذیری ضرب داخلی مهم است؟
ضرب داخلی خاصیت جابجاییپذیری2 دارد، یعنی $\vec{a}\cdot\vec{b} = \vec{b}\cdot\vec{a}$. بنابراین قانون توزیع را میتوان به شکل $(\vec{b}+\vec{c})\cdot\vec{a} = \vec{b}\cdot\vec{a} + \vec{c}\cdot\vec{a}$ نیز نوشت. در نتیجه ترتیب بردارها در دو طرف تساوی اختیاری است.
۳) اگر بردار a صفر باشد، آیا قانون توزیع همچنان معتبر است؟
بله، کاملاً معتبر است. اگر $\vec{a} = \vec{0}$ (بردار صفر)، آنگاه ضرب داخلی هر بردار در بردار صفر برابر عدد صفر میشود. در این صورت طرف اول: $\vec{0}\cdot(\vec{b}+\vec{c}) = 0$ و طرف دوم: $\vec{0}\cdot\vec{b} + \vec{0}\cdot\vec{c} = 0+0 = 0$. بنابراین تساوی برقرار است.
پاورقی
1 فضای سه بعدی (Three-dimensional space): فضایی که هر نقطه با سه مختصات (x,y,z) مشخص میشود و بردارها دارای سه مؤلفه هستند.
2 خاصیت جابجاییپذیری (Commutativity): ویژگی یک عمل دوتایی که در آن ترتیب عملوندها تأثیری در نتیجه نهایی ندارد؛ برای ضرب داخلی داریم $\vec{a}\cdot\vec{b} = \vec{b}\cdot\vec{a}$.
