投影算子 Projection

LENG_Lingliang

于 2024-09-30 09:09:03 发布

阅读量687

点赞数 4

分类专栏：理论基础文章标签：算法笔记

本文链接：https://blog.csdn.net/LENG_Lingliang/article/details/142032204

版权

理论基础专栏收录该内容

6 篇文章 0 订阅

订阅专栏

投影 projection

对于一个闭的凸的集合 $V$ , $z=P_V(x)$ 是投影，则
$\langle v-z,x-z \rangle \leq 0, \forall v\in V$
投影算子是非膨胀的，满足
$\|P_V(x)-P_V(y)\| \leq\|x-y\|$

分离定理 Separation Theorems

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

对于一个闭的凸的集合 $V$ 以及集合外一点 $x$ ,存在一个非零的 $y$ 和 $\epsilon=\|y\|>0$ ,
$\langle y,v \rangle \leq \langle y,x \rangle-\epsilon, \forall v\in V$
证明：
$\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}$
如果条件中的闭去掉，则 $\epsilon$ 也去掉。
若两个凸集 $X_1,X_2$ 存在交集，则在交集中存在一个非零向量 $y$ , $\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 {. }$ 同样，如果是闭集还要在右侧减去 $\epsilon$