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.

E.1. IDEMPOTENT MATRICES 647<br />

When the domain is restricted to range of P , say x=Uξ for ξ ∈ R k , then<br />

x = Px = UQ T Uξ = Uξ and expansion is unique because the eigenvectors<br />

are linearly independent. Otherwise, any component of x in N(P)= N(Q T )<br />

will be annihilated. Direction of nonorthogonal projection is orthogonal to<br />

R(Q) ⇔ Q T U =I ; id est, for Px∈ R(U)<br />

Px − x ⊥ R(Q) in R m (1774)<br />

E.1.1.0.1 Example. Illustration of nonorthogonal projector.<br />

Figure 138 shows cone(U) , the conic hull of the columns of<br />

⎡ ⎤<br />

1 1<br />

U = ⎣−0.5 0.3 ⎦ (1775)<br />

0 0<br />

from nonorthogonal projector P = UQ T . Matrix U has a limitless number<br />

of left inverses because N(U T ) is nontrivial. Similarly depicted is left inverse<br />

Q T from (1762)<br />

⎡<br />

Q = U †T + ZB T = ⎣<br />

⎡<br />

= ⎣<br />

0.3750 0.6250<br />

−1.2500 1.2500<br />

0 0<br />

0.3750 0.6250<br />

−1.2500 1.2500<br />

0.5000 0.5000<br />

⎤<br />

⎡<br />

⎦ + ⎣<br />

⎤<br />

⎦<br />

0<br />

0<br />

1<br />

⎤<br />

⎦[0.5 0.5]<br />

(1776)<br />

where Z ∈ N(U T ) and matrix B is selected arbitrarily; id est, Q T U = I<br />

because U is full-rank.<br />

Direction of projection on R(U) is orthogonal to R(Q). Any point along<br />

line T in the figure, for example, will have the same projection. Were matrix<br />

Z instead equal to 0, then cone(Q) would become the relative dual to<br />

cone(U) (sharing the same affine hull;2.13.8, confer Figure 49(a)). In that<br />

case, projection Px = UU † x of x on R(U) becomes orthogonal projection<br />

(and unique minimum-distance).<br />

<br />

E.1.2<br />

Idempotence summary<br />

Nonorthogonal subspace-projector P is a linear operator defined by<br />

idempotence or biorthogonal decomposition (1765), but characterized not<br />

by symmetry nor positive semidefiniteness nor nonexpansivity (1792).

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

Saved successfully!

Ooh no, something went wrong!