Strictly monotone function
Definition
Let and let be a function. The function is strictly increasing if for all with . It is strictly decreasing if for all with . It is strictly monotone if it is strictly increasing or strictly decreasing.
Remarks
With and in place of and , we get increasing, decreasing, and monotone functions.
A strictly monotone function is injective.
For example, is strictly increasing on , and is strictly increasing on .
Mathlib defines strictly increasing maps as StrictMono.
Where this leads
43 pages build on this one.
- Natural logarithm
- Euler–Mascheroni constant
- The logarithm grows slower than any power
- Inverse trigonometric functions
- log x is at most x - 1
- Inverse hyperbolic functions
- Monotone functions are Riemann integrable
- Derivative of arctangent
- Harmonic numbers grow like log n
- Arctangent
- Continuity of the inverse of a strictly monotone continuous function
- A function with positive derivative is strictly increasing
- Derivative of the logarithm
- Arcsine
- A continuous injective function on an interval is strictly monotone
- Derivative of arcsine
- Logarithm of a quotient
- Integral of 1/x
- Logarithm of a product
- The exponential function is strictly increasing
- Derivative of x^a
- Derivative of an inverse function
- Arccosine
- Logarithm is the inverse of the exponential
- Power series of arctangent
- Real exponentiation
- Square root function
- Logarithm of a power
- Improper integral of x^p on an unbounded interval
- Integration by partial fractions
- Mercator series
- The logarithm is strictly concave
- Weierstrass product for the gamma function
- Bertrand's test
- Mertens' theorems
- Frullani integral
- Gauss's test
- Log-convexity of the gamma function
- Logarithmically convex function
- Bohr–Mollerup theorem
- An infinite product converges iff its series of logarithms converges
- Trigonometric integrals
- Barnes G-function
Further reading
- Web https://en.wikipedia.org/wiki/Monotonic_function, In calculus and analysis
About this page
| Tag | 0TR9SR9FTB |
|---|---|
| URI | m2://0TR9SR9FTB |
| Aliases | strictly-increasing-function, strictly-decreasing-function |
| Kind | definition |
| Writing | W0 stub |
| MSC | 26A48 |
| Defines | Strictly monotone function |
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.