投影算子 Projection

投影 projection

对于一个闭的凸的集合 V V V, z = P V ( x ) z=P_V(x) z=PV(x)是投影,则
⟨ v − z , x − z ⟩ ≤ 0 , ∀ v ∈ V \langle v-z,x-z \rangle \leq 0, \forall v\in V ⟨v−z,x−z⟩≤0,∀v∈V

投影算子是非膨胀的,满足
∥ P V ( x ) − P V ( y ) ∥ ≤ ∥ x − y ∥ \|P_V(x)-P_V(y)\| \leq\|x-y\| ∥PV(x)−PV(y)∥≤∥x−y∥

分离定理 Separation Theorems

A convex closed set and a point outside of it can be separated by a plane.

对于一个闭的凸的集合 V V V以及集合外一点 x x x,存在一个非零的 y y y和 ϵ = ∥ y ∥ > 0 \epsilon=\|y\|>0 ϵ=∥y∥>0,
⟨ y , v ⟩ ≤ ⟨ y , x ⟩ − ϵ , ∀ v ∈ V \langle y,v \rangle \leq \langle y,x \rangle-\epsilon, \forall v\in V ⟨y,v⟩≤⟨y,x⟩−ϵ,∀v∈V

证明:
⟨ x − P v ( x ) , v − P v ( x ) ⟩ ⩽ 0 y = x − P v ( x ) ⇒ y ≠ 0 ⟨ y , v − P v ( x ) ⟩ ⩽ 0 ⇒ ⟨ y , v ⟩ ≤ ⟨ y , P v ( x ) ⟩ = ⟨ y , x − y ⟩ = ⟨ y , x ⟩ − ∥ y ∥ 2 . \begin{aligned} & \left\langle x-P_{v}(x), v-P_{v}(x) \rangle \leqslant 0\right. \\ & y=x-P_{v}(x) \Rightarrow y \neq 0 \\ & \left\langle y, v-P_{v}(x)\rangle \leqslant {0}\Rightarrow \langle y, v\rangle \leq\left\langle y, P_{v}(x)\right\rangle=\langle y, x-y\rangle=\langle y, x\rangle-\|y\| ^2.\right. \end{aligned} ⟨x−Pv(x),v−Pv(x)⟩⩽0y=x−Pv(x)⇒y=0⟨y,v−Pv(x)⟩⩽0⇒⟨y,v⟩≤⟨y,Pv(x)⟩=⟨y,x−y⟩=⟨y,x⟩−∥y∥2.

如果条件中的闭去掉,则 ϵ \epsilon ϵ也去掉。

若两个凸集 X 1 , X 2 X_1,X_2 X1,X2存在交集,则在交集中存在一个非零向量 y y y, ⟨ y , x 1 ⟩ ≤ ⟨ y , x 2 ⟩ , ∀ x 1 ∈ X 1 , x 2 ∈ X 2 . \left\langle y, x^{1}\right\rangle \leq\left\langle y, x^{2}\right\rangle ,\forall x^{1} \in X_{1}, x^{2} \in X_{2} \text {. } ⟨y,x1⟩≤⟨y,x2⟩,∀x1∈X1,x2∈X2. 同样,如果是闭集还要在右侧减去 ϵ \epsilon ϵ

相关推荐
吃着火锅x唱着歌21 分钟前
LeetCode 1446.连续字符
算法·leetcode·职场和发展
愚润求学28 分钟前
【贪心算法】day10
c++·算法·leetcode·贪心算法
新子y35 分钟前
【小白笔记】符号链接
笔记
吴秋霖38 分钟前
主流反爬虫、反作弊防护与风控对抗手段
爬虫·算法·反爬虫技术
java1234_小锋1 小时前
Scikit-learn Python机器学习 - 分类算法 - K-近邻(KNN)算法
python·算法·机器学习
智者知已应修善业1 小时前
【矩阵找最大小所在位置】2022-11-13
c语言·c++·经验分享·笔记·算法·矩阵
shan&cen1 小时前
Day04 前缀和&差分 1109. 航班预订统计 、304. 二维区域和检索 - 矩阵不可变
java·数据结构·算法
手握风云-1 小时前
回溯剪枝的 “减法艺术”:化解超时危机的 “救命稻草”(二)
算法·机器学习·剪枝
QiZhang | UESTC1 小时前
JAVA算法练习题day11
java·开发语言·python·算法·hot100
屁股割了还要学1 小时前
【数据结构入门】排序算法(4)归并排序
c语言·数据结构·学习·算法·排序算法