# Inverse of increasing function is increasing

## Contents

## Statement

Suppose is an increasing function on its domain. Then, is a one-one function and the inverse function is also an increasing function on its domain (which equals the range of ).

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

### 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

## Proof

### Formal proof

### 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.