Let \([a,b]\) be a closed real interval and let \(f:[a,b]\to\mathbb R\) be a continuous, strictly monotonically increasing (respectively decreasing) real function. Then \(f\) is invertible with the strictly monotonically increasing (respectively decreasing) inverse function \(f^{-1}:[A,B]\to[a,b]\). Therein, \(A\) and \(B\) are real numbers with \(A:=f(a)\) and \(B:=f(b)\).
Proofs: 1
Proofs: 1 2
Propositions: 3 4 5 6 7 8 9 10