凸优化学习笔记 2:超平面分离定理

个人博客地址 Glooow,欢迎光临~~~

1. 超平面分离定理

超平面分离定理(Separating hyperplane theorem):若 C , D C,D C,D 为非空凸集,且 C ∩ D = ∅ C\cap D=\varnothing CD=,则存在 a ≠ 0 , b a\ne 0,b a=0,b,使得
a T x ≤ b for x ∈ C , a T x ≥ b for x ∈ D a^Tx\le b\quad\text{for}\quad x\in C,\quad a^Tx\ge b \quad\text{for}\quad x\in D aTxbforxC,aTxbforxD
也可以等价表示为 inf ⁡ x ∈ D a T x ≥ sup ⁡ x ∈ C a T x \inf_{x\in D}a^Tx \ge \sup_{x\in C}a^Tx infxDaTxsupxCaTx

在这里插入图片描述

Lemma 1 C C C closed,convex y ∉ C y\notin C y/C,那么存在唯一的 x ∈ C x\in C xC,使得 ∥ y − x ∥ = inf ⁡ { ∥ y − z ∥ ∣ z ∈ C } = d ( y , C ) \Vert y-x\Vert=\inf\{\Vert y-z\Vert|z\in C\}=d(y,C) yx=inf{yzzC}=d(y,C)

Proof:omit…

Lemma 2 C C C closed,convex y ∉ C y\notin C y/C,那么存在 a ≠ 0 , b a\ne 0,b a=0,b,使得
a T y < b , a T x ≥ b ∀ x ∈ C a^Ty<b,\quad a^Tx\ge b\quad\forall x\in C aTy<b,aTxbxC
Proof:omit…

Remark:上述定理表明存在超平面可以严格分开 y y y C C C

Lemma 3 C C C convex y ∉ C y\notin C y/C,那么存在 a ≠ 0 , b a\ne 0,b a=0,b,使得
a T y ≤ b , a T x ≥ b ∀ x ∈ C a^Ty\le b,\quad a^Tx\ge b\quad\forall x\in C aTyb,aTxbxC
Proof:omit…

超平面分离定理逆定理:若 C C C 为开集,且存在超平面分离 C , D C,D C,D,则 C ∩ D = ∅ C\cap D=\varnothing CD=

2. 支撑超平面定理

支撑超平面:对于集合 C C C 的边界点 x 0 x_0 x0,支撑超平面为 { x ∣ a T x = a T x 0 } \{x|a^Tx=a^Tx_0\} {xaTx=aTx0},其满足 a ≠ 0 a\ne0 a=0 a T x ≤ a T x 0 ,   ∀ x ∈ C a^Tx\le a^Tx_0,\ \forall x\in C aTxaTx0, xC

支撑超平面定理:如果 C C C 为凸集,那么 C C C 的每个边界点都存在一个支撑超平面

  • 1
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值