محاسبهٔ راحتتر دترمینان با وجود صفرها
دترمینان چیست و چرا صفرها مهم هستند؟
دترمینان عددی است که از درایههای یک ماتریس مربعی به دست میآید و کاربردهای فراوانی در حل دستگاه معادلات خطی، محاسبهٔ معکوس ماتریس و تشخیص وارونپذیری دارد. برای ماتریسهای 2×2 و 3×3 فرمول مستقیم وجود دارد، اما برای ماتریسهای بزرگتر معمولاً از روش بسط لاپلاس استفاده میکنیم. در این روش، دترمینان برحسب دترمینان ماتریسهای کوچکتر (زیرماتریسها) محاسبه میشود. اگر در سطر یا ستون انتخابی، درایههای صفر زیادی وجود داشته باشد، جملههایی که در آنها ضرب در صفر میشوند، حذف میگردند و فقط جملههای مربوط به درایههای ناصفر باقی میمانند. این ویژگی، محاسبه را بسیار سریعتر و کمخطاتر میکند.
$ \det(A) = \sum_{j=1}^{n} (-1)^{i+j} a_{ij} M_{ij} $
که در آن $ a_{ij} $ درایهٔ سطر i و ستون j، و $ M_{ij} $ دترمینان زیرماتریس حاصل از حذف سطر i و ستون j است. هر چه تعداد $ a_{ij} $های صفر بیشتر باشد، تعداد جملههای جمع کمتر میشود.
انتخاب استراتژیک سطر یا ستون با بیشترین صفر
برای بهرهمندی از مزیت صفرها، همیشه پیش از شروع محاسبه، سطرها و ستونهای ماتریس را بررسی کنید. سطری یا ستونی را انتخاب کنید که بیشترین تعداد درایهٔ صفر را داشته باشد. اگر تعداد صفرها برابر بود، سطر یا ستونی را برگزینید که درایههای ناصفر آن عددهای سادهتری (مانند 1 یا -1) داشته باشند تا محاسبهٔ همسازها2 آسانتر شود.
به عنوان مثال، ماتریس زیر را در نظر بگیرید:
$ A = \begin{bmatrix} 2 & 0 & 4 \\ 1 & 3 & 0 \\ 0 & 5 & 6 \end{bmatrix} $در این ماتریس، سطر اول دارای یک صفر، سطر دوم دارای یک صفر، سطر سوم دارای یک صفر، ستون اول دارای دو صفر (درایههای (3,1) و (1,1) صفر نیست؟ دقت کنید: در ستون اول درایهها 2، 1، 0 هستند — بنابراین فقط یک صفر دارد. اما ستون دوم درایههای 0، 3، 5 دارد که یک صفر است. ستون سوم درایههای 4، 0، 6 دارد که یک صفر است. پس همهٔ سطرها و ستونها فقط یک صفر دارند. در این حالت، انتخاب سطر یا ستون خاص مزیت ویژهای ندارد، اما اگر ماتریس دیگری مثل ماتریس زیر داشته باشیم:
$ B = \begin{bmatrix} 0 & 5 & 0 \\ 2 & 0 & 3 \\ 0 & 4 & 0 \end{bmatrix} $در ماتریس B، سطر اول دو صفر، سطر دوم یک صفر، سطر سوم دو صفر دارد. همچنین ستون اول دو صفر، ستون دوم یک صفر، ستون سوم دو صفر دارد. بهترین انتخاب، سطر اول یا سوم یا ستون اول یا سوم است (هر کدام 2 صفر دارند).
| سطر/ستون | تعداد صفرها | مناسب برای بسط |
|---|---|---|
| سطر اول | 2 | بله |
| سطر دوم | 1 | خیر |
| سطر سوم | 2 | بله |
بسط گامبهگام روی سطر دارای صفر
ماتریس C را به صورت زیر در نظر بگیرید:
$ C = \begin{bmatrix} 3 & 0 & 0 \\ 2 & 1 & 4 \\ 5 & 0 & 2 \end{bmatrix} $سطر اول دارای دو صفر است. بنابراین بسط را روی سطر اول انجام میدهیم:
گام اول: دترمینان از رابطهٔ $ \det(C) = a_{11}C_{11} + a_{12}C_{12} + a_{13}C_{13} $ به دست میآید که $ C_{ij} = (-1)^{i+j} M_{ij} $ همساز است.
گام دوم: درایهها: $ a_{11}=3, a_{12}=0, a_{13}=0 $. بنابراین جملههای دوم و سوم حذف میشوند:
$ \det(C) = 3 \times (-1)^{1+1} M_{11} = 3 \times M_{11} $گام سوم: زیرماتریس $ M_{11} $ از حذف سطر اول و ستون اول:
$ M_{11} = \begin{bmatrix} 1 & 4 \\ 0 & 2 \end{bmatrix} $دترمینان این ماتریس $ 2\times 1 - 4\times 0 = 2 $ است. بنابراین:
$ \det(C) = 3 \times 2 = 6 $همانطور که میبینید، به جای محاسبهٔ سه جمله، فقط یک جمله محاسبه شد.
مثال عملی: ماتریس 4×4 با ستون پر از صفر (به جز یک درایه)
فرض کنید ماتریس زیر را داریم:
$ D = \begin{bmatrix} 1 & 2 & 3 & 4 \\ 5 & 0 & 6 & 7 \\ 8 & 0 & 9 & 1 \\ 2 & 0 & 0 & 3 \end{bmatrix} $ستون دوم دارای سه صفر و تنها یک درایهٔ ناصفر ($ a_{12}=2 $) است. بهترین انتخاب، بسط دادن برحسب ستون دوم است:
$ \det(D) = a_{12}C_{12} + a_{22}C_{22} + a_{32}C_{32} + a_{42}C_{42} $از آنجا که $ a_{22}=0, a_{32}=0, a_{42}=0 $، تنها جملهٔ اول باقی میماند:
$ \det(D) = 2 \times (-1)^{1+2} M_{12} = 2 \times (-1) \times M_{12} = -2 M_{12} $اکنون $ M_{12} $ ماتریس حاصل از حذف سطر اول و ستون دوم است:
$ M_{12} = \begin{bmatrix} 5 & 6 & 7 \\ 8 & 9 & 1 \\ 2 & 0 & 3 \end{bmatrix} $دترمینان این ماتریس 3×3 را به دلخواه محاسبه کنید (مثلاً با بسط روی سطر سوم که یک صفر دارد):
$ \det(M_{12}) = 2 \times (6\times 1 - 7\times 9) - 0 + 3\times (5\times 9 - 6\times 8) $ $ = 2 \times (6 - 63) + 3 \times (45 - 48) = 2 \times (-57) + 3 \times (-3) = -114 - 9 = -123 $بنابراین $ \det(D) = -2 \times (-123) = 246 $. بدون استفاده از صفرها، مجبور به محاسبهٔ 4 جملهٔ 3×3 بودیم، اما با این روش فقط یک جمله محاسبه شد.
چالشهای مفهومی
۱. آیا همیشه باید سطر یا ستونی با بیشترین تعداد صفر را انتخاب کنیم؟
بله، در بیشتر موارد این کار بهینه است زیرا تعداد جملههای غیرصفر در بسط را به حداقل میرساند. اما اگر دو گزینه تعداد صفر یکسان داشتند، گزینهای را انتخاب کنید که درایههای ناصفر آن قدر مطلق کوچکتری داشته باشند تا محاسبات همسازها سادهتر شود. همچنین اگر ماتریس متقارن باشد، انتخاب سطر یا ستون تفاوتی ندارد.
۲. اگر یک سطر یا ستون کاملاً صفر باشد، مقدار دترمینان چقدر میشود؟
اگر تمام درایههای یک سطر (یا یک ستون) صفر باشند، آنگاه دترمینان ماتریس برابر صفر خواهد بود. دلیل: در فرمول بسط لاپلاس روی آن سطر، همهٔ جملهها شامل ضرب در صفر هستند، بنابراین حاصل جمع صفر میشود. این یکی از ویژگیهای اساسی دترمینان است.
۳. آیا میتوان با انجام عملیات سطری، صفرهای بیشتری ایجاد کرد تا محاسبه راحتتر شود؟
بله. گاهی اوقات ماتریس اولیه صفر کافی ندارد. میتوان با استفاده از عملیات سطری مقدماتی (مثل جایگزینی یک سطر با جمع آن سطر و مضربی از سطر دیگر) بدون تغییر مقدار دترمینان (یا با تغییر علامت یا ضریب ثابت) صفرهای جدید ایجاد کرد. این تکنیک در روش حذفی گاوس برای محاسبهٔ دترمینان بسیار کاربردی است.
جمعبندی
پاورقی
1 بسط لاپلاس (Laplace Expansion): روشی برای محاسبهٔ دترمینان یک ماتریس مربعی بر حسب دترمینان زیرماتریسهای کوچکتر که با حذف یک سطر و یک ستون به دست میآیند.
2 همساز (Cofactor): مقدار $ C_{ij} = (-1)^{i+j} M_{ij} $ که در آن $ M_{ij} $ دترمینان زیرماتریس پس از حذف سطر i و ستون j است.
