Не трябва да се плашим!
Ако базисът е ортонормиран той съвпада със своя
спрегнат
r i = ri .
Тогава
Нека векторите
a и
b са представени чрез контравариантните си координати:
Използва се
символиката на Айнщайн.
Тук тя се използва още по-здраво.
Тогава ковариантните координати на векторното произведение са:
Например при k = 1 получаваме:
При i = 1 или j = 1 символите на Леви-Чивита необходимо са нули.
Нека координатите на ко-базисните вектори
ri в един ортонормран базис са
Да образуваме от тези стълбове една матрица и да я означим с R:
Тогава:
R/ . R = ( g ij ) = (ri. rj )
Но
g = det(g ij) = det(R/ . R) =
det2(R) = ( r1 r2 r3 )2 .
Нека R е матрицата от предната задача а
е матрицата със стълбове - координатите на векторите на спрегнатия базис -
R/ . S = I ,
което доказва твърдението.