投影笔记

1. 集合上的投影：

$R^n$中一点$x_0$到一个闭集$C\in R^n$的距离定义为 d i s t ( x 0 , C ) = i n f { ∣ ∣ x − x 0 ∣ ∣ , ∀ x ∈ C } dist(x_0,C)=inf\{||x-x_0||,\forall x\in C\} dist(x0​,C)=inf{∣∣x−x0​∣∣,∀x∈C}，该下确界一定能够达到。
即一定存在点$z\in C$达到上面的下确界，使得 ∣ ∣ z − x 0 ∣ ∣ = i n f { ∣ ∣ x − x 0 ∣ ∣ , ∀ x ∈ C } = d i s t ( x 0 , C ) ||z-x_0||=inf\{||x-x_0||,\forall x\in C\}=dist(x_0,C) ∣∣z−x0​∣∣=inf{∣∣x−x0​∣∣,∀x∈C}=dist(x0​,C).

Note：
点$z$可能会有很多个；
当$C$为闭凸集，$||\cdot ||$范数强凸时，点$z$是确定的；
若任一点$x_0$，都有唯一的$C$上投影，则集合$C$为闭凸集；

一些例子：

2. 闭凸集上的投影算子

定义：

$C$是一个非空、闭凸子集
P C : x 0 ↦ P C ( x 0 ) = a r g m i n { ∣ ∣ x − x 0 ∣ ∣ , ∀ x ∈ C } P_C: x_0\mapsto P_C(x0)=argmin\{||x-x_0||,\forall x\in C\} PC​:x0​↦PC​(x0)=argmin{∣∣x−x0​∣∣,∀x∈C}
Note：$P_C(x_0)\in C,dist(x_0,C)=||x_0-P_C(x_0)||$

性质：

1. $y_x$是投影$P_C(x)\iff ⟨x-y_x,y-y_x⟩\le 0,\forall y\in C.$
   特殊地，$C$是一个仿射集或子空间，$⟨x-y_x,y-y_x⟩=0,\forall y\in C$;
2. $||P_C(x_1)-P_C(x_2)|{|}^2\le ⟨P_C(x_1)-P_C(x_2),x_1-x_2⟩\iff P_C$是强扩张的,$firmlynonexpansive\iff Id-P_C$是强扩张$\iff 2P_C-Id$是非扩张的;
3. $||P_C(x_1)-P_C(x_2)||\le ||x_1-x_2||\iff P_C$是非扩张的，nonexpansive;
4. $Fix{P}_C=C$
   i.e. $P_C(x)=x\Rightarrow x\in C$;

应用