Definition ( orthonormal basis)
Given a vector space
with an inner product an orthonormal basis of is a basis satisfying the condition (ortho-) that all of its elements are orthogonal to each other, and (-normal) that all of its elements have length one (i.e. ).
In MAT224, we only consider the case of subspaces