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

في عملية ضرب المصفوفات، يجب أن يتساوى عدد أعمدة المصفوفة الأولى مع عدد صفوف المصفوفة الثانية. وبالتالي، تحتوي المصفوفة الناتجة على عدد صفوف المصفوفة الأولى وعدد أعمدة المصفوفة الثانية.

في الرياضيات ، وتحديدًا في الجبر الخطي ، يُعدّ ضرب المصفوفات عمليةً ثنائيةً تُنتج مصفوفةً من مصفوفتين. في عملية ضرب المصفوفات، يجب أن يتساوى عدد أعمدة المصفوفة الأولى مع عدد صفوف المصفوفة الثانية. المصفوفة الناتجة، والمعروفة باسم حاصل ضرب المصفوفات ، تحتوي على عدد صفوف المصفوفة الأولى وعدد أعمدة المصفوفة الثانية. يُرمز إلى حاصل ضرب المصفوفتين A و B بالرمز AB . [ 1 ]

وصف عالم الرياضيات الفرنسي جاك فيليب ماري بينيه عملية ضرب المصفوفات لأول مرة عام 1812، [ 2 ] لتمثيل تركيب التحويلات الخطية التي تُمثلها المصفوفات. وبذلك، يُعد ضرب المصفوفات أداة أساسية في الجبر الخطي، وله تطبيقات عديدة في مجالات الرياضيات المختلفة، بالإضافة إلى الرياضيات التطبيقية والإحصاء والفيزياء والاقتصاد والهندسة. [ 3 ] [ 4 ] ويُعد حساب حاصل ضرب المصفوفات عملية محورية في جميع التطبيقات الحسابية للجبر الخطي.

الترميز

ستستخدم هذه المقالة الاصطلاحات الترميزية التالية: تُمثَّل المصفوفات بأحرف كبيرة غامقة، مثل A ؛ والمتجهات بأحرف صغيرة غامقة، مثل a ؛ وعناصر المتجهات والمصفوفات مكتوبة بخط مائل (وهي أرقام من حقل)، مثل A و a . يُعدّ ترميز الفهرسة غالبًا أوضح طريقة للتعبير عن التعريفات، ويُستخدم كمعيار في المراجع. يُشار إلى العنصر في الصف i ، العمود j من المصفوفة A بـ ( A ) ij أو Aij أو aij . في المقابل، يُستخدم فهرس سفلي واحد، مثل A1 أو A2 ، لاختيار مصفوفة (وليس عنصرًا من عناصرها) من مجموعة مصفوفات.

التعريفات

مصفوفة مضروبة في مصفوفة

إذا كانت A مصفوفة من الرتبة m × n و B مصفوفة من الرتبة n × p ، أ=(أ11أ12أ1نأ21أ22أ2نأم1أم2أمن)،ب=(ب11ب12ب1صب21ب22ب2صبن1بن2بنص)\begin{pmatrix} \mathbf {A} = \begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}, \quad \mathbf {B} = \begin{pmatrix}b_{11}&b_{12}&\cdots &b_{1p}\\b_{21}&b_{22}&\cdots &b_{2p}\\\vdots &\vdots &\ddots &\vdots \\b_{n1}&b_{n2}&\cdots &b_{np}\\\end{pmatrix}}}يُعرَّف حاصل ضرب المصفوفة C = AB ( المشار إليه بدون علامات الضرب أو النقاط) بأنه مصفوفة m × p [ 5 ] [ 6 ] [ 7 ] [ 8 ]ج=(ج11ج12ج1صج21ج22ج2صجم1جم2جمص){\displaystyle \mathbf {C} ={\begin{pmatrix}c_{11}&c_{12}&\cdots &c_{1p}\\c_{21}&c_{22}&\cdots &c_{2p}\\\vdots &\vdots &\ddots &\vdots \\c_{m1}&c_{m2}&\cdots &c_{mp}\\\end{pmatrix}}} بحيث جأناج=أأنا1ب1ج+أأنا2ب2ج++أأنانبنج=ك=1نأأناكبكج،{\displaystyle c_{ij}=a_{i1}b_{1j}+a_{i2}b_{2j}+\cdots +a_{in}b_{nj}=\sum _{k=1}^{n}a_{ik}b_{kj},} for i = 1, ..., m and j = 1, ..., p .

أي المدخل جأناج{\displaystyle c_{ij}}يتم الحصول على ناتج الضرب بضرب عناصر الصف i من المصفوفة A والعمود j من المصفوفة B حدًا بحد، ثم جمع نواتج الضرب هذه . بعبارة أخرى ،جأناج{\displaystyle c_{ij}} هو حاصل الضرب النقطيللصف i من A والعمود j من B.

لذلك، يمكن كتابة AB أيضًا على النحو التالي:ج=(أ11ب11++أ1نبن1أ11ب12++أ1نبن2أ11ب1ص++أ1نبنصأ21ب11++أ2نبن1أ21ب12++أ2نبن2أ21ب1ص++أ2نبنصأم1ب11++أمنبن1أم1ب12++أمنبن2أم1ب1ص++أمنبنص){\displaystyle \mathbf {C} ={\begin{pmatrix}a_{11}b_{11}+\cdots +a_{1n}b_{n1}&a_{11}b_{12}+\cdots +a_{1n}b_{n2}&\cdots &a_{11}b_{1p}+\cdots +a_{1n}b_{np}\\a_{21}b_{11}+\cdots +a_{2n}b_{n1}&a_{21}b_{12}+\cdots +a_{2n}b_{n2}&\cdots &a_{21}b_{1p}+\cdots +a_{2n}b_{np}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}b_{11}+\cdots +a_{mn}b_{n1}&a_{m1}b_{12}+\cdots +a_{mn}b_{n2}&\cdots &a_{m1}b_{1p}+\cdots +a_{mn}b_{np}\\\end{pmatrix}}}

وبالتالي فإن حاصل ضرب AB يتم تعريفه إذا وفقط إذا كان عدد الأعمدة في A يساوي عدد الصفوف في B ، [ 1 ] في هذه الحالة n .

