06.09.2021 Views

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

A First Course in Linear Algebra, 2017a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

7.4. Orthogonality 405<br />

Theorem 7.66: S<strong>in</strong>gular Value Decomposition<br />

Let A be an m×n matrix. Then there exist orthogonal matrices U and V of the appropriate size such<br />

that A = UΣV T where Σ is of the form<br />

[ ] σ 0<br />

Σ =<br />

0 0<br />

and σ is of the form<br />

for the σ i the s<strong>in</strong>gular values of A.<br />

σ =<br />

⎡<br />

⎢<br />

⎣<br />

⎤<br />

σ 1 0<br />

⎥ ... ⎦<br />

0 σ k<br />

Proof. There exists an orthonormal basis, {⃗v i } n i=1 such that AT A⃗v i = σ 2<br />

i ⃗v i where σ 2<br />

i > 0fori = 1,···,k,(σ i > 0)<br />

and equals zero if i > k. Thus for i > k, A⃗v i =⃗0 because<br />

For i = 1,···,k, def<strong>in</strong>e⃗u i ∈ R m by<br />

Thus A⃗v i = σ i ⃗u i .Now<br />

⃗u i •⃗u j = σ −1<br />

i<br />

A⃗v i • A⃗v i = A T A⃗v i •⃗v i =⃗0 •⃗v i = 0.<br />

= σ −1<br />

i<br />

⃗u i = σ −1<br />

i A⃗v i .<br />

A⃗v i • σ −1 A⃗v j = σ −1 ⃗v i • σ −1 A T A⃗v j<br />

j<br />

⃗v i • σ −1<br />

Thus {⃗u i } k i=1 is an orthonormal set of vectors <strong>in</strong> Rm .Also,<br />

AA T ⃗u i = AA T σ −1<br />

i<br />

j<br />

i<br />

σ 2 j ⃗v j = σ j<br />

σ i<br />

(<br />

⃗vi •⃗v j<br />

)<br />

= δij .<br />

A⃗v i = σi<br />

−1 AA T A⃗v i = σi −1 Aσi 2 ⃗v i = σi 2 ⃗u i.<br />

Now extend {⃗u i } k i=1 to an orthonormal basis for all of Rm ,{⃗u i } m i=1 and let<br />

U = [ ]<br />

⃗u 1 ··· ⃗u m<br />

while V =(⃗v 1 ···⃗v n ). Thus U is the matrix which has the ⃗u i as columns and V is def<strong>in</strong>ed as the matrix<br />

which has the⃗v i as columns. Then<br />

⎡<br />

⃗u T ⎤<br />

1.<br />

U T AV =<br />

⃗u T A[⃗v<br />

⎢ ⎥ 1 ···⃗v n ]<br />

⎣<br />

ḳ. ⎦<br />

j<br />

⎡<br />

=<br />

⎢<br />

⎣<br />

⃗u T 1.<br />

⃗u T ḳ.<br />

⃗u T m<br />

⎤<br />

⃗u T m<br />

[ σ1 ⃗u<br />

⎥ 1 ··· σ k ⃗u k<br />

⃗0 ··· ⃗0 ] [ ] σ 0<br />

=<br />

0 0<br />

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

Saved successfully!

Ooh no, something went wrong!