凸集上投影

最新推荐文章于 2023-12-05 14:54:26 发布

Mr.Daozhi

最新推荐文章于 2023-12-05 14:54:26 发布

阅读量3.6k

点赞数 4

the following content is from https://cstheory.wordpress.com/2010/08/23/projections-onto-a-convex-body/#more-203.

Projections onto a Convex Body

Given a point ${x} \in {{\bf R}^d}$ and an affine subspace ${H \neq {\bf R}^d}$ , the projection of onto is the point ${P_H(x)}$ such that,

$\displaystyle \begin{array}{rcl} \vert \vert x - P_H(x) \vert \vert = \min \{ \vert \vert x y \vert \vert ~ \mid y ~ \in H \} \end{array} .$

One can obviously define other notions of projection but the above is probably the most commonly used in geometry. If ${x \notin H}$ then the projected point ${P_H(x)}$ is the unique point in such that the vector ${P_H(x) - x}$ is orthogonal to . Also is well known that projecting any segment to an affine subspace can only shrink its length. The proofs of these facts are easy to see. But in fact these facts are just corollaries of the following two results.

Given any nonempty closed convex set ${C \subseteq {\bf R}^d}$ and a point ${x \in {\bf R}^d}$ , there is a unique point ${P_C(x) \in C}$ such that,

$\displaystyle \begin{array}{rcl} \vert \vert x - P_C(x) \vert \vert = \min \{ \vert \vert x - y \vert \vert ~ \mid ~ y \in C\} \end{array} .$

and,

Let

be a nonempty closed convex set. The mapping ${P_C : {\bf R}^d \rightarrow C}$ is a contraction i.e. for any ${x,y \in {\bf R}^d}$ we have,

$\displaystyle \begin{array}{rcl} \vert \vert P_C(x) - P_C(y) \vert \vert \leq \vert \vert x - y \vert \vert \end{array}$

Applying these results to affine spaces (which are nonempty closed convex sets) yields the results mentioned earlier. This projection that maps to is known as the metric projection. The proofs of these facts are in order.

Proof: First we show that the minimum distance to is indeed obtained. This is easy and the details are as follows. Since is nonempty there is some point ${y \in C}$ . Let denote ${\vert \vert x - y \vert \vert}$ . Clearly a closest point to can only lie in ${C \cap B(x,l)}$ where denotes a closed ball of radius with center . But ${C \cap B(x,l)}$ is a closed and bounded set and is therefore compact. It is also nonempty. The function defined for ${p \in C \cap B(x,l)}$ as ${f(p) = \vert \vert p - x \vert \vert}$ is a continuous function on a compact set and attains its minimum at some point ${P_C(x)}$ .

Next we prove the point ${P_C(x)}$ where attains minimum, is unique. If ${z \in C}$ is another point at which ${\vert \vert x - z \vert \vert = \vert \vert x - P_C(x) \vert \vert}$ then in the triangle ${xP_C(x)z}$ , which has two equal sides, the perpendicular from onto segment ${P_C(x)z}$ is clearly shorter than the length ${\vert \vert x - z \vert \vert}$ . However the base of this perpendicular lies on the segment itself. By convexity of the entire segment is in and thus we have found a point in closer to than ${P_C(x)}$ which is a contradiction.

Next we prove that the metric projection is a contraction.

Proof: Let the points be projected to ${P_C(x)}$ and ${P_C(y)}$ respectively and assume ${P_C(x) \neq P_C(y)}$ . Consider the hyperplanes ${H_x, H_y}$ through ${P_C(x),P_C(y)}$ that are orthogonal to the vector ${P_C(x) - P_C(y)}$ . See figure below.

The main observation is that must lie on the other side of as . If lies on the same side of ${H_x}$ as ${P_C(y)}$ then one can always find a point on the segment ${(P_C(x) P_C(y)]}$ closer to than ${P_C(x)}$ which would contradict that ${P_C(x)}$ is the closest point to in . Similarly cannot lie on same side of ${H_y}$ as ${P_C(x)}$ . Thus ${\vert \vert x - y \vert \vert}$ is at least the distance between ${H_x}$ and ${H_y}$ which is ${\vert \vert P_C(x) - P_C(y) \vert \vert}$ .

Mr.Daozhi

关注

4
点赞
踩
7

收藏

觉得还不错? 一键收藏
0
评论
凸集上投影

the following content is from https://cstheory.wordpress.com/2010/08/23/projections-onto-a-convex-body/#more-203. Projections onto a Convex BodyGiven a point and an affine subspace , the projec...
复制链接

扫一扫