Ковариантность и контравариантность (математика)
Если в линейном пространстве введено скалярное произведение formula_48 — билинейная форма (или в тензорной терминологии — "дважды ковариантный тензор"), обладающая свойствами симметричности и невырожденности, то такие пространства (конечномерные) называют "евклидовыми" (при условии положительной определённости соответствующей квадратичной формы formula_49) или "псевдоевклидовым" (без ограничения знака квадратичной формы). Соответствующий этой билинейной форме тензор называют "метрическим тензором". Компоненты этого тензора в данном базисе formula_50. Если этот базис ортонормированный (такой базис всегда существует в (псевдо)евклидовом пространстве), то матрица компонент является диагональной. На диагонали в случае евклидового пространства — единицы (единичная матрица). В случае псевдоевклидового пространства на диагонали кроме единиц имеются также и «минус-единицы». В общем случае, однако, базисы могут быть не ортогональными, поэтому метрический тензор может быть представлен и недиагональной матрицей (тем не менее в «плоском» пространстве всегда существует преобразование базиса, которое приводит его к диагональному виду).
Алгоритм динамической трансформации временной шкалы
Измерение расстояния между двумя временными рядами нужно для того, чтобы определить их подобие и классификацию. Таким эффективным измерением является евклидова метрика. Для двух временных последовательностей это просто сумма квадратов расстояний от каждой n-ой точки одной последовательности до n-ой точки другой. Однако использование евклидова расстояния имеет существенный недостаток: если два временных ряда одинаковы, но один из них незначительно смещен во времени (вдоль оси времени), то евклидова метрика может посчитать, что ряды отличаются друг от друга. DTW-алгоритм был введён для того, чтобы преодолеть этот недостаток и предоставить наглядное измерение расстояния между рядами, не обращая внимание как на глобальные, так и на локальные сдвиги на временной шкале.