The concept of a cotangent space is built upon the structures of a

manifold and an associated

tangent space, so it would be helpful to read related nodes first. The three-sentence version follows:

In a manifold M (an n-dimensional space), we want to be able to define "vectors" as we do in ordinary euclidean space. There are many ways to do so, and mathematically we categorize them with this object we call the tangent space of vectors at a point p in M, denoted T_{p}M, which is essentially the space of all vectors defined at p. This construction is useful because the tangent space is a manifold in itself.

Now, it is a mathematical fact of linear algebra that every vector space V is
naturally associated to a dual space, V*. For example, in the case of column vectors in euclidean space, the natural dual space is the space of row vectors. A more interesting example is in a hilbert space, where the linear space of bras < ψ | is associated with the dual space of kets | ψ >. The concept of a dual space is indeed covered with detail in its respective node, so we give a brief explanation before refining our attention to the special case of the dual of a tangent vector space T_{p}M, which is what we call the cotangent space, T_{p}*M.

In general, given any n-dimensional^{+} vector space V, we look at the space of all real-valued linear maps on V. This space of linear maps forms a vector space in its own right, which we call the dual space, V*. This would appear to be an extremely abstract space, but in fact, it is not very different from the space V itself. Think of V* as the evil twin of V. Its initial definition depends on V, but once the computational machinery is put in place, it is entirely possible to redefine V as the space of linear maps on V*, a la Freaky Friday.

A dual vector space is often defined by its basis. Given a set of basis vectors {**e**_{α}} of a vector space V, we define the dual space V* to be the vector space spanned by the basis vectors {**e***^{β}}, where each **e***^{β} is a linear map on the set of **e**_{α}'s. Specifically,

**e***^{β}[ **e**_{α} ] =
δ_{α}^{β}.

Where δ_{α}^{β} is simply the Kronecker delta, equal to one when the indices agree, and zero when they don't. This gives us a basis for linear maps, in that any linear map **ω**: V → R can be written as **ω** = ω_{β}**e***^{β}, where the ω_{β}'s are just real coefficients. Indeed, this is definitely a linear map on V, and it is fairly easy to show that any linear map on V can be written in this form. However, our time is best spent studying the special case where V = T_{p}M, V* = T_{p}*M.

As was described thoroughly in the tangent space node, T_{p}M is the space of directional derivative operators acting on functions defined on M. The basis for this space is the set of partial derivative operators {**e**_{α} = ∂/∂x^{α}}. We will now introduce the dual basis exactly as we did before, but using very suggestive notation: {**e**^{β} = "dx^{β} "}.

By our definition, dx^{β}[ ∂/∂x^{α} ] = δ_{α}^{β}.

Noting that any **v**_{p} in T_{p}M can be written **v**_{p} = v^{α} ∂/∂x^{α},

and any **ω**_{p} in T_{p}*M can be written **ω**_{p} = ω_{β}dx^{β}, we find a general formula for **ω** acting on **v**.

**ω**_{p}[ **v**_{p} ] = ω_{β}dx^{β}[ v^{α} ∂/∂x^{α} ] = ω_{β} v^{α} δ_{α}^{β} = ω_{α} v^{α}.

Dual vectors in T_{p}*M are known as one-forms. Notice that, although T_{p}M and T_{p}*M have the same size and essentially the same structure, there is no *natural* map between the two spaces^{++}. In other words, given an arbitrary vector **v**_{p}, there is no natural way to associate it with a unique one-form, **ω**_{p}. We could try identifying them component-wise, via v^{α} ↔ ω_{α}, but the components aren't fundamental; they change under coordinate transformations. It is possible to choose some particular identification between vectors and one-forms, and this additional structure is known as a metric. The bottom line is, you need to input some additional information before you can directly compare vectors and one-forms.

Now, we could just stop here, having defined T_{p}*M via the dual space, {dx^{β}}. However, the notation "dx^{β} " seems to cry out for some motivation. We've seen this notation before in calculus. To see the relationship, consider the following:

Given a function f: M → R, define a special element of T_{p}*M. Call it **ω**_{f}. Define **ω**_{f} by the following:

**ω**_{f} = (∂f/∂x^{β}) dx^{β}. In other words, the coefficients ω_{β} = ∂f/∂x^{β}.

Now, let's see what happens if we act with **ω**_{f} on a vector **v**_{p} in T_{p}M:

**ω**_{f}[ v^{α}∂/∂x^{α} ] = (∂f/∂x^{β}) v^{β} = **v**_{p}(f).

**ω**_{f}[ **v** ] is the directional derivative of f in the direction of **v**. It exactly gives us the same result we would get if we acted on f with **v** as a directional derivative.

We give **ω**_{f} a new name: **ω**_{f} = **df** = (∂f/∂x^{β}) dx^{β}.

Now, **df**[ **v** ] = **v**(f) is the directional derivative of f in the v-direction.

Now, we can see that our notation for "**df**" connects with our notation for "dx^{β} ". We have used boldface to distinguish them thus far, but soon that will not be necessary. As a special case, let f be the coordinate function f = x^{β}. Then,

**df** = **d**(x^{β}) = (∂x^{β}/∂x^{α}) dx^{α}, where "dx^{α} " is still our dual vector notation.

Now, ∂x^{β}/∂x^{α} = δ_{α}^{β} is just our friendly Kronecker Delta again, which is fairly easy to see, since our coordinates are independent of each other. Therefore, we have the relation

**d**(x^{β}) = dx^{β}. Our notation is consistent.

So, in a fairly unorthodox manner, the notation has lead us to a map **d** from functions into forms. **d** is known as the exterior derivative.

You might ask, "What about our notion of dx as a small change in x?" Well, one day, you're going to have to throw that picture out of the window, because the notation "dx" does not actually mean a small change in x. "dx" isn't even really a number. It's a linear map from vectors to numbers. It can act on small vectors to produce small numbers, but it isn't a small number in itself; it's not even an element of R. It's an element of T_{p}*M. So what does it really mean when we see "dx" in an integral? That is a question for another node.

^{+}In this writeup, we work with finite-dimensional vector spaces. Infinite-dimensional dual spaces are very interesting (like the example of bras and kets in hilbert space), but not applicable to the study of tangent spaces of n-dimensional manifolds.
^{++}As unperson put it, there are an infinite number of ways to connect the two spaces, but we have to choose one. That is what I mean when I say that there is no "natural" choice.