В линейной алгебре ковариантный вектор на векторном пространстве — это то же самое, что и линейная форма (линейный функционал) на этом пространстве.
В дифференциальной геометрии ковариантный вектор на дифференцируемом многообразии — это гладкое сечение кокасательного расслоения. Эквивалентно, ковариантный вектор на многообразии M — это гладкое отображение тотального пространства касательного расслоения M в R, ограничение которого на каждый слой — это линейный функционал на касательном пространстве. Это запишется так:
Далее подразумевается, что на пространстве, в котором существуют описанные объекты (или на многообразии, в касательном пространстве которого они существуют), задана невырожденная метрика.
Если определён невырожденный метрический тензор, то формально «ковариантный вектор» и «контравариантный вектор» можно считать просто разными представлениями (записями в виде набора чисел) одного и того же геометрического объекта — обычного вектора. То есть один и тот же вектор может быть записан как ковариантный (то есть через набор ковариантных координат) или контравариантный (то есть через набор контравариантных координат). Преобразование одного представления в другое осуществляется просто свёрткой с метрическим тензором: