نامساوی‌های تعمیم‌یافته

برای مقایسه دو عدد از نامساوی‌های تعمیم یافته استفاده می‌کنیم. برای مثال۱<۲ به معنای کوچکتر بودن عدد یک دو است. هنگامی که بخواهیم دو بردار را با یکدیگر مقایسه کنیم نیاز به ابزار جدیدی داریم.

در مسائل بهینه‌سازی و برای مقایسه بردارها و ماتریس‌ها، به ابزارهای ریاضی قوی تری نیاز داریم. در این حالت نیاز است هنگامی که مقایسه را انجام می‌دهیم، فضایی مناسب را مطرح کنیم تا مقایسه تحت آن صورت بگیرد. این فضا در مبحث بهینه‌سازی، مخروط نامیده می‌شود.

مخروط دوگان

اگر $𝐾$ یک مخروط باشد، تعریف مخروط دوگان به صورت زیر خواهد بودالگو:سخ $K^{*}=\{y|x^{T}y\ge 0forallx\in K\}$الگو:سخ به طور شهودی می‌توان گفت برای تصور کردن دوگان یک مخروط، کافیست خط متعامد بر هر ضلع مخروط اصلی را رسم کنیم. فضای بدست آمده همان مخروط دوگان است.

نامساوی‌های تعمیم یافته با استفاده از مخروط دوگان

فرض کنیم مخروط محدب $K$ مناسب باشد. در این حالت می‌توان گفت مخروط دوگان آن یعنی $K^{*}$ هم مناسب است و می‌توان نامساوی‌های تعمیم یافته را با استفاده از آن اجرا کرد. دو ویژگی مهم این نامساوی در زیر آورده شده‌اند منبع:

1-$y$ تحت مخروط $K^{*}$ از $x$ بزرگتر است $x\underset{K}{\overset{*}{\le }}y$ اگر و تنها اگر برای هر $\lambda$ عضو مخروط دوگان$K^{*}$، $\lambda \underset{K}{\overset{*}{\ge }}0$ داشته باشیم ${\lambda }^{T}x\le {\lambda }^{T}y$الگو:سخ ۲- تحت مخروط $K$ رابطه $x<{}_{K}y$ برقرار است اگر و تنها اگر برای هر $\lambda$ عضو مخروط دوگان $K^{*}$ و مخالف صفر، $\lambda \underset{K}{\overset{*}{\ge }}0$$\lambda \ne 0$، داشته باشیم ${\lambda }^{T}x<{\lambda }^{T}y$الگو:سخ از آنجا که دوگانِ دوگان هر مخروط، خودش است $K=K^{*}*$ لذا روابط بالا در صورتی که جای $K$ و $K^{*}$ هم عوض شود برقرار است. مثلاً $\lambda <{}_K^{*}\mu$ برقرار است اگر و تنها اگر برای هر $x{\ge }_{K}0$ داشته باشیم ${\lambda }^{T}x\le {\mu }^{T}y$

مثال

فرض کنید $y=[34{]}^T$ و $x=[12{]}^T$ باشد. مخروط دوگان نیز $K^{*}=R_{+}$ یا ربع مثبت صفحه است. اگر $\lambda =[11]$ باشد واضح است که تحت این مخروط $y\ge x$ است چراکهالگو:سخ $[11][12{]}^T=1+2=3\le [11][34{]}^T=3+4=7$

منابع

• convex optimization,Stephen Boyd, Lieven Vandenberghe,Cambridge University Press