# Proof of Inverse Function Theorem: Explained

• ak416
In summary, the conversation discusses the proof of the Inverse Function Theorem and the use of an arbitrary linear transformation, k, to prove the theorem. The main point is that by assuming Df(a) = I, the proof for k^-1(f) can be used to prove the theorem for f. This allows for simplification of the derivative and changing of coordinates. The assumption that k = I does not change the function, but only serves to simplify the notation.
ak416
Im not sure whether this is a "Homework Question", but it is a question regarding the proof of the Inverse Function Theorem. It starts like this:
Let k be the linear transformation Df(a). Then k is non-singular, since det(f '(a)) != 0. Now D((k^-1(f(a))) = D(k^-1)(f(a)) (Df(a)) = k^-1 (Df(a)) is the identity linear transformation.

Heres what i don't understand:
If the theorem is true for k^-1 (f) then it is clearly true for f. Therefore we may assume at the outset the k is the identity.

Can anyone explain this?

you are trying to prove a certain function is a local homeomorphism. if it is them composing it with an invertible linear map will not chNGE THIS, AND ALSO IOF IT IS NOT COMPOSING WITH an invertible linear map will not changw that.

so we may compose it with an invertible linear map before starting the proof.

i.e. if we wnT to prove f is invertible, and if L is kown to be invertible, then if we prove fT is invertible, we may conclude that also fTT^I(-1) = f is invertible.the purpose of this reduction is to be able to simplify the derivative.

Ok so f:Rn->Rn. and by the fact that k: Rn->Rn is a homeomorphism on
an open set:
If k^-1 (f) is a homeomorphism on an open set then f is a
homeomorphism on an open set. Thus it suffices to prove that k^-1 (f)
is a homeomorphism on an open set. (An open set containing the point a
where d is continuously differentiable).

But why can you assume that k is the identity map?

Becuase you've just shown that the result is true for arbitrary k (satisfying the hypotheses) if and only if it is true for the identity.This is perfectly normal. Any result in linear algebra about a vector v can often be translated to showing it for the zero vector only.

The analytic version is to simply rescale so that Df, which just a matrix of derivatives, is the identity.

ok so if the theorem is true for k = I then it is true for arbitrary k and from what I said before we can conclude that it is true for f?

It's just a change of basis argument - draw a picture in 2-d for the y=f(x) case to see what it's saying: if the slope is non-zero at a point we may assume that it is 1. I.e. if f'(0)=2, say, then f(x)/2 is a function whose derivative is 1 at x=0. (the general case is more complicated, it is not just dividing by a number, but the principle is the same).You can also assume that a=(0,0,..,0) as well, by similar arguments.

Last edited:
Well actually if its true for k = I then k^-1 f reduces to f and therefore its true for f. It seems a little too simplified of an assumption. Is my logic correct?

ok the one variable case makes sense. If its true for f(x)/2 then it is true for f(x).

ok then i think my post number 7 is flawed because when were assuming that k = I were changing the nature of the function (like from f(x) to f(x)/2) so its actually what I said in post num 5 that's true right?

ak416 said:
Well actually if its true for k = I then k^-1 f reduces to f and therefore its true for f. It seems a little too simplified of an assumption. Is my logic correct?
No, you're missing the point. The assumption is not that 'because k=I, we then have that k^-1f=f' at all. I mean, it's true, but not relevant.

The assumption is that we may assume f satisfies Df(a)=I, because if it didn't the function k^-1f would satisfy Df(a)=I, and if k^-1f is invertible, so is f.

We may always assume in these cases that a=(0,0,..,0), and Df(a)=I if it helps, and other things too just by a change of coordinates.

Last edited:
Ok I am still not sure. I understand that its true for arbitrary k if and only if it is true for k=I. But we are not sure that k = I. And by assuming k = I arent you changing the function?

Im thinking we are supposed to somehow use the fact that D(k^-1 f)(a) = k^-1 Df(a) is the identity linear transformation.

matt grime said:
The assumption is that we may assume f satisfies Df(a)=I, because if it didn't the function k^-1f would satisfy Df(a)=I, and if k^-1f is invertible, so is f.

Ok so if Df(a) is not I, then you move on to k^-1 f which satisfies D(k^-1 f) = I. And if you can prove it for D(k^-1 f) then you proved it for f. But what makes you assume k = I?

i thionk i understand your question. you are puzzled because they are changing notation. i.e. if the derivative k of f is not I then consider the derivative of k^-1f which is I. then call that new derivative k gain, to save letters. now the derivative of k^-1f , which is I, is still being called "k", although that is confusing.

get it?

i.e. instead of saying "we can assume k = I" they should more accurately have said "thus we only have to prove the result for functions whose derivative is I. so if k is the derivative, we may assume k =I".

I am really baffled by these questions. We are allowed to assume that k=I since we have shown that we may replace f by a function g(x)=Df(a)^-1f(x) that has Dg(a)=I, and that the inverse function theorem will be true for f if and only if it is true for g. Thus replacing f with g we can assume Dg=I from the beginning. What part of that don't you understand?

ak416 said:
Ok I am still not sure. I understand that its true for arbitrary k if and only if it is true for k=I. But we are not sure that k = I. And by assuming k = I arent you changing the function?

Yes, we are changing the function. But it doesn't matter the result is true for the original function if and only if it is true for the one we replace it by.

ya so we now prove it for the function g = Df(a)^-1 f which has Dg(a) = I. Ok that makes sense. But in the next part of the proof it says:

Whenever f(a+h) = f(a) we have
|f(a+h)-f(a)-k(h)|/|h| = |h|/|h| = 1

So is he still talking about the original f and the original k, or is he talking about the g and k = Dg(a). This is what confused me, but from what you guys are saying I am assuming that he's talking about the g.

## 1. What is the Inverse Function Theorem?

The Inverse Function Theorem is a mathematical tool that allows us to determine if a function has an inverse, and if so, what its properties are. It is often used in calculus and differential equations to help solve problems involving functions and their inverses.

## 2. How is the Inverse Function Theorem used?

The Inverse Function Theorem is typically used to prove the existence and uniqueness of the inverse of a function. It also helps to find the derivative of the inverse function, which can be useful in solving differential equations.

## 3. What is the Proof of the Inverse Function Theorem?

The Proof of the Inverse Function Theorem is a mathematical argument that shows the validity of the theorem. It involves using the Implicit Function Theorem and the Chain Rule to prove the existence and uniqueness of the inverse function.

## 4. What are the conditions for the Inverse Function Theorem to hold?

The Inverse Function Theorem holds if the function is continuously differentiable and has a non-zero derivative at a point. Additionally, the function must be one-to-one and have a continuous inverse at that point.

## 5. What are the practical applications of the Inverse Function Theorem?

The Inverse Function Theorem has various applications in mathematics, physics, and engineering. It is used to find the inverse of a function in order to solve equations, calculate derivatives, and analyze the behavior of systems. It is also used in optimization problems and in the study of dynamical systems.

• Calculus
Replies
4
Views
142
• Calculus
Replies
9
Views
206
• Calculus
Replies
11
Views
2K
• Calculus
Replies
3
Views
158
• Calculus
Replies
10
Views
2K
• Calculus
Replies
14
Views
2K
• Calculus
Replies
2
Views
1K
• Calculus
Replies
1
Views
248
• Calculus
Replies
9
Views
1K
• Calculus
Replies
8
Views
3K