Home page for accesible maths Math 101 Chapter 2: Functions of a real variable

Style control - access keys in brackets

Font (2 3) - + Letter spacing (4 5) - + Word spacing (6 7) - + Line spacing (8 9) - +

2.32 Graphs of inverse functions

Proposition.

Let f:(a,b)(c,d)f:(a,b)\rightarrow(c,d) be a strictly increasing and continuous function. Then ff has an inverse function g:(c,d)(a,b)g:(c,d)\rightarrow(a,b), which is also strictly increasing and continuous, and the graph of gg may be obtained by interchanging the axes, or, equivalently, by reflecting the graph of ff in the line y=xy=x.

Proof. If (x,y)(x,y) is a point on the graph of ff, then y=f(x)y=f(x). Hence x=g(y)x=g(y), so (y,x)=(y,g(y))(y,x)=(y,g(y)) is on the graph of gg. The range of ff is (c,d)(c,d), so g(y)g(y) is defined for all c<y<dc<y<d. The reflected graph is also continuous.