# Rigorously speaking, what is a covector?

I'm beggining the study of tensor calculus (i don't know any differential geometry or topology) and i'm having a hard time trying to conciliate the "physicist" vision of a tensor as a "object that transforms like a tensor" with the mathematician vision of a tensor as multilinear map.

And from these two visions, i get two visions about one thing: the covector.

I've seen, in the "physicist POV" that a covector is actually a vector that transforms covariantly to a change of basis transformation. And i have also seen that the gradient, for example, is a covector. So, if i have any vector field that has a potential, then this vector field is in fact a gradient field, and so it is more like a "covector field".

And then there is the mathematician notion that a covector is a functional. I'm pretty shure I understand what is a functional, but i'm not able to relate this to the "physicist POV". For me, a functional $\phi$ is something that acts on an element of some vector space $V$ in the form $\phi: V \rightarrow \mathbb{K}$ where $\mathbb{K}$ is a field. But how can a gradient act on a vector? And how can a functional, geometrically speaking, "transform" when we rotate the axis, for example? This seems very confusing to me.

So to sum it up:

How to relate the notion of a covector based in his transformation properties and the fact that he is a functional?

Thanks.

• I suppose an element of the dual vector space? Dec 13, 2017 at 0:02
• It’s the same thing described from different points of view. With an appropriate choice of bases, linear functionals can be represented by row vectors, so that application of the functional is simply matrix multiplication. Viewed in that light, the different ways that vectors and covectors transform is itself a natural consequence of the definition of matrix multiplication.
– amd
Dec 13, 2017 at 0:30
• But how would a gradient, for example, act on a vector? I can see how a row vector can act on it. So i would just set the gradient as a covector and make it act as a functional? What if i have a contravariant vector and write it as row vector. Does that make him now a covariant vector? Dec 13, 2017 at 13:29

A covector is an element of the dual space $V^*$ to the relevant vector space $V$. That is, it is a linear function from $V$ to the underlying field of scalars, say, $S$.
So for example, if your vector space is $R^3$, your covector space is the set of all linear functions from $R^3$ to $R$.
Where confusion can arise is that, for finite-dimensional vector spaces with an inner product, there is a natural way to view covectors in $V^*$ just as vectors in $V$: every vector $v$ has a corresponding covector which is given by evaluating the inner product with $v$.