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

في الرياضيات ، وتحديدًا في الجبر الخطي ، يُعدّ ضرب المصفوفات عمليةً ثنائيةً تُنتج مصفوفةً من مصفوفتين. في عملية ضرب المصفوفات، يجب أن يتساوى عدد أعمدة المصفوفة الأولى مع عدد صفوف المصفوفة الثانية. المصفوفة الناتجة، والمعروفة باسم حاصل ضرب المصفوفات ، تحتوي على عدد صفوف المصفوفة الأولى وعدد أعمدة المصفوفة الثانية. يُرمز إلى حاصل ضرب المصفوفتين 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 ، يُعرَّف حاصل ضرب المصفوفة C = AB ( المشار إليه بدون علامات الضرب أو النقاط) بأنه مصفوفة m × p [ 5 ] [ 6 ] [ 7 ] [ 8 ] بحيث for i = 1, ..., m and j = 1, ..., p .
أي المدخل يتم الحصول على ناتج الضرب بضرب عناصر الصف i من المصفوفة A والعمود j من المصفوفة B حدًا بحد، ثم جمع نواتج الضرب هذه . بعبارة أخرى ، هو حاصل الضرب النقطيللصف i من A والعمود j من B.
لذلك، يمكن كتابة AB أيضًا على النحو التالي:
وبالتالي فإن حاصل ضرب AB يتم تعريفه إذا وفقط إذا كان عدد الأعمدة في A يساوي عدد الصفوف في B ، [ 1 ] في هذه الحالة n .
في معظم الحالات، تكون المدخلات أعدادًا، ولكنها قد تكون أي نوع من الكائنات الرياضية التي تُعرَّف لها عمليتا الجمع والضرب، وتكون تجميعية ، بحيث يكون الجمع تبديليًا ، والضرب توزيعيًا بالنسبة للجمع. على وجه الخصوص، قد تكون المدخلات مصفوفات بحد ذاتها (انظر مصفوفة الكتل ).
مصفوفة مضروبة في متجه
متجهمن الطوليمكن اعتبارها متجهًا عموديًا ، يتوافق معمصفوفةيتم تقديم إدخالاتهم بواسطةلوهوالمصفوفة، حاصل ضرب المصفوفة في المتجه ويرمز له بـإذن يكون المتجهوهذا، عند النظر إليه كمتجه عمودي، يساويمصفوفةفي تدوين الفهرس، يُعادل هذا ما يلي:
إحدى طرق النظر إلى هذا هي افتراض التغييرات من متجه "بسيط" إلى متجه عمودي والعودة إلى المتجه العادي وتركها ضمنية.
مصفوفة ضرب المتجهات
وبالمثل، متجهمن الطوليمكن اعتبارها متجه صف ، يتوافق مع أالمصفوفة. ولتوضيح المقصود بمتجه الصف، جرت العادة في هذا السياق على تمثيله كمنقولة متجه العمود؛ وبالتالي، سنرى رموزًا مثلالهويةصحيح. في تدوين الفهرس، إذاهومصفوفة،يعادل:
متجه مضروب في متجه
يمكن تمثيل متجه ذي n عنصرًا كمصفوفة 1 × n (متجه صف) أو كمصفوفة n × 1 (متجه عمود). بافتراض أنوكلاهما متجهان عموديان، وهما حاصل الضرب النقطي (أو حاصل الضرب الداخلي).يساوي المدخل الوحيد لـالمصفوفة الناتجة عن ضرب المصفوفة في متجه الصفباستخدام متجه العمود، أي.
عملية ضرب المصفوفات بين متجه العمودوالمتجه الصفي، والمعروف أيضًا باسم المنتج الخارجي، بدلاً من ذلك، سيعطي مصفوفة من الرتبة n × n .
توضيح

