Proving One-to-One Functions Using Inverse and Implicit Function Theorems

[jessawells]

1. use the inverse function theorem to prove that any function f: R^2 -> R cannot be one-to-one. hint: let
g(x,y) = (f(x,y), y) near an appropriate point.

2. prove #1 using the implicit function theorem.

3. generalize part 2) to show that no function
f:R^n -> R^m, with n>m can be one-to-one.


i am not sure where to start on this problem. for #1, i don't know how to apply the hint that's given. what is this "appropriate point" it's referring to? i guess i started by trying to take the determinant of f'(x,y). but f'(x,y) is a 2x1 matrix...how do i take determinant of that? not sure where this is leading me.


not sure what to do for #2 or #3 either. my understanding of the implicit function theorem is very fuzzy. like, i understand how to use it to differentiate one variable with respect to another, but i don't know how to use it to prove the function is not one to one. any help is appreciated - thanks in advance.

 

[AKG]

I guess you mean something like "any continuous function..."?

 

[jessawells]

yes, f is continuous

 

[matt grime]

start by writing out the statement of the inverse function theorem. and remember if differentiable a function fro R to R is not 1-1 then there exist poitns x and y with g(x)=g(y), so what can we say about the derivative somewhere in the middle?

 

[saltydog]

1. use the inverse function theorem to prove that any function f: R^2 -> R cannot be one-to-one. hint: let
g(x,y) = (f(x,y), y) near an appropriate point.

2. prove #1 using the implicit function theorem.

3. generalize part 2) to show that no function
f:R^n -> R^m, with n>m can be one-to-one.

You know what, I can't let this one slip into oblivion down there without making a final comment:

I've been working with this one and have come to the conclusion that it represents a fundamental feature of euclidean geometry, and hense of our world and therefore places boundaries on the types of transformations we can observe in nature.

I am thus immediately led, perhaps foolishly, to the suspicion that other geometries such as non-euclidean ones may not share this feature, that is, a one-to-one mapping under equivalent conditions would be possible.

I'll keep working with it.

 

[matt grime]

this is nothing to do with geometry and is entriely down to topology. with the diiscrete topology R^2 and R are homeomorphic.

(what other geometries on R^2 are you thinkig of anyway?

 

[saltydog]

I suppose I find it interesting that no matter how I attempt to bend or twist or deform a surface above the x-y plane, I will not be able to make it 1-to-1 such that if (x,y)\ne (r,s) then f(x,y)\nef(r,s). Is it just the nature of eclidean geometry in 3-D space that prevents such? Can a geometry be constructed that allows 1-to-1 when n>m?

I realize one implication of the Implicit Funtion Theorem is that in this case, the number of independent variables, (n), is more than the number of equations, (m). Thus an infinite number of solutions is obtained and only when n=m can we obtain uniqueness and thus a unique inverse (at least that's how I'm interpreting it).

Still, I just can't help imagining something intrinsic about the geometry of space somehow constraining this. Interesting . . .

 

[matt grime]

it's the metric, it's the topology that make this true. agreed the metric is that inherited from the euclidean norm, but it needn't be since any two normed topologies are equivalent on a finite dimensional vector space. wwith a differenttoplogy there is a continuous 1-1 map from R^2 to R eg any bijection in the discrete topology.