为次数小于 的实系数多项式以及零多项式组成的线性空间, 则求导数运算

的线性变换,称为微分变换.

证明 对任意的

故它是 的线性变换.