Source: http://colinscosmos.com/wiki/covariant-and-contravariant/
Timestamp: 2019-04-22 08:59:31+00:00

Document:
What is the difference between “contravariant” and “covariant” tensors, and why do they transform differently under a change of coordinates? When first learning this material I could apply the formulae but was very confused by what the concepts intuitively meant, and could not discern the difference between the esoteric paths termed “covariant” and “contravariant”.
The purpose of this article is pedagogical, and students often find the concept “tensor” itself confusing and intimidating, so we clarify it first. I assume the reader already has basic familiarity with tensors, so examples of what is and is not a tensor, to aid conceptual clarity.
A tensor is a geometric object. This is a more physical requirement/interpretation.
For example the temperature at each location in a room is a scalar (field), a specific case of tensor. The temperature at a point is independent of the coordinates used.
Tensor components transform linearly under a change of coordinates.
Tensors are linear. The mathematical definition is: a linear functional from vectors (in the tangent space at a point) to reals: , or on the dual space: , or multiple copies of these.
Dual vectors are tensors. A familiar example of a dual vector is a gradient. Imagine the temperature distribution mentioned above (Collier §5.3.4.1). Given its (spatial) gradient, supply a vector and it tells you the total temperature change in the direction of that vector. In other words, gradient sends vectors to real numbers. But that’s what a dual vector does!
Pseudotensors are not tensors. Like all our nonexamples, they (inescapably) rely on the choice of coordinate system. Some are tensors up to an orientation determined by coordinates. More generally, physical quantities have been derived from them, e.g. Einstein used a pseudotensor for the energy of the gravitational field to make successful predictions about gravitational waves, however this was seen as a bit dubious.
Incidentally the terminology “contravariant”‘, “covariant”, and “mixed” for tensors is from Ricci. The term “tensor” is from Einstein and Grossmann (Rosenfeld 1988, §8).
Briefly, a “contravariant” tensor transforms oppositely to a “covariant” tensor, meaning their components transform inversely under a change of basis. A “contravariant” tensor has components written with raised indices, for example a 4-velocity , whereas the components of a “covariant” tensor are written with lowered indices, for example a metric . There are also tensors with “mixed” indices, for example the Riemann tensor is often given as . We will get to more precise definitions soon. But for now, note this “contravariant” and “covariant” terminology is old-fashioned (Schutz §3.3 p.60). It is better to refer to “raised” and “lowered” indices (or “upstairs” and “downstairs” as in Misner, Thorne & Wheeler 1973, §3.2) or more generally “a tensor of type (1,3)” in the example of the Riemann tensor above. From now on, I assume a single index only. In this case, a tensor with single raised index is termed a vector, and lowered index a dual vector, 1-form, or possibly covector.
We can raise and lower indices by and . This was the source of my confusion, because it seemed that one object could transform in two different ways, depending on whether it was written or . It seemed “covariant” and “contravariant” transformations were very different concepts. But the resolution is simply that and correspond to different objects, a dual vector and vector respectively. Yes, confusingly, both a vector and its dual would usually be written as ‘a’ in index-free notation. This is because there is a natural correspondence between them, given a metric (see the raising and lowering formulae above). The notation is convenient, but you just have to avoid the misconception. In index-free notation, Schutz (§3.3) chooses a notation for a dual vector, and for a vector, however this is not a standard convention, and in relativity the “→” might imply a 3-dimensional spatial vector specifically. One option is to simply write in words “...the dual vector a...”.
Some mathematical definitions are overdue [although these really belong elsewhere, and are only an abbreviated summary, not an introduction]. Recall that in curved geometry a vector exists only in the tangent space at a given point, and does not stretch from one point of the manifold to another as often conceived in flat space. So a vector is an element of the tangent space. A dual vector maps vectors to the real numbers , in other words, it is a linear functional on the tangent space. Alternatively, we can think of a vector as mapping dual vectors to (see Schutz §3.6 on “Circular reasoning?”). Recall that for a given coordinate system , the coordinate basis vectors are denoted , and the dual coordinate basis vectors , with the property .
One final clarification, the modern consensus seems to be that the term “covariant” has the broader meaning of any quantity which transforms as a tensor, meaning it transforms appropriately with a coordinate change. Hence we would say both vectors and dual vectors, as well as all other tensors, are covariant! Like anything, the meaning should be clear from the context.
In place of “contravariant”, say raised indices, a tensor of type , or a vector (in the case of a one-dimensional tensor). In place of “covariant”, say lowered indices, a tensor of type , or a dual vector / covector / 1-form.
The raising or lowering of indices, for instance , corresponds to different tensors. They are usually written with the same variable (here ‘a’) because the metric determines a natural correspondence between them.
There is only one type of transformation, given a specific type of tensor. (Yes, maybe one could count a transformation and its inverse as two types… but I express it this way to combat my earlier misconception, see above).
Use “covariant” to express that a quantity is a tensor, meaning it transforms appropriately under a change of coordinates. This is independent of whether its indices are raised, lowered, or mixed.
Usage is different, particularly in older sources, but the meaning should be clear from the context.
Update: From a further survey of textbooks, it is evident the terminology Schutz criticises is very widespread. For instance, a leading mathematical reference on differential geometry (O’Neill 1983, p.37) does use this language, though more recent books are worth checking.
Addendum on raising and lowering indices: when the tensors are not symmetric you need to be careful of index positions. For example given a tensor , lowering either the first or second indices gives different (1,2)-tensors and (Schutz §3.7).
I have drawn heavily on the relativity textbook Schutz , which is introductory but known for its precision and clear explanation. The author “stresses the geometrical nature of tensors rather than the transformation properties of their components” (§3.9, see also sources recommended there). Many other sources would contain similar material. Note Schutz §3 concerns special relativity only, but just replace with , the Lorentz boost by an arbitrary coordinate transformation, etc.
This topic applies to geometry generally, not just relativity in particular. So try also books on differential geometry, or field theory (such as electromagnetism) for instance, and let me know of any helpful ones.

References: §5
 §8
 §3
 §3
 §3
 §3
 §3