What is the concept of Dual Spaces and how do they relate to vector spaces?

[piareround]

So I asked this question about Rigged Hilbert Space
https://www.physicsforums.com/showthread.php?t=435123

And one of the problem I have understand Rigged Hilbert Space is that it involves taking the dual of a particular dense subspace of Hilbert Space and I of course have no clue what the dual or http://en.wikipedia.org/wiki/Dual_space" is. Even though I have a very amateur understanding abstract vector space, I get really confused about what exactly Dual Space is and what articles like wikipedia mean when they talk about concepts like bilinear mapping or a natural isomorphism in reference to dual space.

So, could anyone provide a general introduction to what Dual Spaces are and how they work?

 

[arkajad]

When you have a finite-dimensional vector space V (in quantum mechanics they are, as a rule, complex spaces), then the space of all linear complex valued functions (linear functionals) on V is of the same dimension as V. It is called the dual of V. But when V is infinite dimensional, then you may want your functionals to be continuous in some topology. This way you get the topological dual. The weaker continuity conditions you impose on your functionals (always linear), the more functionals are included in the dual.

In QM we take for V some dense vector subspace of the Hilbert space H, impose some appropriate topology, and then build the dual V*. Normally we get natural embeddings:

[tex]V\subset H\subset V^*[/tex]

This is how Gelfand's triples come into live. You "momentum eigenstates" can be then considered as vectors in V*. But V* is no longer a Hilbert space. Therefore scalar products between momentum eigenstates are not defined as finite "numbers".

 

[n!kofeyn]

if you have a vector space [itex]V[/itex], then the dual space [itex]V^*[/itex] is just the set of all real-valued linear functions on [itex]V[/itex] (commonly called linear functionals). This set is a vector space itself, and they mention isomorphisms because it has the same dimension as the original vector space [itex]V[/itex], which for finite-dimensional vector spaces makes them isomorphic.

so, the dual space is just all the functions that take a vector in your vector space as input and then return a number.