Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I’ve rather greatly expanded differentiable map, defining variations.
There is also smooth function. Somehow these entries should eventually be merged, or at least interlinked.
Thanks for pointing out. On the other hand, I think we should keep them separated. Smooth is differentiable infinitely many times. It is good to have the elementary differentiability questions separated from the infinitely differentiable case. For example into differentiable one should eventually write examples of various pathologies, laws like Schwarz law for interchange of partial derivatives, various kinds of differentiabilities in infinite-dimensional case, questions of completion of spaces of -functions and so on. Smooth case is more the ideal best situations where one could concentrate on geometrical applications and the extension to more general types of spaces; over there various kinds of differentiability should be avoided.
The entries do link to one another. I agree with Zoran about keeping them separate. Also beware the cache bug: use smooth map.
I added some definitions, and further examples, to differentiable map.
I added a comment about symmetry of second derivatives to differentiable map, plus the standard counterexample in the absence of continuity. I may have more to add soon.
I’ve added to differentiable map a couple of definitions of “strong twice-differentiability” that don’t require continuity of the second derivative. Any suggestions of better names for these definitions would be welcome.
One last edit: I’ve added a proof that every twice-differentiable function has a symmetric second derivative (and removed the ad hoc names for stronger twice-differentiability). A friendly person at MSE pointed me to a proof of this in Dieudonné’s treatise on analysis. Why do we not learn this theorem in multivariable calculus, instead of the weaker and more random-looking statement that the mixed partial derivatives are symmetric if they are continuous?
Well, I mention this theorem in my class, at least!
Does your textbook?
No.
I have touched differentiable map:
added background remarks on Euclidean space to beginning of Definition-section,
added numbered environments to the Definition-section and pointers to them from the Examples-section
added the definition of differetiable functions between differentiable manifolds
1 to 12 of 12