تفاضل ماتریسها: کسر درایه به درایه در ساختارهای هممرتبه
شرط هممرتبه بودن و تعریف تفاضل ماتریسها
در جبر ماتریسها، عمل تفریق مانند جمع تنها زمانی معنا دارد که دو ماتریس هممرتبه باشند. یعنی تعداد سطرهای ماتریس اول با تعداد سطرهای ماتریس دوم برابر باشد و همینطور برای ستونها. اگر ماتریس $A$ دارای ابعاد $m \times n$ و ماتریس $B$ دارای ابعاد $p \times q$ باشد، تفاضل $A - B$ فقط زمانی تعریف میشود که $m = p$ و $n = q$. در غیر این صورت، تفاضل ماتریسها تعریف نشده است.
تعریف عملیاتی تفاضل به صورت درایه به درایه است. اگر $C = A - B$ آنگاه برای هر $i$ و $j$ داریم:
به این ترتیب، حاصل یک ماتریس جدید با همان ابعاد $m \times n$ خواهد بود. برای درک بهتر، یک مثال ساده را گام به گام بررسی میکنیم.
مثال گامبهگام: فرض کنید دو ماتریس $A$ و $B$ به صورت زیر داده شدهاند:
هر دو ماتریس $2 \times 2$ هستند، پس هممرتبهاند. حال تفاضل را محاسبه میکنیم:
- درایه ردیف اول، ستون اول: $8 - 2 = 6$
- درایه ردیف اول، ستون دوم: $5 - 1 = 4$
- درایه ردیف دوم، ستون اول: $3 - 4 = -1$
- درایه ردیف دوم، ستون دوم: $7 - 6 = 1$
بنابراین حاصل تفاضل برابر است با:
ویژگیهای جبری و قوانین تفریق ماتریسها
تفریق ماتریسها از قوانین جبری خاصی پیروی میکند که آشنایی با آنها به حل مسائل کمک میکند. مهمترین ویژگیها عبارتند از:
- عدم جابهجایی: به طور کلی $A - B \neq B - A$ مگر در حالت خاص که $A = B$ که حاصل ماتریس صفر میشود.
- شرکتپذیری:$(A - B) - C = A - (B + C)$ اما توجه داشته باشید که $A - (B - C) = A - B + C$.
- عنصر خنثی: ماتریس صفر1 (همه درایهها صفر) با ابعاد مشابه، نقش عنصر خنثی را دارد: $A - 0 = A$ و $0 - A = -A$.
- قرینه:$A - B = A + (-B)$ که در آن $-B$ ماتریس قرینه2$B$ است (یعنی همه درایهها قرینه میشوند).
این ویژگیها به ما امکان میدهند تا تفریق را به جمع با قرینه تبدیل کنیم که در محاسبات ذهنی سادهتر است.
| ویژگی | جمع ماتریسها | تفریق ماتریسها |
|---|---|---|
| جابهجایی | $A+B = B+A$ | $A-B \neq B-A$ |
| شرکتپذیری | $(A+B)+C = A+(B+C)$ | $(A-B)-C = A-(B+C)$ |
| عنصر خنثی | ماتریس صفر $0$ | ماتریس صفر از سمت راست و چپ با علامت |
کاربرد عملی: مقایسه فروش دو محصول در شش ماه
فرض کنید فروش یک فروشگاه زنجیرهای برای دو محصول A و B در شش ماه اول سال در دو ماتریس جداگانه ثبت شده است. ماتریس $S_A$ نشاندهنده فروش ماهانه محصول A (به هزار واحد) و ماتریس $S_B$ برای محصول B است. با محاسبه تفاضل $S_A - S_B$ میتوان فهمید در هر ماه محصول A چند هزار واحد بیشتر (یا کمتر) از محصول B فروخته است.
فرض کنید:
در اینجا هر ماتریس دارای $2$ سطر (دو محصول متفاوت نیست؛ بلکه برای سادگی، سطر اول ماههای فروردین، اردیبهشت، خرداد و سطر دوم ماههای تیر، مرداد، شهریور است) و $3$ ستون است. تفاضل به صورت درایه به درایه:
- ماه اول (فروردین): $12 - 10 = 2$ (محصول A دو هزار واحد بیشتر)
- ماه دوم (اردیبهشت): $15 - 13 = 2$
- ماه سوم (خرداد): $9 - 8 = 1$
- ماه چهارم (تیر): $10 - 9 = 1$
- ماه پنجم (مرداد): $14 - 12 = 2$
- ماه ششم (شهریور): $11 - 10 = 1$
بنابراین ماتریس تفاضل $S_A - S_B = \begin{bmatrix} 2 & 2 & 1 \\ 1 & 2 & 1 \end{bmatrix}$ نشان میدهد که در تمام ماهها فروش محصول A بیشتر بوده و اختلاف بین $1$ تا $2$ هزار واحد متغیر است.
این نوع تحلیل در مدیریت فروش، بودجهبندی و برنامهریزی تولید بسیار کاربرد دارد.
چالشهای مفهومی در تفاضل ماتریسها
سوال ۱: آیا میتوان یک ماتریس $2 \times 3$ را از یک ماتریس $3 \times 2$ کم کرد؟ چرا؟
پاسخ: خیر، زیرا این دو ماتریس هممرتبه نیستند. تعداد سطرها و ستونها با هم برابر نیستند. در تفاضل ماتریسها، شرط اولیه و اجباری هممرتبه بودن است. در غیر این صورت عمل تفریق تعریف نمیشود و حاصلی ندارد.
سوال ۲: اگر $A - B = C$ باشد، آیا همیشه $B - A = -C$ برقرار است؟
پاسخ: بله، زیرا تفاضل درایه به درایه عمل میکند. برای هر درایه داریم $c_{ij} = a_{ij} - b_{ij}$. بنابراین $b_{ij} - a_{ij} = -c_{ij}$ که یعنی ماتریس حاصل از $B-A$ برابر با قرینه ماتریس $C$ خواهد بود.
سوال ۳: آیا ترتیب انجام تفریق برای چند ماتریس اهمیتی دارد؟ مثلاً $(A-B)-C$ با $A-(B-C)$ یکسان است؟
پاسخ: خیر، یکسان نیستند. $(A-B)-C = A - B - C$ در حالی که $A-(B-C) = A - B + C$. بنابراین تفریق خاصیت شرکتپذیری معمولی را ندارد و باید از پرانتزها به دقت استفاده کرد.
پاورقی
1 ماتریس صفر (Zero Matrix): ماتریسی که تمام درایههای آن عدد صفر هستند. این ماتریس در هر بعدی که تعریف شود، عنصر خنثی برای جمع ماتریسها است.
2 ماتریس قرینه (Negative of a Matrix): ماتریسی که هر درایه آن قرینه درایه متناظر در ماتریس اصلی است. اگر $B = [b_{ij}]$ باشد، آنگاه $-B = [-b_{ij}]$.