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

[ x(0)<br />

y(0)<br />

]<br />

=<br />

[ 2<br />

2<br />

]<br />

H<strong>in</strong>t: form the matrix exponential e At and then the solution is e At C where C is the <strong>in</strong>itial vector.<br />

7.4 Orthogonality<br />

7.4.1 Orthogonal Diagonalization<br />

We beg<strong>in</strong> this section by recall<strong>in</strong>g some important def<strong>in</strong>itions. Recall from Def<strong>in</strong>ition 4.122 that non-zero<br />

vectors are called orthogonal if their dot product equals 0. A set is orthonormal if it is orthogonal and each<br />

vector is a unit vector.<br />

An orthogonal matrix U, from Def<strong>in</strong>ition 4.129, is one <strong>in</strong> which UU T = I. In other words, the transpose<br />

of an orthogonal matrix is equal to its <strong>in</strong>verse. A key characteristic of orthogonal matrices, which will be<br />

essential <strong>in</strong> this section, is that the columns of an orthogonal matrix form an orthonormal set.<br />

We now recall another important def<strong>in</strong>ition.<br />

Def<strong>in</strong>ition 7.48: Symmetric and Skew Symmetric Matrices<br />

A real n × n matrix A, is symmetric if A T = A. If A = −A T , then A is called skew symmetric.<br />

Before prov<strong>in</strong>g an essential theorem, we first exam<strong>in</strong>e the follow<strong>in</strong>g lemma which will be used below.<br />

Lemma 7.49: The Dot Product<br />

Let A = [ ]<br />

a ij be a real symmetric n × n matrix, and let⃗x,⃗y ∈ R n .Then<br />

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

Proof. This result follows from the def<strong>in</strong>ition of the dot product together with properties of matrix multiplication,<br />

as follows:<br />

A⃗x •⃗y = ∑a kl x l y k<br />

k,l<br />

= ∑(a lk ) T x l y k<br />

k,l<br />

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

= ⃗x • A⃗y<br />

The last step follows from A T = A, s<strong>in</strong>ceA is symmetric.<br />

♠<br />

We can now prove that the eigenvalues of a real symmetric matrix are real numbers. Consider the<br />

follow<strong>in</strong>g important theorem.

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

Saved successfully!

Ooh no, something went wrong!