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

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

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

248 R n<br />

Theorem 4.150: Existence of M<strong>in</strong>imizers<br />

Let⃗y ∈ R m and let A be an m × n matrix.<br />

Choose⃗z ∈ W = im(A) given by⃗z = proj W (⃗y), andlet⃗x ∈ R n such that⃗z = A⃗x.<br />

Then<br />

1. ⃗y − A⃗x ∈ W ⊥<br />

2. ‖⃗y − A⃗x‖ < ‖⃗y −⃗u‖ for all ⃗u ≠⃗z ∈ W<br />

We note a simple but useful observation.<br />

Lemma 4.151: Transpose and Dot Product<br />

Let A be an m × n matrix. Then<br />

A⃗x •⃗y =⃗x • A T ⃗y<br />

Proof. This follows from the def<strong>in</strong>itions:<br />

A⃗x •⃗y = ∑<br />

i, j<br />

a ij x j y i = ∑x j a ji y i =⃗x • A T ⃗y<br />

i, j<br />

♠<br />

The next corollary gives the technique of least squares.<br />

Corollary 4.152: Least Squares and Normal Equation<br />

A specific value of⃗x which solves the problem of Theorem 4.150 is obta<strong>in</strong>ed by solv<strong>in</strong>g the equation<br />

A T A⃗x = A T ⃗y<br />

Furthermore, there always exists a solution to this system of equations.<br />

Proof. For ⃗x the m<strong>in</strong>imizer of Theorem 4.150, (⃗y − A⃗x) • A⃗u = 0forall⃗u ∈ R n and from Lemma 4.151,<br />

this is the same as say<strong>in</strong>g<br />

A T (⃗y − A⃗x) •⃗u = 0<br />

for all u ∈ R n . This implies<br />

A T ⃗y − A T A⃗x =⃗0.<br />

Therefore, there is a solution to the equation of this corollary, and it solves the m<strong>in</strong>imization problem of<br />

Theorem 4.150.<br />

♠<br />

Note that ⃗x might not be unique but A⃗x, the closest po<strong>in</strong>t of A(R n ) to ⃗y is unique as was shown <strong>in</strong> the<br />

above argument.<br />

Consider the follow<strong>in</strong>g example.

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

Saved successfully!

Ooh no, something went wrong!