[Math] Relationship between a vector space V and its dual space V*

vector-spaces

I am studying relativity, and as you know the theory extensively uses the notion of covariant and contravariant component of vectors.

My question is the following. Let say $\vec{x}$ is a vector which belongs to vector space V with basis vectors ${e}_{i}$. We know that $\vec{x}$ can be written as: ${x}^{i} {e}_{i}$. The same vector $\vec{x}$ can be written in terms of the basis vectors ${e}^{i}$ of the dual space V* as: ${x}_{i} {e}^{i}$, why is this true? Isn't ${e}^{i}$ a basis set for the dual space V* and not the vector space V? How can the same vector belong to both the vector space V and its dual V*? How can $\vec{x}$ which belongs to V be written in terms of the basis vectors of another vector space V*?

The Wikipedia article on Covariant transformation says that:

…so the dual space has the same dimension as the linear space
itself. It is "almost the same space", except that the elements of the
dual space (called dual vectors) transform covariantly and the
elements of the tangent vector space transform contravariantly.

What does "almost the same" mean?

Best Answer

Let $V$ be an $n$-dimensional vector space over your favourite field with basis $e_1,\dotsc,e_n$ und $V^*$ its dual space with dual basis $e^1,\dotsc,e^n$.

Strictly speaking the vector spaces $V$ and $V^*$ do not have any vectors in common. But what is meant by “almost the same” is that there is an isomorphism of vector spaces $\varphi\colon V\rightarrow V^*$ defined by $\varphi(e_i) =e^i$ for $i=1,\dotsc,n$ (and extending by linearity). Under this isomorphism $x = \sum_{i=1}^n x^ie_i$ is mapped to $\varphi(x) = \sum_{i=1}^nx^i\varphi(e_i) = \sum_{i=1}^n x^ie^i$. So in your notation you have $x_i = x^i$ for the coefficients $x_i$ of $\varphi(x)$ with respect to the basis $e^1,\dotsc,e^n$.

Under the isomorphism $\varphi$ you identify $x$ and $\varphi(x)$ with each other, although they are not the same, as they live in different vector spaces.

Beware that the isomorphism $\varphi\colon V\rightarrow V^*$ depends heavily on your chosen basis $e_1,\dotsc,e_n$ of $V$. This means that without a basis of $V$ you cannot (easily) identify $V$ with its dual space $V^*$.

Related Question