mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
.. _differential_calculus:

.. index:: differential calculus

Differential Calculus
=====================

We now consider the formalization of notions from *analysis*,
starting with differentiation in this chapter
and turning integration and measure theory in the next.
In :numref:`elementary_differential_calculus`, we stick with the
setting of functions from the real numbers to the real numbers,
which is familiar from any introductory calculus class.
In :numref:`normed_spaces`, we then consider the notion of a derivative in
a much broader setting.

.. include:: C10_Differential_Calculus/S01_Elementary_Differential_Calculus.inc
.. include:: C10_Differential_Calculus/S02_Differential_Calculus_in_Normed_Spaces.inc