10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2.13. DUAL CONE & GENERALIZED INEQUALITY 167<br />

an orthogonal set; neither do extreme directions Γ 3 and Γ 4 of dual cone K ∗ ;<br />

rather, we have the biorthogonality condition, [318]<br />

Γ T 4 Γ 1 = Γ T 3 Γ 2 = 0<br />

Γ T 3 Γ 1 ≠ 0, Γ T 4 Γ 2 ≠ 0<br />

(348)<br />

Biorthogonal expansion of x ∈ K is then<br />

x = Γ 1<br />

Γ T 3 x<br />

Γ T 3 Γ 1<br />

+ Γ 2<br />

Γ T 4 x<br />

Γ T 4 Γ 2<br />

(349)<br />

where Γ T 3 x/(Γ T 3 Γ 1 ) is the nonnegative coefficient of nonorthogonal projection<br />

(E.6.1) of x on Γ 1 in the direction orthogonal to Γ 3 (y in Figure 139, p.657),<br />

and where Γ T 4 x/(Γ T 4 Γ 2 ) is the nonnegative coefficient of nonorthogonal<br />

projection of x on Γ 2 in the direction orthogonal to Γ 4 (z in Figure 139);<br />

they are coordinates in this nonorthogonal system. Those coefficients must<br />

be nonnegative x ≽ K<br />

0 because x ∈ K (293) and K is simplicial.<br />

If we ascribe the extreme directions of K to the columns of a matrix<br />

X ∆ = [ Γ 1 Γ 2 ] (350)<br />

then we find that the pseudoinverse transpose matrix<br />

[<br />

]<br />

X †T 1 1<br />

= Γ 3 Γ<br />

Γ T 4<br />

3 Γ 1 Γ T 4 Γ 2<br />

(351)<br />

holds the extreme directions of the dual cone. Therefore,<br />

x = XX † x (357)<br />

is the biorthogonal expansion (349) (E.0.1), and the biorthogonality<br />

condition (348) can be expressed succinctly (E.1.1) 2.61<br />

X † X = I (358)<br />

Expansion w=XX † w for any w ∈ R 2 is unique if and only if the extreme<br />

directions of K are linearly independent; id est, iff X has no nullspace. <br />

2.61 Possibly confusing is the fact that formula XX † x is simultaneously the orthogonal<br />

projection of x on R(X) (1786), and a sum of nonorthogonal projections of x ∈ R(X) on<br />

the range of each and every column of full-rank X skinny-or-square (E.5.0.0.2).

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

Saved successfully!

Ooh no, something went wrong!