函数求导的逆运算？ 第1页
1
shi-zhong-yi-86 网友的相关建议:
事实上，求导（微分）也是一个线性的映射。狭窄一点比如说可以定义在多项式函数的有限维空间上，广泛一点比如说可以定义在 函数的空间上。题主的问题就是要找出微分映射的逆映射，而逆映射并非总是存在的。
举最简单的n次实系数多项式空间为例。这是一个实数域上的（n+1）维线性空间 ，其基底为 。对于微分映射我们甚至可以写出它的变换矩阵。然后通过简单的验证我们可以发现微分映射的kernel是 , 也就是常数求导为零。由此我们可以知道在 上微分映射不是一个单射，当然它的逆更不可能存在了。不过只要我们模掉微分映射的kernel就可以把它变成一个单射，也就是说微分映射在商空间 上是可逆的。
当然如果我们考虑的是其他的域上的多项式比如 ，那么微分映射的kernel又会更大一些。另外对于更一般的无穷可微函数构成的空间不过是把有限维线性空间换成了Hilbert空间。
综上，求导并不总是有逆映射。需要看它是在哪个空间上定义的。
1
相关话题
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？拉氏乘数法中为什么认为最值一定是极值呢？
如何通俗易懂地解释外微分？
如何通俗地理解「蒙特卡洛方法」，它解决问题的基本思路是什么，目前主要应用于哪些领域？
数列极限的四则运算中条件需有限次是什么意思？
数学思维与工程思维的区别与联系是什么？
数学中那些充满构造性的证明是怎样想到的，有没有可以遵循的一般性的数学思想方法？
在开区间上无界的连续函数一定不一致连续吗？
物理学家业余研究纯数学算不算民科？
正△ABC，BD=AE，AD、CE交于F，M是AC中点，∠BFM=150°，BD/DC是多少？
相关的话题
今年高中毕业，自学高数，遇到一道题不知道如何去解，请教下各位大佬。题目：？比0.000······1更小的非0数，是什么？
勒让德倍量公式如何证明？
请问这个积分题应该怎么做？
数学界为何走向抽象？
为什么黎曼猜想是当今数学界最重要、最期待解决的数学难题？
社会科学可以被形式化公理化吗？
QQ 群为什么叫 QQ 群，而不叫 QQ 环，QQ 域或者 QQ 格？
有没有什么可以让自己对数学感兴趣的书?
(1+e^((-2k-1)pi)) k 从0到无穷的连乘怎么算？
83，63，90，70，100，是什么规律？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
是否对于任意的正整数n≥2，都存在n个正整数两两之和为平方数？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
本人高中生疑似发现质数个数分布规律，下一步应该怎么做?
像这种积分运算有什么规律吗？
如何证明 π > 3.05 ？
日本麻将中的复合役是否可以认为是独立事件？
什么叫「具有扎实的数学基础」？
1+2+3+4+…n和∫ xdx （X从1到n）之间的关系是什么？
如何证明 不存在两个有理数a、b，使得 a＋√b=³√2？
锐角三角形的内接三角形中垂足三角形周长最短，怎么证明？
无法理解高等数学怎么办？
微积分有可能是错的吗，假设是错的会怎么样…?
为什么科技互联网公司越来越重视数学？
发现了蒙日圆一个很好的性质，却不知道有没有简便方法证明？
正整数和正整数中的偶数哪个多（如何证明）？
一元微分理论中，为什么 d(dy/dx)/dx=d^2y/(dx)^2 ？
我有一个数学新发现，确定是新发现，确定是正确的，有什么平台可以出售转让变现？
当今世界数学已经发展到本科生难以理解的地步了吗？