Taking the conjugate transpose of and reverses the product order and gives
Thus 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 and
In 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 gives
The 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 is
The factors commute because they are rational functions of . Its conjugate transpose, using the unitarity , is
Thus 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 (0)

There are currently no matching articles.