في معظم الحالات، تكون المدخلات أعدادًا، ولكنها قد تكون أي نوع من الكائنات الرياضية التي تُعرَّف لها عمليتا الجمع والضرب، وتكون تجميعية ، بحيث يكون الجمع تبديليًا ، والضرب توزيعيًا بالنسبة للجمع. على وجه الخصوص، قد تكون المدخلات مصفوفات بحد ذاتها (انظر مصفوفة الكتل ).

مصفوفة مضروبة في متجه

متجهx{\displaystyle \mathbf {x} }من الطولن{\displaystyle n}يمكن اعتبارها متجهًا عموديًا ، يتوافق معن×1{\displaystyle n\times 1}مصفوفةX{\displaystyle \mathbf {X} }يتم تقديم إدخالاتهم بواسطةXأنا1=xأنا.{\displaystyle \mathbf {X} _{i1}=\mathbf {x} _{i}.}لوأ{\displaystyle \mathbf {A} }هوم×ن{\displaystyle m\times n}المصفوفة، حاصل ضرب المصفوفة في المتجه ويرمز له بـأx{\displaystyle \mathbf {Ax} }إذن يكون المتجهy{\displaystyle \mathbf {y} }وهذا، عند النظر إليه كمتجه عمودي، يساويم×1{\displaystyle m\times 1}مصفوفةأX.{\displaystyle \mathbf {AX} .}في تدوين الفهرس، يُعادل هذا ما يلي:

yأنا=ج=1نأأناجxج.{\displaystyle y_{i}=\sum _{j=1}^{n}a_{ij}x_{j}.}

إحدى طرق النظر إلى هذا هي افتراض التغييرات من متجه "بسيط" إلى متجه عمودي والعودة إلى المتجه العادي وتركها ضمنية.

مصفوفة ضرب المتجهات

وبالمثل، متجهx{\displaystyle \mathbf {x} }من الطولن{\displaystyle n}يمكن اعتبارها متجه صف ، يتوافق مع أ1×ن{\displaystyle 1\times n}المصفوفة. ولتوضيح المقصود بمتجه الصف، جرت العادة في هذا السياق على تمثيله كمنقولة متجه العمود؛ وبالتالي، سنرى رموزًا مثلxتيأ.{\displaystyle \mathbf {x} ^{\mathrm {T} }\mathbf {A} .}الهويةxتيأ=(أتيx)تي{\displaystyle \mathbf {x} ^{\mathrm {T} }\mathbf {A} =(\mathbf {A} ^{\mathrm {T} }\mathbf {x} )^{\mathrm {T} }}صحيح. في تدوين الفهرس، إذاأ{\displaystyle \mathbf {A} }هون×ص{\displaystyle n\times p}مصفوفة،xتيأ=yتي{\displaystyle \mathbf {x} ^{\mathrm {T} }\mathbf {A} =\mathbf {y} ^{\mathrm {T} }}يعادل: yك=ج=1نxجأجك.{\displaystyle y_{k}=\sum _{j=1}^{n}x_{j}a_{jk}.}

متجه مضروب في متجه

يمكن تمثيل متجه ذي n عنصرًا كمصفوفة 1 × n (متجه صف) أو كمصفوفة n × 1 (متجه عمود). بافتراض أنأ{\displaystyle \mathbf {a} }وب{\displaystyle \mathbf {b} }كلاهما متجهان عموديان، وهما حاصل الضرب النقطي (أو حاصل الضرب الداخلي).أب{\displaystyle \mathbf {a} \cdot \mathbf {b} }يساوي المدخل الوحيد لـ1×1{\displaystyle 1\times 1}المصفوفة الناتجة عن ضرب المصفوفة في متجه الصفأتي{\displaystyle \mathbf {a} ^{\mathrm {T} }}باستخدام متجه العمودب{\displaystyle \mathbf {b} }، أيأتيب{\displaystyle \mathbf {a} ^{\mathrm {T} }\mathbf {b} }.

عملية ضرب المصفوفات بين متجه العمودأ{\displaystyle \mathbf {a} }والمتجه الصفيبتي{\displaystyle \mathbf {b} ^{\mathrm {T} }}، والمعروف أيضًا باسم المنتج الخارجيأبتي{\displaystyle \mathbf {a} \mathbf {b} ^{\mathrm {T} }}، بدلاً من ذلك، سيعطي مصفوفة من الرتبة n × n .

توضيح

يوضح الشكل الموجود على اليمين بشكل تخطيطي ناتج ضرب مصفوفتين A و B ، موضحًا كيف يتوافق كل تقاطع في مصفوفة الناتج مع صف من A وعمود من B.[أ11أ12أ31أ32]4×2 مصفوفة[ب12ب13ب22ب23]2×3 مصفوفة=[ج12ج33]4×3 مصفوفة{\displaystyle {\overset {4\times 2{\text{ matrix}}}{\begin{bmatrix}a_{11}&a_{12}\\\cdot &\cdot \\a_{31}&a_{32}\\\cdot &\cdot \\\end{bmatrix}}}{\overset {2\times 3{\text{ matrix}}}{\begin{bmatrix}\cdot &b_{12}&b_{13}\\\cdot &b_{22}&b_{23}\\\end{bmatrix}}}={\overset {4\times 3{\text{ matrix}}}{\begin{bmatrix}\cdot &c_{12}&\cdot \\\cdot &\cdot &\cdot \\\cdot &\cdot &c_{33}\\\cdot &\cdot &\cdot \\\end{bmatrix}}}}

القيم عند نقاط التقاطع، والمميزة بدوائر في الشكل على اليمين، هي: ج12=أ11ب12+أ12ب22ج33=أ31ب13+أ32ب23.{\displaystyle {\begin{aligned}c_{12}&=a_{11}b_{12}+a_{12}b_{22}\\c_{33}&=a_{31}b_{13}+a_{32}b_{23}.\end{aligned}}}

التطبيقات الأساسية

تاريخياً، استُخدم ضرب المصفوفات لتسهيل وتوضيح العمليات الحسابية في الجبر الخطي . ولا تزال هذه العلاقة الوثيقة بين ضرب المصفوفات والجبر الخطي أساسية في جميع فروع الرياضيات، وكذلك في الفيزياء والكيمياء والهندسة وعلوم الحاسوب .

الخرائط الخطية

