# What is a dual / cotangent space?

Dual spaces are home to bras in quantum mechanics; cotangent spaces are home to linear maps in the tensor formalism of general relativity. After taking courses in these two subjects, I've still never really understood the physical significance of these "dual spaces," or why they should need to exist. What is a dual / cotangent space? Could someone explain why they are necessary, and what their physical significance is?

-
This is one of those rare questions that isn't about a particular physical application of mathematics (i.e. a particular theory) but still arguably belongs here instead of on math.SE. – David Z Mar 23 '13 at 0:54
It's hard to motivate this concept sufficiently if you're always working with spaces that have a metric, since a metric always allows you to convert back and forth freely between vectors and their duals, and that can make the distinction seem pointless. Some possibly relevant discussion: physics.stackexchange.com/questions/62505/… – Ben Crowell Jul 1 '13 at 23:52

## 3 Answers

I'll try my best to explain to you what I've learned about this.

Well, as you probably know, the Dual Space of a Vector Space $V$ is the space of all linear functions on the space $V$. This is one abstract mathematical concept, however it can give to us very nice ways of representing things on physics. Think about it for a while: the dual space is composed by functions that given vectors gives us back numbers in a linear way, called linear functionals.

On the other hand, in the context of differential geometry, the dual space is where lives the objects called cotangent vectors. A function that assigns a linear functional at each point is a one-form, and they are very natural to integrate over paths. Indeed, remember that if $M$ is a smooth manifold (in other words, some general space which can be curved or not) for each point we can think of the set of all vectors. In symbols, if $p \in M$ is a point of this space, $T_pM$ is the set of all vectors on $p$. The dual space to $T_pM$ is the cotangent space $T^\ast_pM$ which is the vector space of linear functionals at $p$.

If then $x^i$ is the $i$-th coordinate assigned by some chart around $p$, the most natural basis for $T^\ast_pM$ is the set of differentials $\left\{dx^i\right\}$. So that we have any one-form $\omega(p) = \omega_i(p) dx^i$.

With all of this in mind, let's see how this allows us to better describe things in physics. Think of a force field, we usually think of forces as vectors because they need direction to be described, however, given a displacement a force gives us the work done to move some particle along the displacement. Well, displacements are really naturally vectors, so we can think of forces as linear functionals on vectors and force fields as one-forms. Think about it, a force field would be then $F(p)=F_i(p)dx^i$ and given a vector at $p$ we would have $F(p)(v)=F_i(p)v^i$ since $dx^i(v)=v^i$. It's obvious that this is giving the work.

Also, remember that I've said that it's natural to integrate one-forms over paths. Imagine $\gamma : I \subset \mathbb{R} \to M$ is path, then the work done moving a particle from the starting point to the end point would be:

$$W=\int_\gamma F$$

Which is very natural. So, we can think of forces as one-forms that given vectors gives us work. If we think on electric field for instance, then we could think of it as the one-form that given vectors gives us the change in electric potential. Also, one-forms are normally thought geometrically as $n-1$ surfaces in $n$-space whose value when integrated along a curve is the number of surfaces pierced. Think a little of how this relate to electric fields and potentials.

In other words: mathematically the element of the dual space is a linear functional and an assignment of one such function at each point is a one-form. This is just general and abstract. You should just think then: in which moments some object used to describe some phenomenon will be well described using such abstract entities? You find forces, fields and so on. After you see the power of those objects in different places you're going to understand that the "meaning" of a dual space really depends on what you're trying to describe.

I hope it helps you out!

-

I'd like to add something about dual spaces in relation to quantum mechanics since you mentioned "bras." You might ask why we ever need to consider dual spaces in quantum mechanics and how this relates to bras.

Recall that any pure (as opposed to mixed) state of a quantum system can be described by an element of a Hilbert space $\mathcal H$. In physics we commonly denote such elements with symbols like $|\psi\rangle$. Now, every Hilbert space, by definition, is equipped with an inner product. Let's use the notation $(\cdot, \cdot)$ for this inner product, so that the inner product of two kets $|\psi\rangle$ and $|\phi\rangle$ is denoted $$(|\psi\rangle, |\phi\rangle)$$ and is some complex number. The thing is, that this expression looks kind of unwieldy to us physicists, and we might as well abbreviate it in some way, so instead of writing this all the time, we define $$\langle \psi|\phi\rangle = (|\psi\rangle, |\phi\rangle)$$ Much cleaner isn't it? Ok, but how does this related to dual spaces and such? Well, suppose that given any ket $|\psi\rangle$, we were to define a function $B_{|\psi\rangle}$ on $\mathcal H$ by $$B_{|\psi\rangle}(|\phi\rangle) = \langle \psi|\phi\rangle$$ Notice that this function takes in an element of the Hilbert space, and outputs a complex number; the value of an inner product. Moreover, notice that by linearity of the inner product in its second slot, for $|\psi\rangle, |\phi_1\rangle, |\phi_2\rangle\in\mathcal H$, and for all $a_1,a_2\in\mathbb C$ we have \begin{align} B_{|\psi\rangle}(a_1|\phi_1\rangle + a_2|\phi_2\rangle) &= \Big(|\psi\rangle,a_1|\phi_1\rangle + a_2|\phi_2\rangle\Big) \\ &= a_1\langle\psi|\phi_1\rangle + a_2\langle\psi|\phi_2\rangle \\ &= a_1 B_{|\psi\rangle}(|\phi_1\rangle) +a_2 B_{|\psi\rangle}(|\phi_2\rangle) \end{align} In other words, for each $|\psi\rangle\in\mathcal H$, the function $B_{|\psi\rangle}$ constructed in this way is a dual vector.

