Math 2.0

Special functions Proposition

The exponential function is strictly increasing

Builds on The exponential function is its own derivativeThe exponential function is positiveA function with positive derivative is strictly increasing

Statement

The exponential function is strictly increasing on ℝ\mathbb{R}. That is, x<yx < y implies exp⁡(x)<exp⁡(y)\exp(x) < \exp(y).

Remarks

The derivative is exp⁡\exp itself, and it is positive. Then positive derivative gives the claim. Also exp⁡(x)→∞\exp(x) \to \infty as x→∞x \to \infty and exp⁡(x)→0\exp(x) \to 0 as x→−∞x \to -\infty. So exp⁡\exp is a bijection from ℝ\mathbb{R} onto (0,∞)(0, \infty). Mathlib states it as Real.exp_strictMono.

Reading path

To understand this page from the ground up, read these 48 pages in order. The foundations come first.

  1. Limit point of a set definition
  2. Local maximum definition
  3. Sequence definition
  4. Strictly monotone function definition
  5. Limit of a function definition
  6. Local minimum definition
  7. Real sequence definition
  8. Subsequence definition
  9. Continuity at a point definition
  10. Derivative definition
  11. Bounded sequence definition
  12. Geometric sequence definition
  13. Limit of a sequence definition
  14. Monotone sequence definition
  15. Series definition
  16. Continuous function definition
  17. Fermat's theorem on stationary points statement
  18. Sum of a finite geometric series statement
  19. Monotone convergence theorem for sequences statement
  20. Convergent sequence definition
  21. Every sequence has a monotone subsequence statement
  22. Squeeze theorem statement
  23. Cauchy product definition
  24. Partial sum definition
  25. Power series definition
  26. Bolzano–Weierstrass theorem statement
  27. The sequence r^n tends to zero for |r| < 1 example
  28. Radius of convergence definition
  29. Convergent series definition
  30. Boundedness theorem statement
  31. Absolute convergence definition
  32. A series of nonnegative terms converges iff its partial sums are bounded statement
  33. Sum of a series definition
  34. Extreme value theorem statement
  35. Comparison test statement
  36. Geometric series example
  37. Cauchy product of absolutely convergent series statement
  38. Rolle's theorem statement
  39. Ratio test statement
  40. Mean value theorem statement
  41. Ratio formula for the radius of convergence statement
  42. A function with positive derivative is strictly increasing statement
  43. The exponential series has infinite radius of convergence statement
  44. Exponential function definition
  45. Exponential of a sum statement
  46. The exponential function is positive statement
  47. The exponential function is its own derivative statement
  48. The exponential function is strictly increasing statement

Where this leads

29 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Exponential_function, Properties
About this page
Tag0KN2V7840E
URIm2://0KN2V7840E
Kindstatement, proposition
WritingW0 stub
MSC33B10
StatusThis copy of the site has no build data. Run m2 status 0KN2V7840E.
UsesThe exponential function is its own derivative, The exponential function is positive, A function with positive derivative is strictly increasing

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by