dual homomorphism of the derivative
Let denote the vector space![]()
of realpolynomials of degree or less, and let denote the ordinary derivative. Linear forms
on can be given in terms of evaluations, and so we introduce thefollowing notation. For every scalar , let denote the evaluation functional
Note: the degree superscript matters! For example:
whereas arelinearly independent![]()
. Let us consider the dual homomorphism, i.e. the adjoint
of . We have the followingrelations
![]()
:
In other words, taking as the basis of and as the basis of, the matrix that represents is just
Note the contravariant relationship between and . Theformer turns second degree polynomials![]()
into first degree polynomials,where as the latter turns first degree evaluations into second degreeevaluations. The matrix of has 2 columns and 3 rowsprecisely because is a homomorphism
from a 2-dimensionalvector space to a 3-dimensional vector space.
By contrast, will be represented by a matrix. Thedual basis![]()
of is
and the dual basis of is
Relative to these bases, is represented by the transpose![]()
of thematrix for , namely
This corresponds to the following three relations: