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.

556 APPENDIX A. LINEAR ALGEBRA<br />

We can deduce from these, given nonsingular matrix Z and any particular<br />

dimensionally<br />

[ ]<br />

compatible Y : matrix A∈ S M is positive semidefinite if and<br />

Z<br />

T<br />

only if<br />

Y T A[Z Y ] is positive semidefinite. In other words, from the<br />

Corollary it follows: for dimensionally compatible Z<br />

A ≽ 0 ⇔ Z T AZ ≽ 0 and Z T has a left inverse<br />

Products such as Z † Z and ZZ † are symmetric and positive semidefinite<br />

although, given A ≽ 0, Z † AZ and ZAZ † are neither necessarily symmetric<br />

or positive semidefinite.<br />

A.3.1.0.6 Theorem. Symmetric projector semidefinite. [19,III]<br />

[20,6] [193, p.55] For symmetric idempotent matrices P and R<br />

P,R ≽ 0<br />

P ≽ R ⇔ R(P ) ⊇ R(R) ⇔ N(P ) ⊆ N(R)<br />

(1408)<br />

Projector P is never positive definite [289,6.5, prob.20] unless it is the<br />

identity matrix.<br />

⋄<br />

A.3.1.0.7 Theorem. Symmetric positive semidefinite.<br />

Given real matrix Ψ with rank Ψ = 1<br />

Ψ ≽ 0 ⇔ Ψ = uu T (1409)<br />

where u is some real vector; id est, symmetry is necessary and sufficient for<br />

positive semidefiniteness of a rank-1 matrix.<br />

⋄<br />

Proof. Any rank-one matrix must have the form Ψ = uv T . (B.1)<br />

Suppose Ψ is symmetric; id est, v = u . For all y ∈ R M , y T uu T y ≥ 0.<br />

Conversely, suppose uv T is positive semidefinite. We know that can hold if<br />

and only if uv T + vu T ≽ 0 ⇔ for all normalized y ∈ R M , 2y T uv T y ≥ 0 ;<br />

but that is possible only if v = u .<br />

<br />

The same does not hold true for matrices of higher rank, as Example A.2.1.0.1<br />

shows.

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

Saved successfully!

Ooh no, something went wrong!