إذا كان للفضاء المتجهي أساس منتهٍ ، فإن كل متجه فيه يُمثَّل بشكل فريد بتسلسل منتهٍ من الأعداد القياسية، يُسمى متجه الإحداثيات ، وعناصره هي إحداثيات المتجه على الأساس. تُشكِّل متجهات الإحداثيات هذه فضاءً متجهيًا آخر، متماثلًا مع الفضاء المتجهي الأصلي. يُنظَّم متجه الإحداثيات عادةً على شكل مصفوفة عمودية (تُسمى أيضًا متجه العمود )، وهي مصفوفة ذات عمود واحد فقط. لذا، يُمثِّل متجه العمود كلاً من متجه الإحداثيات ومتجه الفضاء المتجهي الأصلي.

التحويل الخطي A من فضاء متجهي ذي بُعد n إلى فضاء متجهي ذي بُعد m يحول متجهًا عموديًا

x=(x1x2xن){\displaystyle \mathbf {x} ={\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}}}

على متجه العمود

y=أ(x)=(أ11x1++أ1نxنأ21x1++أ2نxنأم1x1++أمنxن).{\displaystyle \mathbf {y} =A(\mathbf {x} )={\begin{pmatrix}a_{11}x_{1}+\cdots +a_{1n}x_{n}\\a_{21}x_{1}+\cdots +a_{2n}x_{n}\\\vdots \\a_{m1}x_{1}+\cdots +a_{mn}x_{n}\end{pmatrix}}.}

وبالتالي، يتم تعريف التحويل الخطي A بواسطة المصفوفة

أ=(أ11أ12أ1نأ21أ22أ2نأم1أم2أمن)،{\displaystyle \mathbf {A} ={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}},}

ويرسم متجه العمودx{\displaystyle \mathbf {x} }إلى ناتج المصفوفة

y=أx.{\displaystyle \mathbf {y} =\mathbf {Ax} .}

إذا كانت B عبارة عن تطبيق خطي آخر من فضاء متجهي سابق ذي بُعد m إلى فضاء متجهي ذي بُعد p ، فإنه يُمثَّل بـص×م{\displaystyle p\times m}مصفوفةب.{\displaystyle \mathbf {B} .}تُظهر عملية حسابية مباشرة أن مصفوفة الخريطة المركبة بأ{\displaystyle B\circ A}هو حاصل ضرب المصفوفاتبأ.{\displaystyle \mathbf {BA} .}الصيغة العامة(بأ)(x)=ب(أ(x)){\displaystyle (B\circ A)(\mathbf {x} )=B(A(\mathbf {x} ))}) الذي يحدد تركيب الدالة يتم تمثيله هنا كحالة خاصة من تجميعية ضرب المصفوفات (انظر §  التجميعية أدناه):

(بأ)x=ب(أx)=بأx.{\displaystyle (\mathbf {BA} )\mathbf {x} =\mathbf {B} (\mathbf {Ax} )=\mathbf {BAx} .}

الدورانات الهندسية

باستخدام نظام إحداثيات ديكارتية في مستوى إقليدي، الدوران بزاويةα{\displaystyle \alpha }حول نقطة الأصل توجد خريطة خطية. بتعبير أدق، [xy]=[كوسα-الخطيئةαالخطيئةαكوسα][xy]،{\displaystyle {\begin{bmatrix}x'\\y'\end{bmatrix}}={\begin{bmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}},} نقطة المصدر(x،y){\displaystyle (x,y)}وصورتها(x،y){\displaystyle (x',y')}تُكتب على شكل متجهات عمودية.

