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 413<br />

by the assumption that A is positive def<strong>in</strong>ite.<br />

♠<br />

There is yet another way to recognize whether a matrix is positive def<strong>in</strong>ite which is described <strong>in</strong> terms<br />

of these submatrices. We state the result, the proof of which can be found <strong>in</strong> more advanced texts.<br />

Theorem 7.77: Positive Matrix and Determ<strong>in</strong>ant of A k<br />

Let A be a symmetric matrix. Then A is positive def<strong>in</strong>ite if and only if det(A k ) is greater than 0 for<br />

every submatrix A k , k = 1,···,n.<br />

Proof. We prove this theorem by <strong>in</strong>duction on n. It is clearly true if n = 1. Suppose then that it is true for<br />

n−1wheren ≥ 2. S<strong>in</strong>ce det(A)=det(A n ) > 0, it follows that all the eigenvalues are nonzero. We need to<br />

show that they are all positive. Suppose not. Then there is some even number of them which are negative,<br />

even because the product of all the eigenvalues is known to be positive, equal<strong>in</strong>g det(A). Picktwo,λ 1 and<br />

λ 2 and let A⃗u i = λ i ⃗u i where ⃗u i ≠⃗0 fori = 1,2 and ⃗u 1 •⃗u 2 = 0. Now if ⃗y = α 1 ⃗u 1 + α 2 ⃗u 2 is an element of<br />

span{⃗u 1 ,⃗u 2 }, then s<strong>in</strong>ce these are eigenvalues and ⃗u 1 •⃗u 2 = 0, a short computation shows<br />

(α 1 ⃗u 1 + α 2 ⃗u 2 ) T A(α 1 ⃗u 1 + α 2 ⃗u 2 )<br />

= |α 1 | 2 λ 1 ‖⃗u 1 ‖ 2 + |α 2 | 2 λ 2 ‖⃗u 2 ‖ 2 < 0.<br />

Now lett<strong>in</strong>g⃗x ∈ R n−1 , we can use the <strong>in</strong>duction hypothesis to write<br />

[ x<br />

T<br />

0 ] [ ] ⃗x<br />

A =⃗x T A<br />

0<br />

n−1 ⃗x > 0.<br />

Now the dimension of {⃗z ∈ R n : z n = 0} is n − 1 and the dimension of span{⃗u 1 ,⃗u 2 } = 2 and so there must<br />

be some nonzero⃗x ∈ R n which is <strong>in</strong> both of these subspaces of R n . However, the first computation would<br />

require that⃗x T A⃗x < 0 while the second would require that⃗x T A⃗x > 0. This contradiction shows that all the<br />

eigenvalues must be positive. This proves the if part of the theorem. The converse can also be shown to<br />

be correct, but it is the direction which was just shown which is of most <strong>in</strong>terest.<br />

♠<br />

Corollary 7.78: Symmetric and Negative Def<strong>in</strong>ite Matrix<br />

Let A be symmetric. Then A is negative def<strong>in</strong>ite if and only if<br />

(−1) k det(A k ) > 0<br />

for every k = 1,···,n.<br />

Proof. This is immediate from the above theorem when we notice, that A is negative def<strong>in</strong>ite if and only<br />

if −A is positive def<strong>in</strong>ite. Therefore, if det(−A k ) > 0forallk = 1,···,n, it follows that A is negative<br />

def<strong>in</strong>ite. However, det(−A k )=(−1) k det(A k ).<br />

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

Saved successfully!

Ooh no, something went wrong!