Orthonormal sequence (source code)

= Orthonormal sequence

= Orthonormal system
{synonym}

An orthonormal sequence $(e_n)$ satisfies $\langle e_n,e_m\rangle=0$ for $n\ne m$ and $\lVert e_n\rVert=1$.

This is the sequential form of <orthonormality>.