تكوين الدوران بواسطةα{\displaystyle \alpha }وذلك عن طريقβ{\displaystyle \beta }ثم يتوافق مع حاصل ضرب المصفوفات [كوسβ-الخطيئةβالخطيئةβكوسβ][كوسα-الخطيئةαالخطيئةαكوسα]=[كوسβكوسα-الخطيئةβالخطيئةα-كوسβالخطيئةα-الخطيئةβكوسαالخطيئةβكوسα+كوسβالخطيئةα-الخطيئةβالخطيئةα+كوسβكوسα]=[كوس(α+β)-الخطيئة(α+β)الخطيئة(α+β)كوس(α+β)]،{\displaystyle {\begin{bmatrix}\cos \beta &-\sin \beta \\\sin \beta &\cos \beta \end{bmatrix}}{\begin{bmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{bmatrix}}={\begin{bmatrix}\cos \beta \cos \alpha -\sin \beta \sin \alpha &-\cos \beta \sin \alpha -\sin \beta \cos \alpha \\\sin \beta \cos \alpha +\cos \beta \sin \alpha &-\sin \beta \sin \alpha +\cos \beta \cos \alpha \end{bmatrix}}={\begin{bmatrix}\cos(\alpha +\beta )&-\sin(\alpha +\beta )\\\sin(\alpha +\beta )&\cos(\alpha +\beta )\end{bmatrix}},} حيث تُستخدم المتطابقات المثلثية المناسبة للمساواة الثانية. أي أن التركيب يتوافق مع الدوران بزاويةα+β{\displaystyle \alpha +\beta }كما هو متوقع.

تخصيص الموارد في الاقتصاد

حساب المدخل السفلي الأيسر لـأب{\displaystyle \mathbf {AB} }يتوافق ذلك مع النظر في جميع المسارات (المميزة) من السلعة الأساسيةب4{\displaystyle b_{4}}إلى المنتج النهائيو1{\displaystyle f_{1}}في مخطط تدفق الإنتاج.

على سبيل المثال، يستخدم مصنع وهمي 4 أنواع من السلع الأساسية ،ب1،ب2،ب3،ب4{\displaystyle b_{1},b_{2},b_{3},b_{4}}لإنتاج 3 أنواع من السلع الوسيطة ،م1،م2،م3{\displaystyle m_{1},m_{2},m_{3}}والتي بدورها تُستخدم لإنتاج 3 أنواع من المنتجات النهائية ،و1،و2،و3{\displaystyle f_{1},f_{2},f_{3}}المصفوفات

أ=(101211011112){\displaystyle \mathbf {A} ={\begin{pmatrix}1&0&1\\2&1&1\\0&1&1\\1&1&2\\\end{pmatrix}}} و ب=(121231422){\displaystyle \mathbf {B} ={\begin{pmatrix}1&2&1\\2&3&1\\4&2&2\\\end{pmatrix}}}

حدد كمية السلع الأساسية اللازمة لإنتاج كمية معينة من السلع الوسيطة، وكمية السلع الوسيطة اللازمة لإنتاج كمية معينة من المنتجات النهائية، على التوالي. على سبيل المثال، لإنتاج وحدة واحدة من السلعة الوسيطةم1{\displaystyle m_{1}}وحدة واحدة من السلع الأساسيةب1{\displaystyle b_{1}}وحدتان منب2{\displaystyle b_{2}}لا توجد وحدات منب3{\displaystyle b_{3}}ووحدة واحدة منب4{\displaystyle b_{4}}يلزم، بما يتوافق مع العمود الأول منأ{\displaystyle \mathbf {A} }.

باستخدام ضرب المصفوفات، احسب

أب=(543895 6531196)؛{\displaystyle \mathbf {AB} ={\begin{pmatrix}5&4&3\\8&9&5\\\ 6&5&3\\11&9&6\\\end{pmatrix}};}

توفر هذه المصفوفة مباشرةً كميات السلع الأساسية اللازمة لكميات محددة من السلع النهائية. على سبيل المثال، المدخل السفلي الأيسر منأب{\displaystyle \mathbf {AB} }يتم حسابها على النحو التالي11+12+24=11{\displaystyle 1\cdot 1+1\cdot 2+2\cdot 4=11}، مما يعكس ذلك11{\displaystyle 11}وحداتب4{\displaystyle b_{4}}يلزم لإنتاج وحدة واحدة منو1{\displaystyle f_{1}}في الواقع، واحدب4{\displaystyle b_{4}}الوحدة مطلوبة لـم1{\displaystyle m_{1}}واحد لكل من اثنينم2{\displaystyle m_{2}}، و2{\displaystyle 2}لكل واحد من الأربعةم3{\displaystyle m_{3}}الوحدات التي تدخل فيو1{\displaystyle f_{1}}الوحدة، انظر الصورة.

لإنتاج 100 وحدة من المنتج النهائي على سبيل المثالو1{\displaystyle f_{1}}80 وحدة منو2{\displaystyle f_{2}}و60 وحدة منو3{\displaystyle f_{3}}ويمكن حساب الكميات اللازمة من السلع الأساسية على النحو التالي:

(أب)(1008060)=(1000182011802180)،{\displaystyle (\mathbf {AB} ){\begin{pmatrix}100\\80\\60\\\end{pmatrix}}={\begin{pmatrix}1000\\1820\\1180\\2180\end{pmatrix}},}

إنه،1000{\displaystyle 1000}وحداتب1{\displaystyle b_{1}}،1820{\displaystyle 1820}وحداتب2{\displaystyle b_{2}}،1180{\displaystyle 1180}وحداتب3{\displaystyle b_{3}}،2180{\displaystyle 2180}وحداتب4{\displaystyle b_{4}}هناك حاجة لذلك. وبالمثل، مصفوفة المنتجأب{\displaystyle \mathbf {AB} }يمكن استخدامها لحساب الكميات المطلوبة من السلع الأساسية لبيانات كميات السلع النهائية الأخرى. [ 9 ]

نظام المعادلات الخطية

الشكل العام لنظام المعادلات الخطية هو

أ11x1++أ1نxن=ب1،أ21x1++أ2نxن=ب2،أم1x1++أمنxن=بم.{\displaystyle {\begin{matrix}a_{11}x_{1}+\cdots +a_{1n}x_{n}=b_{1},\\a_{21}x_{1}+\cdots +a_{2n}x_{n}=b_{2},\\\vdots \\a_{m1}x_{1}+\cdots +a_{mn}x_{n}=b_{m}.\end{matrix}}}

باستخدام نفس الترميز المذكور أعلاه، يكون هذا النظام مكافئًا لمعادلة المصفوفة المفردة

أx=ب.{\displaystyle \mathbf {Ax} =\mathbf {b} .}

الضرب النقطي، والشكل الثنائي الخطي، والشكل شبه الخطي

يمثل حاصل الضرب النقطي لمتجهين عموديين العنصر الوحيد في حاصل ضرب المصفوفات

xتيy،{\displaystyle \mathbf {x} ^{\mathsf {T}}\mathbf {y} ,}

أينxتي{\displaystyle \mathbf {x} ^{\mathsf {T}}}هو متجه الصف الناتج عن عملية النقلx{\displaystyle \mathbf {x} }(وكما هو معتاد، يتم تحديد المصفوفة 1×1 من خلال مدخلها الفريد.)

وبشكل أعم، يمكن التعبير عن أي شكل ثنائي الخطية على فضاء متجهي ذي بُعد محدود كحاصل ضرب مصفوفي.

xتيأy،{\displaystyle \mathbf {x} ^{\mathsf {T}}\mathbf {Ay} ,}

ويمكن التعبير عن أي شكل خطي مزدوج على النحو التالي:

xأy،{\displaystyle \mathbf {x} ^{\dagger }\mathbf {Ay} ,}

أينx{\displaystyle \mathbf {x} ^{\dagger }}يشير إلى منقولة المرافق لـx{\displaystyle \mathbf {x} }(مرافق المنقول، أو ما يعادله منقول المرافق).

الممتلكات العامة

تتشابه عملية ضرب المصفوفات في بعض خصائصها مع عملية الضرب العادية . ومع ذلك، فإن ضرب المصفوفات غير مُعرَّف إذا اختلف عدد أعمدة العامل الأول عن عدد صفوف العامل الثاني، وهي عملية غير تبديلية ، [ 10 ] حتى عندما يبقى الناتج مُعرَّفًا بعد تغيير ترتيب العوامل. [ 11 ] [ 12 ]

عدم التبادلية

تكون العملية تبديلية إذا كان حاصل ضرب عنصرين A و B يساويأب{\displaystyle \mathbf {A} \mathbf {B} }إذا تم تعريفها، فإنبأ{\displaystyle \mathbf {B} \mathbf {A} }كما تم تعريفها، وأب=بأ.{\displaystyle \mathbf {A} \mathbf {B} =\mathbf {B} \mathbf {A} .}

إذا كانت A و B مصفوفتين بأحجام مختلفةم×ن{\displaystyle m\times n}وص×q{\displaystyle p\times q}ثمأب{\displaystyle \mathbf {A} \mathbf {B} }يتم تعريفها إذا ن=ص{\displaystyle n=p}، وبأ{\displaystyle \mathbf {B} \mathbf {A} }يتم تعريفها إذا م=q{\displaystyle m=q}لذلك ، إذا تم تعريف أحد المنتجين ، فلا يلزم تعريف الآخر.م=qن=ص{\displaystyle m=q\neq n=p}المنتجان مُعرّفان، لكنهما مختلفان في الحجم؛ لذا لا يمكن أن يكونا متساويين. فقط إذام=q=ن=ص{\displaystyle m=q=n=p}أي ، إذاكانت A و B مصفوفتين مربعتين من نفس الحجم، فإن كلتيهما حاصل ضرب معرف ومن نفس الحجم. حتى في هذه الحالة، يكون لدينا بشكل عام

أببأ.{\displaystyle \mathbf {A} \mathbf {B} \neq \mathbf {B} \mathbf {A} .}

على سبيل المثال

(0100)(0010)=(1000)،{\displaystyle {\begin{pmatrix}0&1\\0&0\end{pmatrix}}{\begin{pmatrix}0&0\\1&0\end{pmatrix}}={\begin{pmatrix}1&0\\0&0\end{pmatrix}},}

لكن

(0010)(0100)=(0001).{\displaystyle {\begin{pmatrix}0&0\\1&0\end{pmatrix}}{\begin{pmatrix}0&1\\0&0\end{pmatrix}}={\begin{pmatrix}0&0\\0&1\end{pmatrix}}.}

يمكن توسيع هذا المثال لإظهار أنه إذا كان A هو ن×ن{\displaystyle n\times n}مصفوفة ذات عناصر في حقل F ، ثمأب=بأ{\displaystyle \mathbf {A} \mathbf {B} =\mathbf {B} \mathbf {A} }لكلن×ن{\displaystyle n\times n}المصفوفة B ذات العناصر في F ، إذا وفقط إذاأ=جأنا{\displaystyle \mathbf {A} =c\,\mathbf {I} }أينجF{\displaystyle c\in F}وأنا هون×ن{\displaystyle n\times n}مصفوفة الوحدة . إذا كان من المفترض أن تنتمي المدخلات إلى حلقة بدلاً من حقل ، فيجب إضافة الشرط الذي ينص على أن c ينتمي إلى مركز الحلقة.

إحدى الحالات الخاصة التي يحدث فيها التبادل هي عندما تكون D و E مصفوفتين قطريتين (مربعتين) (من نفس الحجم)؛ عندئذٍ DE = ED . [ 10 ] مرة أخرى، إذا كانت المصفوفات على حلقة عامة بدلاً من حقل، فيجب أن تكون المدخلات المتناظرة في كل منها تبادلية مع بعضها البعض حتى يتحقق هذا.

التوزيعية

إن ضرب المصفوفات توزيعي بالنسبة لجمع المصفوفات . أي، إذا كانت A و B و C و D مصفوفات بأحجام m × n و n × p و n × p و p × q على التوالي، فإن لدينا (توزيعية من اليسار)

أ(ب+ج)=أب+أج،{\displaystyle \mathbf {A} (\mathbf {B} +\mathbf {C} )=\mathbf {AB} +\mathbf {AC} ,}

و(التوزيع الأيمن)

(ب+ج)د=بد+جد.{\displaystyle (\mathbf {B} +\mathbf {C} )\mathbf {D} =\mathbf {BD} +\mathbf {CD} .}[ 10 ]

ينتج هذا عن خاصية التوزيع للمعاملات بواسطة

كأأناك(بكج+جكج)=كأأناكبكج+كأأناكجكج{\displaystyle \sum _{k}a_{ik}(b_{kj}+c_{kj})=\sum _{k}a_{ik}b_{kj}+\sum _{k}a_{ik}c_{kj}}
ك(بأناك+جأناك)دكج=كبأناكدكج+كجأناكدكج.{\displaystyle \sum _{k}(b_{ik}+c_{ik})d_{kj}=\sum _{k}b_{ik}d_{kj}+\sum _{k}c_{ik}d_{kj}.}

منتج ذو مقياس

إذا كانت A مصفوفة و c عددًا قياسيًا، فإن المصفوفاتجأ{\displaystyle c\mathbf {A} }وأج{\displaystyle \mathbf {A} c}يتم الحصول عليها بضرب جميع عناصر المصفوفة A في c من اليسار أو اليمين . إذا كانت الكميات القياسية تتمتع بخاصية التبديل ، فإنجأ=أج.{\displaystyle c\mathbf {A} =\mathbf {A} c.}

إذا كان المنتجأب{\displaystyle \mathbf {AB} }إذا تم تعريف (أي أن عدد أعمدة المصفوفة A يساوي عدد صفوف المصفوفة B )، فإن

ج(أب)=(جأ)ب{\displaystyle c(\mathbf {AB} )=(c\mathbf {A} )\mathbf {B} }و(أب)ج=أ(بج).{\displaystyle (\mathbf {A} \mathbf {B} )c=\mathbf {A} (\mathbf {B} c).}

إذا كانت الأعداد القياسية تتمتع بخاصية التبديل، فإن المصفوفات الأربع متساوية. وبشكل أعم، تكون المصفوفات الأربع متساوية إذا كان c ينتمي إلى مركز حلقة تحتوي على عناصر المصفوفات، لأنه في هذه الحالة، يكون c X = X ∈ c لجميع المصفوفات X.

تنتج هذه الخصائص عن الخطية الثنائية لحاصل ضرب الكميات القياسية:

ج(كأأناكبكج)=ك(جأأناك)بكج{\displaystyle c\left(\sum _{k}a_{ik}b_{kj}\right)=\sum _{k}(ca_{ik})b_{kj}}
(كأأناكبكج)ج=كأأناك(بكجج).{\displaystyle \left(\sum _{k}a_{ik}b_{kj}\right)c=\sum _{k}a_{ik}(b_{kj}c).}

ترانس

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

(أب)تي=بتيأتي{\displaystyle (\mathbf {AB} )^{\mathsf {T}}=\mathbf {B} ^{\mathsf {T}}\mathbf {A} ^{\mathsf {T}}}

حيث يشير T إلى عملية النقل، أي تبديل الصفوف والأعمدة.

لا تنطبق هذه الهوية على المدخلات غير التبادلية، لأن الترتيب بين مدخلات A و B ينعكس، عندما يتم توسيع تعريف ضرب المصفوفات.

المركب المترافق

إذا كانت قيم A و B مركبة ، فإن

(أب)*=أ*ب*{\displaystyle (\mathbf {AB} )^{*}=\mathbf {A} ^{*}\mathbf {B} ^{*}}

حيث تشير * إلى المرافق المركب للمصفوفة عنصرًا عنصرًا.

ينتج هذا من تطبيق حقيقة أن مرافق المجموع هو مجموع مرافقات الحدود، ومرافق الضرب هو حاصل ضرب مرافقات العوامل، على تعريف ضرب المصفوفات.

يؤثر التبديل على مؤشرات المدخلات، بينما يؤثر الاقتران بشكل مستقل على المدخلات نفسها. وينتج عن ذلك أنه إذا كانت A و B تحتويان على مدخلات مركبة، فإن أحدها يكون

(أب)=بأ،{\displaystyle (\mathbf {AB} )^{\dagger }=\mathbf {B} ^{\dagger }\mathbf {A} ^{\dagger },}

حيث تشير إلى المنقول المرافق (مرافق المنقول، أو ما يعادله منقول المرافق).

الترابط

بفرض وجود ثلاث مصفوفات A و B و C ، فإن حاصل ضرب ( AB ) C و A ( BC ) يكون معرفًا إذا وفقط إذا كان عدد أعمدة A يساوي عدد صفوف B ، وعدد أعمدة B يساوي عدد صفوف C (وبالتحديد، إذا كان أحد حاصلي الضرب معرفًا، فإن الآخر يكون معرفًا أيضًا). في هذه الحالة، تتحقق خاصية التجميع.

(أب)ج=أ(بج).{\displaystyle (\mathbf {AB} )\mathbf {C} =\mathbf {A} (\mathbf {BC} ).}

أما بالنسبة لأي عملية تجميعية، فإن هذا يسمح بحذف الأقواس، وكتابة المنتجات المذكورة أعلاه على النحو التالي :أبج.{\displaystyle \mathbf {ABC} .}

وينطبق هذا بشكل طبيعي على حاصل ضرب أي عدد من المصفوفات بشرط تطابق أبعادها. أي، إذا كانت A₁ ، A₂ ، ... ، Aₙ مصفوفات بحيث يكون عدد أعمدة Aᵢ مساويًا لعدد صفوف Aᵢ₊₁ ، حيث i = 1، ...، n - 1 ، فإن حاصل ضربها

أنا=1نأأنا=أ1أ2أن{\displaystyle \prod _{i=1}^{n}\mathbf {A} _{i}=\mathbf {A} _{1}\mathbf {A} _{2}\cdots \mathbf {A} _{n}}

يتم تعريفها ولا تعتمد على ترتيب عمليات الضرب ، إذا تم الحفاظ على ترتيب المصفوفات ثابتًا.

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

يعتمد التعقيد الحسابي على استخدام الأقواس

على الرغم من أن نتيجة سلسلة من عمليات ضرب المصفوفات لا تعتمد على ترتيب العملية (بشرط عدم تغيير ترتيب المصفوفات)، إلا أن التعقيد الحسابي قد يعتمد بشكل كبير على هذا الترتيب.

على سبيل المثال، إذا كانت A و B و C مصفوفات بأحجام 10×30 و 30×5 و 5×60 على التوالي ، فإن حساب ( AB ) C يتطلب 10×30×5 + 10×5×60 = 4500 عملية ضرب، بينما يتطلب حساب A ( BC ) 30×5×60 + 10×30×60 = 27000 عملية ضرب.

صُممت خوارزميات لاختيار أفضل ترتيب للمنتجات؛ انظر ضرب سلسلة المصفوفات . عندما يزداد عدد المصفوفات (n) ، فقد ثبت أن اختيار أفضل ترتيب له تعقيد منيا(نسجلن).{\displaystyle O(n\log n).}[ 13 ] [ 14 ]

تطبيق على التشابه

أي مصفوفة قابلة للعكسP{\displaystyle \mathbf {P} }يُعرّف تحويل التشابه (على المصفوفات المربعة ذات الحجم نفسه)P{\displaystyle \mathbf {P} })

