# One to one functions

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.

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

jessawells
yes, f is continuous

Homework Helper
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?

Homework Helper
jessawells said:
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.

Homework Helper
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?

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)$\ne$f(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?