Exercise 7.B.14

Answers

Proof. Suppose U has a basis e1,,en consisting of eigenvectors of T. We can assume without loss of generality that this list is normalized (we can divide each vector by its norm if it isn’t). Define , : U × U by

a1e1 + + anen,b1e1 + + bnen = a1b1 + + anbn.

Since every vector in U can be uniquely written as linear combination of e1,,en, this function is well defined. Moreover, one easily checks that this function is an inner product. Note that

ej,ek = 0e1++1ej++0en,0e1++1ek++0en = { 1, if j = k 0,  if  j k .

Therefore e1,,en is also orthonormal. The Real Spectral Theorem (7.29) now implies that T is self-adjoint.

The converse follows directly from 7.29. □

User profile picture
2017-10-06 00:00
Comments