Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm starting to learn some of the basics of covariant and contravariant vectors.

I'm a little confused about the difference between a covariant and a contravariant basis vector. I know that the vector components transform using the metric tensor: $V^i = M^{ij} V_j$. How do I transform between the covariant basis vectors and contravariant basis vectors?

share|improve this question
    
What is the background of your question? Unless I am missing something, this doesn't seem to be standard math notation, but rather some physics convention. –  Simon Markett May 16 '13 at 9:34
    
Yes, this is Einstein summation notation. The OP should be aware that notation and conventions differ here between mathematics and physics; the physics convention may be somewhat more convenient for computations but IMO physicists don't do a good job of explaining tensors. –  Qiaochu Yuan May 16 '13 at 22:48
    
Also I seem to recall that the standard convention for what gets called covariant and what gets called contravariant is "wrong" here (it doesn't agree with how the terms are used in category theory). So that's annoying too. –  Qiaochu Yuan May 16 '13 at 22:52

1 Answer 1

Covariant and contravariant bases are dual to one another and are physics nomenclature for constructs that arise in differential geometry. The problem here is that physicists often need to use differential geometry (for example, for relativity) long before they have seen a proper course on differential geometry.

I will try to provide you with an extremely quick view of what contra/covariant bases are, and how you move between them.

First, let $M$ be a smooth manifold. For our purposes, the most important part of being a smooth manifold is the Local Euclidean property, which says that for each point $p \in M$ there are open neighbourhoods $U \subseteq M, \tilde U \subseteq \mathbb R^n$ and a homeomorphism $\phi: U \to \mathbb R^n$ for some $n$; that is, if we look closely at the manifold, it just looks like $\mathbb R^n$. If we denote $\phi$ component-wise as $\phi = (x^1,\ldots,x^n)$ then we can describe points $q \in U \subseteq M$ in terms of $(x^1(q),\ldots,x^n(q))$ in $\mathbb R^n$.

The next step is to consider the tangent space to $M$ at the point $p$, denoted by $T_pM$. There are quite a few ways of defining this guy, my favourite being as derivations on $M$ through $p$, but for intuition-sake, think of $T_pM$ as the collection of all vectors through $p$ which are tangent to $M$. This is a vector space, and so has a dual space $T_p^*M$ called the cotangent space.

The coordinates $(x^1,\ldots,x^n)$ we defined at $p$ induce a basis on the tangent space, and that basis is typically written as $ \left\{ \left.\frac{\partial}{\partial x^1}\right|_p, \ldots, \left.\frac{\partial}{\partial x^1}\right|_p\right\}$, but for our purpose let's call it $\{ v_1,\ldots,v_n\}$. Similarly, there is an induced basis on the cotangent space (which turns out to be the dual basis), often denoted $\{dx^1,\ldots,dx^n\}$ but again, for our purposes, we will write $\{v^1,\ldots,v^n\}$.

These are your covariant and contravariant bases, respectively. But you are now likely confused as covariant vectors have subscripts and contravariant vectors have superscripts. This is because the Einstein summation convention says that that an arbitrary vector $v= \sum_{i=1}^n a_i v^i$ should be written by omitting the summation sign, so that $v = a_iv^i$. But the $v^i$ are in a sense assumed to be given, so the physicists shorten it further and just write $v = a_i$, and now you get the subscripts that you wanted. The same argument works for contravariant vectors.

The next question is how to move between them. A priori, there is no reason to suspect this should even be possible: They live in completely different spaces! However, we can define a Riemannian metric on $M$ which, intuitively speaking, is an non-degenerate inner product on each tangent space. This is what the physicists call a metric (tensor). Non-degenerate inner products on finite dimensional vector spaces give a natural identification between the vector space and its dual. More precisely, if $\langle\cdot,\cdot\rangle: V \times V \to \mathbb R$ then we can define an isomorphism $V \to V^*$ by $v \mapsto \langle v, \cdot \rangle$ (You can actually more generally define what are called musical isomorphisms). In local coordinates, our inner product can be written (in Einstein convention) as $g^{ij}v_i \otimes v_j$ (or just $g^{ij}$ if we omit the vectors), and hence the isomorphism above corresponds to $$ v \mapsto \langle v, \cdot \rangle , \qquad a_i \mapsto g^{ij} a_i.$$ Again by laziness, we avoid carrying around the metric tensor and just write $a^j = g^{ij}a_i$, which is the concept of contraction (better known to mathematicians as the interior product).

You can of course move the other direction as well. In local coordinates, the metric tensor $g^{ij}$ looks like an invertible matrix. Let $g_{ij}$ be its inverse, in which case $a_j = g_{ij} a^i$.

It is definitely a lot to take in, but if you understand the rigorous mathematics behind these things, the physics actually becomes significantly easier.

share|improve this answer
    
+1, for the musical isomorphism link (at least) –  Nikos M. Oct 31 at 17:37

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.