مقادیر تکین، قدرت کشش جهتدار هر ماتریس تبدیل را در محورهای متعامد اندازهگیری میکنند، در حالی که بردارهای ویژه، محورهای جهتدار خاصی را نشان میدهند که در طول یک تبدیل خطی کاملاً بدون چرخش باقی میمانند، اگرچه کاملاً محدود به ماتریسهای مربعی هستند.
برجستهها
مقادیر منفرد به طور طبیعی ماتریسهای مستطیلی را در خود جای میدهند، در حالی که بردارهای ویژه به مرزهای کاملاً مربعی نیاز دارند.
مقادیر تکین، میزان کشیدگی فیزیکی فضا را کمّی میکنند، در حالی که بردارهای ویژه، محورهایی را که در برابر تغییرات چرخشی مصون هستند، ایزوله میکنند.
فضاهای برداری ساخته شده حول مقادیر منفرد ذاتاً عمود بر هم هستند، ویژگیای که بردارهای ویژه عمومی به ندرت آن را منعکس میکنند.
مقادیر منفرد هرگز به زیر صفر نمیرسند و وارد فضای مختلط نمیشوند و این باعث میشود که در طول محاسبات سنگین، پایداری خود را حفظ کنند.
مقادیر منفرد چیست؟
مقادیر اسکالر غیر منفی که میزان کشیدگی فضا توسط یک ماتریس را در امتداد جهات متعامد خاص، که برای هر شکل ماتریسی قابل استفاده است، کمّی میکنند.
آنها مستقیماً با جذر مقادیر ویژه غیر صفر متعلق به حاصلضربهای ماتریسی $A^TA$ یا $AA^T$ متناظر هستند.
تضمین میشود که آنها اعداد حقیقی و غیرمنفی باشند، حتی وقتی که از مجموعه دادههای زیربنایی بسیار پیچیده یا آشفته محاسبه شوند.
آنها پایه ریاضی بنیادی برای تجزیه مقدار تکین، یک تکنیک اساسی برای فشردهسازی دادههای مدرن، را تشکیل میدهند.
آنها از نظر هندسی طول دقیق نیممحورهای اصلی یک ابربیضی نگاشت شده از یک کره واحد استاندارد را نشان میدهند.
آنها را میتوان برای هر ماتریس مستطیلی محاسبه کرد و تطبیقپذیری ساختاری عظیمی را ارائه میدهند، در حالی که سایر معیارهای خطی کاملاً شکست میخورند.
بردارهای ویژه چیست؟
بردارهای غیر صفر ویژهای که فقط در مقیاس تغییر میکنند و جهت مکانی دقیق خود را هنگام ضرب در یک ماتریس مربعی حفظ میکنند.
آنها معادله خطی مشخصه کلاسیک $Av = \lambda v$ را برآورده میکنند، که در آن $v$ نشان دهنده بردار و $\lambda$ نشان دهنده مقدار ویژه آن است.
آنها کاملاً محدود به ماتریسهای مربعی هستند، به این معنی که نمیتوان آنها را از مجموعه دادههایی با ردیفها و ستونهای ناهموار استخراج کرد.
آنها به طور طبیعی بر یکدیگر متعامد نیستند، مگر اینکه ماتریس عملیاتی متقارن یا هرمیتی باشد.
آنها میتوانند به صورت اعداد مختلط حاوی بخشهای موهومی ظاهر شوند، حتی اگر ماتریس والد کاملاً از اعداد حقیقی تشکیل شده باشد.
آنها چارچوب ساختاری اصلی برای تجزیه ویژه را فراهم میکنند، که به توان رساندن ماتریسهای پیچیده و معادلات دیفرانسیل را ساده میکند.
جدول مقایسه
ویژگی
مقادیر منفرد
بردارهای ویژه
محدودیتهای شکل ماتریس
هر شکل مستطیلی یا مربعی
فقط ماتریسهای کاملاً مربعی
تعریف هندسی
طول محورهای اصلی یک کره تبدیل شده
جهتهایی که تحت تبدیل، چرخش صفر را تجربه میکنند
ویژگیهای عددی
مقادیر همیشه حقیقی و غیر منفی
میتواند به صورت اعداد منفی، صفر یا مختلط ظاهر شود
عمود بودن بردار
بردارهای منفرد مرتبط همیشه کاملاً متعامد هستند
بردارهای ویژه به ندرت متعامد هستند، مگر اینکه ماتریس متقارن باشد.
زمینه معادله اصلی
$\sigma_i = \sqrt{\lambda_i(A^TA)}$
$Av = \lambda v$
مورد استفاده اصلی در صنعت
تحلیل معنایی نهفته و کاهش حجم فایل تصویر
امتیازدهی رتبه صفحه گوگل و تجزیه و تحلیل ارتعاشات سازهای
مجموعههای برداری همراه
به دو مجموعه مجزا از بردارهای منفرد چپ و راست نیاز دارد
متکی بر یک مجموعه منسجم از بردارهای مشخصه است
مقایسه دقیق
دامنه ماتریس و محدودیتهای ساختاری
مقادیر منفرد از نظر انعطافپذیری مزیت بزرگی دارند زیرا هر ماتریسی را صرف نظر از نسبتهای فیزیکی آن توصیف میکنند. در مقابل، بردارهای ویژه کاملاً به ماتریسهای مربعی محدود میشوند که در آنها ابعاد ورودی و خروجی کاملاً با هم مطابقت دارند. اگر دادههای شما در یک صفحه گسترده مستطیلی عظیم قرار دارند که در آن ردیفها با ستونها برابر نیستند، نمیتوانید بردارهای ویژه را بدون تغییر شبکه دادهها استخراج کنید.
رفتار تبدیل هندسی
تصور کنید که یک کره واحد توسط یک تبدیل ماتریسی به یک ابربیضی کشیده تاب برداشته است. مقادیر منفرد، طول دقیق آن محورهای اصلی جدید را تعریف میکنند و به عنوان سنجههای اسکالر حداکثر اعوجاج مکانی عمل میکنند. بردارهای ویژه بر یک پدیده کاملاً متفاوت تمرکز میکنند و پیکانهای خاصی را شناسایی میکنند که قبل و بعد از جابجایی یک شبکه مربعی، دقیقاً در یک جهت قرار دارند.
تعامد و فضاهای برداری
بردارهای تکین که مقادیر تکین را احاطه میکنند، همیشه یک چارچوب عمودی و زیبا و تمیز به نام پایه متعامد میسازند. بردارهای ویژه به ندرت این ویژگی ساختاری را ارائه میدهند، مگر اینکه اتفاقاً با یک ماتریس کاملاً متقارن کار کنید. در کاربردهای عمومی دنیای واقعی، بردارهای ویژه میتوانند با زوایای عجیبی به سمت یکدیگر متمایل شوند، که باعث میشود برای جداسازی متغیرهای مستقل، کمتر قابل اعتماد باشند.
فضاهای اعداد حقیقی در مقابل مختلط
از آنجا که مقادیر منفرد از محاسبات ماتریسی خودالحاقی مانند $A^TA$ مشتق میشوند، قوانین جبر خطی آنها را مجبور میکند که حقیقی و مثبت باقی بمانند. بردارهای ویژه از چنین محافظت سیستمی برخوردار نیستند. یک ماتریس پر از اعداد حقیقی معمولی میتواند به راحتی بردارهای ویژه پیچیده تولید کند و چرخشهای موهومی انتزاعی را معرفی کند که برای تفسیر صحیح به اعداد پیشرفته نیاز دارند.
مزایا و معایب
مقادیر منفرد
مزایا
+به طور جهانی با هر ابعاد ماتریسی متناسب است
+تضمین ارزشهای واقعی بسیار پایدار
+تقریبهای رتبه پایین با توانهای کارآمد
+مجموعههای بردار متعامد مستقل را تولید میکند
مصرف شده
−دو برابر جفتهای ردیابی بردار را طلب میکند
−فاقد نگاشت مستقیم محورهای ثابت است
−نیاز به سربار محاسباتی خام بالاتر
−محاسبه دستی از ابتدا دشوارتر است
بردارهای ویژه
مزایا
+سادهسازی تکرارهای توانی ماتریسهای پیچیده
+نقاط تعادل سیستم را به طور دقیق مشخص میکند
+تفسیرهای موج فیزیکی بسیار شهودی
+نیاز به ردیابی فقط یک مجموعه بردار دارد
مصرف شده
−کاملاً در ابعاد مستطیل شکل میشکند
−اغلب به اعداد مختلط منحرف میشود
−مستعد جهتگیریهای غیر متعامد کج
−نمیتواند کل فضاهای برداری را پوشش دهد
تصورات نادرست رایج
افسانه
مقادیر منفرد و مقادیر ویژه مفاهیم یکسانی هستند اگر ماتریس کاملاً مربع باشد.
واقعیت
حتی در ماتریسهای مربعی، مقادیر تکین و مقادیر ویژه معمولاً از هم دور میشوند، مگر اینکه ماتریس نرمال باشد، به این معنی که با ترانهاده خود جابهجا میشود. برای ماتریسهای روزمره، مقادیر تکین حداکثر کشیدگی مکانی را دنبال میکنند در حالی که مقادیر ویژه مقیاسبندی را در جهتهای بدون چرخش دنبال میکنند.
افسانه
شما میتوانید بردارهای ویژه را برای دادههای غیر مربعی با پر کردن ماتریس با ردیفهایی از صفر محاسبه کنید.
واقعیت
متورم کردن مصنوعی یک ماتریس مستطیلی با صفرها، رتبه بنیادی، ویژگیها و معنای هندسی آن را به طور اساسی تغییر میدهد. تجزیه مقدار تکین، ساختارهای مستطیلی را به طور طبیعی و بدون نیاز به این تغییرات مخرب، مدیریت میکند.
افسانه
هر ماتریس شامل مجموعهای کامل و زیبا از بردارهای ویژه متعامد و تمیز است که آماده نگاشت دادهها میباشند.
واقعیت
بردارهای ویژه تنها در صورتی عمود هستند که ماتریس عملیاتی متقارن یا هرمیتی باشد. برای ماتریسهای استاندارد، بردارهای ویژه میتوانند به طور فشرده به هم بپیوندند یا حتی نتوانند به تعداد کافی برای ترسیم کل فضا ظاهر شوند.
افسانه
اگر یک تبدیل ماتریسی، فضا را معکوس یا آینهای کند، یک مقدار منفرد میتواند وارد محدوده منفی شود.
واقعیت
بازتابهای فضایی و تغییر جهتها کاملاً توسط تنظیمات علامت در بردارهای تکین همراه انجام میشوند. خود مقادیر تکین، همچنان مقادیر کاملاً مثبت کشش فیزیکی باقی میمانند.
سوالات متداول
چگونه مقادیر تکین از نظر ریاضی به مقادیر ویژه مرتبط میشوند؟
مقادیر منفرد با گرفتن جذر مقادیر ویژه متعلق به حاصلضربهای ماتریس مربعی $A^TA$ یا $AA^T$ محاسبه میشوند. این مرحله پیشپردازش، هر ماتریس مستطیلی کج را به یک ماتریس مربعی متقارن تبدیل میکند و تضمین میکند که ریشههای محاسبهشده به صورت مقادیر حقیقی و مثبت ظاهر شوند.
چرا مقادیر منفرد به دو مجموعه بردار نیاز دارند در حالی که بردارهای ویژه فقط به یک مجموعه نیاز دارند؟
بردارهای ویژه، یک فضای برداری را به خودش نگاشت میکنند، به این معنی که بردارهای ورودی و خروجی در یک قلمرو قرار دارند و یک چارچوب مرجع واحد را به اشتراک میگذارند. از آنجا که مقادیر تکین معمولاً ابعاد مختلف را به هم متصل میکنند، برای نگاشت دامنه منبع به بردارهای تکین راست و برای تفسیر دامنه مقصد به بردارهای تکین چپ نیاز دارند.
کدام یک از این دو مفهوم برای تحلیل مؤلفههای اصلی حیاتیتر است؟
تحلیل مؤلفههای اصلی اساساً برای رتبهبندی واریانس در یک مجموعه داده به مقادیر منفرد متکی است. در حالی که میتوانید PCA را با استفاده از بردارهای ویژه یک ماتریس کوواریانس مربعی اجرا کنید، اعمال تجزیه مقدار منفرد به طور مستقیم بر ماتریس دادههای اولیه از نظر عددی پایدارتر و از نظر محاسباتی کارآمدتر است.
مقدار منفرد صفر برای یک ماتریس داده به چه معناست؟
مقدار منفرد صفر نشان میدهد که ماتریس در طول تبدیل فضایی خود، حداقل یک بُعد را به طور کامل فرو میریزد و یک حجم را به یک صفحه یا خط صاف تبدیل میکند. این فروریختگی ساختاری به این معنی است که ماتریس دارای کمبود رتبه است و نمیتوان آن را معکوس کرد و بازسازی دادههای اصلی را غیرممکن میسازد.
چرا بردارهای ویژه گاهی اوقات وارد حوزه اعداد مختلط میشوند؟
بردارهای ویژه مختلط زمانی سطح میشوند که یک ماتریس مربعی یک تغییر چرخشی را بر فضایی که تغییر میدهد، اعمال کند. از آنجا که یک چرخش خالص هیچ بردار استاندارد و حقیقی که در جهت اصلی خود باشد، باقی نمیگذارد، معادلات ریاضی از مختصات مختلط برای نمایش این حرکات چرخشی ابعادی استفاده میکنند.
چرا عمود بودن طبیعی بردارهای منفرد چنین مزیتی نسبت به بردارهای ویژه دارد؟
عمود بودن تضمین میکند که هر بردار منفرد، اطلاعات کاملاً منحصر به فرد و بدون همپوشانی را از یک مجموعه داده جدا میکند. این فقدان افزونگی اطلاعاتی به برنامهنویسان اجازه میدهد تا نویز را حذف کرده و فایلهای رسانهای سنگین را فشرده کنند، بدون اینکه به طور تصادفی الگوهای داده ذخیره شده در ابعاد همسایه را خراب کنند.
سیستم افسانهای پیج رنک گوگل چگونه بین این دو روش یکی را انتخاب میکند؟
پیج رنک، وب را به عنوان یک ماتریس احتمال مربعی عظیم در نظر میگیرد که جزئیات نحوه پرش کاربران بین وبسایتها را شرح میدهد. این الگوریتم مقادیر منفرد را کاملاً نادیده میگیرد تا به دنبال یک توزیع حالت پایدار باشد، که از نظر ریاضی با بردار ویژه غالب آن ماتریس شبکه مربعی همسو باشد.
آیا ممکن است یک سیستم مقادیر منفرد بیشتری نسبت به بردارهای ویژه متمایز ارائه دهد؟
بله، هر ماتریسی که تعداد ستونهایش از سطرهایش بیشتر باشد، مجموعهای کامل از مقادیر تکین را تولید میکند در حالی که به دلیل مرزهای غیرمربعیاش، بردارهای ویژه صفر را ارائه میدهد. علاوه بر این، ماتریسهای مربعی ناقص گاهی اوقات فاقد مجموعهای کامل از بردارهای ویژه متمایز هستند، با این حال همیشه مجموعهای کامل از مقادیر تکین را حفظ میکنند.
حکم
هر زمان که در حال تحلیل، فشردهسازی یا تمیز کردن جداول دادههای مستطیلی دنیای واقعی هستید که در آنها پایداری ریاضی و استقلال متعامد اهمیت دارند، از مقادیر منفرد استفاده کنید. هنگام تشخیص سیستمهای کاملاً مربعی که باید حالتهای پایدار، ثابتهای سیستم یا رفتارهای تکاملی بلندمدت را در طول تکرارهای متوالی کشف کنید، به بردارهای ویژه روی آورید.