有关凸集的证明例题_凸集/凸函数习题

0. 前言

2.9

(a) 证明：

​ 考虑

作超平面 $(x_i-x_0)^Tx=(x_i-x_0)^T(x_i+x_0)/2$

​ 对超平面上每个点 $x_k$ 的分量 $j$ 都有 $2(x_{ij}-x_{0j})x_{kj}=(x_i^2-x_0^2)$ ，且 $|x_k-x_0|_2=sqrt{sum_j{(x_{kj}-x_{0j})^2}}$ ，$|x_k-x_i|_2=sqrt{sum_j{(x_{kj}-x_{0j})^2}}$ 。

​ 将第一式带入范数表达式可得对超平面上每个点 $x$ 均有 $|x-x_0|_2=|x-x_i|_2$ ，且对于超平面下方的半空间 $(x_i-x_0)^Txleq(x_i-x_0)^T(x_i+x_0)/2$ ，均有 $|x-x_0|_2leq |x-x_i|_2$ ，对所有的 $i$ 均成立。即 $V$ 的边界为一系列超平面的交，$V$ 为多面体。设 $x_i-x_0=a_i$ ，$(x_i-x_0)^T(x_i+x_0)/2=b_i$ ， $V$ 可以被写作

(b)

​ P总可以表达为$P={xmid Axpreceq b}$ 的形式，设 $A={a_1^T,a_2^T,cdots,a_K^T}$ ，对于任意一点 $x_0in P$ 和多面体的面 $a_i^Tx=b$，总可以找到直线 $x=x_0+ka_i, kintextbf{R}$ 上的一点 $x_i$ 满足对面上任意一点 $x_k$ ，有 $ |x_i-x_k|_2=|x_0-x_k|_2$ (作点 $x_0$ 关于面的对称点即可) ，