Скалярное произведение в ортонормированном базисе

Дан ортонормированный базис e1, e2, …, en евклидова пространства V. Поскольку (ei, ej) = 0 при ij и (ei, ei) = 1, то

(x, y) = (ei, ej) = x1y1 + x2y2 + … + xnyn.

Вывод: скалярное произведение векторов в ортонормированном базисе равно сумме произведений соответствующих координат.