خاصیت شرکتپذیری ضرب ماتریسها: چرا ترتیب اجرا در ضرب زنجیرهای مهم نیست؟
۱. تعریف ضرب ماتریس و شرط اولیه همافزایی
پیش از پرداختن به قانون شرکتپذیری، باید بدانیم ضرب دو ماتریس چگونه انجام میشود. اگر ماتریس $A$ از اندازه $m \times n$ (یعنی $m$ سطر و $n$ ستون) و ماتریس $B$ از اندازه $n \times p$ باشد، آنگاه حاصل ضرب $AB$ یک ماتریس با اندازه $m \times p$ خواهد بود. شرط اصلی این است که تعداد ستونهای ماتریس اول ($n$) با تعداد سطرهای ماتریس دوم برابر باشد.
برای نمونه، فرض کنید $A = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix}$ (اندازه $2 \times 2$) و $B = \begin{bmatrix} 5 & 6 \\ 7 & 8 \end{bmatrix}$ (اندازه $2 \times 2$) باشد. در این صورت ضرب $AB$ مجاز است و حاصل آن به صورت زیر محاسبه میشود:
اکنون اگر ماتریس سومی مانند $C$ با اندازه مناسب داشته باشیم، میتوانیم ضرب سه ماتریس را به دو روش مختلف گروهبندی کنیم. قانون شرکتپذیری میگوید حاصل هر دو روش یکسان است.
۲. بیان قانون شرکتپذیری و شرط ابعاد
خاصیت شرکتپذیری1 برای ضرب ماتریسها به این معناست که اگر ابعاد ماتریسها به گونهای باشد که ضربها تعریف شده باشند، آنگاه برای هر سه ماتریس $A$، $B$ و $C$ داریم:
شرط مهم: فرض کنید $A$ از اندازه $m \times n$، $B$ از اندازه $n \times p$ و $C$ از اندازه $p \times q$ باشد. در این صورت:
- $BC$ دارای اندازه $n \times q$ است و سپس $A(BC)$ اندازه $m \times q$ خواهد داشت.
- $AB$ دارای اندازه $m \times p$ است و سپس $(AB)C$ نیز اندازه $m \times q$ خواهد داشت.
بنابراین از نظر ابعاد، دو طرف برابری با هم همخوانی دارند. این شرط لازم است، در غیر این صورت تساوی بیمعنا خواهد بود.
۳. اثبات گامبهگام با یک مثال عددی
برای درک بهتر، سه ماتریس فرضی را در نظر بگیرید:
روش اول: محاسبه $A(BC)$
ابتدا $BC$ را محاسبه میکنیم:
سپس $A(BC)$ را محاسبه میکنیم:
روش دوم: محاسبه $(AB)C$
ابتدا $AB$ را محاسبه میکنیم:
سپس $(AB)C$ را محاسبه میکنیم:
همانطور که مشاهده میشود، هر دو روش به نتیجهٔ یکسان $\begin{bmatrix} 57 & 64 \\ 203 & 228 \end{bmatrix}$ رسیدند. این همان قانون شرکتپذیری است.
۴. مقایسه شرکتپذیری با دیگر ویژگیهای ضرب ماتریس
| ویژگی | بیان ریاضی | وضعیت در ضرب ماتریس |
|---|---|---|
| شرکتپذیری | $A(BC)=(AB)C$ | برقرار (با شرط ابعاد) |
| جابجایی | $AB=BA$ | به طور کلی برقرار نیست |
| توزیعپذیری | $A(B+C)=AB+AC$ | برقرار |
نکته مهم: با وجود اینکه شرکتپذیری همواره برقرار است، اما جابجایی (commutativity) در ضرب ماتریسها معمولاً برقرار نیست. به همین دلیل هنگام نوشتن حاصل ضرب چند ماتریس، ترتیب قرار گرفتن آنها اهمیت دارد، ولی نحوهٔ گروهبندی (پرانتزگذاری) تأثیری در نتیجه نهایی ندارد.
۵. کاربرد عملی: محاسبه توان ماتریس و گرافیک رایانهای
یکی از مهمترین کاربردهای شرکتپذیری، محاسبهٔ توانهای ماتریس است. برای محاسبه $A^3 = A \times A \times A$ میتوانیم ابتدا $A^2 = A \times A$ را بیابیم و سپس $A^2 \times A$ را محاسبه کنیم، یا ابتدا $A \times A^2$ را محاسبه کنیم که هر دو نتیجه یکسان دارند. این ویژگی در بهینهسازی محاسبات کامپیوتری در گرافیک سهبعدی (تبدیلات ماتریسی) و در حل دستگاه معادلات خطی به روشهای تکراری بسیار مفید است.
مثال عینی: فرض کنید در یک بازی رایانهای، ماتریس $R$ نشاندهندهٔ چرخش یک جسم و ماتریس $T$ نشاندهندهٔ انتقال آن باشد. برای اعمال دو بار چرخش و سپس یک انتقال، میتوانیم ابتدا چرخش دوم را با انتقال ترکیب کنیم یا ابتدا هر دو چرخش را با هم ضرب کنیم. قانون شرکتپذیری تضمین میکند که نتیجهٔ نهایی یکسان است، بنابراین برنامهنویس میتواند ترتیب ضرب را برای افزایش سرعت انتخاب کند.
۶. چالشهای مفهومی
سوال ۱: آیا اگر ابعاد ماتریسها به گونهای باشد که $AB$ تعریف شده باشد، حتماً $BC$ هم تعریف شده است؟
پاسخ: خیر. برای اعتبار قانون $A(BC)=(AB)C$ باید هر دو طرف برابری از نظر ابعاد مجاز باشند. شرط لازم این است که تعداد ستونهای $A$ برابر تعداد سطرهای $B$ و تعداد ستونهای $B$ برابر تعداد سطرهای $C$ باشد. در غیر این صورت، حتی اگر $AB$ تعریف شده باشد، ممکن است $BC$ تعریف نشده باشد و تساوی بیمعناست.
سوال ۲: آیا شرکتپذیری ضرب ماتریس به این معناست که ترتیب ماتریسها هم مهم نیست؟
پاسخ: هرگز. شرکتپذیری فقط به گروهبندی (پرانتزگذاری) اجازهٔ تغییر میدهد، اما ترتیب قرار گرفتن ماتریسها از چپ به راست باید حفظ شود. به عبارت دیگر $ABC$ را میتوان به صورت $(AB)C$ یا $A(BC)$ محاسبه کرد، اما نمیتوان ترتیب را به $BAC$ یا $CBA$ تغییر داد.
سوال ۳: چرا در ضرب ماتریسهای غیرمربعی هم شرکتپذیری برقرار است؟
پاسخ: قانون شرکتپذیری ریشه در تعریف ضرب ماتریس بر اساس جمع و ضرب اعداد حقیقی دارد که خود شرکتپذیر هستند. اثبات این ویژگی تنها به همخوانی ابعاد وابسته است و به مربعی بودن یا نبودن ماتریسها ارتباطی ندارد. به شرطی که ابعاد برای زنجیره ضرب مناسب باشند (مثلاً $A_{m \times n}$، $B_{n \times p}$، $C_{p \times q}$)، شرکتپذیری همواره برقرار است.
۷. جمعبندی
۸. پاورقی
1 شرکتپذیری (Associativity): ویژگی یک عمل دوتایی که در آن نحوهٔ گروهبندی عملوندها تأثیری در نتیجه نهایی ندارد. برای ضرب ماتریسها این ویژگی با شرط همافزایی ابعاد برقرار است.