13
$\begingroup$

Suppose $V$ is a real vector space.

Then $V^*$, its dual space, is the vector space of linear maps $V\to \mathbb R$

How then do I interpret $(V^*)^*$, the dual space of the dual space?

$\endgroup$
7
  • $\begingroup$ Yes, it is the dual space of the dual space. Why is that a problem? $\endgroup$
    – wj32
    Jun 11, 2013 at 10:53
  • 7
    $\begingroup$ It's the space of linear maps $V^* \to \mathbb R$. $\endgroup$ Jun 11, 2013 at 10:58
  • $\begingroup$ @nik: Thanks, nik, So they are linear maps of linear maps? I just find it a bit difficult to get my head around... $\endgroup$ Jun 11, 2013 at 11:00
  • 6
    $\begingroup$ @DrStrangelove They are linear maps having a linear map as an input and giving a real number as an output. It is quite difficult to get ones head around at first. It was the same for me. You'll get used to it. $\endgroup$ Jun 11, 2013 at 11:06
  • 4
    $\begingroup$ Luckily, if $V$ is finite dimensional, $(V^*)^*$ is naturally isomorphic to $V$; you can think of $v\in V$ as a map $V^*\to\mathbb{R}$ by $v:f\mapsto f(v)$, and it turns out all linear maps $V^*\to\mathbb{R}$ are of this form. $\endgroup$
    – mdp
    Jun 11, 2013 at 11:07

1 Answer 1

17
$\begingroup$

The space of linear maps $\ell : V \rightarrow \mathbb{R}$ is itself a vector space, with pointwise addition and scalar multiplication of functions. Thus, $(V^*)^*$ is the dual of this vector space.

There is a canonical linear transformation $\xi : V \rightarrow (V^*)^*$ defined by $\xi(v) = \xi_v$, where $\xi_v : V^* \rightarrow \mathbb{R}$ is the linear map given by $\xi_v(\ell) = \ell(v)$. The map $\xi$ is injective, so when $V$ is a finite dimensional vector space, the map $\xi$ is a (canonical) isomorphism $V \cong (V^*)^*$. However, $\xi$ is not necessarily an isomorphism if $V$ is infinite dimensional.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .