خاصیت شرکتپذیری ضرب عددی: (rs)a = r(sa)
ریشههای ویژگی شرکتپذیری در ضرب عدد و بردار
در جبر مقدماتی، ضرب اعداد حقیقی خود دارای خاصیت شرکتپذیری است: $(r \times s) \times t = r \times (s \times t)$. اما ضرب یک عدد در یک بردار (که به آن ضرب نردبانی3 یا مقیاسسازی میگوییم) عملی متفاوت است. ویژگی $(rs)a = r(sa)$ بیان میکند که اگر بخواهیم یک بردار را ابتدا در حاصلضرب دو عدد ضرب کنیم، نتیجه همان است که ابتدا بردار را در عدد دوم ضرب کنیم و سپس حاصل در عدد اول ضرب شود. به عبارت دیگر، ترتیب انجام ضربهای عددی در مقیاسسازی بردار اهمیت ندارد.
برای درک بهتر، فرض کنید $a$ یک بردار جابهجایی به طول $4$ متر به سمت راست باشد. اگر $r=3$ و $s=2$ را در نظر بگیریم، ابتدا $rs = 6$ را محاسبه میکنیم. سپس $6a$ به معنای $6 \times 4 = 24$ متر جابهجایی است. در روش دوم، ابتدا $sa = 2 \times 4 = 8$ متر و سپس $r(sa) = 3 \times 8 = 24$ متر میدهد. هر دو راه به یک نتیجه میرسند. این سادگی، پایهٔ بسیاری از محاسبات برداری است.
تفکیک ویژگی شرکتپذیری ضرب عددی از سایر اصول
خاصیت $(rs)a = r(sa)$ گاهی با خاصیت توزیعپذیری (مانند $(r+s)a = ra + sa$) اشتباه گرفته میشود. تفاوت اساسی این است که شرکتپذیری فقط به چگونگی گروهبندی ضربهای عددی هنگام برخورد با بردار میپردازد، در حالی که توزیعپذیری جمع اعداد را به جمع برداری متصل میکند. جدول زیر مقایسه روشنی ارائه میدهد:
| ویژگی | فرمول کلی | مفهوم به زبان ساده |
|---|---|---|
| شرکتپذیری ضرب عددی | $(rs)a = r(sa)$ | ترتیب ضرب اعداد در بردار، در صورت یکسان بودن اعداد، تغییری در نتیجه نهایی ایجاد نمیکند. |
| توزیعپذیری نردبانی (جمع اعداد) | $(r+s)a = ra + sa$ | جمع دو عدد و سپس مقیاسسازی معادل جمع دو بردار مقیاسشده است. |
| توزیعپذیری برداری | $r(a+b) = ra + rb$ | ضرب یک عدد در جمع برداری، معادل جمع بردارهای مقیاسشده است. |
کاربرد عملی: مقیاسسازی زنجیرهای در گرافیک و فیزیک
فرض کنید یک تصویر برداری داریم که مختصات نقطهٔ آن به صورت $(x,y)$ ذخیره شده است. یک نرمافزار گرافیکی میخواهد ابتدا تصویر را $2$ برابر بزرگنمایی کند ( $s=2$ ) و سپس حاصل را $0.5$ برابر کوچکنمایی کند ($r=0.5$). با ویژگی شرکتپذیری میتوانیم به جای انجام دو عملیات جداگانه روی بردار، ابتدا $rs = 0.5 \times 2 = 1$ را محاسبه کنیم و سپس بردار را در $1$ ضرب کنیم. این یعنی تصویر بدون تغییر میماند. برنامهنویس بدون اجرای دو حلقهٔ تکی، یک بار کل تصویر را مقیاس میکند. این صرفهجویی محاسباتی در انیمیشنهای بلادرنگ بسیار مهم است.
در فیزیک، قانون دوم نیوتن به شکل $\vec{F} = m \vec{a}$ داریم. اگر جرم $m$ خود از حاصلضرب دو عامل دیگر مانند چگالی $\rho$ و حجم $V$ تشکیل شده باشد ($m = \rho V$)، آنگاه $\vec{F} = (\rho V) \vec{a} = \rho (V \vec{a})$. یعنی میتوان ابتدا شتاب را در حجم ضرب کرد و سپس در چگالی. این انعطاف در تحلیل ابعادی و سادهسازی معادلات بسیار ارزشمند است.
چالشهای مفهومی در مورد $(rs)a = r(sa)$
بله. اگر $a = \vec{0}$، آنگاه طرف چپ: $(rs)\vec{0} = \vec{0}$ (چون هر عدد ضرب در بردار صفر، بردار صفر میدهد). طرف راست: $r(s\vec{0}) = r(\vec{0}) = \vec{0}$. بنابراین تساوی برقرار است. در واقع بردار صفر مانند عضو خنثی رفتار میکند.
در این صورت حاصلضرب $rs = 0$ خواهد بود. طرف چپ به بردار صفر تبدیل میشود. طرف راست نیز به $r(sa)$ میرسد که اگر $s=0$ باشد، $sa = \vec{0}$ و سپس ضرب در $r$ باز هم $\vec{0}$ میدهد. اگر $r=0$ باشد، مستقیم $0 \times (sa) = \vec{0}$. بنابراین ویژگی همواره برقرار است.
در ضرب اعداد، ما با یک مجموعه (اعداد) و یک عملگر (ضرب) سر و کار داریم. اما در اینجا دو نوع عملگر داریم: ضرب اعداد (که شرکتپذیر است) و ضرب عدد در بردار (که به تنهایی شرکتپذیر معنی ندارد زیرا دو ورودی از نوع متفاوت دارد). فرمول $(rs)a = r(sa)$ در واقع پلی است که شرکتپذیری ضرب عددی را به دنیای بردارها منتقل میکند. بدون این ویژگی، نمیتوانستیم چندین مقیاسسازی پشت سر هم را به راحتی ترکیب کنیم.
پاورقی
2 فضای برداری (Vector Space): مجموعهای از بردارها همراه با دو عمل جمع برداری و ضرب عددی که هشت اصل موضوع (مانند شرکتپذیری، توزیعپذیری و وجود بردار صفر) را برآورده میکند.
3 ضرب نردبانی (Scalar Product): همان ضرب عددی است؛ گاهی به آن مقیاسسازی (scaling) نیز میگویند تا با ضرب نقطهای (dot product) اشتباه نشود.
4 روش مؤلفهای (Component-wise): اگر بردار $a = (a_1, a_2, \dots, a_n)$ باشد، آنگاه $r a = (r a_1, r a_2, \dots, r a_n)$.