مخروط سره
یکی از چالشهای بهینهسازی محدب یافتن مجموعههایی است که دارای خاصیت تحدب باشند. در حالت کلی مجموعهای را که هر ترکیب محدب از هر دو عضو همچنان عضو باشد، محدب گویند. یعنی اگر و آنگاه به ازای هر داشته باشیم . همچنین با توجه به تعریف مخروط محدب میتوان مخروط سره را به عنوان یک مجموعه محدب تعریف نمود.
تعریف
[ویرایش]اگر K یک مخروط بوده و چهار خاصیت زیر را داشته باشد، آنگاه مخروط K را یک مخروط سره(Proper Cone) گویند. چهار شرط عبارت اند از:
- K محدب باشد.
- K بسته باشد، بدین معنا که نقاط مرزی را شامل شود.
- توپر باشد، بدین معنا که فقط مرز نباشد.
- رأس دار باشد، بدین معنا که هیچ خطی را شامل نشود.
اهمیت مفهوم مخروط سره را میتوان در تعریف مبحث نامساویهای تعمیم یافته دانست که در بسیاری از مسائل ریاضی از جمله بهینهسازی محدب و مقایسه ماتریسها و بردارها به کارگرفته میشود. درواقع هر نامساوی تعمیم یافته را باید روی یک مخروط سره تعریف نمود. برای مثال نامساوی تعمیم یافته برای بردارهای دلخواه x و y و روی مخروط سره K به صورت زیر تعریف میشود:
- x ⪯ y ⇒ y - x ∈ K
این تعریف بیان میکند که تحت یک مخروط سره مشخص، بردار x هنگامی کوچکتر از بردار y در نظر گرفته میشود که بردار تفاضل آنهای عضوی از مخروط سرهٔ K باشد. به بیان سادهتر، میتوان گفت که تحت یک مخروط سرهٔ مشخص K، در صورتی بردار x از بردار y کوچکتر است که تک تک درایههای بردار x از درایههای متناظر در بردار y کوچکتر باشد.
تعمیم به حالت ماتریسی
[ویرایش]همچنین این مفهوم را میتوان از حالت برداری به حالت ماتریسی تعمیم داد و نامساوی تعمیم یافته را برای ماتریسهای مشخص رو ی مخروط سرهای با ابعاد مشابه با ماتریسها بیان نمود. در این حالت تک تک درایههای ماتریس X باید از تک تک درایههای ماتریس Y کوچکتر باشد تا ماتریس X را تحت یک مخروط سره مشخص کوچکتر از ماتریس Y معرفی نمود.
مثالهای مهم
[ویرایش]گوشهٔ مثبت
[ویرایش]در حالت کلی گوشهٔ مثبت فضای مختصات N بعدی را میتوان یک مخروط سره جهت مقایسهٔ بردارهای N بعدی در نظر گرفت. در شکل ناحیه اول فضای مختصات به عنوان یک گوشهٔ مثبت دو بعدی در نظر گرفته میشود.
ماتریسهای مثبت نیمه معین
[ویرایش]معروفترین مخروط سره در فضای ماتریسی ماتریسهای مثبت معین هستند که برای تعریف نامساوی تعمیم یافته در فضای ماتریسی از آن بهره گرفته میشود.
جستارهای وابسته
[ویرایش]- بهینهسازی محدب
- نامساوی تعمیم یافته
- ماتریس مثبت نیمه معین
- مخروط محدب
منابع
[ویرایش]- Boyd, Stephen P.; Vandenberghe, Lieven (2004). Convex Optimization (pdf). Cambridge University Press. ISBN 978-0-521-83378-3. Retrieved October 15, 2011.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.