Monotonic function: Difference between revisions
imported>Richard Pinch (new entry, just a placeholder really) |
imported>Richard Pinch (added strict monotonicity, sequences, MVT) |
||
| Line 1: | Line 1: | ||
In [[mathematics]], a [[function (mathematics)]] is '''monotonic''' or '''monotone''' if preserves [[order (relation)|order]]: that is, if inputs ''x'' and ''y'' satisfy <math>x \le y</math> then the outputs from ''f'' satisfy <math>f(x) \le f(y)</math>. | In [[mathematics]], a [[function (mathematics)]] is '''monotonic''' or '''monotone increasing''' if preserves [[order (relation)|order]]: that is, if inputs ''x'' and ''y'' satisfy <math>x \le y</math> then the outputs from ''f'' satisfy <math>f(x) \le f(y)</math>. A '''monotonic decreasing''' function similarly reverses the order. A function is '''strictly monotonic''' if inputs ''x'' and ''y'' satisfying <math>x < y</math> have outputs from ''f'' satisfying <math>f(x) < f(y)</math>: that is, in [[injective function|injective]] in addition to being montonic. | ||
A special case of a monotonic function is a [[sequence]] regarded as a function defined on the [[natural number]]s. So a sequence <math>a_n</math> is monotonic increasing if <math>m \le n</math> implies <math>a_m \le a_n</math>. | |||
In the case of [[real number|real]] sequences, a monotonic sequence converges if it is [[bounded set|bounded]]. Every real sequence has a monotonic subsequence. | |||
A [[differentiable function]] on the [[real number]]s is monotonic when its [[derivative]] is non-zero: this is a consequence of the [[Mean Value Theorem]]. | |||
Revision as of 15:59, 12 November 2008
In mathematics, a function (mathematics) is monotonic or monotone increasing if preserves order: that is, if inputs x and y satisfy then the outputs from f satisfy . A monotonic decreasing function similarly reverses the order. A function is strictly monotonic if inputs x and y satisfying have outputs from f satisfying : that is, in injective in addition to being montonic.
A special case of a monotonic function is a sequence regarded as a function defined on the natural numbers. So a sequence is monotonic increasing if implies . In the case of real sequences, a monotonic sequence converges if it is bounded. Every real sequence has a monotonic subsequence.
A differentiable function on the real numbers is monotonic when its derivative is non-zero: this is a consequence of the Mean Value Theorem.