Definition:Decreasing/Real Function

From ProofWiki
Jump to navigation Jump to search


Let $f$ be a real function.

Then $f$ is decreasing if and only if:

$x \le y \implies \map f y \le \map f x$.

Also known as

Some sources refer to a decreasing real function as a monotonic decreasing function.

Also see

  • Results about decreasing real functions can be found here.