ضرب المصفوفات

في الرياضيات، ضرب المصفوفات (بالإنجليزية: Matrix multiplication)‏ هي عملية ثنائية تأخذ مصفوفتين اثنتين مدخلا لها وتعطي مصفوفة ثالثة. عناصر هذين المصفوفتين ينتمين إلى حقل، أو بصفة عامة إلى حلقة أو حتى إلى نصف حلقة.

ضرب مصفوفة في عدد حقيقي

ضرب مصفوفة في عدد ما لا يدخل في إطار ضرب المصفوفات. ضرب مصفوفة في عدد ما يعطي مصفوفة لها نفس أبعاد المصفوفة الأصلية حيث مداخلها تساوي مداخل المصفوفة الأصلية مضروبة في ذلك العدد. على سبيل المثال،

$2*\left[\begin{array}{cc}1& 3\\ 1& 0\\ 1& 2\end{array}\right]=\left[\begin{array}{cc}2*1& 2*3\\ 2*1& 2*0\\ 2*1& 2*2\end{array}\right]=\left[\begin{array}{cc}2& 6\\ 2& 0\\ 2& 4\end{array}\right]$

ضرب المصفوفات العادي

عملية الضرب العادية المذكورة هنا هي الأكثر شيوعًا لدى استخدام المصفوفات وأكثرها أهميّة. عملية الضرب هذه تكون معرّفة بين المصفوفتين $A$ و$B$ فقط إذا كان عدد أعمدة الأولى مساويًا لعدد الأسطر في الثانية. أي أنّ العملية معرّفة إذا كانت $A$ من درجة $m\times n$، و$B$ من درجة $n\times p$، وتكون مصفوفة حاصل الضرب $C=A\cdot B$ من درجة $m\times p$. ووفق نفس المنطق، فإذا تمّ ضرب سلسلة من المصفوفات ذات درجات $n_1\times n_2$، $n_2\times n_3$ و$n_{k-1}\times n_k$، فإنّ مصفوفة حاصل الضرب ستكون من درجة $n_1\times n_k$. من هنا، فإنّ ضرب المصفوفات ليست عملية تبديلية على الأطلاق، إذ قد لا يكون الضرب معرفًا أصلاً إذا ما استبدلت المصفوفتان.

في العملية $C_{m\times q}=A_{m\times n}\cdot B_{n\times q}$ يتم حساب كل عنصر في مصفوفة حاصل الضرب، بالطريقة الآتية:

$c_{i,j}=\sum _{k=1}^n{a}_{i,k}\cdot b_{k,j}$.

أي أنّه لحساب العنصر الواقع في السطر i والعمود j من مصفوفة حاصل الضرب، يجب حساب الجداء الداخلي للمتجهين المكوّنين من السطر i من المصفوفة الأولى والعمود j من المصفوفة الثانية. ويوضح الرسم التالي تلك العملية :

$\stackrel{A_{3\times 4}}{\overbrace{\left[\begin{array}{cccc}\cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot \\ a_{3,1}& a_{3,2}& a_{3,3}& a_{3,4}\\ \end{array}\right]}}\stackrel{B_{4\times 5}}{\overbrace{\left[\begin{array}{ccccc}\cdot & \cdot & \cdot & b_{1,4}& \cdot \\ \cdot & \cdot & \cdot & b_{2,4}& \cdot \\ \cdot & \cdot & \cdot & b_{3,4}& \cdot \\ \cdot & \cdot & \cdot & b_{4,4}& \cdot \\ \end{array}\right]}}=\stackrel{C_{3\times 5}}{\overbrace{\left[\begin{array}{ccccc}\cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & c_{3,4}& \cdot \\ \end{array}\right]}}$

إذ يتحقّق:

$c_{3,4}=a_{3,1}\cdot b_{1,4}+a_{3,2}\cdot b_{2,4}+a_{3,3}\cdot b_{3,4}+a_{3,4}\cdot b_{4,4}$

خواص الضرب العادي

• عملية ضرب المصفوفات ليست عمليةً تبديليةً عمومًا، وإن كانت العملية التبديلية معرّفة. أي:

$\mathbf{A}\mathbf{B}\ne \mathbf{B}\mathbf{A}$.

• أحد الاستثنائات بالنسبة للخاصة السابقة هي كون المصفوفتين قطريتين، إذ عندها تكون عملية الضرب تبديلية.
• إذا كانت المصفوفتان A وB مربّعتين، يتحقّق:

$\text{det}(\mathbf{A}\mathbf{B})=\text{det}(\mathbf{B}\mathbf{A})$

أي أنّ عمليّة حساب محدّد حاصل الضرب هي عملية تبديلية.

• إنّ عملية ضرب المصفوفات هي عملية تجميعية، إذ:

$(\mathbf{A}\mathbf{B})\mathbf{C}=\mathbf{A}(\mathbf{B}\mathbf{C})$.

• إنّ عملية ضرب المصفوفات هي عملية توزيعية، إذ:

$\mathbf{A}(\mathbf{B}+\mathbf{C})=\mathbf{A}\mathbf{B}+\mathbf{A}\mathbf{C}$،

$(\mathbf{A}+\mathbf{B})\mathbf{C}=\mathbf{A}\mathbf{C}+\mathbf{B}\mathbf{C}$

• إذا كانت المصفوفات معرّفة فوق حقل ما (حقلا الأعداد الطبيعية والأعداد المركبة مثالان)، فضرب المصفوفات يتلائم مع الضرب مع كمية عددية من الحقل، أي:

$c(\mathbf{A}\mathbf{B})=(c\mathbf{A})\mathbf{B}=(\mathbf{A}c)\mathbf{B}=\mathbf{A}(c\mathbf{B})=\mathbf{A}(\mathbf{B}c)=(\mathbf{A}\mathbf{B})c$.

أشكال أخرى من ضرب المصفوفات

الضرب بطريقة فالك

مثال على طريقة فالك في ضرب المصفوفات يوضحه ضرب المصفوفتين A و B.

$A_{3\times 2}=\left(\begin{array}{cc}1& 4\\ 2& 5\\ 3& -6\end{array}\right)$ و $B_{2\times 2}=\left(\begin{array}{cc}-1& 1\\ 1& -2\\ \end{array}\right)$ .

لحساب حاصل ضرب المصفوفتين $C=A\cdot B$، حيث أن للمفصوفة الناتجة الأبعاد: $(3\times 2)$.

في البداية تتم كتابة المصفوفات بترتيب المصفوفتين التان سيتم ضربهما وفق تصميم فالك. يتم بعدها ضرب عناصر كل صف من المصفوفة السفلية بعناصر كل عمود من المصفوفة الثانية وجميع النتيجة في المصفوفة البينية، الزهرية اللون.

			العمود j
			1	2
			−1	1
الصف i			1	−2
1	1	4
2	2	5
3	3	−6

			العمود j
			1	2
			−1	1
الصف i			1	−2
1	1	4	3
2	2	5
3	3	−6

			العمود j
			1	2
			−1	1
الصف i			1	−2
1	1	4	3	−7
2	2	5
3	3	−6

			العمود j
			1	2
			−1	1
الصف i			1	−2
1	1	4	3	−7
2	2	5	3	−8
3	3	−6	−9	15

ضرب هادامار

المقالة الرئيسية: ضرب هادامار (ضرب المصفوفات)

لمصفوفتين $A$ و $B$ التي لهما أبعاد $m\times n$، ضرب هادامار $A\circ B$ أو $A\odot B$ مصفوفة بنفس الأبعاد (أي $m\times n$ ) يتم حساب قيمها على النحو التالي:

$(A\circ B{)}_{ij}=(A\odot B{)}_{ij}=(A{)}_{ij}(B{)}_{ij}.$

لم يتم تعريف هذا الضرب للمصفوفات ذات الأبعاد المختلفة.

ضرب كرونكر

المقالة الرئيسية: جداء كرونكر

وصلات داخلية

• جداء ثلاثي
• ضرب متجهي
• قلب مصفوفة
• ضرب هادامار (ضرب المصفوفات)
• مصفوفة (رياضيات)

وصلات خارجية

• كيفية ضرب متجهات بالإنجليزية.