هندسه محدب کیست؟ توضیح بده.
در ریاضیات، هندسهٔ محدب یک شاخه از هندسه است که به بررسی مجموعه‌های محدب می‌پردازد. مجموعه‌های محدب در زمینه‌های بسیاری از جمله هندسه محاسباتی، آنالیز محدب، آنالیز تابعی، برنامه‌ریزی خطی، نظریه احتمالات، هندسهٔ اعداد و غیره کاربرد دارد.مطابق خوشه‌بندی موضوعی ریاضیاتموضوعات هندسهٔ محدب دارای سه بخش اصلی زیر است:موضوعات مورد بحث در هندسهٔ محدب در ترکیبیات نیز کاربرد دارند.تاریخچه.هندسهٔ محدب یک رشته نسبتاً جوان در ریاضیات است. اولین بررسی‌ها در هندسهٔ محدب را می‌توان در نوشته‌های اقلیدس و ارشمیدس پیدا نمود ولی با فعالیت‌های هرمان بران و هرمان مینکوفسکی در هندسهٔ دو بعدی و سه بعدی در قرن بیستم، هندسهٔ محدب به صورت یک شاخهٔ مستقل از ریاضیات در نظر گرفته شد. بسیاری از نتایج آن به سرعت به ابعاد بالاتر از سه تعمیم داده شد. در سال ۱۹۳۴ میلادی تامی بانیسین و ورنر فنشل یک تحقیق جامع در رابطه با هندسهٔ محدب در فضای اقلیدسیformula_1ارائه کردند.پیشرفت‌های بعدی در هندسهٔ محدب در "کتاب راهنمای هندسهٔ محدب"خلاصه شده است.با توجه به کاربرد روش‌های بهینه‌سازی محدب و هندسهٔ محدب در حل مسائل با بردارهای ابعاد بالا، هندسهٔ محدب مجانبی (یا هندسهٔ محدب مدرن) جهت تحلیل و بررسی این دسته از بردارها بنا نهاده شده است.هندسه محدب مجانبی.هندسه محدب مجانبی یا هندسه محدب مدرن یک شاخه از هندسه محدب است که به بررسی شکل و قوانین حاکم بر مجموعه‌های محدب در ابعاد بالا و بی‌نهایت می‌پردازد.هندسه محدب سنتی هندسه اشکال محدب و روابط هندسی بین آن‌ها در فضای اقلیدسی و با ابعاد پایین را تحلیل می‌کند. با میل دادن ابعاد به سمت بی‌نهایت ویژگی‌های خطی و هندسی یک فضای نرم دار با ابعاد محدود یا اشکال محدب، یک رفتار مجانبی از خود نشان می‌دهند. در نظریهٔ هندسه محدب مجانبی، پدیده‌های غیرمنتظره، ساختارهای پنهان زیادی کشف شده و شهودهای و ابزار جدیدی بدست آمده است. این نظریه ساختار و مرتبهٔ اشکال را در ابعاد بالا مشخص می‌کند.اشکال محدب ابعاد بالا.پرسش اصلی در هندسه محدب ابعاد بالا این است که "یک جسم محدب در ابعاد بالا به شکل است؟". یک پاسخ اکتشافی به این سؤال این است که مجموعه محدبformula_2در ابعاد بالا از یک "توده" و تعدادی "شاخک" تشکیل شده است. حجم اصلی مجموعه در توده بیان شده قرار می‌گیرد و شاخک‌ها حجم کمی از مجموعه را تشکیل می‌دهد ولی قطر بالایی دارند.اگرformula_2به صورت صحیح مقیاس دهی شود، توده اصلی معمولاً به شکل یک توپ اقلیدسی است. شاخک‌ها نیز باریک و بلند هستند که اولین بار توسط ویتالی میلمن توصیف شده است. تصویر توصیف شده محدب به نظر نمی‌رسد ولی برای آن دلیل مناسب وجود دارد.در ابعاد بالا اگر مجموعه درformula_4ضرب شود، حجم با ضریبformula_5افزایش می‌یابد. به همین دلیل اگرچه شاخک‌ها دارای طول بلند هستند ولی در حجم مجموعه اثر کمی دارند.مثال.با در نظر گرفتن مجموعه به صورتformula_6یا به عبارت دیگر توپ واحد نرم یک و همچنین با در نظر گرفتنformula_7، به صورت توپ اقلیدسی محاط در مجموعهformula_2، می‌توان مشاهده نمود که حجمformula_7وformula_2قابل مقایسه هستند. (دو عبارتformula_11وformula_12را قابل مقایسه می‌نامیم، اگر به ازای تمامیformula_13هادو ثابت مثبتformula_14وformula_15را بتوان پیدا نمود، کهرابطهٔformula_16برقرار باشد)بنابراین با توجه به این‌کهformula_7دارای قطرformula_18است،formula_7وformula_2قابل مقایسه هستند.تمرکز حجم.مطابق آنچه در کتاب آمده، تمرکز جحم در حول توده و شاخک‌های باریک در اشکال محدب همسانگرد را به صورت زیر بیان شده است:توزیع حجم در مجموعه‌های محدب ابعاد بالا.اگر مجموعهformula_21یک مجموعه محدب همسانگرد درformula_22وformula_23یک بردار تصادفی با توزیع یکنواخت درformula_2باشد، به ازای مقادیر ثابت مثبتformula_14وformula_15داریم: