A real square matrix is orthogonal when , equivalently when its columns form an orthonormal basis. Taking determinants gives , soIn particular it is invertible with inverse and preserves the Euclidean norm.
A QR decomposition is with orthogonal and upper triangular. One algorithm for computing it is Householder reflection reduction; a sequence of such reflections produces a QR factorization. The diagonal of may include zero when is singular, and no nonsingularity assumption is needed here.
Comparing the th columns of gives . ThusTaking nonnegative square roots proves . This is simply norm preservation by an orthogonal matrix.
Use a QR factorization, whose existence is supplied. Since and is triangular,Each diagonal entry is one component of its column, so . Multiplication yields Hadamard determinant inequality:The argument includes singular matrices, since a zero diagonal factor makes the determinant zero.
Every column has entries of magnitude at most one, so . Substituting in part (d) givesThe bound comes from the maximum allowed column lengths, together with Hadamard's inequality.
Articles by others on the same topic
There are currently no matching articles.