NZ Level 8 (NZC) Level 3 (NCEA) [In development] Existence of an Inverse
Lesson

Recall from the last chapter in our discussion of inverse functions, that the following must be true for an inverse function to exist:

The existence of an inverse function

If, and only if, a function is one-to one, then a reverse mapping will create what is known as an inverse function

So if we have a one-to-one function, we can be confident that an inverse function exists over the natural domain.

If instead we have a many-to-one function, we will need to manipulate the domain of our original function before we can find an inverse function (we'll look at this in more detail shortly).

And if what we have is one-to-many or many-to-many, then it's not a function to begin with but rather a relation. In this case, we might be able to manipulate the range of our original relation to make it a one-to-one function and find an inverse function.

## One-to-one functions

With any function it can be useful to visualise and sketch the graph first, in order to more easily identify whether the function is one-to-one.

Each of the following are one-to-one functions, and therefore have an inverse function.

### Linear function ### Reciprocal function ### Exponential function ### Logarithmic function There are plenty more functions that are one-to-one, but these examples all clearly show that each value for $x$x has a single, unique value for $y$y.

## Many-to-one functions

Here are some examples of many-to-one functions: ### Trigonometric functions As you can see, for the quadratic function there are two $x$x values that match with each $y$y value (except for $x=0$x=0). For the trigonometric functions, there are infinitely many $x$x values for each $y$y value on the graph. In either case, if we tried to find an inverse for one of these functions, we would get a one-to-many relation (and not a function). So an inverse function does not exist for a many-to-one function.

Now, you might recall solving a quadratic equation by using a square root to "undo" the square. For instance, if we have the function $y=x^2$y=x2, we can take the square root of both sides to get $x=\pm\sqrt{y}$x=±y. Notice that this is actually two values for $x$x - one that is positive and one that is negative. So the square root operation is not a function.

We can, however, use this idea to get an inverse function. In order to do so, we will need to restrict the domain of the original function, to avoid getting two solutions.

### Restricting the domain

Looking at the function $y=x^2$y=x2, we can see that each positive value of $x$x has a corresponding negative value of $x$x that gives the same $y$y value. If we restrict the domain to only consider $x\ge0$x0, then we are able to use the square root operation to invert the function! In such a case, we get $x=\sqrt{y}$x=y (there is no longer a negative solution, since we are only considering $x\ge0$x0).

If we now switch the variables, we get the restricted inverse function $y=\sqrt{x}$y=x.

This process of restricting the domain is easier to see graphically. Let's take a look at an example.

##### Worked example

By restricting the domain of $y=(x+2)^2$y=(x+2)2 to $x\ge-2$x2, draw the associated inverse function on the axes below.

Think: Let's begin by sketching the whole function without restricting the domain.

Do: We can see that there are two $x$x values for every $y$y value, except where $x=-2$x=2

Think: Now we'll just sketch the portion of the graph for $x\ge-2$x2. Along with this we'll draw the line $y=x$y=x on our graph as the mirror line, and then we'll take a few points on our original function, reflect them across the line $y=x$y=x and draw our inverse function.

Do: Reflect: Notice that by restricting the domain to $x\ge-2$x2, the original function becomes one-to-one, and so we get a one-to-one inverse function as well.

## One-to-many and many-to-many relations

Since one-to-many and many-to-many relations aren't considered functions, we won't concern ourselves with their inverses here. One of the most familiar many-to-many relations is that of the circle. To find an inverse that is a function, we'd need to restrict the domain and range to just one quarter of the circle.

#### Practice Questions

##### Question 1

Which of the following describes the inverse of a function that is many-to-one?

1. It is a one-to-one function.

A

It does not exist.

B

It is also a many-to-one function.

C

It is a one-to-many relation.

D

It is a one-to-one function.

A

It does not exist.

B

It is also a many-to-one function.

C

It is a one-to-many relation.

D

##### Question 2

Consider the function given by $f\left(x\right)=\frac{2x+3}{2}$f(x)=2x+32.

1. Sketch the graph of $f\left(x\right)$f(x) on the coordinate plane below:

2. Is the function $f\left(x\right)$f(x) one-to-one?

No

A

Yes

B

No

A

Yes

B
3. Does an inverse function exist for $f\left(x\right)$f(x)?

No

A

Yes

B

No

A

Yes

B

### Outcomes

#### M8-2

Display and interpret the graphs of functions with the graphs of their inverse and/or reciprocal functions
{"ft_lang_label":"__label__en","ft_lang_prob":0.9041878,"math_prob":0.99546117,"size":4558,"snap":"2021-31-2021-39","text_gpt3_token_len":1152,"char_repetition_ratio":0.19104084,"word_repetition_ratio":0.049934298,"special_character_ratio":0.24286968,"punctuation_ratio":0.088176355,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9998072,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],"im_url_duplicate_count":[null,null,null,4,null,4,null,4,null,4,null,4,null,4,null,4,null,2,null,2,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-09-27T19:32:37Z\",\"WARC-Record-ID\":\"<urn:uuid:d7677325-ae92-43ab-b045-18db3821533b>\",\"Content-Length\":\"459875\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0e0b0f99-2f05-427f-b171-a0e9002e9d4e>\",\"WARC-Concurrent-To\":\"<urn:uuid:738d2a70-b3ff-4a86-8909-0cdeead0ec59>\",\"WARC-IP-Address\":\"104.22.57.207\",\"WARC-Target-URI\":\"https://mathspace.co/textbooks/syllabuses/Syllabus-411/topics/Topic-7317/subtopics/Subtopic-97562/?activeTab=theory\",\"WARC-Payload-Digest\":\"sha1:SHVBWGANA6Y3EXXJ3CMI3ZFFSSQX3IZY\",\"WARC-Block-Digest\":\"sha1:DBFJTK27JGYL7N6U7YK3YDFLSL73V44T\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-39/CC-MAIN-2021-39_segments_1631780058467.95_warc_CC-MAIN-20210927181724-20210927211724-00483.warc.gz\"}"}