Definition:Ordered Dual Basis

Definition
Let $R$ be a commutative ring.

Let $\struct {G, +_G, \circ}_R$ be an $n$-dimensional module over $R$.

Let $\sequence {a_n}$ be an ordered basis of $G$.

Let $G^*$ be the algebraic dual of $G$.

Then there is an ordered basis $\sequence {a'_n}$ of $G^*$ satisfying $\forall i, j \in \closedint 1 n: \map {a'_i} {a_j} = \delta_{i j}$.

This ordered basis $\sequence {a'_n}$ of $G^*$ is called the ordered basis of $G^*$ dual to $\sequence {a_n}$, or the ordered dual basis of $G^*$.

Also see

 * Existence of Ordered Dual Basis