Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2016/digital-systems-linear-algebra-introduction-to-formal-proof-resit/4/c/solution

In the column convention used for QR factorization, an real matrix has orthonormal columns when . This says that each column has unit norm and distinct columns have zero inner product. If is square, then provides a left inverse; a square matrix with a left inverse is invertible, so , and also . Such a square matrix is an orthogonal matrix. A rectangular matrix with orthonormal columns generally has no two-sided inverse.

New to topics? Read the docs here!