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.

390 CHAPTER 5. EUCLIDEAN DISTANCE MATRIX<br />

because the projection of −D/2 on S N c (1874) can be 0 if and only if<br />

D ∈ S N⊥<br />

c ; but S N⊥<br />

c ∩ S N h = 0 (Figure 105). Projector V on S N h is therefore<br />

injective hence invertible. Further, −V S N h V/2 is equivalent to the geometric<br />

center subspace S N c in the ambient space of symmetric matrices; a surjection,<br />

S N c = V(S N ) = V ( ) ( )<br />

S N h ⊕ S N⊥<br />

h = V S<br />

N<br />

h (902)<br />

because (65)<br />

V ( ) ( ) (<br />

S N h ⊇ V S<br />

N⊥<br />

h = V δ 2 (S N ) ) (903)<br />

Because D(G) on S N c is injective, and aff D ( V(EDM N ) ) = D ( V(aff EDM N ) )<br />

by property (118) of the affine hull, we find for D ∈ S N h (confer (824))<br />

id est,<br />

or<br />

D(−V DV 1 2 ) = δ(−V DV 1 2 )1T + 1δ(−V DV 1 2 )T − 2(−V DV 1 2 ) (904)<br />

D = D ( V(D) ) (905)<br />

−V DV = V ( D(−V DV ) ) (906)<br />

S N h = D ( V(S N h ) ) (907)<br />

−V S N h V = V ( D(−V S N h V ) ) (908)<br />

These operators V and D are mutual inverses.<br />

The Gram-form D ( )<br />

S N c (810) is equivalent to S<br />

N<br />

h ;<br />

D ( S N c<br />

) (<br />

= D V(S<br />

N<br />

h ⊕ S N⊥<br />

h ) ) = S N h + D ( V(S N⊥<br />

h ) ) = S N h (909)<br />

because S N h ⊇ D ( V(S N⊥<br />

h ) ) . In summary, for the Gram-form we have the<br />

isomorphisms [79,2] [78, p.76, p.107] [6,2.1] 5.27 [5,2] [7,18.2.1] [1,2.1]<br />

and from the bijectivity results in5.6.1,<br />

S N h = D(S N c ) (910)<br />

S N c = V(S N h ) (911)<br />

EDM N = D(S N c ∩ S N +) (912)<br />

S N c ∩ S N + = V(EDM N ) (913)<br />

5.27 In [6, p.6, line 20], delete sentence: Since G is also...not a singleton set.<br />

[6, p.10, line 11] x 3 =2 (not 1).

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

Saved successfully!

Ooh no, something went wrong!