习题一 T2

是凸函数,则 的全局最小值集合是凸集.

证明: 设全局最小值集合为 ,那么对 ,对于任意 ,都有 . 考虑 ,取凸组合

那么根据 是凸函数,于是有

这就使得不等号必须取等,从而 ,也就是说 中任意两点的凸组合仍在 中.

习题一 T4

如果对 ,有 ,则称 是中点凸. 证明如果 是闭集且中点凸,则 是凸集.

证明: 证明 的任意凸组合都在 中即可,对于任意凸组合:

考虑取中点点列收敛到 ,操作方法如下:首先取 的中点,然后有如下的点列:

如果 ,那么接下来取 ,否则取 . 再考虑 之间的大小比较,从而取 ,依次类推可得

使得 ,而由于 是闭集,因此 . 这就证明了凸组合都在集合 当中.

习题一 T5

证明 中的下列集合是凸集:

  1. ,其中 阶矩阵;
  2. ,其中 阶矩阵;
  3. 为线性规划问题

的解集.

证明:

(1) 设 ,则凸组合 有:

因此 .

(2) 设 ,则凸组合 有:

因此 .

(3) 设 ,则凸组合 有:

因此 .

(4) 设 ,则凸组合 有:

因此 .

(5) 设 ,则对凸组合 ,根据 (4) 可知 符合约束条件,且考虑

因此 . 综上,上述的所有集合都是凸集.

习题一 T6

为凸集, 阶矩阵,则 为凸集.

证明: ,那么对

不妨令 ,考虑

而由 为凸集,可知 ,于是

,这就证明了 为凸集.

习题一 T7

都是凸集,则 为凸集.

证明: 仅需证明两个凸集的交集还是凸集,设 为凸集,则考虑做交集运算取 ,对凸组合 ,根据 均为凸集,分别有

于是 ,因此 为凸集.

对三个及以上的情形,以两个集合的情形作为归纳基础,当 成立时,对 ,有

为两个凸集的交,于是结果仍为凸集,由此结论成立.

习题一 T8

为凸集,则

  1. 为凸集.
  2. 为凸集.

证明: 即证明集合加法和减法是保凸运算,设

而其中根据 均为凸集, ,那么 ,从而 为凸集.

对于 ,证明方法一致,同理可得 为凸集.

习题一 T9

,证明 的凸包 是凸集.

证明: ,则根据凸包定义,二者均可表示为 中有限个点的凸组合:

那么考虑

而其中

于是 也可表示为 中有限个元素的凸组合,这就说明

为凸集.