凸集

最新推荐文章于 2022-05-02 20:01:11 发布

猫猫虫(——)

最新推荐文章于 2022-05-02 20:01:11 发布

阅读量1.2w

点赞数 14

文章标签：凸集超平面

本文链接：https://blog.csdn.net/qq_41398808/article/details/100139463

版权

本文参考自清华大学研究生公共课教材——数学系列《最优化理论与算法》（第二版）

一：凸集

定义：设S为n维欧式空间中 $\mathbb{R}^{n}$ 中的一个集合，若对S中任意两点，联结它们的线段仍属于S，称这样的集合S是一个凸集。

用代数的形式表达为：对S中任意两点 $x^{(1)}$ ， $x^{(2)}$ 及每个实数 $\lambda \in [0,1]$ ，都有

$\lambda x^{(1)}+(1-\lambda )x^{(2)}\in S$

称S为凸集

$\lambda x^{(1)}+(1-\lambda )x^{(2)}$ 称为 $x^{(1)}$ ， $x^{(2)}$ 的凸组合。

下面验证几个集合是否为凸集：

例一：验证集合 $H=\left \{ x|p^{T}x=a \right \}$ 为凸集，其中，p为n维列向量，a为实数

对于任意两点 $x^{(1)}$ ， $x^{(2)}$ $\in H$ ，及每个实数 $\lambda \in [0,1]$ 都有

$\lambda p^{T}x^{(1)}+(1-\lambda)x^{(2)}$

$\because p^{T}x^{(1)}=p^{T}x^{(2)}=a$

$\therefore \lambda p^{T}x^{(1)}+(1-\lambda)x^{(2)}=\lambda a+(1-\lambda)a=a$

所以 $\lambda x^{(1)}+(1-\lambda )x^{(2)}\in H$

H称为 $\mathbb{R}^{n}$ 中的一个超平面，所以超平面为凸集。

例二：验证集合 $H^{-}=\left \{ x|p^{T}x\leqslant a \right \}$ 为凸集

对于任意两点 $x^{(1)},x^{(2)}\in H^{-}$ ，及每个实数 $\lambda \in [0,1]$ 都有

$p^{T}\left [ \lambda x^{(1)}+(1-\lambda)x^{(2)} \right ]\leqslant a$

上式左 $=\lambda p^{T}x^{(1)}+(1-\lambda)x^{(2)}$

$\because p^{T}x^{(1)}\leqslant a$ $p^{T}x^{(2)}\leqslant a$

$\lambda+(1-\lambda)=1$

$\therefore \lambda p^{T}x^{(1)}+(1-\lambda)p^{T}x^{(2)}\leqslant a$

所以 $\lambda x^{(1)}+(1-\lambda)x^{(2)}\in H^{-}$

所以 $H^{-}$ 为凸集，集合 $H^{-}=\left \{ x|p^{T}x\leqslant a \right \}$ 称为半空间，所以半空间为凸集

例三：验证集合 $L=\left \{ x|x=x^{(0)}+\lambda d,\lambda\geqslant 0 \right \}$ 为凸集，其中d是给定的非零向量， $x^{(0)}$ 是定点

对于任意两点 $x^{(1)},x^{(2)}\in L$ 及每一个数 $\lambda \in [0,1]$ ，必有 $x^{(1)}=x^{(0)}+\lambda_{1}d$ ， $x^{(2)}=x^{(0)}+\lambda_{2}d$ ， $\lambda_{1},\lambda_{2}$ 是非负数

$\lambda x^{(1)}+(1-\lambda)x^{(2)}=\lambda(x^{(0)}+\lambda_{1}d)+(1-\lambda)(x^{(0)}+\lambda_{2}d)$

$=x^{(0)}+\left [ \lambda \lambda_{1}+(1-\lambda)\lambda_{2} \right ]d$

由于 $\lambda \lambda_{1}+(1-\lambda)\lambda_{2}\geqslant 0$ ，所以 $\lambda x^{(1)}+(1-\lambda)x^{(2)}\in L$ ，所以L为凸集

集合 $L=\left \{ x|x=x^{(0)}+\lambda d,\lambda\geqslant 0 \right \}$ 成为射线，所以射线为凸集， $x^{(0)}$ 为射线的预点

二：极点

若假设S为非空凸集， $x=\lambda x^{(1)}+(1-\lambda)x^{(2)}(\lambda \in (0,1)),x^{(1)},x^{(2)} \in S$ ，必推得 $x=x^{(1)}=x^{(2)}$ ，则称x为凸集S的极点

这个论断对于紧凸集是正确的，但是对于无界集并不成立，此时引入极方向的概念

三：极方向

设S为 $\mathbb{R}^{n}$ 中的闭凸集，d为非零向量，如果对S中的每一个x，都有射线

$\left \{ x+\lambda d|\lambda\geqslant 0 \right \}\subset S$

则称向量d为S的方向。

设 $d^{(1)}$ 和 $d^{(2)}$ 是S的两个方向，若对任意正数 $\lambda$ ，有 $d^{(1)}\neq \lambda d^{(2)}$ ，则称 $d^{(1)}$ 和 $d^{(2)}$ 为两个不同的方向。

若S的方向d不能表示为该集合中两个不同方向的正的线性组合，则称d为S的极方向。

四：凸集分离定理

对于两个集合S1，S2，存在一个超平面H，使S1在H的一边，S2在H的另一边。

设超平面的方程为 $P^{T}x=a$ ，那么对于H某一边的点，有 $p^{T}x\geqslant a$ ，而对另一边的点，必有 $p^{T}x\leqslant a$

称超平面分离集合 $S_{1}$ 和 $S_{2}$

猫猫虫(——)

关注

14
点赞
踩
48

收藏

觉得还不错? 一键收藏
打赏
0
评论
凸集

本文参考自清华大学研究生公共课教材——数学系列《最优化理论与算法》（第二版）一：凸集定义：设S为n维欧式空间中中的一个集合，若对S中任意两点，联结它们的线段仍属于S，称这样的集合S是一个凸集。用代数的形式表达为：对S中任意两点，及每个实数，都有称...
复制链接

扫一扫