Fix a shift that is not an eigenvalue of . Inverse iteration computes
and may use as the eigenvalue estimate.
For a real symmetric matrix, suppose that one eigenvalue is uniquely closest to and that has a nonzero component in its eigenspace. Since the iteration is the power method applied to , the normalized vectors converge, up to sign, to an eigenvector for . If is the second-closest eigenvalue to the shift, the asymptotic direction-error ratio is
Thus a shift close to the desired eigenvalue gives rapid convergence. The Rayleigh quotients converge to and, for a simple eigenvalue, their errors are of second order in the vector error. This is convergence of fixed-shift inverse iteration.
The Gershgorin circle theorem states that every eigenvalue of a complex matrix lies in at least one disk
To prove it, choose a nonzero eigenvector for and an index such that . The th component of gives
Taking absolute values and using yields
Division by proves the theorem.
Apply part (b) to the normal matrix . Since , one has
Thus is an eigenvector of with eigenvalue .
The Cayley-Hamilton theorem states that a square matrix satisfies its characteristic polynomial. If a matrix is diagonalisable, ; applying to the diagonal matrix gives zero and hence .
If , every eigenvalue satisfies , so all eigenvalues are zero and the characteristic polynomial is . Cayley--Hamilton then gives .
A real matrix is orthogonal when . If , norm preservation gives . If and , preservation of the Hermitian inner product gives ; distinct unit-modulus eigenvalues therefore have orthogonal eigenvectors.
The nonreal eigenvalues of a real matrix occur in conjugate pairs. Since their product is one and , the remaining real eigenvalue is . If , then , and , so : the plane is invariant.
The restriction to is a planar orthogonal map whose determinant is , hence a rotation through some . In an orthonormal basis adapted to ,
Therefore and
True. By Jordan normal form, the characteristic polynomial records the total size of the blocks for each eigenvalue, while the minimal polynomial records the largest block for each eigenvalue. In dimension three this determines every block partition: for algebraic multiplicity three the possibilities , , and have largest block sizes three, two, and one; multiplicities one and two are equally immediate. Thus the two matrices have the same Jordan form and are conjugate. This is the characteristic and minimal polynomials determine similarity in dimension three phenomenon.
False. At eigenvalue , algebraic multiplicity two and minimal-polynomial exponent two force one block . At eigenvalue , the blocks have total size five and largest size two, so there are only two possible partitions,
Hence there are exactly two conjugacy classes satisfying the given polynomial data, represented by
and
There cannot be three mutually non-conjugate examples.
True. Since is invertible, every eigenvalue is nonzero. If had a nontrivial Jordan block , then for the stated positive integer ,
would still have a nonzero nilpotent part and could not be diagonalizable. Therefore all Jordan blocks of have size one. This also proves diagonalizability inherited from an invertible power.
False. The real matrix
has the two distinct complex eigenvalues and , so it is diagonalizable over . It has no real eigenvalue and hence no real eigenbasis, so it is not diagonalizable over .
The spatial wavefunction is the position amplitude of a stationary quantum state, so is its probability density after normalization. The real function is the potential energy, is the energy eigenvalue, is the particle mass, and is the reduced Planck constant.
Taking the Laplace transform of the differential equation and using
gives
Hence
Whenever is not an eigenvalue of , the matrix is invertible, and thus
This is the Laplace-transform solution of a constant-coefficient vector ODE.
Set . The given homogeneous solution is , so the preceding formula says
for every initial vector . Equality on every vector gives the matrix identity
on the common domain of convergence and in particular away from the eigenvalues of . This is the Laplace transform of a matrix exponential.
Let and let generate the other factor of . For ,
After abelianization, the image of is therefore
If is not an eigenvalue of , then . Hence is a full-rank sublattice of with finite index of a subgroup . The displayed quotient, and therefore the image of the factor in , is finite. In fact the abelianization of a semidirect product by the integers gives
Take
Its eigenvalues are
Neither is a root of unity, so is not an eigenvalue of for any positive .
Let be a finite-index subgroup of , let , and project onto its factor. Then has finite index in , while the image of is for some . Choose projecting to . Every element of has a unique expression with , and conjugation by on is the restriction of . Thus
Because is not an eigenvalue of , part (b), applied to the finite-rank lattice , shows that the image of in is finite. The quotient by that finite image is generated by the image of , so is a finite extension of an infinite cyclic group. It is therefore a virtually cyclic group.
For a decision in the unit ball, conditional expectation under the posterior gives
The symmetric positive semidefinite matrix has a Rayleigh quotient maximized over by any unit eigenvector corresponding to its largest eigenvalue. Bayes decision rule therefore chooses any such eigenvector for the stated utility.
Write . By the definition of the kernel matrix,
and
The irrelevant positive factor gives exactly the stated constrained optimization.
Let , where is the largest eigenvalue and . The generalized Rayleigh quotient is maximized by
up to sign and addition of a vector in , which does not change . Repeated leading eigenvectors give further principal directions.