مصفوفة الوحدة – identity matrix

مدرس الدكتور محمد لوتي

المحتويات:

مصفوفة الوحدة (Identity Matrix)

المجال الانضباطي الأساسي: الرياضيات (الجبر الخطي)

1. التعريف الأساسي والنظرة العامة

تُعد مصفوفة الوحدة، التي يُرمز إليها عادةً بالرمز I (أو I_n للإشارة إلى حجمها)، مفهومًا محوريًا في مجال الجبر الخطي. وهي مصفوفة مربعة تتميز بكون جميع عناصرها الواقعة على القطر الرئيسي (القطر الذي يمتد من الزاوية العلوية اليسرى إلى الزاوية السفلية اليمنى) تساوي الواحد الصحيح (1)، بينما تكون جميع العناصر الأخرى خارج هذا القطر مساوية للصفر (0). تلعب مصفوفة الوحدة دورًا مشابهًا لدور العدد واحد في نظام الأعداد الحقيقية، حيث تُعتبر العنصر المحايد لعملية ضرب المصفوفات. بعبارة أخرى، عند ضرب أي مصفوفة أخرى بمصفوفة الوحدة، تظل المصفوفة الأخرى دون تغيير، وهو ما يمثل خاصية أساسية وضرورية لعمليات التحويلات الخطية.

إن أهمية مصفوفة الوحدة تتجاوز مجرد التعريف؛ فهي الأساس الذي تُبنى عليه العديد من المفاهيم المتقدمة في الجبر الخطي، مثل مفهوم المصفوفة العكسية والمحدد (Determinant). وتُستخدم مصفوفة الوحدة كأداة مرجعية لتمثيل التحويل الخطي الذي لا يُغير المتجهات (أي التحويل المطابق)، مما يجعلها ضرورية في دراسة فضاءات المتجهات والأنظمة الخطية. يتم تحديد حجم مصفوفة الوحدة بواسطة بُعدها، حيث تكون المصفوفة I_n مصفوفة n × n، أي أنها تحتوي على n صفوف و n أعمدة. وتُعتبر مصفوفة الوحدة مثالًا خاصًا جدًا من المصفوفات القطرية (Diagonal Matrices)، حيث تكون جميع مدخلاتها غير القطرية صفرية.

2. الخصائص الرياضية والبنية

يمكن التعبير عن مصفوفة الوحدة رياضيًا باستخدام رمز دلتا كرونيكر (Kronecker Delta)، حيث إذا كانت I = (I_ij) مصفوفة الوحدة، فإن العنصر الموجود في الصف i والعمود j يُعطى بالصيغة التالية: I_ij = δ_ij. هنا، تساوي δ_ij القيمة 1 إذا كان i = j (أي عنصر على القطر الرئيسي)، وتساوي القيمة 0 إذا كان i ≠ j (أي عنصر خارج القطر الرئيسي). هذا التعريف المختصر يلخص البنية المزدوجة التي تميز مصفوفة الوحدة: الوحدة على القطر، والصفر في كل مكان آخر.

تتمتع مصفوفة الوحدة بعدة خصائص بنيوية هامة. أولاً، هي مصفوفة متماثلة (Symmetric)، مما يعني أن نقلها (تبديل الصفوف بالأعمدة) ينتج عنه المصفوفة نفسها (I^T = I). ثانيًا، محدد مصفوفة الوحدة لأي بُعد n يساوي دائمًا الواحد الصحيح (det(I) = 1). هذه الخاصية ذات أهمية بالغة لأنها تؤكد أن التحويل الخطي الذي تمثله مصفوفة الوحدة يحافظ على الحجم (المساحة أو الحجم في الأبعاد الأعلى) ولا يغير اتجاه الفضاء، وهو ما يتوافق مع كونها تحويلاً محايدًا. ثالثًا، مصفوفة الوحدة هي مصفوفة قابلة للعكس (Invertible)، ومعكوسها هو نفسها (I^-1 = I)، مما يعزز دورها كعنصر محايد مطلق في المجموعة الجبرية للمصفوفات المربعة.

3. دورها كعنصر محايد في ضرب المصفوفات

إن الوظيفة الأساسية والتعريفية لمصفوفة الوحدة هي كونها العنصر المحايد لعملية ضرب المصفوفات. هذا الدور هو ما يمنحها تسميتها. إذا كانت لدينا مصفوفة A من الحجم m × n، فإن ضرب A بمصفوفة الوحدة المناسبة لا يغير المصفوفة A. يجب مراعاة أن الحجم المناسب لمصفوفة الوحدة يعتمد على موضعها في عملية الضرب:

إذا ضربنا A من اليسار، نستخدم مصفوفة الوحدة I_m (بحجم m × m)، بحيث: I_m A = A.
إذا ضربنا A من اليمين، نستخدم مصفوفة الوحدة I_n (بحجم n × n)، بحيث: A I_n = A.

هذه الخاصية تضمن أن عملية ضرب المصفوفات، على الرغم من كونها غير تبادلية في الحالة العامة (AB ≠ BA)، تمتلك عنصرًا محايدًا، وهو شرط أساسي لتكوين بنية حلقة رياضية (Ring) أو جبر (Algebra) للمصفوفات. يتيح وجود العنصر المحايد تعريف مفهوم العناصر العكسية، مما يسمح بحل المعادلات الخطية المعقدة. بدون مصفوفة الوحدة، ستفشل العديد من الأدوات التحليلية الأساسية في الجبر الخطي، مثل تعريف المصفوفة العكسية، في العمل.

4. حالات خاصة وأمثلة

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

مصفوفة الوحدة 1×1 (I₁):
$$ I_1 = [1] $$
وهي ببساطة العدد واحد، مما يؤكد التناظر بين العنصر المحايد في الأعداد الحقيقية والبيئة المصفوفية.
مصفوفة الوحدة 2×2 (I₂):
$$ I_2 = begin{pmatrix} 1 & 0 \ 0 & 1 end{pmatrix} $$
هذه المصفوفة تمثل تحويلاً مطابقاً في الفضاء ثنائي الأبعاد R². وهي تُستخدم بكثرة في رسومات الحاسوب ثنائية الأبعاد وفي الهندسة التحليلية.
مصفوفة الوحدة 3×3 (I₃):
$$ I_3 = begin{pmatrix} 1 & 0 & 0 \ 0 & 1 & 0 \ 0 & 0 & 1 end{pmatrix} $$
تمثل التحويل المطابق في الفضاء ثلاثي الأبعاد R³، وهي ضرورية في التحليل الهندسي ثلاثي الأبعاد والفيزياء الكلاسيكية والنسبية الخاصة، حيث تُستخدم غالبًا كجزء من تعريف متري مينكوفسكي.

في سياق التحويلات الخطية، تعمل مصفوفة الوحدة على ترك متجهات الأساس دون تغيير. إذا كانت أعمدة مصفوفة الوحدة هي متجهات أساس الفضاء (e₁, e₂, …, e_n)، فإن ضرب أي متجه v بمصفوفة الوحدة I ينتج عنه المتجه v نفسه، مما يؤكد أن التحويل الذي تمثله هو تحويل محايد تمامًا.

5. التطور التاريخي والسياق الرياضي

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

تم ترسيخ الدور المحوري لمصفوفة الوحدة مع تطور نظرية فضاءات المتجهات (Vector Spaces) في أوائل القرن العشرين. في هذا السياق، أصبحت مصفوفة الوحدة هي التمثيل القياسي لـ مؤثر الوحدة (Identity Operator) الذي يعمل على أي فضاء متجهات. هذا المؤثر هو التحويل الخطي الوحيد الذي يرسم كل متجه إلى نفسه، ومصفوفة الوحدة هي ببساطة التمثيل المصفوفي لهذا المؤثر بالنسبة لأي أساس قياسي (Standard Basis). وبالتالي، يُمكن النظر إلى مصفوفة الوحدة على أنها نقطة البداية أو المرجع الصفري لأي تحويل خطي غير محايد.

6. تطبيقات مصفوفة الوحدة في الحوسبة والهندسة

تُعد مصفوفة الوحدة أساسية في مجالات العلوم التطبيقية، خاصة في الحوسبة والهندسة:

رسومات الحاسوب والتحويلات ثلاثية الأبعاد: في رسومات الحاسوب (Computer Graphics)، يتم تمثيل جميع التحويلات الهندسية (الدوران، والترجمة، والقياس) بواسطة مصفوفات 4×4. تُستخدم مصفوفة الوحدة 4×4 (I₄) لتهيئة حالة التحويل الأولي، حيث يتم البدء منها قبل تطبيق أي دوران أو تغيير حجم. هذا يضمن أن يكون الكائن في وضعه الأصلي قبل بدء سلسلة التحويلات.
حل الأنظمة الخطية: تُستخدم مصفوفة الوحدة كهدف في خوارزميات حل الأنظمة الخطية الكبيرة، مثل الحذف الغاوسي (Gaussian Elimination). عندما يتم تحويل مصفوفة معاملات نظام خطي إلى شكل مصفوفة صفية مُخفَّضة (Reduced Row Echelon Form)، إذا كانت هذه المصفوفة قابلة للعكس، فإن الجزء المتبقي منها هو مصفوفة الوحدة، مما يشير إلى وجود حل فريد للنظام.
التعلم الآلي والإحصاء: في الإحصاء وتحليل البيانات، وخاصة في تقنيات تنظيم الانحدار (Regularization) مثل L2 (Ridge Regression)، يتم إضافة مضاعف من مصفوفة الوحدة إلى مصفوفة التباين المشترك لضمان أن تكون المصفوفة قابلة للعكس ومحددة إيجابياً، مما يسهل عمليات الحساب ويمنع مشكلة الإفراط في الملاءمة (Overfitting).

7. الارتباط بالمصفوفات العكسية والمحددات

يُعد مفهوم مصفوفة الوحدة ضروريًا لتعريف المصفوفة العكسية. تُعرّف المصفوفة المربعة A بأنها قابلة للعكس إذا وجدت مصفوفة مربعة أخرى، تُسمى معكوس A ويُرمز لها بالرمز A^-1، بحيث يتحقق الشرط التالي: A A^-1 = A^-1 A = I. هنا، تمثل I مصفوفة الوحدة ذات البُعد المناسب. هذا التعريف يوضح أن مصفوفة الوحدة هي النتيجة المرجوة عند ضرب مصفوفة بمعكوسها، مما يماثل العلاقة x * (1/x) = 1 في الأعداد الحقيقية.

علاوة على ذلك، يرتبط محدد المصفوفة العكسية ارتباطًا وثيقًا بمحدد مصفوفة الوحدة. بما أن det(I) = 1، وباستخدام خاصية ضرب المحددات، نحصل على: det(A A^-1) = det(A) det(A^-1) = det(I) = 1. هذه المعادلة تثبت أن المصفوفة تكون قابلة للعكس (أي يمكن تعريف A^-1) إذا وفقط إذا كان محددها لا يساوي الصفر (det(A) ≠ 0). وبالتالي، تعمل مصفوفة الوحدة كمعيار لـ “نجاح” عملية الانعكاس، أي وجود معكوس للمصفوفة الأصلية.