عضو خنثی ضرب در ماتریسها: ماتریس همانی (I)
تعریف عضو خنثی ضرب و معرفی ماتریس همانی
در ریاضیات، «عضو خنثی»1 یک عملگر (مانند جمع یا ضرب) عضوی است که ترکیب آن با هر عضو دیگر، خود آن عضو را نتیجه بدهد. برای عمل ضرب در اعداد حقیقی، عدد 1 عضو خنثی است زیرا $1 \times a = a \times 1 = a$. در جبر ماتریسها نیز برای عمل ضرب ماتریسها، ماتریسی به نام «ماتریس همانی»2 یا «ماتریس یکه» وجود دارد که با نماد I نشان داده میشود.
ماتریس همانی یک ماتریس مربعی است که در قطر اصلی آن همهٔ درایهها برابر 1 و بقیهٔ درایهها برابر 0 هستند. شرط اصلی این است که ماتریس A و ماتریس همانی I هممرتبه3 باشند (یعنی هر دو از یک بعد n \times n). در این صورت داریم:
برای درک بهتر، ماتریس همانی در ابعاد 2 \times 2 و 3 \times 3 را مشاهده کنید:
$I_{3} = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}$
به عنوان یک مثال ساده، فرض کنید ماتریس A = \begin{bmatrix} 4 & 7 \\ 2 & 5 \end{bmatrix} را در ماتریس همانی I_{2} ضرب میکنیم. حاصل ضرب برابر خود ماتریس A خواهد شد. این ویژگی باعث میشود ماتریس همانی در بسیاری از محاسبات ماتریسی مانند یافتن ماتریس وارون4 و حل دستگاه معادلات خطی نقشی اساسی ایفا کند.
ساختار ماتریس همانی در ابعاد گوناگون
ماتریس همانی را میتوان برای هر بعد مربعی مانند 1 \times 1، 2 \times 2، 3 \times 3 و به طور کلی n \times n تعریف کرد. در حالت 1 \times 1، ماتریس همانی همان عدد 1 است که با عضو خنثی ضرب اعداد حقیقی هماهنگی کامل دارد.
برای ساختن یک ماتریس همانی با ابعاد n \times n کافی است روی قطر اصلی (از گوشهٔ بالا-چپ تا پایین-راست) عدد 1 و در بقیه درایهها عدد 0 قرار دهیم. جدول زیر ماتریس همانی را برای ابعاد مختلف نشان میدهد:
| بعد ماتریس | نماد ماتریس همانی | نمایش |
|---|---|---|
| 1 \times 1 | I_1 | [1] |
| 2 \times 2 | I_2 | \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} |
| 3 \times 3 | I_3 | \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} |
| 4 \times 4 | I_4 | \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{bmatrix} |
بررسی ویژگی ضرب ماتریس همانی با یک مثال عددی گامبهگام
برای درک بهتر خاصیت $AI = IA = A$، یک مثال عددی را گام به گام حل میکنیم. فرض کنید ماتریس A = \begin{bmatrix} 3 & 5 \\ 2 & 7 \end{bmatrix} و ماتریس همانی I = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} را داریم. ابتدا AI را محاسبه میکنیم:
ضرب ماتریسها به این صورت انجام میشود: درایهٔ سطر اول و ستون اول حاصلضرب برابر (3 \times 1) + (5 \times 0) = 3 + 0 = 3. درایهٔ سطر اول و ستون دوم برابر (3 \times 0) + (5 \times 1) = 0 + 5 = 5. درایهٔ سطر دوم و ستون اول برابر (2 \times 1) + (7 \times 0) = 2 + 0 = 2. درایهٔ سطر دوم و ستون دوم برابر (2 \times 0) + (7 \times 1) = 0 + 7 = 7. بنابراین:
حال IA را محاسبه میکنیم:
محاسبات مشابه: سطر اول - ستون اول: (1 \times 3)+(0 \times 2)=3، سطر اول - ستون دوم: (1 \times 5)+(0 \times 7)=5، سطر دوم - ستون اول: (0 \times 3)+(1 \times 2)=2، سطر دوم - ستون دوم: (0 \times 5)+(1 \times 7)=7. نتیجه:
همانطور که مشاهده میشود، در هر دو حالت حاصل برابر خود ماتریس A است. این مثال ساده نشان میدهد که ماتریس همانی واقعاً نقش عضو خنثی ضرب را ایفا میکند.
کاربرد عملی ماتریس همانی در حل دستگاه معادلات خطی
یکی از مهمترین کاربردهای ماتریس همانی در حل دستگاه معادلات خطی و یافتن ماتریس وارون است. فرض کنید دستگاه معادلات زیر را داریم:
این دستگاه را میتوان به صورت ماتریسی AX = B نوشت که در آن A = \begin{bmatrix} 2 & 3 \\ 1 & -1 \end{bmatrix}، X = \begin{bmatrix} x \\ y \end{bmatrix} و B = \begin{bmatrix} 8 \\ -1 \end{bmatrix}. برای یافتن X، اگر ماتریس وارون A^{-1} وجود داشته باشد، داریم X = A^{-1} B. در این فرایند، ماتریس همانی به عنوان معیاری برای تأیید درستی وارون عمل میکند زیرا طبق تعریف A A^{-1} = A^{-1} A = I.
به عنوان یک مثال عینی، فرض کنید در یک مسئلهٔ اقتصادی، ماتریس ورودی-خروجی لئونتیف5 را داریم. برای یافتن میزان تولید مورد نیاز برای تأمین تقاضای نهایی، از ماتریس همانی استفاده میشود. رابطهٔ (I - A) X = D که در آن A ماتریس ضرایب فنی و D بردار تقاضای نهایی است، به وضوح نقش ماتریس همانی را در تفریق از ماتریس A نشان میدهد. بدون ماتریس همانی، نمیتوانستیم عمل I - A را تعریف کنیم.
چالشهای مفهومی
۱. آیا برای ماتریسهای غیرمربعی نیز عضو خنثی ضرب وجود دارد؟
خیر. عضو خنثی ضرب (ماتریس همانی) فقط برای ماتریسهای مربعی تعریف میشود. زیرا برای اینکه حاصل ضرب AI = A و IA = A همزمان معنا داشته باشد، باید ابعاد ماتریسها با هم سازگار باشد که این امر تنها زمانی ممکن است که A مربعی باشد. برای ماتریسهای m \times n با m \neq n، ماتریس همانی سمت چپ و راست متفاوت خواهند بود.
۲. آیا همیشه ضرب هر ماتریس مربعی در ماتریس همانی جابهجایی پذیر است؟
بله. برای ماتریسهای مربعی، ضرب در ماتریس همانی همواره جابهجایی پذیر است و حاصل برابر خود ماتریس میشود. این ویژگی منحصربهفرد ماتریس همانی است و برای هیچ ماتریس دیگری (به جز ماتریس همانی خودش) چنین خاصیتی برای همهٔ ماتریسها برقرار نیست.
۳. اگر ماتریس A در ماتریس B ضرب شود و حاصل A باشد، آیا میتوان نتیجه گرفت B حتماً ماتریس همانی است؟
نه لزوماً. اگر A ماتریس وارونپذیری باشد و AB = A، آنگاه با ضرب دو طرف از چپ در A^{-1} داریم B = I. اما اگر A وارونناپذیر (ناتکین) باشد، ممکن است B ماتریس همانی نباشد. بنابراین شرط AB = A به تنهایی برای نتیجهگیری B=I کافی نیست مگر اینکه وارونپذیری A تضمین شده باشد.
در این مقاله با مفهوم عضو خنثی ضرب در جبر ماتریسها آشنا شدیم. ماتریس همانی (I) نقشی مشابه عدد 1 در اعداد حقیقی دارد و برای هر ماتریس مربعی A رابطهٔ $AI = IA = A$ برقرار است. ماتریس همانی ماتریسی قطری است که درایههای روی قطر اصلی آن 1 و بقیه درایهها 0 هستند. این ماتریس کاربرد گستردهای در حل دستگاه معادلات خطی، یافتن ماتریس وارون و مدلهای اقتصادی مانند مدل ورودی-خروجی لئونتیف دارد. درک صحیح از ماتریس همانی، پایهای برای مطالعهٔ مباحث پیشرفتهتر در جبر خطی است.
پاورقی
2 ماتریس همانی (Identity Matrix): ماتریس مربعی که درایههای روی قطر اصلی آن برابر ۱ و بقیه درایهها برابر ۰ است. با نماد I_n نشان داده میشود.
3 هممرتبه (Same Order): دو ماتریس که تعداد سطرها و ستونهای آنها با یکدیگر برابر باشد.
4 ماتریس وارون (Inverse Matrix): ماتریسی مانند A^{-1} که در ضرب با ماتریس اصلی A، ماتریس همانی حاصل شود: $A A^{-1} = A^{-1} A = I$.
5 مدل ورودی-خروجی لئونتیف (Leontief Input-Output Model): مدلی اقتصادی که نشان میدهد چگونه تولید در بخشهای مختلف یک اقتصاد به یکدیگر وابسته است و از ماتریسها برای تحلیل این وابستگی استفاده میکند.