Если задано конечное число векторов в действительном векторном пространстве , то коническая комбинация , коническая сумма или взвешенная сумма [1] [2] этих векторов представляет собой вектор вида
где — неотрицательные действительные числа.
Название происходит от того факта, что множество всех конических сумм векторов определяет конус (возможно, в подпространстве меньшей размерности ).
Множество всех конических комбинаций для данного множества S называется конической оболочкой S и обозначается cone ( S ) [1] или coni ( S ) . [2] То есть,
Если принять k = 0, то нулевой вектор ( начало координат ) принадлежит всем коническим оболочкам (поскольку суммирование становится пустой суммой ).
Коническая оболочка множества S является выпуклым множеством . Фактически, это пересечение всех выпуклых конусов, содержащих S плюс начало координат. [1] Если S — компактное множество (в частности, когда оно является конечным непустым множеством точек), то условие «плюс начало координат» излишне.
Если отбросить начало координат, то можно разделить все коэффициенты на их сумму и увидеть, что коническая комбинация — это выпуклая комбинация , масштабированная положительным множителем.
Следовательно, «конические комбинации» и «конические оболочки» на самом деле являются «выпуклыми коническими комбинациями» и «выпуклыми коническими оболочками» соответственно. [1] Более того, приведенное выше замечание о делении коэффициентов при отбрасывании начала координат подразумевает, что конические комбинации и оболочки можно рассматривать как выпуклые комбинации и выпуклые оболочки в проективном пространстве .
В то время как выпуклая оболочка компактного множества также является компактным множеством, это не так для конической оболочки; прежде всего, последняя является неограниченной. Более того, это даже не обязательно замкнутое множество : контрпримером является сфера, проходящая через начало координат, при этом коническая оболочка является открытым полупространством плюс начало координат. Однако, если S является непустым выпуклым компактным множеством, которое не содержит начало координат, то выпуклая коническая оболочка S является замкнутым множеством. [1]