习题一 T11

证明凸集的内部和闭包还都是凸集.

证明:对凸集 ,对于其闭包 ,若 ,取

根据闭包为闭集,存在点列 以及 ,其中 ,于是

因此 ,从而 .

对于其内部 ,假设其不为凸集,则存在 以及 使得

不在 的内部,考虑取 使得 ,此时可取

那么考虑 ,我们有

因此

中元素的凸组合,所以 ,这就出现了矛盾!

习题一 T21

证明连续函数 是凸函数当且仅当:对任意

证明:必要性:由于 是凸函数,可知

充分性:假设 不是凸函数,则存在 使得

由于 是连续函数, 表明存在 使得 ,则令

那么

这和题设条件矛盾,因此 是凸函数.

习题一 T22

是凸函数, ,并且 上有上界,证明 是常数.

证明:假设 不为常数,则存在 使得 . 此时考虑

那么根据凸函数定义

代入有

从而

时,右侧趋于无穷,左侧是 的函数值,这就与 为常数相矛盾!

习题一 T23

阶矩阵, 维向量,则不等式组

与不等式组

有且只有一个有解.

证明:如果将第一个不等式组化为:

第二个不等式组化为

其中 ,则根据 Farkas 引理,上述两个不等式组有且仅有一组有解.

习题一 T24

阶矩阵, 阶矩阵, 维向量,则不等式组

与不等式组

有且仅有一个有解.

证明:对于第一个问题,有

从而可化为

第二个问题考虑

其中 ,根据 Farkas 引理上述两个不等式组有且仅有一个有解.