Inner product space

Orthonormal set

Let be an inner product space. A set is said to be orthonormal iff its vectors are mutually orthogonal and have norm 1, #m/def/linalg i.e. for any

#state/tidy| #lang/en | #SemBr