Тождество параллелограмма


В нормированном пространстве (V, ), для которого справедливо тождество параллелограмма, можно ввести скалярное произведение , порождающее эту норму, то есть такое что всех векторов пространства . Эта теорема приписывается Фреше, фон Нейману и Йордану[2][3]. Это можно сделать следующем способом:

Вышеуказанные формулы, выражающие скалярное произведение двух векторов в терминах нормы, называются поляризационным тождеством.

Очевидно, что норма, выраженная через любое скалярное произведение следующим образом , будет удовлетворять этому тождеству.

Если B — симметричная билинейная форма в векторном пространстве, а квадратичная форма Q выражена как