Inverse of increasing function is increasing
Note that the statement does not assume continuity or differentiability or anything nice about the domain and range. In fact, the domain and range need not even be subsets of the reals. All we need is that they be totally ordered sets so that the notion of increasing makes sense.
Related facts about inverses of increasing and decreasing functions
- Inverse of decreasing function is decreasing
- Inverse of increasing function has opposite sense of concavity
- Inverse of decreasing function has same sense of concavity
Related facts about increasing functions
Compatibility with inverse function theorem
This is not a proof but provides an illustration of why the statement is compatible with the inverse function theorem. In particular, the inverse function theorem can be used to furnish a proof of the statement for differentiable functions, with a little massaging to handle the issue of zero derivatives.
The inverse function theorem states that:
In particular, this tells us that if , then . In particular, if everywhere, everywhere.