۱. ماتریس، نگاشت خطی و رتبه
ماتریس (matrix) از اندازهٔ روی یا نمایشدهندهٔ نگاشت خطی با ضابطهٔ است. تعداد ستون آن تصویر بردارهای پایهٔ استانداردند. فضای ستونی (column space) تصویر این نگاشت است؛ فضای سطری (row space) را تعداد سطر آن در تولید میکنند.
رتبه (rank) تعداد ستونهای مستقل است که با تعداد سطرهای مستقل برابر است. فضای پوچ (null space) شامل جوابهای دستگاه همگن است و بعد آن را بعد فضای پوچ (nullity) مینامند.
رابطهٔ آخر قضیهٔ رتبه و بعد فضای پوچ است: تعداد مختصات ورودی، نه تعداد سطرها، برابر مجموع این دو بعد است. رتبهٔ صفر یعنی همهٔ درایهها صفرند. رتبهٔ ستونی کامل به معنی یکبهیکبودن نگاشت و رتبهٔ سطری کامل به معنی پوشابودن روی است. برای ماتریس مربع، هر دو شرط با وارونپذیری معادلاند.
۲. حذف سطری و دستگاههای خطی
عملیات مقدماتی سطری عبارتاند از جابهجایی دو سطر، ضرب یک سطر در عدد ناصفر و افزودن مضربی از یک سطر به سطری دیگر. این عملیات رتبه را حفظ میکنند و اگر روی کل ماتریس افزوده اعمال شوند، مجموعهٔ جوابها را نیز حفظ میکنند. عملیات سطری فضای سطری را حفظ میکنند، اما معمولاً فضای ستونی و مقادیر ویژه را تغییر میدهند.
حذف گاوسی (Gaussian elimination) چنین انجام میشود:
۱. در ستون بعدیِ قابل استفاده درایهای ناصفر بیابید؛ در صورت نیاز با جابهجایی سطر آن را در جایگاه محور قرار دهید. ۲. با این محور درایههای زیر آن را صفر کنید و سپس یک سطر پایین و به راست بروید. ستونی را که در بخش باقیمانده درایهٔ ناصفر ندارد، رد کنید. ۳. در فرم پلکانی سطری، سطرهای صفر در پاییناند و اولین درایهٔ ناصفر هر سطر در سمت راست اولین درایهٔ ناصفر سطر بالاتر قرار دارد. تعداد محورها برابر رتبه است. ۴. برای فرم پلکانی سطریِ کاهشیافته، محورها را یک کنید و بالای آنها را نیز صفر کنید. متغیرهای بدون محور آزادند.
برای پایهٔ فضای ستونیِ ماتریس اولیه، ستونهای اولیه در جایگاه ستونهای محوری را بردارید. سطرهای ناصفرِ فرم پلکانی، پایهٔ فضای سطریاند.
برای ، رتبهٔ ماتریس ضرایب و ماتریس افزوده را مقایسه کنید:
سطری با ضرایب صفر و درایهٔ افزودهٔ ناصفر نشانهٔ ناسازگاری است. در دستگاه سازگار، رتبهٔ جواب یکتا میدهد؛ رتبهٔ تعداد پارامتر آزاد میدهد. دستگاه همگن همواره سازگار است و دقیقاً وقتی باشد جواب ناصفر دارد. عملیات ستونی رتبه را حفظ میکنند، اما هنگام حل دستگاه باید تغییر متغیرهای ناشی از آنها را دنبال کرد.
۳. کرانهای رتبه، مینورها و پارامترها
مینور (minor) مرتبهٔ دترمینان یک زیرماتریس مربع است که با انتخاب سطر و ستون ساخته میشود. مینور ناصفر ثابت میکند این سطرها و ستونها دارای جهت مستقلاند. بنابراین رتبه برابر بزرگترین مرتبهٔ مینور ناصفر است؛ ماتریس صفر رتبهٔ صفر دارد.
برای اثبات رتبهٔ برابر با ، این کران پایین را با کران بالایی از وابستگی سطری یا ستونی، یا صفرشدن تمام مینورهای مرتبهٔ ، اگر این مرتبه در ماتریس جا شود، ترکیب کنید. صفرشدن یک مینور بهتنهایی افت رتبه را ثابت نمیکند. ارائهٔ یک رابطه فقط کران بالای اولیهٔ تعداد سطرها را یک واحد کاهش میدهد؛ برای کران دقیقتر از راه وابستگی، روابط مستقل بیشتری لازم است.
روش پارامتری: مقادیر استثناییِ احتمالی را که در آنها محور یا مینور مفید صفر میشود، مشخص کنید. پیش از تقسیم بر عبارت پارامتری، این مقادیر را جداگانه بررسی کنید. وجود پارامتر در ماتریس الزاماً رتبه را تغییر نمیدهد: یک مینور ثابتِ ناصفر همراه با کران بالای منطبق، ثبات رتبه را ثابت میکند.
برای نمونه، فرض کنید
سطر چهارم دو برابر سطر اول است؛ پس رتبه حداکثر سه است. مینور بالا و چپ میدهد:
و این نتیجه برای هر مقدار پارامتر برقرار است. کمکردن دو برابر سطر اول از سطر چهارم نیز بیدرنگ فرم پلکانی با سه محور میدهد. در مقابل،
در مقدار استثنایی، آزمون دترمینان فقط میگوید رتبه کمتر از دو است؛ درایهٔ ناصفر یا محور باقیمانده، رتبهٔ یک را ثابت میکند.
۴. مقادیر ویژه و چندجملهای مشخصه
برای ماتریس مربع ، مقدار ویژه (eigenvalue) عددی مانند است که برای آن بردار ویژهٔ (eigenvector) ناصفری مانند وجود دارد و
چندجملهای مشخصهٔ یکه و از درجهٔ است. قرارداد دیگر یعنی همان ریشهها و چندگانگیها را دارد. قرارداد علامت را در سراسر محاسبه ثابت نگه دارید. روی ، با شمارش ریشهها همراه با چندگانگی جبری (algebraic multiplicity) داریم:
رد برابر مجموع درایههای قطر اصلی است. ماتریس حقیقی ممکن است مقادیر ویژهٔ غیرحقیقی داشته باشد که بهصورت زوجهای مزدوج ظاهر میشوند. صفر دقیقاً وقتی مقدار ویژه است که ماتریس تکین باشد. مقادیر ویژهٔ ماتریس مثلثی، درایههای قطرند؛ برای ماتریس مثلثی بلوکی، چندجملهای مشخصه حاصلضرب چندجملهایهای مشخصهٔ بلوکهای قطری است.
پیش از بسط دترمینان، سطر یا ستون کمدرایهٔ ناصفر یا ساختار مثلثی بلوکی را پیدا کنید. جابهجایی سطرها علامت دترمینان را عوض میکند؛ ضرب سطر در ضریب، دترمینان را در همان ضریب ضرب میکند؛ افزودن مضربی از سطر دیگر دترمینان را حفظ میکند. این قواعد به محاسبهٔ دترمینان کمک میکنند، اما مقادیر ویژهٔ ماتریس پس از حذف سطری عموماً با ماتریس اولیه متفاوتاند. تبدیل تشابه، برخلاف حذف سطری دلخواه، چندجملهای مشخصه را حفظ میکند.
۵. ریشههای مکرر و بازیابی پارامتر
چندگانگی جبری یک مقدار ویژه، مرتبهٔ آن بهعنوان ریشهٔ چندجملهای مشخصه است. مقدار ویژهٔ مکرر حداقل چندگانگی دو دارد؛ دقیقاً دوگانه بودن، چندگانگی سه یا بیشتر را رد میکند.
آزمون ریشهٔ مکرر است. برای چندگانگی دقیقاً دو، علاوه بر آن باید باشد. اگر یک عامل از پیش آشکار است، بهجای بسط کامل از آن استفاده کنید:
در این حالت برای چندگانگی دقیقاً دو باید باشد. ابتدا پارامتر ماتریس را به دست آورید. در ماتریس سهبعدی با مقدار ویژهٔ دوگانه، مقدار ویژهٔ باقیمانده برابر رد منهای دو برابر آن مقدار ویژه است؛ اگر چندگانگی دقیقاً دو خواسته شده، متفاوتبودن مقدار سوم را نیز بررسی کنید.
برای یک مثال با ستون کمدرایهٔ ناصفر، در نظر بگیرید:
برای مکررشدن مقدار ویژهٔ ، عبارت داخل کروشه باید در این مقدار صفر شود:
اکنون رد و تجزیه نتیجهٔ یکسانی دارند:
مقدار ویژهٔ سوم متفاوت است؛ پس تکرار دقیقاً دوگانه است. وارسی دترمینان نیز حاصلضرب این سه مقدار ویژه را میدهد.
۶. چندگانگی، فضای ویژه و قطریپذیری
چندگانگی هندسی (geometric multiplicity) بعد فضای ویژه است:
که در آن چندگانگی جبری یک مقدار ویژه است. بردارهای ویژهٔ متناظر با مقادیر ویژهٔ متمایز مستقلاند، اما تکرار بهتنهایی بردار ویژهٔ مستقل دیگری فراهم نمیکند. ماتریس روی میدان انتخابشده دقیقاً وقتی قطریپذیر (diagonalizable) است که بردار ویژهٔ مستقل داشته باشد: چندجملهای مشخصه باید روی آن میدان کاملاً به عوامل خطی تجزیه شود و چندگانگی هندسی و جبری هر مقدار ویژه برابر باشند.
| مفهوم | چه چیزی را میشمارد یا میآزماید؟ | چه چیزی را نتیجه نمیدهد؟ |
|---|---|---|
| رتبه | سطرها یا ستونهای مستقل، یا محورها | تعداد مقادیر ویژهٔ متمایز |
| بعد فضای پوچ | بعد مجموعهٔ جوابهای دستگاه همگن | تعداد پارامترهای آزاد دستگاه ناسازگار |
| چندگانگی جبری | تکرار ریشه در چندجملهای مشخصه | همان تعداد بردار ویژهٔ مستقل |
| چندگانگی هندسی | بردارهای ویژهٔ مستقل برای یک مقدار ویژه | تکراری که مستقیماً از رد خوانده شود |
| قطریپذیری | وجود یک پایهٔ کامل از بردارهای ویژه | متمایزبودن همهٔ مقادیر ویژه |
برای مثال،
هر دو مقدار ویژهٔ دوگانهٔ دارند. برای ، بعد فضای ویژه دو است؛ برای ، معادلهٔ مختصهٔ دوم را صفر میکند و فقط یک بعد باقی میماند. تنها ماتریس اول قطریپذیر است. هر دو وارونپذیرند: مقدار ویژهٔ مکرر به معنی تکینبودن نیست.
نکتهٔ کنکوری: پیش از حذف تکتک درایهها، رتبه را از دو طرف کران بزنید. برای مقادیر ویژهٔ مکرر، عامل مشخصهٔ معلوم را جدا کنید، ریشهٔ اضافی را تحمیل کنید و سپس با رد، مقدار ویژهٔ باقیمانده را بازیابید.
تلهٔ رایج: پیش از بررسی حالت صفرِ یک عبارت پارامتری بر آن تقسیم نکنید، پیش از پلکانیکردن تعداد سطرهای ناصفر را رتبه نگیرید و مقادیر ویژهٔ ماتریس اولیه را از حذف سطری نخوانید. تکرار جبری و استقلال بردارهای ویژه دو مسئلهٔ جدا هستند.