Construct the matrix of a linear map by expressing the images of the basis vectors in that same basis:Thus the th column is . For , linearity givesThe column is a coordinate vector; reconstructing the actual vector requires . This distinguishes the linear map from its basis-dependent matrix.
By the given matrix similarity, for an invertible . HenceThe characteristic polynomials are identical. Therefore the characteristic equations and eigenvalues, including algebraic multiplicities, agree. The conclusion is independent of the choice between and conventions.
Rescaling the first basis vector gives the change-of-basis matrix , invertible because . Direct multiplication givesThus the matrices are related by matrix similarity. In terms of basis images, the coefficient along the rescaled first basis vector is divided by , while the second component of its image is multiplied by .
Let the repeated eigenvalue be , and choose an eigenvector . Complete it to a basis of . In this basis the matrix is an upper triangular matrix, with first column , say . Its characteristic polynomial is . By part (a)(ii), this must equal , so .
If , the matrix is already . If , rescale the first basis vector by and apply part (a)(iii); the upper-right entry becomes one. ThusThe second possibility is a size-two Jordan block. It has only one independent eigenvector, whereas has a two-dimensional eigenspace, so the two types cannot be related by matrix similarity. This repeated-eigenvalue classification in dimension two proves the required result without assuming the general Jordan normal form theorem.
Use the orthonormal right-handed basisDirect multiplication gives , and . Thus the matrix in this basis isThe last two columns are orthogonal and both have squared norm . Therefore is an orthogonal matrix precisely when , giving the unique positive valueIts determinant is , so it is a proper rotation matrix, not a reflection. The transverse block has cosine and sine both . ConsequentlyWith the oriented axis , the angle is positive by the right-hand rule, since . The axis also follows from the unit-eigenvalue eigenspace. As a check, .
Articles by others on the same topic
There are currently no matching articles.