For a nonzero real vector , the Rayleigh quotient of the matrix is
The Rayleigh quotient iteration starts from a unit vector . Given , compute the shift
solve the linear system
and normalize in the Euclidean norm:
The next eigenvalue estimate is . The process stops when the eigenpair residual is sufficiently small.
Since , it suffices to map the two edge vectors. Let the columns of the required matrix be . The condition gives
The condition then gives
and hence
These are orthonormal. Taking produces the orthogonal matrix
Its columns are orthonormal, and direct substitution verifies , , and .
The matrix trace is
Using matrix multiplication and interchanging dummy indices,
The proposed noncyclic interchange is false. With matrix units,
one has
Trace is invariant under cyclic permutations, but an arbitrary swap need not be cyclic.
Write the complex similarity matrix as
with real. From we obtain , and equating real and imaginary parts gives
Therefore
for every real .
Now is a real polynomial and
Thus some real has . Taking , we have a real invertible matrix satisfying , or
This proves real similarity from complex similarity.
Eigenvectors belonging to distinct eigenvalues are linearly independent. Indeed, suppose
is a shortest nontrivial relation, where and the are distinct. Applying gives
a shorter nontrivial relation, a contradiction.
Thus distinct eigenvalues provide a basis of eigenvectors, proving that is diagonalizable over . If is real and all its eigenvalues are real, each real singular matrix has a nonzero real null vector. Choosing one for each eigenvalue gives a real eigenbasis. Hence the real matrix is diagonalizable over . This is the distinct eigenvalues imply diagonalizability criterion.
Suppose is diagonalized by a unitary matrix:
where is diagonal. Then
Since the diagonal matrices and commute,
Thus is a normal matrix.
A complex matrix is unitary matrix when
If with , unitarity preserves norms, so
Therefore every eigenvalue satisfies
Let
This permutation matrix is unitary. The actions
give
which is upper triangular.
Both sides are alternating in and in . If either triple repeats an index, both sides vanish. Otherwise each triple is a permutation of ; the determinant of the corresponding permutation matrix is exactly the product of the two permutation signs. Hence
There are nonzero components of , each equal to , so
The special orthogonal group is
If
its first column is a unit vector, say . The second column is the unique unit vector perpendicular to it that gives positive determinant, namely . Thus
so is rotation through about the origin.
For , its real characteristic polynomial of odd degree has a real eigenvalue. Every eigenvalue of an orthogonal matrix has modulus one, so every real eigenvalue is . Nonreal eigenvalues occur in conjugate pairs whose product is one, while ; if all eigenvalues are real, their product likewise forces at least one to be . Hence fixes a nonzero vector . The plane is -invariant, and the restriction to it is an orientation-preserving orthogonal map. By the result it is a planar rotation. Therefore is a rotation about the axis .
For , let be its permutation matrix and define the sign of a permutation by
Since ,
so this is a homomorphism. A transposition interchanges two columns of the identity matrix and therefore has determinant . If is expressed as a product of transpositions, then ; because the determinant depends only on , the parity of is independent of the chosen expression.
There are four main diagonals and the action is transitive, so the stabilizer of one has order
For the diagonal spanned by , the stabilizing signed permutation matrices are and with a permutation matrix. Hence
The action is not faithful: both and the central inversion fix every main diagonal setwise. In fact its kernel is exactly .
A Givens rotation is the identity except in rows and columns , where it has the block
For and , choose
when . Then
If both entries vanish, any angle works.
For the given matrix, first use
It gives
Then use
Thus is
All leading row entries are positive. The resulting QR decomposition by Givens rotations is
where
and is the matrix above. Since it is a product of transposed rotations, is orthogonal.
For a linear map , its rank is and its nullity is . The rank-nullity theorem states that, when is finite-dimensional,
To prove it, take a basis of and extend it to a basis
of . The vectors span . They are also linearly independent: if , then , and independence of the chosen basis forces every to vanish. Thus the rank is and the nullity is .
For the given subspace, row reduction of the coefficient matrix gives
Taking and therefore gives
Hence
is a basis of .