In linear algebra, we say that vectors are orthogonal if their dot product is equal to 0.
If we say that a set is orthonormal if all the vectors in the set are mutually orthogonal and have a norm of 1. We similarly define an orthonormal basis of a subspace of is an orthonormal set that is a basis of .
Matrices
An orthogonal matrix is if for all and if and only if form an orthonormal basis for . This happens when the columns of are orthonormal.
Additionally, it is orthogonal if and only if for all , and if and only if or equivalently if .
Note also:
Theorems
The possible real eigenvalues of an orthogonal matrix are 1 and -1.