SP(أ)=P-1أP.{\displaystyle S_{\mathbf {P} }(\mathbf {A} )=\mathbf {P} ^{-1}\mathbf {A} \mathbf {P} .}

تحويلات التشابه تربط المنتجات ببعضها، أي

SP(أب)=SP(أ)SP(ب).{\displaystyle S_{\mathbf {P} }(\mathbf {AB} )=S_{\mathbf {P} }(\mathbf {A} )S_{\mathbf {P} }(\mathbf {B} ).}

في الواقع، يمتلك المرء

P-1(أب)P=P-1أ(PP-1)بP=(P-1أP)(P-1بP).{\displaystyle \mathbf {P} ^{-1}(\mathbf {AB} )\mathbf {P} =\mathbf {P} ^{-1}\mathbf {A} (\mathbf {P} \mathbf {P} ^{-1})\mathbf {B} \mathbf {P} =(\mathbf {P} ^{-1}\mathbf {A} \mathbf {P} )(\mathbf {P} ^{-1}\mathbf {B} \mathbf {P} ).}

المصفوفات المربعة

لنرمز إلىمن(R){\displaystyle {\mathcal {M}}_{n}(R)}مجموعة المصفوفات المربعة من الرتبة n × n ذات المدخلات في حلقة R ، والتي غالبًا ما تكون حقلًا من الناحية العملية .

