في هذا الشارح، سوف نتعلَّم كيف نُوجِد مرتبة مصفوفة باستخدام المحدِّدات، وكيف نستخدم هذا لإيجاد عدد حلول نظام معادلات خطية.
تعريف: مرتبة المصفوفة
«مرتبة» المصفوفة ، ، هي عدد الصفوف أو الأعمدة، ، في أكبر مصفوفة جزئية مربعة من الرُّتبة من المصفوفة التي محدِّدها لا يساوي صفرًا.
أكبر مصفوفة جزئية مربعة مُمكِنة من أيِّ مصفوفة عامَّة من الرُّتبة سيحدِّدها العدد الأصغر من العددين ، . على سبيل المثال، في المصفوفة التي رتبتها ، الآتية: أكبر مصفوفة جزئية مربعة مُمكِنة تكون من الرُّتبة . وبالمثل في المصفوفة، التي رتبتها ، الآتية: أكبر مصفوفة جزئية مربعة مُمكِنة تكون من الرُّتبة .
إذن الحد العلوي لمرتبة المصفوفة يساوي العدد الأقلَّ من عددَيِ الصفوف والأعمدة (أيْ أيُّهما كان الأصغر).
الحدُّ السُّفلي لمرتبة المصفوفة هو صفر، لكن يتحقَّق هذا فقط إذا لم نتمكَّن من إيجاد مصفوفة من الرُّتبة ، ومحدِّدها لا يساوي صفرًا؛ أيْ إذا كان جميع عناصر المصفوفة أصفارًا.
نظرية: الحدَّيْن العُلوي والسُّفلي لمرتبة المصفوفة
أيُّ مصفوفة من الرُّتبة ، ورمزها ، يكون لرتبتها ، حدَّان عُلوي وسُفلي هما:
نظرية: مرتبة المصفوفة الصفرية
، إذا -وفقط إذا- كانت مصفوفة صفرية، .
هذا يعني أنه يُمكن إيجاد مرتبة أيِّ مصفوفة من الرُّتبة ببساطة عن طريق حساب محدِّدها.
نتيجة: مرتبة مصفوفة من الرُّتبة ٢ × ٢
أيُّ مصفوفة من الرُّتبة ، ورمزها ؛ حيث ، تكون مرتبتها ، إذا -وفقط إذا- كان .
يُمكننا إثبات هذه النتيجة على النحو الآتي.
المصفوفة الجزئية الوحيدة من الرُّتبة من المصفوفة هي نفسها. إذا كان ، فإن أكبر مصفوفة جزئية مربعة مُمكِنة محدِّدها لا يساوي صفرًا هي مصفوفة من الرُّتبة . وبما أن ، فإن هناك مصفوفة جزئية واحدة على الأقلِّ من الرُّتبة من المصفوفة ، ومحدِّدها لا يساوي صفرًا؛ إذن .
وفي المقابل، إذا كانت ، فإن أيَّ مصفوفة جزئية من الرُّتبة من المصفوفة يجب أن يساوي محدِّدها صفرًا. المصفوفة الجزئية الوحيدة التي من الرُّتبة من المصفوفة هي نفسها؛ إذن .
ومن ثَمَّ، مرتبة أيِّ مصفوفة من الرُّتبة يُمكن إيجادها بالطريقة الآتية:
دعونا نتناول مثالًا لكيفية إيجاد مرتبة المصفوفة التي رتبتها باستخدام المحدِّدات.
مثال ١: إيجاد مرتبة المصفوفة
أوجد مرتبة المصفوفة .
الحل
نتذكَّر أن مرتبة أيِّ مصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة التي محدِّدها لا يساوي صفرًا.
بما أن المصفوفة مصفوفة مربعة من الرُّتبة فإن أكبر مصفوفة جزئية مربعة مُمكِنة هي المصفوفة الأصلية نفسها. ومن ثَمَّ، لا بدَّ أن تكون مرتبتها بين صفر و٢ متضمِّنًا هذين العددين. نلاحِظ على الفور أن المصفوفة ليست مصفوفة صفرية؛ ومن ثَمَّ فإن مرتبتها لا يُمكن أن تساوي صفرًا. بحساب محدِّد المصفوفة:
وبما أن محدِّد المصفوفة يساوي صفرًا، فإن مرتبتها لا يُمكن أن تساوي عدد الصفوف أو الأعمدة؛ أي ٢.
الاحتمال الوحيد المتبقِّي هو أن مرتبة المصفوفة تساوي ١، وهو ما لا نحتاج إلى التحقُّق منه بحساب أيِّ محدِّدات أخرى.
إذن مرتبة المصفوفة تساوي ١.
سنتناول الآن كيفية توسيع نطاق هذه الطريقة من استخدام المحدِّد لإيجاد المرتبة كي تشمل مصفوفات أكبر.
مثال ٢: إيجاد مرتبة المصفوفة
أوجد مرتبة المصفوفة الآتية باستخدام المحدِّدات:
الحل
نتذكَّر أن مرتبة المصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة التي محدِّدها لا يساوي صفرًا.
وبما أن المصفوفة من الرُّتبة ، فإن أكبر مصفوفة جزئية مربعة يُمكننا أخذُها تكون من الرُّتبة ؛ ومن ثَمَّ لا بدَّ أن تكون مرتبتها بين صفر و٢. المصفوفة ليست مصفوفة صفرية؛ ومن ثَمَّ مرتبتها لا يُمكن أن تساوي صفرًا.
انظر المصفوفة الجزئية التي رتبتها والتي نحصل عليها عن طريق «حذف» العمود الأيسر:
بحساب محدِّد هذه المصفوفة الجزئية:
لقد أوجدنا مصفوفة جزئية من الرُّتبة ومحدِّدها لا يساوي صفرًا؛ إذن مرتبة المصفوفة الأصلية لا بدَّ أن تساوي ٢.
يُمكن اختصار الطُّرق الموضَّحة حتى الآن إلى طريقة تتكوَّن من ثلاث خطوات.
كيفية الحلِّ: إيجاد مرتبة المصفوفة أ
- تناول أكبر مصفوفة جزئية مربعة من المصفوفة . احسب محدِّد هذه المصفوفة الجزئية. إذا كان المحدِّد لا يساوي صفرًا، فإن مرتبة المصفوفة الأصلية تساوي عدد صفوف المصفوفة الجزئية.
- إذا كان محدِّد المصفوفة الجزئية يساوي صفرًا، كرِّر الخطوة الأولى لتحصل على مصفوفات جزئية مربعة مُمكِنة أخرى من الرُّتبة نفسها.
- إذا لم نَجِد مصفوفة جزئية محدِّدها لا يساوي صفرًا، نكرِّر الخطوتين الأولى والثانية للحصول على مصفوفات جزئية عدد كلٍّ من صفوفها وأعمدتها أصغر بمقدار ١، حتى إيجاد مصفوفة جزئية محدِّدها لا يساوي صفرًا. مرتبة المصفوفة الأصلية تساوي عدد صفوف أو أعمدة هذه المصفوفة الجزئية التي محدِّدها لا يساوي صفرًا.
تُعَدُّ المصفوفات من الرُّتبة من المصفوفات الأكثر شيوعًا، لا سيَّما بسبب وجودها في المسائل التي تتضمَّن فضاءً ثلاثي الأبعاد.
ومن ثَمَّ، إيجاد مرتبة أيِّ مصفوفة من الرُّتبة بسرعة هو أداة مُفيدة للغاية.
انظر إلى المصفوفة، التي رتبتها الآتية:
علينا أولًا التفكير في أكبر مصفوفة جزئية مربعة مُمكِنة من المصفوفة . بما أن مصفوفة مربعة بالفعل، فإن أكبر مصفوفة جزئية مربعة مُمكِنة من المصفوفة هي ببساطة المصفوفة نفسها.
بمجرد اختيار المصفوفة الجزئية، يُمكننا حساب محدِّد المصفوفة. إذا كان المحدِّد لا يساوي صفرًا، فإن مرتبة المصفوفة الأصلية تساوي عدد الصفوف أو الأعمدة في المصفوفة الجزئية.
إذا حسبنا محدِّد المصفوفة ، الموضَّحة سابقًا على سبيل المثال، بالفكِّ باستخدام الصف العُلوي، نَجِد أن:
وجدنا أن محدِّد هذه المصفوفة الجزئية التي رتبتها (في هذه الحالة، نفسها) يساوي صفرًا. ليس هناك مصفوفات جزئية أخرى من الرُّتبة من المصفوفة ؛ إذن وفق تعريف المرتبة، لا يُمكن أن تساوي ٣.
الخطوة التالية هي التفكير في مصفوفات جزئية مربعة أصغر، في هذه الحالة مصفوفات جزئية من الرُّتبة . إذا أخذنا المصفوفة الجزئية التي رتبتها ، والتي نحصل عليها عن طريق «حذف» الصف السُّفلي والعمود الأيسر من المصفوفة ، دعونا نُطلِق على هذه المصفوفة الجزئية ، نَجِد أن:
بحساب محدِّد المصفوفة :
وبذلك نكون قد أوجدنا مصفوفة جزئية من الرُّتبة من المصفوفة ، ومحدِّدها لا يساوي صفرًا؛ إذن .
دعونا نتناول مثالًا بسيطًا لكيفية إيجاد مرتبة مصفوفة أخرى من الرُّتبة .
مثال ٣: إيجاد مرتبة مصفوفة مُعطاة
أوجد مرتبة المصفوفة:
الحل
نتذكَّر أن مرتبة المصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة التي محدِّدها لا يساوي صفرًا.
وبما أن هذه مصفوفة من الرُّتبة ، فإن مرتبتها لا بدَّ أن تكون بين صفر و٣. وبما أن المصفوفة ليستْ صفرية، فإن مرتبتها لا يُمكن أن تساوي صفرًا.
أكبر مصفوفة جزئية مربعة مُمكِنة من هذه المصفوفة التي رتبتها هي ببساطة نفسها؛ لذا دعونا نوزِّع محدِّد هذه المصفوفة على عناصر الصف العُلوي:
محدِّد المصفوفة التي رتبتها لا يساوي صفرًا؛ إذن لا بدَّ أن مرتبتها تساوي ٣.
علينا الانتباه في بعض الأحيان عند اختيار مصفوفة جزئية من المصفوفة الأصلية. من المُمكِن إيجاد مصفوفة جزئية واحدة من الرُّتبة ومحدِّدها ، وأخرى محدِّدها . انظر على سبيل المثال إلى المصفوفة:
بحساب محدِّد المصفوفة نفسها بالفكِّ باستخدام الصف العُلوي:
إذن . إذا واصلنا الحلَّ بحساب المصفوفة الجزئية التي رتبتها ، ونرمز إليها بالرمز ، التي نحصل عليها عن طريق «حذْف» الصف السُّفلي والعمود الأيسر من المصفوفة ، فإننا نَجِد أن:
بحساب محدِّد المصفوفة :
إذن يُمكننا استنتاج أن أيضًا. لكن إذا اخترنا بدلًا من ذلك مصفوفة جزئية من الرُّتبة ، ونرمز إليها بالرمز ، التي نحصل عليها عن طريق «حذْف» الصف العُلوي والعمود الأيسر من المصفوفة ، فإننا نحصل على:
بحساب محدِّد هذه المصفوفة، نحصل على:
وبذلك، نكون قد توصَّلنا إلى مصفوفة جزئية من الرُّتبة من المصفوفة ، ومحدِّدها لا يساوي صفرًا؛ إذن .
هذه الخاصية قد تعني أن علينا التحقُّق من عدَّة مصفوفات جزئية مختلفة لها نفس الرُّتبة قبل استنتاج مرتبة المصفوفة. لحسن الحظ، ليس علينا القيام بذلك؛ حيث يُمكننا تخطِّي هذه العملية بملاحَظة أمر ما في المصفوفة الأصلية:
نلاحِظ أن الصف الثاني في المصفوفة هو مضاعف قياسي للصف الأول. وبالتحديد، كلُّ عنصر في الصف الثاني هو حاصل ضرب ٢ العنصر الذي فوقه.
برهان: محدِّد مصفوفة من الرُّتبة ٢ × ٢ وتتضمَّن صفوفًا أو أعمدة بعضها عبارة عن مضاعفات قياسية لبعض
أي مصفوفة من الرُّتبة ، ورمزها ، يحقِّق محدِّدها أن ، إذا -وفقط إذا- كانت صفوف أو أعمدة المصفوفة بعضها عبارة عن مضاعفات قياسية لبعض.
نتيجة: تكرار الصف أو العمود والمحدِّدات
أيُّ مصفوفة مربعة تحتوي على صف أو عمود يمثِّل مضاعفًا قياسيًّا لصف أو عمود آخَر سيكون محدِّدها يساوي صفرًا، وأيُّ مصفوفة جزئية من الرُّتبة من المصفوفة مأخوذة من هذين الصفين أو العمودين، سيكون محدِّدها أيضًا يساوي صفرًا.
دعونا نتناول مثالًا لكيفية استخدام الأساليب التي تناولناها حتى الآن لإيجاد مرتبة مصفوفة من الرُّتبة .
مثال ٤: مرتبة مصفوفة من الرُّتبة ٣ × ٣
أوجد مرتبة المصفوفة الآتية:
الحل
نتذكَّر أن مرتبة المصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة التي محدِّدها لا يساوي صفرًا.
وبما أن هذه المصفوفة من الرُّتبة ، فإن مرتبتها لا بدَّ أن تكون بين صفر و٣. وأيضًا بما أن المصفوفة ليستْ مصفوفة صفرية، فلا يُمكن أن تساوي مرتبتها صفرًا.
أكبر مصفوفة جزئية مُمكِنة هي المصفوفة الأصلية نفسها. بحساب محدِّد المصفوفة الأصلية عن طريق الفكِّ باستخدام الصف العُلوي، نحصل على:
هذه هي المصفوفة الجزئية الوحيدة المُمكِنة التي رتبتها ، ومحدِّدها يساوي صفرًا؛ ولذلك لا يُمكن أن تكون مرتبة المصفوفة الأصلية ٣.
عند فحص المصفوفة الأصلية، نلاحِظ أن الصف السُّفلي مضاعف قياسي صحيح لا يساوي صفرًا للصف العُلوي. هذا يعني أن محدِّد أيِّ مصفوفة جزئية من الرُّتبة مأخوذة من هذين الصفين سيساوي صفرًا. يُمكننا التحقُّق من ذلك مباشرة:
لكن هذا لا يعني أنه ليس هناك مصفوفة جزئية من الرُّتبة من المصفوفة الأصلية ومحدِّدها لا يساوي صفرًا. الصف الأوسط في المصفوفة الأصلية ليس مضاعفًا قياسيًّا للصفين الآخَرين؛ إذن محدِّد أيِّ مصفوفة جزئية من الرُّتبة وتحتوي على الصف الأوسط، لن يساوي صفرًا.
بحساب المصفوفة الجزئية التي رتبتها الناتِجة عن «حذْف» الصف السُّفلي والعمود الأيسر:
بحساب محدِّد هذه المصفوفة التي رتبتها :
لقد أوجدنا مصفوفة جزئية من الرُّتبة من المصفوفة الأصلية التي محدِّدها لا يساوي صفرًا؛ إذن مرتبة المصفوفة الأصلية تساوي ٢.
في المثال السابق، رأينا أن علينا أن نكون أكثر تحديدًا في اختيارنا للمصفوفة الجزئية من مصفوفة تحتوي على صفوف أو أعمدة يمثِّل بعضها مضاعفات قياسية لبعض.
لكن في الحقيقة، في أيِّ مصفوفة من الرُّتبة أو أصغر، إذا لاحَظنا أن صفًّا أو عمودًا واحدًا على الأقلِّ مضاعف قياسي لآخَر، فلن يتعيَّن علينا تحديد أيِّ مصفوفة جزئية على الإطلاق. بدلًا من ذلك، يُمكننا استنتاج مرتبة المصفوفة على الفور من عدد الصفوف أو الأعمدة التي يمثِّل بعضها مضاعفات قياسية لبعض.
نظرية: مرتبة مصفوفة من الرُّتبة ٣ × ٣ تتضمَّن صفين أو عمودين على صورة مضاعفين قياسيين
إذا كانت أيُّ مصفوفة من الرُّتبة ، ورمزها ، لا تحتوي على أيِّ صفوف أو أعمدة صفرية، وتحتوي على صفين أو عمودين كلٌّ منهما مضاعف قياسي للآخَر، والصف أو العمود الثالث ليس مضاعفًا قياسيًّا للآخَرين، فإن .
في بعض الحالات، قد تكون الصفوف الثلاثة كلها في المصفوفة مضاعفات قياسية كلٌّ منها للآخَر.
نظرية: مرتبة مصفوفة من الرُّتبة ٣ × ٣ تتضمَّن ثلاثة صفوف أو أعمدة على صورة مضاعفات قياسية
أيُّ مصفوفة من الرُّتبة ، ورمزها ؛ حيث ، تكون مرتبتها ، إذا -وفقط إذا- كانت تحتوي على ثلاثة صفوف أو أعمدة على صورة مضاعفات قياسية كلٌّ منها للآخَر.
نتيجة: مرتبة مصفوفة من الرُّتبة ٣ × ٣ لا تتضمَّن صفوفًا أو أعمدة على صورة مضاعفات قياسية
إذا كانت أيُّ مصفوفة من الرُّتبة ، ورمزها لا تتضمَّن صفوفًا أو أعمدة على صورة مضاعفات قياسية أيٌّ منها للآخَر، وكان ، فإن .
بمراعاة هذه الخواص، يُمكن إيجاد مرتبة أيِّ مصفوفة من الرُّتبة بسرعة أكبر بكثير من خلال الطريقة الآتية:
هيَّا نتناول مثالًا لكيفية استخدام هذه الطريقة لإيجاد مراتب عدَّة مصفوفات من الرُّتبة سريعًا.
انظر المصفوفات:
لا تمثِّل أيٌّ من هذه المصفوفات من الرُّتبة مصفوفة صفرية؛ لذا يجب أن تكون لكلٍّ منها مرتبة بين ١ و٣.
نبدأ بالمصفوفة ، الصفوف (أو الأعمدة) الثلاثة جميعها مضاعفات قياسية كلٌّ منها للآخَر؛ إذن .
بعد ذلك، المصفوفة لا تحتوي على أيِّ صفوف تمثِّل مضاعفات قياسية أيٌّ منها للآخَر، لكن العمودين الأول والثالث مضاعفان قياسيان كلٌّ منهما للآخَر، والعمود الثاني ليس كذلك؛ إذن .
بعد ذلك، المصفوفة لا تحتوي على أيِّ صفوف أو أعمدة تمثِّل مضاعفات قياسية بعضها للآخَر. بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي، نحصل على:
المصفوفة محدِّدها لا يساوي صفرًا؛ إذن مرتبتها هي ٣.
وأخيرًا، المصفوفة لا تحتوي أيضًا على أيِّ صفوف أو أعمدة تمثِّل مضاعفات قياسية أيٌّ منها للآخَر. بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي، نحصل على:
المصفوفة محدِّدها يساوي صفرًا؛ إذن لا بدَّ أن مرتبتها ٢.
في المثال الآتي، سنتعرَّف على كيفية توسيع نطاق هذه الطريقة العامَّة لإيجاد مرتبة أيِّ مصفوفة لتشمل حلَّ المسائل الجبرية.
مثال ٥: مرتبة المصفوفة
ما القيمة التي لا تساوي ، إذا كانت مرتبة المصفوفة الآتية: تساوي ٣؟
الحل
مرتبة أيِّ مصفوفة من الرُّتبة يُمكن أن تساوي فقط، إذا كان محدِّد المصفوفة لا يساوي صفرًا. ومن ثَمَّ، إذا كانت مرتبة المصفوفة التي رتبتها الواردة سابقًا هي ٣ (مرتبة )، فإن . وبما أن هذه الحالة التي لدينا، فبإيجاد قيمة محدِّد المصفوفة الواردة سابقًا وجعلها تساوي صفرًا، ثم الحل لإيجاد قيمة ، سنحصل على القيمة التي لا يُمكن أن تساوي .
بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام العمود الأوسط، نجد أن:
إذا جعلنا الآن ، نحصل على:
بحلِّ هذه المعادلة لإيجاد قيمة ، نحصل على:
إذن إذا كانت مرتبة المصفوفة هي ٣، فإن قيمة لا يُمكن أن تساوي ١.
أحد التأثيرات الأكثر أهمية لمرتبة المصفوفة هو عدد حلول نظام المعادلات الخطية الذي تمثِّله.
نظرية: روشيه-كابيللي
نظام المعادلات الخطية الذي يتضمَّن العدد من المتغيِّرات يكون له حلٌّ (أو حلول) إذا -وفقط إذا- كانت مرتبة مصفوفة معاملاته ، تساوي مرتبة مصفوفته الموسعة .
إذا كانت ، فإن نظام المعادلات ليس له أيُّ حلول.
إذا كانت ، فإن النظام له حلٌّ وحيد.
إذا كانت ، فإن النظام له عددٌ لا نهائيٌّ من الحلول.
انظر نظام المعادلات الخطية الآتي:
يُمكن تمثيل هذا النظام من المعادلات بالمعادلة المصفوفية:
وعليه، مصفوفة المعاملات هي: والمصفوفة الموسعة هي:
بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي:
إذن المصفوفة تحتوي على مصفوفة جزئية من الرُّتبة (في هذه الحالة، هي نفسها) ومحدِّدها لا يساوي صفرًا؛ إذن المرتبة هي ٣. وبما أن المصفوفة الموسعة تحتوي على المصفوفة الجزئية ، فلا بدَّ أن مرتبتها ٣ أيضًا.
إذن ؛ وعليه نظام المعادلات له حلٌّ (أو حلول). وبما أن ، أيْ عدد المتغيِّرات في النظام أيضًا، يكون للنظام حلٌّ وحيد.
تجدر الإشارة هنا إلى أنه يُمكننا توفير الوقت في إيجاد مرتبة المصفوفة الموسعة إذا استطعنا إثبات أنها تساوي على الأقلِّ مرتبة مصفوفة المعاملات.
نظرية: مرتبة المصفوفة الموسعة
مرتبة المصفوفة الموسعة ، لنظام المعادلات الخطية تكون أكبر من أو تساوي مرتبة مصفوفة المعاملات . أيْ إن:
ويُمكن توضيح ذلك بسهولة. بما أن مصفوفة المعاملات ، هي نفسها مصفوفة جزئية من المصفوفة الموسعة ، فأيُّ مصفوفة جزئية من المصفوفة هي أيضًا مصفوفة جزئية من المصفوفة ؛ وبذلك أيُّ مصفوفة جزئية مربعة من المصفوفة ومحدِّدها لا يساوي صفرًا، لا بدَّ أن تكون أيضًا مصفوفة جزئية من المصفوفة . إذن تساوي على الأقلِّ .
دعونا نتناول مثالًا لكيفية إيجاد عدد حلول نظام معادلات خطية بإيجاد محدِّدَيْ مصفوفة المعاملات والمصفوفة الموسعة، وكيف تؤدِّي هذه الطريقة إلى إيجاد مرتبتَيْهما باستخدام المحدِّدات إلى زيادة سرعة عملية إيجاد عدد حلول نظام المعادلات الخطية بشكل كبير.
مثال ٦: إيجاد عدد حلول نظام المعادلات الخطية
أوجد عدد حلول نظام المعادلات الخطية الآتي:
الحل
تذكَّر أن نظرية روشيه-كابيللي تنصُّ على أن نظام المعادلات الخطية يكون له حلٌّ (أو حلول)، إذا -وفقط إذا- كانت مرتبة مصفوفة معاملاته تساوي مرتبة مصفوفته الموسعة.
في هذه الحالة، مصفوفة المعاملات ، هي المصفوفة الموجودة على يمين المعادلة:
المصفوفة الموسعة ، تتكوَّن عن طريق «إلْحاق» مصفوفة الثوابت بالطرف الأيسر من مصفوفة المعاملات:
تذكَّر أن مرتبة المصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة التي محدِّدها لا يساوي صفرًا.
المصفوفة الجزئية الوحيدة من الرُّتبة من مصفوفة المعاملات هي نفسها . بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي:
لقد أوجدنا مصفوفة جزئية من الرُّتبة من مصفوفة المعاملات (في هذه الحالة، نفسها)، ومحدِّدها لا يساوي صفرًا. إذن .
وبما أن المصفوفة الموسعة ، مصفوفة من الرُّتبة ، فإن مرتبتها تساوي ٣ على الأكثر، وبما أن المصفوفة الموسعة مرتبتها تساوي على الأقلِّ مرتبة مصفوفة المعاملات ، فإن مرتبتها لا تقلُّ أيضًا عن ٣. إذن .
ومن ثَمَّ، يصبح لدينا ، أيْ عدد المتغيِّرات في نظام المعادلات. إذن نظام المعادلات له حلٌّ وحيد.
في المثال الآتي، سنتناول نظامًا من المعادلات فيه مرتبة مصفوفة المعاملات لا تساوي مرتبة المصفوفة الموسعة.
مثال ٧: إيجاد عدد حلول نظام المعادلات الخطية
أوجد عدد حلول نظام المعادلات الخطية الآتي:
الحل
تذكَّر أن نظرية روشيه-كابيللي تنصُّ على أن نظام المعادلات الخطية يكون له حلٌّ (أو حلول)، إذا -وفقط إذا- كانت مرتبة مصفوفة معاملاته تساوي مرتبة مصفوفته الموسعة.
في هذه الحالة، مصفوفة المعاملات ، هي المصفوفة الموجودة على يمين المعادلة:
المصفوفة الموسعة ، تتكوَّن عن طريق «إلْحاق» مصفوفة الثوابت بالطرف الأيسر من مصفوفة المعاملات:
تذكَّر أن مرتبة المصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة التي محدِّدها لا يساوي صفرًا.
المصفوفة الجزئية الوحيدة من الرُّتبة من مصفوفة المعاملات ، هي نفسها . بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي:
هذه هي المصفوفة الجزئية الوحيدة المُمكِنة من الرُّتبة من المصفوفة ، التي محدِّدها يساوي صفرًا؛ ومن ثَمَّ، لا يُمكن أن تساوي مرتبتها ٣. كما أن المصفوفة لا تحتوي على صفوف أو أعمدة تمثِّل مضاعفات قياسية أيٌّ منها للآخَر؛ إذن لا بدَّ أن مرتبتها هي ٢.
بعد ذلك، علينا إيجاد مرتبة المصفوفة الموسعة . وبما أنها مصفوفة من الرُّتبة فإن مرتبتها يُمكن أن تساوي على الأكثر العدد الأقلَّ (أيْ أيَّهما كان الأصغر) من العددين ٣ و٤؛ إذن .
ومن ثَمَّ، فإننا نبحث عن مصفوفة جزئية من الرُّتبة من المصفوفة ومحدِّدها لا يساوي صفرًا. بالطبع هناك مصفوفة جزئية من المصفوفة ، وهي مصفوفة المعاملات ، لكننا أوضحنا بالفعل أن محدِّدها يساوي صفرًا؛ لذا علينا البحث عن مصفوفة جزئية أخرى.
نفكِّر إذن في المصفوفة الجزئية، التي سنُطلِق عليها ، التي تَنتُج عن «حذْف» العمود الأيمن من المصفوفة الموسعة :
بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي، نحصل على:
لقد أوجدنا مصفوفة جزئية من الرُّتبة من المصفوفة الموسعة ومحدِّدها لا يساوي صفرًا؛ إذن .
ومن ثَمَّ، ، ووفقًا لنظرية روشيه-كابيللي، يكون نظام المعادلات ليس له حلول.
في المثال السابق، مرتبة المصفوفة الموسعة كانت أكبر من مرتبة مصفوفة المعاملات، وكان علينا حساب محدِّد واحد فقط من الرُّتبة من المصفوفة الموسعة للتأكُّد من أن مرتبتها تساوي ٣.
لكن، قد نُواجِه حالة لا يُمكن فيها التحقُّق من مرتبة المصفوفة الموسعة بحساب قيمة محدِّد واحد. في مصفوفة موسعة من الرُّتبة ، كما في المثال السابق، في أسوأ حالة مُمكِنة قد يتعيَّن علينا حساب ثلاثة محدِّدات من الرُّتبة ، بالإضافة إلى محدِّد مصفوفة المعاملات التي رتبتها .
لتجنُّب هذه العملية التي تستغرق وقتًا طويلًا، يُمكننا استخدام نظرية أخرى.
نظرية: مرتبة مصفوفة تتضمَّن صفوفًا أو أعمدة غير مستقلَّة خطيًّا
إذا كانت مصفوفة من الرُّتبة ، ورمزها تحتوي على صف أو عمود يُمكن تكوينه من تركيب خطي لأيِّ صفوف أو أعمدة أخرى، فإن مرتبة المصفوفة تكون أصغر قطعيًّا من العدد الأصغر من العددين ، . أي إن:
دعونا نتناول مثالًا أخيرًا لكيفية إيجاد عدد حلول نظام المعادلات الخطية باستخدام هذه النظرية الموفرة للوقت.
مثال ٨: إيجاد عدد حلول نظام المعادلات الخطية
أوجد عدد حلول نظام المعادلات الخطية الآتي:
الحل
تذكَّر أن نظرية روشيه-كابيللي تنصُّ على أن نظام المعادلات الخطية يكون له حلٌّ (أو حلول)، إذا -وفقط إذا- كانت مرتبة مصفوفة معاملاته تساوي مرتبة مصفوفته الموسعة.
في هذه الحالة، مصفوفة المعاملات ، هي المصفوفة الموجودة على يمين المعادلة:
المصفوفة الموسعة ، تتكوَّن عن طريق «إلْحاق» مصفوفة الثوابت بالطرف الأيسر من مصفوفة المعاملات:
تذكَّر أن مرتبة المصفوفة تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفاتها الجزئية المربعة التي محدِّدها لا يساوي صفرًا.
لاحِظ أيضًا أن المصفوفة ، تتضمَّن صفًّا واحدًا يُمكن أن يتكوَّن من تركيب خطي من الصفين الآخَرين. وعلى وجْه التحديد، الصف الثاني يساوي مجموع الصفين الأول والثالث:
بما أن أحد الصفوف تركيب خطي من الصفين الآخَرين، فإن مرتبة المصفوفة لا بدَّ أن تكون أقلَّ من ٣. يُمكننا التحقُّق من ذلك مباشرة. المصفوفة الجزئية الوحيدة من الرُّتبة من مصفوفة المعاملات هي نفسها . بحساب محدِّد المصفوفة عن طريق الفكِّ باستخدام الصف العُلوي، نحصل على:
هذه هي المصفوفة الجزئية الوحيدة المُمكِنة من الرُّتبة من المصفوفة ، التي محدِّدها يساوي صفرًا؛ ومن ثَمَّ، مرتبة المصفوفة لا يُمكن أن تساوي ٣. كما أن المصفوفة لا تحتوي على صفوف أو أعمدة تمثِّل مضاعفات قياسية أيٌّ منها للآخَر؛ إذن لا بدَّ أن تساوي مرتبتها ٢.
بعد ذلك، علينا إيجاد مرتبة المصفوفة الموسعة . وبما أنها مصفوفة من الرُّتبة ، فإن مرتبتها يُمكن أن تساوي على الأكثر العدد الأقلَّ (أي أيَّهما كان الأصغر) من العددين ٣ و٤؛ إذن .
لقد وجدنا أنه في مصفوفة المعاملات ، الصف الثاني يساوي مجموع الصفين الأول والثالث. إذا كان الأمر نفسه ينطبق على المصفوفة الموسعة ، فإن مرتبتها لا بدَّ أن تكون أقلَّ من ثلاثة أيضًا.
بالنظر إلى مجموع الصفين الأول والثالث في المصفوفة الموسعة ، نلاحِظ أن هذا الأمر ينطبق بالفعل:
إذن مرتبة المصفوفة الموسعة ، لا يُمكن أن تساوي ٣. وعلى الرغم من أن هذا ليس ضروريًّا ويستغرق وقتًا طويلًا، فإنه يُمكن التحقُّق منه مباشرة بإيجاد محدِّد كلِّ مصفوفة جزئية أخرى من الرُّتبة من المصفوفة الموسعة وإثبات أن جميع هذه المحدِّدات تساوي صفرًا. بالفعل، نجد أن:
وبما أن مرتبة المصفوفة الموسعة لا بدَّ أن تكون أكبر من أو تساوي مرتبة مصفوفة المعاملات، فلا بدَّ أن يكون لدينا .
إذن مرتبة مصفوفة المعاملات تساوي مرتبة المصفوفة الموسعة؛ ومن ثَمَّ، نظام المعادلات الخطية له حلٌّ (أو حلول). وبما أن مرتبة مصفوفة المعاملات ، أقلُّ من عدد المتغيِّرات في النظام ، فإن هذا النظام له عددٌ لا نهائيٌّ من الحلول.
نُنهِي هذا الشارح ببعض النقاط الرئيسية المرتبطة بمحدِّد المصفوفة ومرتبتها.
النقاط الرئيسية
- لأيِّ مصفوفة من الرُّتبة ، ورمزها ، مرتبتها ، تساوي عدد الصفوف أو الأعمدة في أكبر مصفوفة جزئية مربعة من المصفوفة (التي قد تكون المصفوفة نفسها) محدِّدها لا يساوي صفرًا.
- .
- ، إذا -وفقط إذا- كانت مصفوفة صفرية، .
- أيُّ مصفوفة من الرُّتبة ، ورمزها ؛ حيث ، مرتبتها ، إذا -وفقط إذا- كان .
- مرتبة أيِّ مصفوفة يُمكن إيجادها باستخدام الطريقة الآتية:
- تناول أكبر مصفوفة جزئية مربعة من المصفوفة . احسب قيمة محدِّد هذه المصفوفة الجزئية. إذا كان المحدِّد لا يساوي صفرًا، فإن مرتبة المصفوفة الأصلية تساوي عدد صفوف المصفوفة الجزئية.
- إذا كان محدِّد المصفوفة الجزئية يساوي صفرًا، كرِّر الخطوة الأولى للحصول على مصفوفات جزئية مربعة مُمكِنة أخرى من الرُّتبة نفسها.
- إذا لم تَجِد مصفوفة جزئية محدِّدها لا يساوي صفرًا، كرِّر الخطوتين الأولى والثانية للحصول على مصفوفات جزئية أصغر بمقدار صفٍّ واحد وعمود واحد.
- مرتبة أيِّ مصفوفة من الرُّتبة ، ورمزها يُمكن إيجادها بالطريقة الآتية:
- مرتبة أيِّ مصفوفة من الرُّتبة ، ورمزها يُمكن إيجادها بالطريقة الآتية:
- تنصُّ نظرية روشيه-كابيللي على أن نظام المعادلات الخطية الذي يتضمَّن العدد من المتغيِّرات يكون له حلٌّ (أو حلول) ، إذا -وفقط إذا- كانت مرتبة مصفوفة معاملاته ، تساوي مرتبة مصفوفته الموسعة . إذا كانت ، فإن نظام المعادلات ليس له أيُّ حلول. إذا كانت ، فإن النظام له حلٌّ وحيد. إذا كانت ، فإن النظام له عددٌ لا نهائيٌّ من الحلول.
- مرتبة المصفوفة الموسعة ، لنظام المعادلات الخطية تكون أكبر من أو تساوي مرتبة مصفوفة المعاملات . أيْ إن .