Math 2.0

Real functions Definition

Strictly monotone function

Definition

Let D⊆ℝD \subseteq \mathbb{R} and let f ⁣:D→ℝf \colon D \to \mathbb{R} be a function. The function ff is strictly increasing if f(x)<f(y)f(x) < f(y) for all x,y∈Dx, y \in D with x<yx < y. It is strictly decreasing if f(x)>f(y)f(x) > f(y) for all x,y∈Dx, y \in D with x<yx < y. It is strictly monotone if it is strictly increasing or strictly decreasing.

Remarks

With ≤\le and ≥\ge in place of << and >>, we get increasing, decreasing, and monotone functions. A strictly monotone function is injective. For example, x3x^3 is strictly increasing on ℝ\mathbb{R}, and x2x^2 is strictly increasing on [0,∞)[0, \infty). Mathlib defines strictly increasing maps as StrictMono.

Where this leads

43 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Monotonic_function, In calculus and analysis
About this page
Tag0TR9SR9FTB
URIm2://0TR9SR9FTB
Aliasesstrictly-increasing-function, strictly-decreasing-function
Kinddefinition
WritingW0 stub
MSC26A48
DefinesStrictly 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.

What links here

Used by