برای هرx,y?r_+^n , xvy را عنصری از r_+^n در نظر بگیرید که بصورت:
?(xvy)?_j?max?{x_j,y_j }, j=1,…,n
تعریف میشود. زیرمجموعه ی c ازb, r_+^n _محدب است, هرگاه برای هر x,y در c و هر t در ,[0,1] داشته باشیم txvy?c .
این مجموعه ها ابتدا توسط briec و horvath معرفی شده اند و درستی قضایای helly , radon وcaratheodory در مورد این مجموعه ها نشان داده شده است. همچنین درستی قضایای جداسازی و هان-باناخ برای...
