10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

686 APPENDIX E. PROJECTION<br />

E.9.5<br />

Projection on convex set in subspace<br />

Suppose a convex set C is contained in some subspace R n . Then unique<br />

minimum-distance projection of any point in R n ⊕ R n⊥ on C can be<br />

accomplished by first projecting orthogonally on that subspace, and then<br />

projecting the result on C ; [92,5.14] id est, the ordered product of two<br />

individual projections that is not commutable.<br />

Proof. (⇐) To show that, suppose unique minimum-distance projection<br />

P C x on C ⊂ R n is y as illustrated in Figure 141;<br />

‖x − y‖ ≤ ‖x − q‖ ∀q ∈ C (1920)<br />

Further suppose P R<br />

n x equals z . By the Pythagorean theorem<br />

‖x − y‖ 2 = ‖x − z‖ 2 + ‖z − y‖ 2 (1921)<br />

because x − z ⊥ z − y . (1783) [215,3.3] Then point y = P C x is the same<br />

as P C z because<br />

‖z − y‖ 2 = ‖x − y‖ 2 − ‖x − z‖ 2 ≤ ‖z − q‖ 2 = ‖x − q‖ 2 − ‖x − z‖ 2<br />

which holds by assumption (1920).<br />

(⇒) Now suppose z = P R<br />

n x and<br />

∀q ∈ C<br />

(1922)<br />

‖z − y‖ ≤ ‖z − q‖ ∀q ∈ C (1923)<br />

meaning y = P C z . Then point y is identical to P C x because<br />

‖x − y‖ 2 = ‖x − z‖ 2 + ‖z − y‖ 2 ≤ ‖x − q‖ 2 = ‖x − z‖ 2 + ‖z − q‖ 2<br />

by assumption (1923).<br />

∀q ∈ C<br />

(1924)<br />

<br />

This proof is extensible via translation argument. (E.4) Unique<br />

minimum-distance projection on a convex set contained in an affine subset<br />

is, therefore, similarly accomplished.<br />

Projecting matrix H ∈ R n×n on convex cone K = S n ∩ R n×n<br />

+ in isomorphic<br />

R n2 can be accomplished, for example, by first projecting on S n and only then<br />

projecting the result on R n×n<br />

+ (confer7.0.1). This is because that projection<br />

product is equivalent to projection on the subset of the nonnegative orthant<br />

in the symmetric matrix subspace.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!