Now in order to shorten the notation again, we simply make the definition $$B_{|\psi\rangle} = \langle\psi|$$ and we call this dual vector corresponding to $|\psi\rangle$ the bra of $|\psi\rangle$ since the definition of $B_{|\psi\rangle}$ allows us to write $$\langle{\psi|}(|\phi\rangle) = \langle \psi|\phi\rangle$$ in which case we see that acting on a ket with a bra gives a "braket" (where braket is just another way of saying inner product).

So we see that bras are in fact dual vectors! Why is this all necessary? Well, it's not actually. We could have simply done away with bras and kets altogether, which mathematicians do, and we could have written all expressions in quantum mechanics that we care about with no problems. In fact, Weinberg's quantum mechanics and quantum field theory texts don't use bra-ket notation, and as you can see for yourself, nothing breaks.

However, most physicists, myself included, feel that bra-ket notation is intuitive and computationally useful, and we can see from the discussion above that a natural way to formalize the notation is in terms of dual spaces and dual vectors, so that's why we introduce them in this context.

-
The clifford algebraic reprentations of, for example, the wavefunctions in the Pauli and Dirac algebra make me question whether viewing bras as dual vectors is really the right thing to do. We could see all wavefunctions as "spinors" (whether they are bras or kets) and as such, distinguishing between the two is rather artificial. – Muphrid Mar 23 '13 at 16:09
What precisely are you referring to when you say "wavefunctions in the Pauli and Dirac algebra?" I don't quite see in what sense all wavefunctions can be viewed as spinors. – joshphysics Mar 23 '13 at 17:26
Pauli and Dirac wavefunctions are spinors, and using clifford algebra representations of those spinors, the only difference between a "bra" and a "ket" is that one is a reversion of matrix products. Similarly, the Schrodinger equation can be derived by considering a spinor-based rotation on a 2d probability plane and looking at the time-evolution of that spinor in a Fourier decomposition. – Muphrid Mar 23 '13 at 17:49
@Hunter Firstly, never feel embarrassed to ask a question (easier said than done I know). I agree with everything you wrote except "implies that..." Notice that in bra-ket notation $|\psi\rangle$ is itself the vector and $\psi$ is just a label, so to take an inner product, it helps to have another notation like $(|\psi\rangle, |\phi\rangle)$. Then we define the symbol $\langle \psi|$ as the function $(\langle\psi|, \cdot):V\to\mathbb C$, so it is a dual vector. We can then notice that $\langle\psi\rangle(|\phi\rangle) = (|\psi\rangle, |\phi\rangle)$. – joshphysics Jun 5 '14 at 21:40
(contd.) Or, if we additionally define the notation $\langle\psi|\phi\rangle := (|\psi\rangle, |\phi\rangle)$, then we can also write $\langle\psi|(|\phi\rangle) = \langle\psi|\phi\rangle$ as I tried to make clear in the above answer, but perhaps wasn't. – joshphysics Jun 5 '14 at 21:41

It's difficult to figure out an answer to this fairly mathematical seeming question without reciting the wikipedia article which already explains what it is. If you have functions with an abelian group as codomain (e.g. numbers which can be added), then the function space inherits that propery and becomes an abelian group itself:

$\psi(v)=a,\ \phi(v)=b,\ \text{with}\ \ a+b=b+a,$

$(\psi+\phi)(v):=\psi(v)+\phi(v)\ \ \ \longrightarrow\ \ \ \psi+\phi=\phi+\psi.$

The dual space consists of linear functions from the vector space to numbers. The domain of these functions (the vector space) has stuff like bases and similar to the above argument, the dual space becomes a vector space itself. Beyond this sketch, I see not much point in explaining why dual spaces exist, mathematically.

If you describe something by some object, then you can consider functions on this object to other objects, mathematically. In model building of physics, you use mathematical structures, sometimes wild kinds of objects, but since experiment is about comparing things with each other, you always need to map these objects to numbers, eventually. Vectors are nice to work with, linear relations are among the simlest ones, and lengths and angles can be expressed via the dual space construction, the linear functionals of the vector space. I think from this stance, it's not surprising they pop up.

There are also nonlinear maps, determiniants or whatever. The total energy of the electric field $\vec E(x)$ is a number associated with a vector, but depends on it in a more complicated way.

-