A real square matrix is orthogonal when , equivalently when its columns form an orthonormal basis. Taking determinants gives , so
In 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 . Thus
Taking 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) gives
The bound comes from the maximum allowed column lengths, together with Hadamard's inequality.

Articles by others on the same topic (0)

There are currently no matching articles.