فيمن(R){\displaystyle {\mathcal {M}}_{n}(R)}، يتم تعريف حاصل الضرب لكل زوج من المصفوفات. وهذا يجعلمن(R){\displaystyle {\mathcal {M}}_{n}(R)}حلقة تحتوي على مصفوفة الوحدة I كعنصر محايد (المصفوفة التي تساوي عناصر قطرها 1 وجميع عناصرها الأخرى 0). هذه الحلقة هي أيضًا جبر R ترابطي .

إذا كان n > 1 ، فإن العديد من المصفوفات لا تمتلك معكوسًا ضربيًا . على سبيل المثال، المصفوفة التي تكون فيها جميع عناصر الصف (أو العمود) تساوي صفرًا ليس لها معكوس. إذا وُجد معكوس للمصفوفة يُرمز له بـ A⁻¹ ، وبالتالي يتحقق الشرط التالي:

أأ-1=أ-1أ=أنا.{\displaystyle \mathbf {A} \mathbf {A} ^{-1}=\mathbf {A} ^{-1}\mathbf {A} =\mathbf {I} .}

المصفوفة التي لها معكوس هي مصفوفة قابلة للعكس . وإلا فهي مصفوفة منفردة .

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

(أب)-1=ب-1أ-1.{\displaystyle (\mathbf {A} \mathbf {B} )^{-1}=\mathbf {B} ^{-1}\mathbf {A} ^{-1}.}

