Orthonormal Matrices
If a matrix …
- is a tall matrix ( for ), then it has orthonormal columns if and only if
- is a wide matrix ( for ), then it has orthonormal rows if and only if
- is a square matrix (), then it is orthonormal if and only if
Intuition
Essentially, the above theorem may be translated into set orthonormality:
- A tall matrix has orthonormal columns its column vectors form an orthonormal set.
- A wide matrix has orthonormal rows its row vectors form an orthonormal set.
- A square matrix is orthonormal both its row and column vectors form orthonormal sets.
As such, the product of the matrix and its transpose is equal to the identity matrix since the pairwise dot product of its columns/rows is 0 when two different columns/rows are multiplied and 1 when the same column/row is multiplied. This leads to an identity matrix.
The last equality simply shows that both of the above hold, since .