ریاضیات مهندسی پیشرفته برای متخصصین کامپیوتر
تجزیه SVD و فضاهای نال
تجزیه مقادیر منفرد (SVD)
تجزیه مقادیر منفرد یا SVD، یک روش قدرتمند برای فاکتورگیری هر ماتریس با ابعاد است. برخلاف تجزیههای دیگر مانند تجزیه مقادیر ویژه که فقط برای ماتریسهای مربعی کاربرد دارد، SVD برای هر ماتریسی قابل استفاده است. این ویژگی آن را به ابزاری بنیادی در تحلیل عددی، یادگیری ماشین و پردازش سیگنال تبدیل کرده است. فرمول اصلی SVD به این صورت است:
از نظر هندسی، SVD یک تبدیل خطی اعمال شده توسط ماتریس را به سه عملیات ساده تجزیه میکند: یک دوران (توسط )، یک مقیاسدهی در امتداد محورها (توسط ) و یک دوران دیگر (توسط ). این دیدگاه برای درک چگونگی تغییر شکل فضا توسط ماتریس بسیار مفید است. برای مثال، یک دایره واحد در فضای ورودی، تحت تبدیل به یک بیضی در فضای خروجی تبدیل میشود که محورهای اصلی آن توسط بردارهای تکین چپ () و طول نیمقطرهای آن توسط مقادیر تکین (\\[sigma_i]) تعیین میشود.
تخمین مرتبه پایین و فشردهسازی
یکی از مهمترین کاربردهای SVD، تخمین یک ماتریس با یک ماتریس دیگر با رتبه (rank) پایینتر است. مقادیر تکین در ماتریس به ترتیب اهمیت مرتب شدهاند؛ بزرگترین مقادیر تکین، بیشترین اطلاعات یا «انرژی» ماتریس را در خود جای دادهاند. با نگه داشتن مقدار تکین بزرگتر و صفر کردن بقیه، میتوانیم یک تقریب بهینه از ماتریس اصلی بسازیم. این تقریب، که به عنوان تقریب مرتبه-k شناخته میشود، بهترین تقریب ممکن از ماتریس در میان تمام ماتریسهای با رتبه است. این نتیجه تحت عنوان قضیه اکارت-یانگ-میرسکی شناخته میشود.
این تکنیک اساس فشردهسازی دادهها در حوزههایی مانند پردازش تصویر است. یک تصویر دیجیتال را میتوان به عنوان یک ماتریس بزرگ از مقادیر پیکسلها در نظر گرفت. با محاسبه SVD و نگه داشتن تنها کسری از بزرگترین مقادیر تکین، میتوانیم تصویر را با حجم داده بسیار کمتری بازسازی کنیم، در حالی که بیشتر ویژگیهای بصری مهم آن حفظ شده است. هرچه بزرگتر باشد، تصویر بازسازی شده به نسخه اصلی نزدیکتر است، اما حجم داده نیز افزایش مییابد.
چهار زیرفضای اساسی و شبهمعکوس
SVD یک ارتباط عمیق و زیبا بین ماتریس و چهار زیرفضای اساسی آن را آشکار میکند. ستونهای ماتریسهای و پایههای متعامد نرمال (orthonormal bases) برای این چهار فضا فراهم میکنند:
| زیرفضا | پایه متعامد نرمال |
|---|---|
| فضای ستونی (Column Space)، | ستونهای متناظر با |
| فضای پوچ چپ (Left Null Space)، | ستونهای متناظر با |
| فضای سطری (Row Space)، | ستونهای متناظر با |
| فضای پوچ (Null Space)، | ستونهای متناظر با |
این ساختار، اساس مفهوم را تشکیل میدهد. برای ماتریسهای غیرمربعی یا مربعی منفرد که معکوس کلاسیک ندارند، شبهمعکوس یک تعمیم طبیعی ارائه میدهد. با استفاده از SVD، محاسبه آن بسیار ساده است:
شبهمعکوس به ما اجازه میدهد تا «بهترین» راهحل را برای دستگاه معادلات خطی پیدا کنیم، حتی زمانی که راهحل دقیق وجود ندارد (سیستمهای بیشمعین) یا بینهایت راهحل وجود دارد (سیستمهای کممعین). در سیستمهای بیشمعین که در معماری داده بسیار رایج هستند، راهحل کمترین مربعات به صورت به دست میآید. این راهحل، خطای را به حداقل میرساند.
راهحل کمترین مربعات، ، برداری است که تصویر را در فضای ستونی تولید میکند و در عین حال کوتاهترین طول اقلیدسی (norm) ممکن را دارد.
بنابراین، SVD نه تنها یک ابزار محاسباتی، بلکه یک چارچوب مفهومی قدرتمند برای درک ساختار عمیق ماتریسها، ارتباط بین زیرفضاهای اساسی و بهینهسازی در سیستمهای خطی است.