Definition:Change of Basis Matrix

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a ring with unity.

Let $G$ be a finite-dimensional free $R$-module.

Let $A = \sequence {a_n}$ and $B = \sequence {b_n}$ be ordered bases of $G$.


Definition 1

The matrix of change of basis from $A$ to $B$ is the matrix whose columns are the coordinate vectors of the elements of the new basis $\sequence {b_n}$ relative to the original basis $\sequence {a_n}$.


Definition 2

Let $I_G$ be the identity linear operator on $G$.

Let $\sqbrk {I_G; \sequence {a_n}, \sequence {b_n} }$ be the matrix of $I_G$ relative to $\sequence {b_n}$ and $\sequence {a_n}$.


Then $\sqbrk {I_G; \sequence {a_n}, \sequence {b_n} }$ is called the matrix corresponding to the change of basis from $\sequence {a_n}$ to $\sequence {b_n}$.


Warning

Note the order of the above, which gives rise to the intuitive cancellation law in Product of Change of Basis Matrices.

The original ordered basis is regarded as the ordered basis of the codomain of $I_n$, and the new ordered basis is regarded as the ordered basis of the domain of $I_n$.


Also see

  • Results about change of basis can be found here.