凸集

点集拓扑学欧几里得空间中,凸集(Convex set)是一个点集合,其中每两点之间的线段点都落在该点集合中。

凸集
非凸集(凹集)

凸集实例

  • 区间实数的凸集。
  • 依据定义,中空的圆形称为(circle),它不是凸集;实心的圆形称为圆盘(disk),它是凸集。
  • 凸多边形是欧几理得平面上的凸集,它们的每只角都小于180度。
  • 单纯形是凸集,对于单纯形的顶点集合来说,单纯形是它们的最小凸集,所以单纯形也是一个凸包
  • 定宽曲线是凸集。

凸集的延伸不等式定义

在度量几何中,琴生不等式(Jensen's inequality)为凸集给出一个最健全的解释,而不必牵涉到二阶导数

假设 为在实或复向量空间的集。若对于所有 和所有 ,有 ,则称 凸集

简单而言,就是 中的任何两点之间的直线段都属于 。因此,凸集是一个连通空间

特殊凸集

特殊凸集是特别给了名称的凸集,它们可能是具有额外性质的凸集,或是在某种定义下的凸集(非一般定义中的凸集)。

具有额外性质的凸集

  • 绝对凸集:若 既是凸集又是平衡集,则称 绝对凸的。

在某种定义下的凸集

  • 星形凸集:若集 中存在一点 ,使得由  中任何一点的直线段都属于 ,则称 星形域星形凸集。星形域是简单连通的。

性质

 是凸集,对于任意 ,及所有非负数 满足 ,都有  。这个向量称为 凸组合

非欧几何的凸集

对于非欧平面,可用测地线来取代在欧几理德凸集的定义内直线段。

参见