Paper 4, Section II, E
Let be a finite dimensional inner-product space over . What does it mean to say that an endomorphism of is self-adjoint? Prove that a self-adjoint endomorphism has real eigenvalues and may be diagonalised.
An endomorphism is called positive definite if it is self-adjoint and satisfies for all non-zero ; it is called negative definite if is positive definite. Characterise the property of being positive definite in terms of eigenvalues, and show that the sum of two positive definite endomorphisms is positive definite.
Show that a self-adjoint endomorphism has all eigenvalues in the interval if and only if is positive definite for all and negative definite for all .
Let be self-adjoint endomorphisms whose eigenvalues lie in the intervals and respectively. Show that all of the eigenvalues of lie in the interval .