Dual Basis - Dual Basis Covectors/Vectors - Dual Sets - Reciprocal Basis - (𝐵*)

Dual Basis - Intuition

See Covector Introduction

Dual Basis - Finite-Dimensional - One Possible Dual Basis Using Kronecker Delta Function

Given a vector space 𝑉 in ℝ𝑛 and basis vectors {𝑒1, …, 𝑒𝑛} that spans 𝑉, one possible dual basis {𝜀1, …, 𝜀𝑛} that spans the dual space of 𝑉 can be defined as (where 𝛿 is the Kronecker delta function):

In other words, we find a set of linear functionals {𝜀1, …, 𝜀𝑛} such that it “consumes” 𝑉‘s basis vectors {𝑒1, …, 𝑒𝑛} in the following way:

In other words, let:

  • 𝐸 = [𝑒1|𝑒2|…|𝑒𝑛] a matrix whose columns are the basis vectors {𝑒1, 𝑒2, …, 𝑒𝑛}
  • 𝐸ˆ = [𝜀1|𝜀2|…|𝜀𝑛] a matrix whose columns are the epsilon covectors {𝜀1, 𝜀2, …, 𝜀𝑛}

The system of equations on the LEFT can be expressed as:

TL;DR

  1. Write your basis vectors as column vectors in a matrix
  2. Invert that matrix
  3. Your dual basis vectors are the row vectors of your inverted matrix

In other words, the dual basis which are the columns of 𝐸ˆ can be computed as:

  • 𝐸ˆ = (𝐸-1)T

Dual Basis - Infinite-Dimensional

TODO: https://en.wikipedia.org/wiki/Dual_space#:~:text=Infinite%2Ddimensional%20case

Resources