Неравенство Коши-Буняковского

Лемма (неравенство Коши-Буняковского). Для всех справедливо

Можно считать, что Легко проверить, что оба слагаемых в правой части тождества ортогональны. В силу равенства Пифагора тогда

Пусть − предгильбертово пространство. Векторы называются ортогональными, если