Посмотрите третий пункт в
этом перечислении.
-- Вт июл 03, 2018 07:22:12 --Этому можно придать инвариантный вид, но без скалярного произведения никак, потому что если

, то

, и для их композиции требуется некое линейное отображение

. Если взять порождаемое скалярным произведением на

отображение опускания индекса

, всё сойдётся:

Симметричность и, далее, положительная определённость

влекут то же для

независимо от свойств

— это прозрачно в индексной записи. Интересующее же вас утверждение — то, что для любых

и

найдётся

, чтобы выполнялось равенство — вы можете показать по аналогии с изложенным по ссылке.