Дисциплина: Линейная алгебра (1 курс; 2 семестр)

Ортонормированная система

это система ненулевых векторов евклидова пространства, любые два вектора которой ортогональны, и норма каждого вектора которой равна $1$. \[\] Формально, система векторов $x_1,\ldots,x_k\in E$ евклидова пространства $E$ ортонормированна, если \[ \forall i,j\in\{1,\ldots,k\}:\;(x_i,x_j) = \begin{cases} 0, & i\neq j, \\ 1, & i=j. \end{cases} \]