Мн-во MÎАn называется выпуклым, если для любых 2-х точек А и В этого мн-ва отрезок АВ также лежит в мн-ве М (напр. куб, шар, квадрат, круг, пирамида, эллипс).
Пересечение нескольких выпуклых множеств есть выпуклое множество.
Выпуклая область
Пересечение нескольких полупространств в Аn называется выпуклой многогранной областью в Аn.
Выпуклая многогранная область
В свою очередь, полупространством в An – называется множество точек x(x1,x2,…,xn) таких, что
a1x1+a2x2+…+anxn+b³0
a12+a22+…+an2>0
a1, a2,…,an, b – фиксированные числа.