ماتریس همانی (I یا In) : قلب جبر خطی و عضو خنثی ضرب ماتریسها
۱. تعریف، ساختار و نمادگذاری ماتریس همانی
ماتریس همانی که با نماد $I$ یا $I_n$ نشان داده میشود، یک ماتریس مربعی (تعداد سطرها برابر تعداد ستونها) است. شرط اصلی این است که برای هر اندیس $i$ و $j$، درایهی سطر $i$ و ستون $j$ (که با $a_{ij}$ نمایش میدهیم) فقط در صورتی برابر 1 است که $i=j$ باشد، در غیر این صورت مقدار آن 0 خواهد بود. به عبارت دیگر، روی قطر اصلی (از گوشه بالا چپ تا پایین راست) اعداد 1 و بقیه درایهها صفر قرار دارند.
- ماتریس همانی $I_2$ (بعد 2×2): $I_2 = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix}$
- ماتریس همانی $I_3$ (بعد 3×3): $I_3 = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}$
- ماتریس همانی $I_4$: قطری از 4 عدد 1 دارد و بقیه درایهها صفر هستند.
در جبر خطی، ماتریس همانی را «ماتریس واحد» نیز مینامند. توجه کنید که حتماً ماتریس باید مربعی باشد. برای هر عدد طبیعی $n$ یک ماتریس همانی منحصربهفرد به نام $I_n$ وجود دارد. در برخی متون، فقط از نماد $I$ استفاده میشود که ابعاد آن از بافت مسئله قابل تشخیص است.
۲. عضو خنثی ضرب ماتریسها: نقش همانند عدد ۱
یکی از مهمترین ویژگیهای ماتریس همانی این است که در ضرب ماتریسها نقش «عضو خنثی» را دارد. یعنی اگر $A$ یک ماتریس دلخواه از بعد $m \times n$ باشد، آنگاه ضرب آن در ماتریس همانی با ابعاد مناسب، خود ماتریس $A$ را بازمیگرداند:
به عبارت دیگر، اگر ماتریس $A$ را از سمت راست در ماتریس همانی $I_n$ (که تعداد ستونهای $A$ یعنی $n$ را دارد) ضرب کنیم، حاصل همان $A$ میشود. همچنین اگر از سمت چپ در $I_m$ (که تعداد سطرهای $A$ یعنی $m$ را دارد) ضرب کنیم، باز هم $A$ حاصل میشود. این خاصیت دقیقاً شبیه به این است که در اعداد حقیقی، $a \times 1 = 1 \times a = a$.
مثال گامبهگام عددی: فرض کنید $A = \begin{bmatrix} 5 & -2 \\ 3 & 4 \end{bmatrix}$ یک ماتریس 2×2 است. ماتریس همانی متناسب $I_2$ را در نظر بگیرید:
محاسبه $A \cdot I_2$:
همانطور که مشاهده میکنید، حاصل برابر با ماتریس اولیه $A$ شد.
۳. مقایسه ماتریس همانی با سایر ماتریسهای خاص
| نوع ماتریس | تعریف | نقش در ضرب |
|---|---|---|
| ماتریس همانی (I) | قطر اصلی 1 و بقیه 0 | عضو خنثی |
| ماتریس صفر (0) | همه درایهها صفر | عضو جذبکننده (حاصل ضرب صفر میشود) |
| ماتریس قطری | درایههای خارج از قطر اصلی صفر هستند (قطر اصلی هر عدد دلخواه) | در حالت کلی عضو خنثی نیست مگر اینکه همه درایههای قطر 1 باشند |
۴. کاربرد عملی: حل دستگاه معادلات خطی و رمزنگاری
یکی از کاربردهای بسیار مهم ماتریس همانی در یافتن ماتریس وارونه2 است. اگر ماتریس $A$ وارونپذیر باشد، ماتریسی مانند $A^{-1}$ وجود دارد به طوری که $A \cdot A^{-1} = A^{-1} \cdot A = I$. این مفهوم در حل دستگاه معادلات خطی به کار میرود. فرض کنید دستگاه $A X = B$ را داریم. اگر $A^{-1}$ را محاسبه کنیم، آنگاه:
مثال عینی: در گرافیک کامپیوتری، برای چرخاندن یک شکل دو بعدی، ماتریس دوران را در بردار مختصات نقاط ضرب میکنیم. اگر بخواهیم شکل را به حالت اولیه بازگردانیم، از ماتریس وارونه استفاده میکنیم که حاصلضرب آن در ماتریس دوران، ماتریس همانی میشود. همچنین در رمزنگاری الگوریتمهایی مانند رمزگذاری هیل (Hill cipher)3، از ماتریس همانی برای رمزگشایی استفاده میشود.
۵. چالشهای مفهومی (پرسش و پاسخ)
زیرا عضو خنثی ضرب باید با هر دو بعد ماتریس ورودی سازگار باشد. اگر $A$ از بعد $m \times n$ باشد، برای اینکه $A \cdot I = A$ برقرار باشد، $I$ باید از بعد $n \times n$ (مربعی) باشد. همچنین برای $I \cdot A = A$، ماتریس همانی باید از بعد $m \times m$ (باز هم مربعی) باشد. بنابراین در حالت کلی تنها زمانی که هر دو شرط همزمان برقرار باشند که ماتریس همانی مربعی است (و ابعاد آن با توجه به سمت ضرب تعیین میشود).
بله. ماتریس همانی نسبت به ضرب ماتریسها «توانی» است: $I_n \times I_n = I_n$. همچنین به ازای هر عدد طبیعی $k$ داریم $(I_n)^k = I_n$. این ویژگی در محاسبات ماتریسی تکراری بسیار مفید است.
بله، برای یک بعد مشخص، ماتریس همانی یکتاست. به عبارت دیگر، اگر ماتریسی مانند $J$ وجود داشته باشد که به ازای هر ماتریس $A$ (با ابعاد مناسب) داشته باشیم $A J = A$، آنگاه $J$ همان ماتریس همانی است. اثبات این یکتایی با استفاده از خاصیت ضرب ماتریسها امکانپذیر است.
۶. جمعبندی
پاورقی
1 دستگاه معادلات خطی (System of Linear Equations): مجموعهای از معادلات که هر معادله در آن به صورت خطی (از درجه یک) است و حل همزمان آنها مورد نظر است.
2 ماتریس وارونه (Inverse Matrix): ماتریسی مانند $A^{-1}$ که در ضرب با ماتریس اصلی $A$، ماتریس همانی حاصل شود: $A A^{-1} = A^{-1} A = I$.
3 رمزگذاری هیل (Hill Cipher): یک روش رمزنگاری کلاسیک که از ضرب ماتریسها و ماتریس وارونه برای رمز و رمزگشایی پیامها استفاده میکند.
