Covector

Un covector, es una función lineal desde un espacio vectorial hasta el campo de los escalares sobre el cual este espacio vectorial esta construido.

Es decir, si $V$ es un espacio vectorial sobre los reales entonces un mapa lineal $\phi:V\to\mathbb{R}$ es un covector.

Otros sinónimos usados en la literatura son:

• funcional lineal
• proyector
• 1-forma

Para el caso del espacio vectorial $\R^n$ se tiene que los gradientes de funciones escalares $f: \R^n \to \R$ determinan a covectores mediante la construcción llamada diferencial total.