عندما تكون R تبديلية ، وخاصةً عندما تكون حقلاً، فإن محدد حاصل الضرب هو حاصل ضرب المحددات. وبما أن المحددات كميات قياسية، والكميات القياسية تتبادل، فإن

المحقق(أب)=المحقق(بأ)=المحقق(أ)المحقق(ب).{\displaystyle \det(\mathbf {AB} )=\det(\mathbf {BA} )=\det(\mathbf {A} )\det(\mathbf {B} ).}

لا تتصرف ثوابت المصفوفة الأخرى بنفس الكفاءة مع الضرب. مع ذلك، إذا كانت R تبديلية، فإن AB و BA لهما نفس الأثر ، ونفس متعددة الحدود المميزة ، ونفس القيم الذاتية بنفس التعددية. لكن المتجهات الذاتية تختلف عمومًا إذا كان ABBA .

قوى المصفوفة

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

أ0=أنا،{\displaystyle \mathbf {A} ^{0}=\mathbf {I} ,}
أ1=أ،{\displaystyle \mathbf {A} ^{1}=\mathbf {A} ,}
أك=أأأك أوقات.{\displaystyle \mathbf {A} ^{k}=\underbrace {\mathbf {A} \mathbf {A} \cdots \mathbf {A} } _{k{\text{ times}}}.}

يتطلب حساب القوة k لمصفوفة ما زمنًا يعادل k - 1 ضعف زمن عملية ضرب مصفوفة واحدة، إذا تم ذلك باستخدام الخوارزمية البسيطة (الضرب المتكرر). ولأن هذه العملية قد تستغرق وقتًا طويلاً، يُفضل عمومًا استخدام الأسس عن طريق التربيع ، والتي تتطلب أقل من 2 log 2 k عملية ضرب مصفوفة، وبالتالي فهي أكثر كفاءة.

من الأمثلة السهلة على عملية الأسس حالة المصفوفة القطرية . بما أن حاصل ضرب المصفوفات القطرية يقتضي ببساطة ضرب العناصر القطرية المتناظرة معًا، فإن القوة k للمصفوفة القطرية تُحسب برفع عناصرها إلى القوة k .

[أ11000أ22000أنن]ك=[أ11ك000أ22ك000أننك].{\displaystyle {\begin{bmatrix}a_{11}&0&\cdots &0\\0&a_{22}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &a_{nn}\end{bmatrix}}^{k}={\begin{bmatrix}a_{11}^{k}&0&\cdots &0\\0&a_{22}^{k}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &a_{nn}^{k}\end{bmatrix}}.}

الجبر المجرد

يشترط تعريف ضرب المصفوفات أن تنتمي عناصرها إلى شبه حلقة، ولا يشترط أن يكون ضرب عناصر شبه الحلقة تبديليًا . في العديد من التطبيقات، تنتمي عناصر المصفوفة إلى حقل، مع أن شبه الحلقة الاستوائية تُعد خيارًا شائعًا أيضًا لمسائل أقصر مسار في الرسوم البيانية . [ 15 ] حتى في حالة المصفوفات على الحقول، لا يكون الضرب تبديليًا بشكل عام، على الرغم من أنه تجميعي وتوزيعي على جمع المصفوفات . مصفوفات الوحدة (وهي المصفوفات المربعة التي تكون عناصرها أصفارًا خارج القطر الرئيسي وواحدات على القطر الرئيسي) هي عناصر الوحدة في ضرب المصفوفات. يترتب على ذلك أن المصفوفات من الرتبة n × n على حلقة تُشكل حلقة، وهي غير تبديلية إلا إذا كانت n = 1 ، وتكون الحلقة الأساسية تبديلية.

A square matrix may have a multiplicative inverse, called an inverse matrix. In the common case where the entries belong to a commutative ringR, a matrix has an inverse if and only if its determinant has a multiplicative inverse in R. The determinant of a product of square matrices is the product of the determinants of the factors. The n × n matrices that have an inverse form a group under matrix multiplication, the subgroups of which are called matrix groups. Many classical groups (including all finite groups) are isomorphic to matrix groups; this is the starting point of the theory of group representations.

Matrices are the morphisms of a category, the category of matrices. The objects are the natural numbers that measure the size of matrices, and the composition of morphisms is matrix multiplication. The source of a morphism is the number of columns of the corresponding matrix, and the target is the number of rows.

Computational complexity

Improvement of estimates of exponent ω over time for the computational complexity of matrix multiplication O(nω){\displaystyle O(n^{\omega })}

The matrix multiplication algorithm that results from the definition requires, in the worst case, n3{\displaystyle n^{3}} multiplications and (n1)n2{\displaystyle (n-1)n^{2}} additions of scalars to compute the product of two square n×n matrices. Its computational complexity is therefore O(n3){\displaystyle O(n^{3})}, in a model of computation for which the scalar operations take constant time.

