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

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

مخروط دوگان

اگر $𝐾$ یک مخروط باشد، تعریف مخروط دوگان به صورت زیر خواهد بودالگو:سخ $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$