1.3 Bases orthonormées

Une base \(B=\left(\overrightarrow{e}_{1},...,\overrightarrow{e}_{n}\right)\) est dite orthonormée si, \(\forall i,j\in\left[1,n\right]\):
\[\boxed{\overrightarrow{e}_{i}.\overrightarrow{e}_{j}=\delta_{i}^{j}}\]
où \(\delta_{i}^{j}\) est le symbole de Kronecker:
\[\left\{ \begin{array}{lcc}\delta_{i}^{j}=0 & \textrm{si} & i\neq j\\\delta_{i}^{j}=1 & \textrm{si} & i=j\end{array}\right.\]
Autrement dit, les vecteurs \(\overrightarrow{e}_{i}\) et \(\overrightarrow{e}_{j}\) sont normés et orthogonaux entre eux pour \(i\neq j\).