Interval order theorem for continuous injections

ID: interval-order-theorem-for-continuous-injections

A continuous injective real-valued function on a real interval is strictly monotone. A value outside the interval between two endpoint values would, by the intermediate value theorem, create a repeated value. Applying this observation to subintervals gives consistent strict ordering. If the left endpoint value is smaller than the right endpoint value, the function is strictly increasing; otherwise it is strictly decreasing.

New to topics? Read the docs here!