يوضح الشكل الموجود على اليمين بشكل تخطيطي ناتج ضرب مصفوفتين A و B ، موضحًا كيف يتوافق كل تقاطع في مصفوفة الناتج مع صف من A وعمود من B.
القيم عند نقاط التقاطع، والمميزة بدوائر في الشكل على اليمين، هي:
التطبيقات الأساسية
تاريخياً، استُخدم ضرب المصفوفات لتسهيل وتوضيح العمليات الحسابية في الجبر الخطي . ولا تزال هذه العلاقة الوثيقة بين ضرب المصفوفات والجبر الخطي أساسية في جميع فروع الرياضيات، وكذلك في الفيزياء والكيمياء والهندسة وعلوم الحاسوب .
الخرائط الخطية
إذا كان للفضاء المتجهي أساس منتهٍ ، فإن كل متجه فيه يُمثَّل بشكل فريد بتسلسل منتهٍ من الأعداد القياسية، يُسمى متجه الإحداثيات ، وعناصره هي إحداثيات المتجه على الأساس. تُشكِّل متجهات الإحداثيات هذه فضاءً متجهيًا آخر، متماثلًا مع الفضاء المتجهي الأصلي. يُنظَّم متجه الإحداثيات عادةً على شكل مصفوفة عمودية (تُسمى أيضًا متجه العمود )، وهي مصفوفة ذات عمود واحد فقط. لذا، يُمثِّل متجه العمود كلاً من متجه الإحداثيات ومتجه الفضاء المتجهي الأصلي.
التحويل الخطي A من فضاء متجهي ذي بُعد n إلى فضاء متجهي ذي بُعد m يحول متجهًا عموديًا
على متجه العمود
وبالتالي، يتم تعريف التحويل الخطي A بواسطة المصفوفة
ويرسم متجه العمودإلى ناتج المصفوفة
إذا كانت B عبارة عن تطبيق خطي آخر من فضاء متجهي سابق ذي بُعد m إلى فضاء متجهي ذي بُعد p ، فإنه يُمثَّل بـمصفوفةتُظهر عملية حسابية مباشرة أن مصفوفة الخريطة المركبة هو حاصل ضرب المصفوفاتالصيغة العامة) الذي يحدد تركيب الدالة يتم تمثيله هنا كحالة خاصة من تجميعية ضرب المصفوفات (انظر § التجميعية أدناه):
الدورانات الهندسية
باستخدام نظام إحداثيات ديكارتية في مستوى إقليدي، الدوران بزاويةحول نقطة الأصل توجد خريطة خطية. بتعبير أدق، نقطة المصدروصورتهاتُكتب على شكل متجهات عمودية.
تكوين الدوران بواسطةوذلك عن طريقثم يتوافق مع حاصل ضرب المصفوفات حيث تُستخدم المتطابقات المثلثية المناسبة للمساواة الثانية. أي أن التركيب يتوافق مع الدوران بزاويةكما هو متوقع.
تخصيص الموارد في الاقتصاد

