事实上,求导(微分)也是一个线性的映射。狭窄一点比如说可以定义在多项式函数的有限维空间上,广泛一点比如说可以定义在 函数的空间上。题主的问题就是要找出微分映射的逆映射,而逆映射并非总是存在的。
举最简单的n次实系数多项式空间为例。这是一个实数域上的(n+1)维线性空间 ,其基底为 。对于微分映射我们甚至可以写出它的变换矩阵。然后通过简单的验证我们可以发现微分映射的kernel是 , 也就是常数求导为零。由此我们可以知道在 上微分映射不是一个单射,当然它的逆更不可能存在了。不过只要我们模掉微分映射的kernel就可以把它变成一个单射,也就是说微分映射在商空间 上是可逆的。
当然如果我们考虑的是其他的域上的多项式比如 ,那么微分映射的kernel又会更大一些。另外对于更一般的无穷可微函数构成的空间不过是把有限维线性空间换成了Hilbert空间。
综上,求导并不总是有逆映射。需要看它是在哪个空间上定义的。