شرط تعریفپذیری ضرب دو ماتریس: چرا تعداد ستونهای ماتریس اول باید با تعداد سطرهای ماتریس دوم برابر باشد؟
۱. مفهوم ابعاد ماتریس و چرایی شرط تعریفپذیری
هر ماتریس را میتوان به صورت یک جدول از اعداد در نظر گرفت که دارای سطر و ستون است. ابعاد یک ماتریس به صورت m × n نمایش داده میشود که m تعداد سطرها و n تعداد ستونها است. برای ضرب دو ماتریس A و B، باید تعداد ستونهای A دقیقاً برابر با تعداد سطرهای B باشد. دلیل این شرط، شیوهٔ محاسبهٔ درایههای ماتریس حاصلضرب است.
فرض کنید A یک ماتریس m × n و B یک ماتریس n × p باشد. آنگاه حاصلضرب C = A × B یک ماتریس m × p خواهد بود. عدد n که همان تعداد ستونهای A و تعداد سطرهای B است، نقش «بعد داخلی» را ایفا میکند و در فرایند ضرب، جفتجفت شدن درایهها را ممکن میسازد.
مثال عملی: فرض کنید میخواهید هزینه خرید چند نوع کالا را از فروشگاههای مختلف محاسبه کنید. ماتریس A نشاندهندهٔ قیمت هر کالا در هر فروشگاه (سطرها: فروشگاهها، ستونها: کالاها) و ماتریس B نشاندهندهٔ تعداد هر کالا (سطرها: کالاها، ستونها: نوع سبد خرید) است. برای محاسبه هزینهٔ هر سبد در هر فروشگاه، باید قیمت هر کالا را در تعداد همان کالا ضرب و جمع کنید. این دقیقاً همان شرط تساوی ستونهای A با سطرهای B را میطلبد، زیرا شماره کالاها باید بین دو ماتریس متناظر شوند.
۲. نحوه محاسبه درایههای ماتریس حاصلضرب
اگر شرط تعریفپذیری برقرار باشد، هر درایه در ماتریس حاصلضرب C که در سطر i و ستون j قرار دارد، از ضرب سطر iام ماتریس A در ستون jام ماتریس B و سپس جمع جبری حاصلضربها به دست میآید. به عبارت دیگر:
که در آن n همان تعداد ستونهای A (و تعداد سطرهای B) است. این رابطه نشان میدهد که اگر تعداد ستونهای A و سطرهای B با هم برابر نباشند، اندیس k قابل تعریف نخواهد بود.
مثال گامبهگام: فرض کنید A = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} و B = \begin{bmatrix} 5 & 6 \\ 7 & 8 \end{bmatrix}. هر دو ماتریس 2 × 2 هستند. شرط برقرار است (2 = 2). حاصلضرب را محاسبه میکنیم:
- c_{11} = (1×5) + (2×7) = 5 + 14 = 19
- c_{12} = (1×6) + (2×8) = 6 + 16 = 22
- c_{21} = (3×5) + (4×7) = 15 + 28 = 43
- c_{22} = (3×6) + (4×8) = 18 + 32 = 50
بنابراین C = \begin{bmatrix} 19 & 22 \\ 43 & 50 \end{bmatrix}.
۳. جدول مقایسه حالتهای مختلف تعریفپذیری
| ابعاد ماتریس اول (A) | ابعاد ماتریس دوم (B) | شرط (ستون A = سطر B) | وضعیت تعریفپذیری |
|---|---|---|---|
| 2 × 3 | 3 × 4 | 3 = 3 | تعریف شده (ابعاد حاصل: 2×4) |
| 3 × 2 | 3 × 4 | 2 \neq 3 | تعریف نشده |
| 1 × 5 | 5 × 1 | 5 = 5 | تعریف شده (حاصل: عددی اسکالر 1×1) |
| 4 × 2 | 3 × 2 | 2 \neq 3 | تعریف نشده |
۴. کاربرد عملی: محاسبه آمار فروش در یک فروشگاه زنجیرهای
فرض کنید یک فروشگاه زنجیرهای دارای 3 شعبه است و 4 نوع کالا میفروشد. ماتریس قیمت (P) به ابعاد 3 × 4 تعریف میشود که در آن سطرها نشاندهنده شعب و ستونها نشاندهنده کالاها هستند. همچنین ماتریس تعداد فروش (Q) به ابعاد 4 × 2 تعریف میشود که در آن سطرها کالاها و ستونها نشاندهنده دو ماه مختلف (مهر و آبان) هستند. برای محاسبه درآمد هر شعبه در هر ماه، باید ماتریس P را در Q ضرب کنیم. شرط تعریفپذیری برقرار است زیرا تعداد ستونهای P (4) برابر با تعداد سطرهای Q (4) میباشد. حاصلضرب، ماتریسی به ابعاد 3 × 2 خواهد بود که درایههای آن درآمد هر شعبه در هر ماه را نشان میدهد. بدون رعایت این شرط، محاسبه جمع درآمد کل معنا ندارد.
۵. چالشهای مفهومی
پرسش ۱: آیا همیشه ضرب ماتریسها جابهجاییپذیر است؟ یعنی آیا A × B همیشه برابر با B × A است؟
پاسخ: خیر. ضرب ماتریسها عموماً جابهجاییپذیر نیست. حتی اگر هر دو حاصلضرب A × B و B × A تعریف شوند (که نیازمند مربعی بودن هر دو ماتریس است)، مقادیر حاصل معمولاً با هم فرق دارند. برای مثال با A = \begin{bmatrix} 1 & 2 \\ 0 & 1 \end{bmatrix} و B = \begin{bmatrix} 1 & 0 \\ 1 & 1 \end{bmatrix} میتوان این تفاوت را دید.
پرسش ۲: اگر ماتریس A به ابعاد 2 × 5 و ماتریس B به ابعاد 5 × 3 باشد، آیا میتوان B × A را محاسبه کرد؟
پاسخ: خیر. برای B × A، ماتریس اول B با ابعاد 5 × 3 و ماتریس دوم A با ابعاد 2 × 5 است. شرط میگوید تعداد ستونهای B (3) باید با تعداد سطرهای A (2) برابر باشد که اینگونه نیست. بنابراین B × A تعریف نشده است.
پرسش ۳: آیا ضرب یک ماتریس 3 × 1 (بردار ستونی) در یک ماتریس 1 × 3 (بردار سطری) تعریف شده است؟ نتیجه چه ابعادی دارد؟
پاسخ: بله، تعریف شده است. زیرا تعداد ستونهای ماتریس اول (1) با تعداد سطرهای ماتریس دوم (1) برابر است. حاصلضرب یک ماتریس 3 × 3 خواهد بود. این حالت خاص، حاصلضرب خارجی1 نام دارد و هر درایه آن از ضرب یک عضو از بردار اول در یک عضو از بردار دوم به دست میآید.
جمعبندی
پاورقی
1 حاصلضرب خارجی (Outer Product): عملیات ضرب دو بردار که در آن یک ماتریس مستطیلی به دست میآید. برای بردار ستونی u با ابعاد m × 1 و بردار سطری v با ابعاد 1 × n، حاصلضرب خارجی ماتریسی به ابعاد m × n است که هر درایه آن از u_i \times v_j به دست میآید.