Dual Basis - Dual Basis Covectors/Vectors - Dual Sets - Reciprocal Basis - (𝐵*)
- is a set of vectors that spans a finite-dimensional algebraic dual space
- given a vector space 𝑉 with a basis 𝐵 of vectors indexed by an index set 𝐼 (the cardinality of 𝐼 is the dimension of 𝑉), the dual set of 𝐵 is a set 𝐵* of vectors in the dual space 𝑉* with the same index set 𝐼 such that 𝐵 and 𝐵* form a biorthogonal system. The dual set is always linearly independent but does not necessarily span 𝑉*. If it does span 𝑉*, then 𝐵* is called the dual basis or reciprocal basis for the basis 𝐵.
- is a (1,0)-tensor
Dual Basis - Intuition
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:
The system of equations on the LEFT can be expressed as: TL;DR
In other words, the dual basis which are the columns of 𝐸ˆ can be computed as:
|
Dual Basis - Infinite-Dimensional
TODO: https://en.wikipedia.org/wiki/Dual_space#:~:text=Infinite%2Ddimensional%20case