Is the function F: R^3 -> R^4 defined by F(x,y,z) = (sqrt(x), x,y,z) if x >= 0 and (sqrt(-x), x,y,z) if x < 0 smooth on all of R^3?

I'm thinking it is not, because taking the square root messes up smoothness at x=0, is this correct? Thanks.

Printable View

- Feb 12th 2011, 12:57 AMMagus01Smooth Function R^3 -> R^4
Is the function F: R^3 -> R^4 defined by F(x,y,z) = (sqrt(x), x,y,z) if x >= 0 and (sqrt(-x), x,y,z) if x < 0 smooth on all of R^3?

I'm thinking it is not, because taking the square root messes up smoothness at x=0, is this correct? Thanks. - Feb 12th 2011, 01:10 AMFernandoRevilla
Right.

Fernando Revilla - Feb 12th 2011, 02:43 AMMagus01
OK. The problem is I am trying to find a smooth bijection F: S^2 (unit sphere in R^3) --> U where U is the subset of R^4 defined as:

U = {(x,y,z,w) in R^4 such that x^2 + y = 0 and y^2 + z^2 + w^2 = 1}

All bijections I have tried involve taking a square root in the first component so I have not managed to find a smooth one. - Feb 12th 2011, 05:01 AMOpalg
You may find it easier to visualise what to do if you consider the same problem in one dimension lower: Find a smooth bijection F: S^1 (unit sphere in R^2) --> U where U is the subset of R^3 defined as:

U = {(x,y,z) in R^3 such that x^2 + y = 0 and y^2 + z^2 = 1}.

Here, is a cylindrical parabola and is a circular cylinder. Their intersection looks like a distorted circle. In two dimensions, the circle is smoothly mappable to the curve (which also looks like a distorted circle). If you can produce a smooth map implementing this equivalence, then the map will be a smooth bijection from the circle to the set U.

If you succeed in doing that, you should have no trouble jacking up the dimension by 1 to solve the given problem. - Feb 12th 2011, 10:09 AMMagus01
Thanks a lot. For the smooth map from the circle to the curve, I drew them both on the plane and for (x,y) in S1 defined r(x,y) to be the point on the curve that meets the straight line starting from the origin and going through (x,y). Is this the smooth map you had in mind?

- Feb 12th 2011, 10:54 AMOpalg