Rather surprisingly, this complexity is not optimal, as shown in 1969 by Volker Strassen, who provided an algorithm, now called Strassen's algorithm, with a complexity of O(nlog27)O(n2.8074).{\displaystyle O(n^{\log _{2}7})\approx O(n^{2.8074}).}[16] Strassen's algorithm can be parallelized to further improve the performance.[17]As of January 2024أفضل خوارزمية لضرب المصفوفات خضعت لمراجعة الأقران هي خوارزمية فرجينيا فاسيلفسكا ويليامز ، وينزان شو، زيكسوان شو، ورينفي تشو ، وتبلغ تعقيدها الزمني O ( n².371552 ) . [ 18 ] [ 19 ] ولا يُعرف ما إذا كان من الممكن إجراء ضرب المصفوفات في زمن + o(1) . [ 20 ] سيكون هذا هو الأمثل، حيث يجب على المرء قراءة ...ن2{\displaystyle n^{2}}عناصر المصفوفة من أجل ضربها بمصفوفة أخرى.

بما أن ضرب المصفوفات يشكل أساسًا للعديد من الخوارزميات، والعديد من العمليات على المصفوفات لها نفس تعقيد ضرب المصفوفات (حتى ثابت ضربي)، فإن التعقيد الحسابي لضرب المصفوفات يظهر في جميع أنحاء الجبر الخطي العددي وعلوم الحاسوب النظرية .

التعميمات

تشمل الأنواع الأخرى من منتجات المصفوفات ما يلي:

انظر أيضاً

ملحوظات

  1. 1 2 نيكامب، دوان. "ضرب المصفوفات والمتجهات" . ماث إنسايت . تم الاسترجاع في 6 سبتمبر 2020 .
  2. أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "جاك فيليب ماري بينيه" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
  3. ليرنر، آر جي ؛ تريج، جي إل (1991). موسوعة الفيزياء (الطبعة الثانية ). دار نشر VHC. رقم ISBN  978-3-527-26954-9.
  4. باركر، سي بي (1994). موسوعة ماكجرو هيل للفيزياء ( الطبعة الثانية). ماكجرو هيل. رقم ISBN  978-0-07-051400-3.
  5. ^ ليبشوتز، إس. ليبسون، م. (2009). الجبر الخطي . الخطوط العريضة لشوم ( الطبعة الرابعة). ماكجرو هيل (الولايات المتحدة الأمريكية). ص 30 – 31. ردمك   978-0-07-154352-1.
  6. رايلي، ك. ف.؛ هوبسون، م. ب.؛ بينس، س. ج. (2010). الأساليب الرياضية للفيزياء والهندسة . مطبعة جامعة كامبريدج. ISBN 978-0-521-86153-3.
  7. آدامز، ر. أ. (1995). حساب التفاضل والتكامل، دورة كاملة ( الطبعة الثالثة). أديسون ويسلي. ص 627. ISBN   0-201-82823-5.
  8. هورن، جونسون (2013). تحليل المصفوفات ( الطبعة الثانية). مطبعة جامعة كامبريدج. ص 6. ISBN   978-0-521-54823-6.
  9. ^ بيتر ستينجل (1996). Mathematik für Fachhochschulen Technik und Informatik (باللغة الألمانية) ( الطبعة الخامسة). ميونيخ : دار نشر كارل هانسر . رقم ISBN  3-446-18668-9.هنا: Exm.5.4.10، ص 205-206
  10. 1 2 3 وايسشتاين، إريك دبليو. "ضرب المصفوفات" . mathworld.wolfram.com . تم الاسترجاع في 2020-09-06 .
  11. ليبشوتز، س.؛ ليبسون، م. (2009). "2". الجبر الخطي . سلسلة شوم ( الطبعة الرابعة). ماكجرو هيل (الولايات المتحدة الأمريكية). ISBN  978-0-07-154352-1.
  12. هورن، جونسون (2013). "الفصل 0". تحليل المصفوفات ( الطبعة الثانية). مطبعة جامعة كامبريدج. ISBN  978-0-521-54823-6.
  13. هو، تي سي ؛ شينغ، إم-تي. (1982). "حساب جداءات سلاسل المصفوفات، الجزء الأول" (ملف PDF) . مجلة SIAM للحوسبة . 11 (2): 362-373 . CiteSeerX 10.1.1.695.2923 . doi : 10.1137/0211028 . ISSN 0097-5397 . مؤرشف من الأصل (ملف PDF) بتاريخ 2016-08-04 . تم الاطلاع عليه بتاريخ 2024-08-02 .  
  14. هو، تي سي ؛ شينغ، إم-تي. (1984). "حساب نواتج سلاسل المصفوفات، الجزء الثاني" (ملف PDF) . مجلة SIAM للحوسبة . 13 (2): 228-251 . CiteSeerX 10.1.1.695.4875 . doi : 10.1137/0213017 . ISSN 0097-5397 . مؤرشف من الأصل (ملف PDF) بتاريخ 2016-08-04 . تم الاطلاع عليه بتاريخ 2024-08-02 .  
  15. موتاني، راجيف ؛ راغافان، برابهاكار (1995). الخوارزميات العشوائية . مطبعة جامعة كامبريدج. ص 280. ISBN  9780521474658.
  16. ^ فولكر ستراسن (أغسطس 1969). "الإزالة الغوسية ليست مثالية" . الرياضيات الرقمية . 13 (4): 354-356 . دوى : 10.1007 / BF02165411 . S2CID 121656251 . 
  17. تشو، سي. سي.، ودينغ، واي. إف.، ولي، جي.، ووانغ، واي. (1995). "توازي طريقة ستراسن لضرب المصفوفات على بنى MIMD ذات الذاكرة الموزعة" (ملف PDF) . تطبيقات الحوسبة والرياضيات. 30 ( 2): 49-69 . doi : 10.1016/0898-1221(95)00077-C .
  18. فاسيلفسكا ويليامز، فيرجينيا؛ شو، يينزان؛ شو، زيكسوان؛ تشو، رينفي. حدود جديدة لضرب المصفوفات: من ألفا إلى أوميغا . وقائع ندوة ACM-SIAM السنوية لعام 2024 حول الخوارزميات المنفصلة (SODA). الصفحات 3792-3835 . arXiv : 2307.07970 . doi : 10.1137/1.9781611977912.134 . 
  19. ناديس، ستيف (7 مارس 2024). "اكتشاف جديد يُقرّب ضرب المصفوفات من الوضع الأمثل" . تم الاطلاع عليه بتاريخ 9 مارس 2024 .
  20. أي، في زمن+ f(n) ، بالنسبة لدالة f بحيث f ( n ) 0 عندما n → ∞

مراجع