M HYPE SPLASH
// news

How do I find a dual basis given the following basis?

By Andrew Adams
$\begingroup$

$V = \Bbb{R}^3$ and has basis $\mathcal{B} = \{\vec{e_1}-\vec{e_2},\vec{e_1}+\vec{e_2},\vec{e_3}\}$

How do I find the dual basis? This is not homework, but an example that I am struggling to grasp. This is a simple question, so I would really appreciate if you wouldn't skip any details no matter the triviality as there may be fundamental gaps in my understanding.

$\endgroup$ 1

3 Answers

$\begingroup$

Notice that the definition of a dual basis is that, given $\beta = \{v_1, ..., v_n\}$, its dual is $\beta^* = \{f_1, ..., f_n\}$ such that $f_i(v_j) = \delta_{ij}$.

Given $\beta = \{\vec{e_1}-\vec{e_2},\vec{e_1}+\vec{e_2},\vec{e_3}\}$, we want such a basis. Also, since we know that the $f_i$ are linear functionals, we have that $f_i(x_1, x_2, x_3) = ax_1 + bx_2 + cx_3$. As you probably know, if we define the behaviour of $f_i$ in terms of our basis, we completely determine the function. I'll do the first example, the requirements are:

$$f_1(e_1 - e_2) = a - b = 1$$ $$f_1(e_1 + e_2) = a + b = 0$$ $$f_1(e_3) = c = 0$$

Hence, $a = -b$, which implies that $-2b = 1$, hence $b = \frac{-1}{2}$, and $a = \frac{1}{2}$, while $c = 0$. Thus:

$$f_1(x_1, x_2, x_3) = \frac{1}{2} x_1 - \frac{1}{2} x_2$$

Which, as desired, satisfies all the constraints. Just repeat this process for the other $f_i$s and that will give you the dual basis!

$\endgroup$ 3 $\begingroup$

Let $P$ be the change of basis matrix from the canonical basis $\mathcal C$ to basis $\mathcal B$. It is the matrix of the identity map from $(V,\mathcal B)$ to $(V,\mathcal C)$, and $P^{-1}$ is the matrix of the identity map from $(V,\mathcal C)$ to $(V,\mathcal B)$.

By duality, $\color{red}{{}^\mathrm t\mkern-1.5muP^{-1}}$ is the matrix of the identity map from $(V^*,\mathcal C^*)$ to $(V^*,\mathcal B^*)$. The column vectors of this matrix are the coordinates of vectors of $\mathcal B^*$ in the canonical basis of the dual space $(e_1^*,e_2^*,e_3^*)$.

$\endgroup$ $\begingroup$

I hope you know the definition of a dual basis (otherwise see ).

If you want to get the dual basis of a basis $\{e_1,e_2,e_3\}$ just take the matrix $A=[e_1,e_2,e_3]$. Since its columns are a basis you can invert it, so that $A^{-1}*A = E$.

Remember how you multiply matrices... $E[i,j] = A^{-1}[i,1]*A[1,j]+A^{-1}[i,2]*A[2,j] + A^{-1}[i,3]*A[3,j]$.

So the rows of your inverted matrix are the dual basis.

$\endgroup$ 2

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy