Prove a function is invertible using Calculus?

  • Context: Undergrad 
  • Thread starter Thread starter thinkgreen95
  • Start date Start date
  • Tags Tags
    Calculus Function
Click For Summary

Discussion Overview

The discussion revolves around proving the invertibility of a function using calculus, specifically focusing on the concept of injectivity. Participants explore the definitions, implications, and methods related to injective functions and their inverses.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants explain that a function is injective if equal function values imply equal inputs, which is necessary for defining an inverse function.
  • One participant illustrates the concept of injectivity using the function f(x) = x², noting that it is not injective over all real numbers due to multiple inputs yielding the same output.
  • Another participant suggests that calculus can help prove invertibility by examining the behavior of the derivative, indicating that a function must not have local maxima or minima to be invertible in a neighborhood.
  • Some participants propose practical approaches to proving injectivity, such as assuming f(a) = f(b) and deriving a = b, or using contradiction to show that differing inputs lead to differing outputs.
  • One participant highlights the distinction between the range and codomain of a function, noting that the inverse function's domain corresponds to the original function's range.
  • There is mention of bijections, which are functions that are both injective and surjective, making them ideal for invertibility without concerns about range and codomain.

Areas of Agreement / Disagreement

Participants generally agree on the importance of injectivity for proving invertibility, but there are varying perspectives on how to approach the proof and the implications of injectivity versus bijection.

Contextual Notes

Limitations include the dependence on definitions of injectivity and bijection, as well as the need for clarity on the conditions under which a function is considered invertible.

thinkgreen95
Messages
4
Reaction score
0
How do you prove a function is invertible using calculus? I have a question on my review packet and it says to show that f(x) is invertible using calculus...apparently it is important that it is called an injection?
 
Physics news on Phys.org
Yes. A function f: A -> B is injective (or an injection) when two function values being equal implies that they are the image of the same point.
That is: for all a, b in A: f(a) = f(b) implies a = b.

Why this is a necessary condition is easy to see. Suppose that you have two values a, b that are different, but f(a) = f(b) = y. Now, you are writing down the inverse function f-1... what value do you assign for f-1(y)? It should be both a and b, because f(a) = y and f(b) = y, but f-1(y) can only have one value.
It is also a sufficient condition: after all, all you need to define an inverse function is to say for every y in B, which x in A to map it to such that f(x) = y again.

If it is not clear, think about f(x) = x2. If you only define the function for x > 0 (you can include 0 if you like) then there is no problem to write down the inverse function: f-1(y) = sqrt(y). But if you define f(x) for all x (also negative numbers) it is no longer injective. Indeed, -2 and 2 are completely different numbers, but f(-2) = f(2) = 4. So you cannot consistently assign a value for f-1(4), and always get f(f-1(x)) = x.
 
To zoom in on how calculus may help you in proving invertibility:

On what point A on the graph of a function can it occur that two neighbouring points have the SAME function value?

Clearly, this can only happen if A is either a maximum or minimum!

But this means that if a point is NOT a max or min, then the function is invertible in a neighbourhood of A.

Transform this into a requirement upon the derivative of f!
 
Thanks a bunch, guys!
 
Ah, I forgot to say this in my last post, but you've already replied so let me add it in a new message instead of editing the old one...

From a practical point of view, injectivity is very useful to prove invertibility. If you want to show that a function is invertible, it is sufficient to show that it is injective. The latter is usually rather straightforward, just start the proof with "Suppose that f(a) = f(b)" and try to get to "... so a = b", or by contradiction: start with "Suppose that a is not equal to b" and try to get to "... so f(a) is not equal to b".

For example: f(x) = x2 is not injective on the real numbers.
Proof: The simplest is a proof by counterexample: f(2) = f(-2) although clearly, 2 is not equal to -2.

Another one: f(x) = 2x + 1 is injective.
Proof: Suppose that f(a) = f(b). Then by definition of the function, 2a + 1 = 2b + 1. Subtract 1 from both sides and divide by 2, it follows that a = b. So if f(a) = f(b), then a = b: the function is injective.
 
If you do not recognize the term "injective" maybe your text calls it "one-to-one" instead.
 
One additional point.

If a function is an injection, its inverse's domain is the original functions range (and NOT it's codomain). So, take f(x) = e^x. It's R to R -- so it's domain and codomain are both the real numbers. But for any real x, e^x is always positive, so it's range is the positive reals, R+. Thus, its inverse, the logarithm, is a function R+ to R (and not R to R).

Now, if a function is a bijection, things are a bit more ideal. The range is equal to the codomain, so these functions are perfectly invertible, without having to worry about what the range of the function is. Bijections are pretty magical in math.
 

Similar threads

  • · Replies 21 ·
Replies
21
Views
6K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K