Taking the conjugate transpose of and reverses the product order and givesThus is the two-sided matrix inverse of , proving
Since is Skew-Hermitian, is a Hermitian matrix. The spectral theorem gives a unitary matrix with and real eigenvalues . Hence andIn particular the determinant is nonzero, so is invertible. Applying the same argument to proves that is also invertible. Equality holds precisely when all , equivalently .
Using part (i) and in the Cayley transform with argument givesThe factors commute because and are polynomials in the same matrix, and an invertible commuting matrix also commutes with the other factor's matrix inverse. Both inverses exist by part (ii). Thus is unitary.
Multiplying the defining equation on the right by gives . Consequently the only possible answer isThe factors commute because they are rational functions of . Its conjugate transpose, using the unitarity , isThus is Skew-Hermitian. Moreover and , so substitution recovers and establishes existence as well as uniqueness. The unitary matrix is a counterexample to invertibility of ; more generally the obstruction is an eigenvalue .
Articles by others on the same topic
There are currently no matching articles.