على سبيل المثال، يستخدم مصنع وهمي 4 أنواع من السلع الأساسية ،لإنتاج 3 أنواع من السلع الوسيطة ،والتي بدورها تُستخدم لإنتاج 3 أنواع من المنتجات النهائية ،المصفوفات
- و
حدد كمية السلع الأساسية اللازمة لإنتاج كمية معينة من السلع الوسيطة، وكمية السلع الوسيطة اللازمة لإنتاج كمية معينة من المنتجات النهائية، على التوالي. على سبيل المثال، لإنتاج وحدة واحدة من السلعة الوسيطةوحدة واحدة من السلع الأساسيةوحدتان منلا توجد وحدات منووحدة واحدة منيلزم، بما يتوافق مع العمود الأول من.
باستخدام ضرب المصفوفات، احسب
توفر هذه المصفوفة مباشرةً كميات السلع الأساسية اللازمة لكميات محددة من السلع النهائية. على سبيل المثال، المدخل السفلي الأيسر منيتم حسابها على النحو التالي، مما يعكس ذلكوحداتيلزم لإنتاج وحدة واحدة منفي الواقع، واحدالوحدة مطلوبة لـواحد لكل من اثنين، ولكل واحد من الأربعةالوحدات التي تدخل فيالوحدة، انظر الصورة.
لإنتاج 100 وحدة من المنتج النهائي على سبيل المثال80 وحدة منو60 وحدة منويمكن حساب الكميات اللازمة من السلع الأساسية على النحو التالي:
إنه،وحدات،وحدات،وحدات،وحداتهناك حاجة لذلك. وبالمثل، مصفوفة المنتجيمكن استخدامها لحساب الكميات المطلوبة من السلع الأساسية لبيانات كميات السلع النهائية الأخرى. [ 9 ]
نظام المعادلات الخطية
الشكل العام لنظام المعادلات الخطية هو
باستخدام نفس الترميز المذكور أعلاه، يكون هذا النظام مكافئًا لمعادلة المصفوفة المفردة
الضرب النقطي، والشكل الثنائي الخطي، والشكل شبه الخطي
يمثل حاصل الضرب النقطي لمتجهين عموديين العنصر الوحيد في حاصل ضرب المصفوفات
أينهو متجه الصف الناتج عن عملية النقل(وكما هو معتاد، يتم تحديد المصفوفة 1×1 من خلال مدخلها الفريد.)
وبشكل أعم، يمكن التعبير عن أي شكل ثنائي الخطية على فضاء متجهي ذي بُعد محدود كحاصل ضرب مصفوفي.
ويمكن التعبير عن أي شكل خطي مزدوج على النحو التالي:
أينيشير إلى منقولة المرافق لـ(مرافق المنقول، أو ما يعادله منقول المرافق).
الممتلكات العامة
تتشابه عملية ضرب المصفوفات في بعض خصائصها مع عملية الضرب العادية . ومع ذلك، فإن ضرب المصفوفات غير مُعرَّف إذا اختلف عدد أعمدة العامل الأول عن عدد صفوف العامل الثاني، وهي عملية غير تبديلية ، [ 10 ] حتى عندما يبقى الناتج مُعرَّفًا بعد تغيير ترتيب العوامل. [ 11 ] [ 12 ]
عدم التبادلية
تكون العملية تبديلية إذا كان حاصل ضرب عنصرين A و B يساويإذا تم تعريفها، فإنكما تم تعريفها، و
إذا كانت A و B مصفوفتين بأحجام مختلفةوثميتم تعريفها إذا ، ويتم تعريفها إذا لذلك ، إذا تم تعريف أحد المنتجين ، فلا يلزم تعريف الآخر.المنتجان مُعرّفان، لكنهما مختلفان في الحجم؛ لذا لا يمكن أن يكونا متساويين. فقط إذاأي ، إذاكانت A و B مصفوفتين مربعتين من نفس الحجم، فإن كلتيهما حاصل ضرب معرف ومن نفس الحجم. حتى في هذه الحالة، يكون لدينا بشكل عام
على سبيل المثال
لكن
يمكن توسيع هذا المثال لإظهار أنه إذا كان A هو مصفوفة ذات عناصر في حقل F ، ثملكلالمصفوفة B ذات العناصر في F ، إذا وفقط إذاأينوأنا هومصفوفة الوحدة . إذا كان من المفترض أن تنتمي المدخلات إلى حلقة بدلاً من حقل ، فيجب إضافة الشرط الذي ينص على أن c ينتمي إلى مركز الحلقة.
إحدى الحالات الخاصة التي يحدث فيها التبادل هي عندما تكون D و E مصفوفتين قطريتين (مربعتين) (من نفس الحجم)؛ عندئذٍ DE = ED . [ 10 ] مرة أخرى، إذا كانت المصفوفات على حلقة عامة بدلاً من حقل، فيجب أن تكون المدخلات المتناظرة في كل منها تبادلية مع بعضها البعض حتى يتحقق هذا.
التوزيعية
إن ضرب المصفوفات توزيعي بالنسبة لجمع المصفوفات . أي، إذا كانت A و B و C و D مصفوفات بأحجام m × n و n × p و n × p و p × q على التوالي، فإن لدينا (توزيعية من اليسار)
و(التوزيع الأيمن)
- [ 10 ]
ينتج هذا عن خاصية التوزيع للمعاملات بواسطة
منتج ذو مقياس
إذا كانت A مصفوفة و c عددًا قياسيًا، فإن المصفوفاتويتم الحصول عليها بضرب جميع عناصر المصفوفة A في c من اليسار أو اليمين . إذا كانت الكميات القياسية تتمتع بخاصية التبديل ، فإن
إذا كان المنتجإذا تم تعريف (أي أن عدد أعمدة المصفوفة A يساوي عدد صفوف المصفوفة B )، فإن
- و
إذا كانت الأعداد القياسية تتمتع بخاصية التبديل، فإن المصفوفات الأربع متساوية. وبشكل أعم، تكون المصفوفات الأربع متساوية إذا كان c ينتمي إلى مركز حلقة تحتوي على عناصر المصفوفات، لأنه في هذه الحالة، يكون c ∈ X = X ∈ c لجميع المصفوفات X.
تنتج هذه الخصائص عن الخطية الثنائية لحاصل ضرب الكميات القياسية:
ترانس
إذا كانت الكميات القياسية تتمتع بخاصية التبديل ، فإن منقولة حاصل ضرب المصفوفات هي حاصل ضرب منقولات العوامل، ولكن بترتيب عكسي.
حيث يشير T إلى عملية النقل، أي تبديل الصفوف والأعمدة.
لا تنطبق هذه الهوية على المدخلات غير التبادلية، لأن الترتيب بين مدخلات A و B ينعكس، عندما يتم توسيع تعريف ضرب المصفوفات.
المركب المترافق
إذا كانت قيم A و B مركبة ، فإن
حيث تشير * إلى المرافق المركب للمصفوفة عنصرًا عنصرًا.
ينتج هذا من تطبيق حقيقة أن مرافق المجموع هو مجموع مرافقات الحدود، ومرافق الضرب هو حاصل ضرب مرافقات العوامل، على تعريف ضرب المصفوفات.
يؤثر التبديل على مؤشرات المدخلات، بينما يؤثر الاقتران بشكل مستقل على المدخلات نفسها. وينتج عن ذلك أنه إذا كانت A و B تحتويان على مدخلات مركبة، فإن أحدها يكون
حيث تشير † إلى المنقول المرافق (مرافق المنقول، أو ما يعادله منقول المرافق).
الترابط
بفرض وجود ثلاث مصفوفات A و B و C ، فإن حاصل ضرب ( AB ) C و A ( BC ) يكون معرفًا إذا وفقط إذا كان عدد أعمدة A يساوي عدد صفوف B ، وعدد أعمدة B يساوي عدد صفوف C (وبالتحديد، إذا كان أحد حاصلي الضرب معرفًا، فإن الآخر يكون معرفًا أيضًا). في هذه الحالة، تتحقق خاصية التجميع.
أما بالنسبة لأي عملية تجميعية، فإن هذا يسمح بحذف الأقواس، وكتابة المنتجات المذكورة أعلاه على النحو التالي :
وينطبق هذا بشكل طبيعي على حاصل ضرب أي عدد من المصفوفات بشرط تطابق أبعادها. أي، إذا كانت A₁ ، A₂ ، ... ، Aₙ مصفوفات بحيث يكون عدد أعمدة Aᵢ مساويًا لعدد صفوف Aᵢ₊₁ ، حيث i = 1، ...، n - 1 ، فإن حاصل ضربها
يتم تعريفها ولا تعتمد على ترتيب عمليات الضرب ، إذا تم الحفاظ على ترتيب المصفوفات ثابتًا.
يمكن إثبات هذه الخصائص من خلال عمليات جمع بسيطة ولكنها معقدة . وتنتج هذه النتيجة أيضًا من كون المصفوفات تمثل تحويلات خطية . لذا، فإن خاصية التجميع للمصفوفات هي ببساطة حالة خاصة من خاصية التجميع لتركيب الدوال .
يعتمد التعقيد الحسابي على استخدام الأقواس
على الرغم من أن نتيجة سلسلة من عمليات ضرب المصفوفات لا تعتمد على ترتيب العملية (بشرط عدم تغيير ترتيب المصفوفات)، إلا أن التعقيد الحسابي قد يعتمد بشكل كبير على هذا الترتيب.
على سبيل المثال، إذا كانت 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) ، فقد ثبت أن اختيار أفضل ترتيب له تعقيد من[ 13 ] [ 14 ]
تطبيق على التشابه
أي مصفوفة قابلة للعكسيُعرّف تحويل التشابه (على المصفوفات المربعة ذات الحجم نفسه))
تحويلات التشابه تربط المنتجات ببعضها، أي
في الواقع، يمتلك المرء
المصفوفات المربعة
لنرمز إلىمجموعة المصفوفات المربعة من الرتبة n × n ذات المدخلات في حلقة R ، والتي غالبًا ما تكون حقلًا من الناحية العملية .
في، يتم تعريف حاصل الضرب لكل زوج من المصفوفات. وهذا يجعلحلقة تحتوي على مصفوفة الوحدة I كعنصر محايد (المصفوفة التي تساوي عناصر قطرها 1 وجميع عناصرها الأخرى 0). هذه الحلقة هي أيضًا جبر R ترابطي .
إذا كان n > 1 ، فإن العديد من المصفوفات لا تمتلك معكوسًا ضربيًا . على سبيل المثال، المصفوفة التي تكون فيها جميع عناصر الصف (أو العمود) تساوي صفرًا ليس لها معكوس. إذا وُجد معكوس للمصفوفة A، يُرمز له بـ A⁻¹ ، وبالتالي يتحقق الشرط التالي:
المصفوفة التي لها معكوس هي مصفوفة قابلة للعكس . وإلا فهي مصفوفة منفردة .
يكون حاصل ضرب المصفوفات قابلاً للعكس إذا وفقط إذا كان كل عامل من عوامله قابلاً للعكس. في هذه الحالة، يكون لدينا
عندما تكون R تبديلية ، وخاصةً عندما تكون حقلاً، فإن محدد حاصل الضرب هو حاصل ضرب المحددات. وبما أن المحددات كميات قياسية، والكميات القياسية تتبادل، فإن
لا تتصرف ثوابت المصفوفة الأخرى بنفس الكفاءة مع الضرب. مع ذلك، إذا كانت R تبديلية، فإن AB و BA لهما نفس الأثر ، ونفس متعددة الحدود المميزة ، ونفس القيم الذاتية بنفس التعددية. لكن المتجهات الذاتية تختلف عمومًا إذا كان AB ≠ BA .
قوى المصفوفة
يمكن رفع مصفوفة مربعة إلى أي قوة عددية صحيحة غير سالبة بضربها في نفسها بشكل متكرر بنفس طريقة ضرب الأعداد العادية. أي،
يتطلب حساب القوة k لمصفوفة ما زمنًا يعادل k - 1 ضعف زمن عملية ضرب مصفوفة واحدة، إذا تم ذلك باستخدام الخوارزمية البسيطة (الضرب المتكرر). ولأن هذه العملية قد تستغرق وقتًا طويلاً، يُفضل عمومًا استخدام الأسس عن طريق التربيع ، والتي تتطلب أقل من 2 log 2 k عملية ضرب مصفوفة، وبالتالي فهي أكثر كفاءة.
من الأمثلة السهلة على عملية الأسس حالة المصفوفة القطرية . بما أن حاصل ضرب المصفوفات القطرية يقتضي ببساطة ضرب العناصر القطرية المتناظرة معًا، فإن القوة k للمصفوفة القطرية تُحسب برفع عناصرها إلى القوة k .
الجبر المجرد
يشترط تعريف ضرب المصفوفات أن تنتمي عناصرها إلى شبه حلقة، ولا يشترط أن يكون ضرب عناصر شبه الحلقة تبديليًا . في العديد من التطبيقات، تنتمي عناصر المصفوفة إلى حقل، مع أن شبه الحلقة الاستوائية تُعد خيارًا شائعًا أيضًا لمسائل أقصر مسار في الرسوم البيانية . [ 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

The matrix multiplication algorithm that results from the definition requires, in the worst case, multiplications and additions of scalars to compute the product of two square n×n matrices. Its computational complexity is therefore , 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 [16] Strassen's algorithm can be parallelized to further improve the performance.[17]As of January 2024أفضل خوارزمية لضرب المصفوفات خضعت لمراجعة الأقران هي خوارزمية فرجينيا فاسيلفسكا ويليامز ، وينزان شو، زيكسوان شو، ورينفي تشو ، وتبلغ تعقيدها الزمني O ( n².371552 ) . [ 18 ] [ 19 ] ولا يُعرف ما إذا كان من الممكن إجراء ضرب المصفوفات في زمن n² + o(1) . [ 20 ] سيكون هذا هو الأمثل، حيث يجب على المرء قراءة ...عناصر المصفوفة من أجل ضربها بمصفوفة أخرى.
بما أن ضرب المصفوفات يشكل أساسًا للعديد من الخوارزميات، والعديد من العمليات على المصفوفات لها نفس تعقيد ضرب المصفوفات (حتى ثابت ضربي)، فإن التعقيد الحسابي لضرب المصفوفات يظهر في جميع أنحاء الجبر الخطي العددي وعلوم الحاسوب النظرية .
التعميمات
تشمل الأنواع الأخرى من منتجات المصفوفات ما يلي:
- عمليات المصفوفات الكتلية
- حاصل الضرب الكراكوفيان ، المعرّف على النحو التالي: A ∧ B = B T A
- الجداء الداخلي لفروبينيوس ، أو الجداء النقطي للمصفوفات التي تُعتبر متجهات، أو ما يُكافئ ذلك مجموع عناصر جداء هادامارد
- حاصل ضرب هادامارد لمصفوفتين من نفس الحجم، ينتج عنه مصفوفة من نفس الحجم، وهو حاصل الضرب عنصرًا بعنصر.
- جداء كرونكر أو جداء الموتر ، وهو تعميم لأي حجم من الجداء السابق.
- منتج خاتري-راو ومنتج يمزق الوجه
- الضرب الخارجي ، ويسمى أيضًا الضرب الثنائي أو الضرب الموتري لمصفوفتين عموديتين، وهو
- الضرب القياسي
انظر أيضاً
- حساب المصفوفات ، لتفاعل ضرب المصفوفات مع عمليات حساب التفاضل والتكامل.
ملحوظات
- 1 2 نيكامب، دوان. "ضرب المصفوفات والمتجهات" . ماث إنسايت . تم الاسترجاع في 6 سبتمبر 2020 .
- ↑ أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "جاك فيليب ماري بينيه" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
- ↑ ليرنر، آر جي ؛ تريج، جي إل (1991). موسوعة الفيزياء (الطبعة الثانية ). دار نشر VHC. رقم ISBN 978-3-527-26954-9.
- ↑ باركر، سي بي (1994). موسوعة ماكجرو هيل للفيزياء ( الطبعة الثانية). ماكجرو هيل. رقم ISBN 978-0-07-051400-3.
- ^ ليبشوتز، إس. ليبسون، م. (2009). الجبر الخطي . الخطوط العريضة لشوم ( الطبعة الرابعة). ماكجرو هيل (الولايات المتحدة الأمريكية). ص 30 – 31. ردمك 978-0-07-154352-1.
- ↑ رايلي، ك. ف.؛ هوبسون، م. ب.؛ بينس، س. ج. (2010). الأساليب الرياضية للفيزياء والهندسة . مطبعة جامعة كامبريدج. ISBN 978-0-521-86153-3.
- ↑ آدامز، ر. أ. (1995). حساب التفاضل والتكامل، دورة كاملة ( الطبعة الثالثة). أديسون ويسلي. ص 627. ISBN 0-201-82823-5.
- ↑ هورن، جونسون (2013). تحليل المصفوفات ( الطبعة الثانية). مطبعة جامعة كامبريدج. ص 6. ISBN 978-0-521-54823-6.
- ^ بيتر ستينجل (1996). Mathematik für Fachhochschulen – Technik und Informatik (باللغة الألمانية) ( الطبعة الخامسة). ميونيخ : دار نشر كارل هانسر . رقم ISBN 3-446-18668-9.هنا: Exm.5.4.10، ص 205-206
- 1 2 3 وايسشتاين، إريك دبليو. "ضرب المصفوفات" . mathworld.wolfram.com . تم الاسترجاع في 2020-09-06 .
- ↑ ليبشوتز، س.؛ ليبسون، م. (2009). "2". الجبر الخطي . سلسلة شوم ( الطبعة الرابعة). ماكجرو هيل (الولايات المتحدة الأمريكية). ISBN 978-0-07-154352-1.
- ↑ هورن، جونسون (2013). "الفصل 0". تحليل المصفوفات ( الطبعة الثانية). مطبعة جامعة كامبريدج. ISBN 978-0-521-54823-6.
- ↑ هو، تي سي ؛ شينغ، إم-تي. (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 .
- ↑ هو، تي سي ؛ شينغ، إم-تي. (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 .
- ↑ موتاني، راجيف ؛ راغافان، برابهاكار (1995). الخوارزميات العشوائية . مطبعة جامعة كامبريدج. ص 280. ISBN 9780521474658.
- ^ فولكر ستراسن (أغسطس 1969). "الإزالة الغوسية ليست مثالية" . الرياضيات الرقمية . 13 (4): 354-356 . دوى : 10.1007 / BF02165411 . S2CID 121656251 .
- ↑ تشو، سي. سي.، ودينغ، واي. إف.، ولي، جي.، ووانغ، واي. (1995). "توازي طريقة ستراسن لضرب المصفوفات على بنى MIMD ذات الذاكرة الموزعة" (ملف PDF) . تطبيقات الحوسبة والرياضيات. 30 ( 2): 49-69 . doi : 10.1016/0898-1221(95)00077-C .
- ↑ فاسيلفسكا ويليامز، فيرجينيا؛ شو، يينزان؛ شو، زيكسوان؛ تشو، رينفي. حدود جديدة لضرب المصفوفات: من ألفا إلى أوميغا . وقائع ندوة ACM-SIAM السنوية لعام 2024 حول الخوارزميات المنفصلة (SODA). الصفحات 3792-3835 . arXiv : 2307.07970 . doi : 10.1137/1.9781611977912.134 .
- ↑ ناديس، ستيف (7 مارس 2024). "اكتشاف جديد يُقرّب ضرب المصفوفات من الوضع الأمثل" . تم الاطلاع عليه بتاريخ 9 مارس 2024 .
- ↑ أي، في زمن n² + f(n) ، بالنسبة لدالة f بحيث f ( n ) → 0 عندما n → ∞
مراجع
- هنري كوهن، روبرت كلاينبرغ ، بالاز سيجيدي ، وكريس أومانس. خوارزميات نظرية الزمر لضرب المصفوفات. arXiv : math.GR/0511460 . وقائع الندوة السنوية السادسة والأربعين حول أسس علوم الحاسوب ، 23-25 أكتوبر 2005، بيتسبرغ، بنسلفانيا، جمعية مهندسي الكهرباء والإلكترونيات، الصفحات 379-388.
- هنري كوهن، كريس أومانز. منهج قائم على نظرية الزمر لضرب المصفوفات السريع. arXiv : math.GR/0307321 . وقائع الندوة السنوية الرابعة والأربعين لمعهد مهندسي الكهرباء والإلكترونيات حول أسس علوم الحاسوب ، 11-14 أكتوبر 2003، كامبريدج، ماساتشوستس، جمعية الحاسوب التابعة لمعهد مهندسي الكهرباء والإلكترونيات، الصفحات 438-449.
- كوبرسميث، د.؛ وينوغراد، س. (1990). "ضرب المصفوفات باستخدام المتتابعات الحسابية" . مجلة الحساب الرمزي . 9 (3): 251-280 . doi : 10.1016/s0747-7171(08)80013-2 .
- Horn, Roger A.; Johnson, Charles R. (1991), Topics in Matrix Analysis, Cambridge University Press, ISBN 978-0-521-46713-1
- Knuth, D.E., The Art of Computer Programming Volume 2: Seminumerical Algorithms. Addison-Wesley Professional; 3 edition (November 14, 1997). ISBN 978-0-201-89684-8. pp. 501.
- Press, William H.; Flannery, Brian P.; Teukolsky, Saul A.; Vetterling, William T. (2007), Numerical Recipes: The Art of Scientific Computing (3rd ed.), Cambridge University Press, ISBN 978-0-521-88068-8.
- Ran Raz. On the complexity of matrix product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. doi:10.1145/509907.509932.
- Robinson, Sara, Toward an Optimal Algorithm for Matrix Multiplication, SIAM News 38(9), November 2005. PDF
- Strassen, Volker, Gaussian Elimination is not Optimal, Numer. Math. 13, p. 354–356, 1969.
- Styan, George P. H. (1973), "Hadamard Products and Multivariate Statistical Analysis"(PDF), Linear Algebra and Its Applications, 6: 217–240, doi:10.1016/0024-3795(73)90023-2
- Williams, Virginia Vassilevska (2012-05-19). "Multiplying matrices faster than coppersmith-winograd". Proceedings of the 44th symposium on Theory of Computing - STOC '12. ACM. pp. 887–898. CiteSeerX 10.1.1.297.2680. doi:10.1145/2213977.2214056. ISBN 9781450312455. S2CID 14350287.
- Matrix theory
- Bilinear maps
- Multiplication
- Numerical linear algebra
