Show that preimage is an embedded surface

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












I have given a function
$$f:mathbbR^4 to mathbbR^3: (x,y,z,u) mapsto (xz-y^2, yu-z^2,xu-yz)$$
and I want to show that $f^-1(0)setminus0$ is an embedded surface.
If it would be an embedded curve I could verify that $f$ is an submersion to get a 1-dim submanifold. But I don't know how to show that this is an embedded surface.







share|cite|improve this question





















  • 1st get $f$'s the derivative
    – janmarqz
    Jul 18 at 19:44






  • 1




    Are you sure this is right? It seems to consist of the $x$-axis, the $u$-axis, and the curve $(t^2,t,1,1/t)$. Moreover, $f$ has rank $3$ along the non-linear curve. I was expecting all the components of $f$ to be homogeneous.
    – Ted Shifrin
    Jul 18 at 19:45











  • sorry there was a mistake on the last component.
    – Andreas K
    Jul 18 at 19:51










  • The derivative is given by: $$Df(x,y,z,u) = beginpmatrix z & -2y & x & 0\ 0 & u & -2z & y\ u & -z & -y & xendpmatrix$$ which has rank 3 for all $(x,y,z,u) in mathbbR^4 setminus 0$ So, $f^-1(0)setminus0$ is not an embedded surface but an 1-dim submanifold of $mathbbR^4$. Is this argumentation right?
    – Andreas K
    Jul 18 at 20:14










  • @AndreasK... but at $(x,0,0,0)$ and $(0,0,0,u)$ has rank two
    – janmarqz
    Jul 18 at 21:03















up vote
1
down vote

favorite












I have given a function
$$f:mathbbR^4 to mathbbR^3: (x,y,z,u) mapsto (xz-y^2, yu-z^2,xu-yz)$$
and I want to show that $f^-1(0)setminus0$ is an embedded surface.
If it would be an embedded curve I could verify that $f$ is an submersion to get a 1-dim submanifold. But I don't know how to show that this is an embedded surface.







share|cite|improve this question





















  • 1st get $f$'s the derivative
    – janmarqz
    Jul 18 at 19:44






  • 1




    Are you sure this is right? It seems to consist of the $x$-axis, the $u$-axis, and the curve $(t^2,t,1,1/t)$. Moreover, $f$ has rank $3$ along the non-linear curve. I was expecting all the components of $f$ to be homogeneous.
    – Ted Shifrin
    Jul 18 at 19:45











  • sorry there was a mistake on the last component.
    – Andreas K
    Jul 18 at 19:51










  • The derivative is given by: $$Df(x,y,z,u) = beginpmatrix z & -2y & x & 0\ 0 & u & -2z & y\ u & -z & -y & xendpmatrix$$ which has rank 3 for all $(x,y,z,u) in mathbbR^4 setminus 0$ So, $f^-1(0)setminus0$ is not an embedded surface but an 1-dim submanifold of $mathbbR^4$. Is this argumentation right?
    – Andreas K
    Jul 18 at 20:14










  • @AndreasK... but at $(x,0,0,0)$ and $(0,0,0,u)$ has rank two
    – janmarqz
    Jul 18 at 21:03













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I have given a function
$$f:mathbbR^4 to mathbbR^3: (x,y,z,u) mapsto (xz-y^2, yu-z^2,xu-yz)$$
and I want to show that $f^-1(0)setminus0$ is an embedded surface.
If it would be an embedded curve I could verify that $f$ is an submersion to get a 1-dim submanifold. But I don't know how to show that this is an embedded surface.







share|cite|improve this question













I have given a function
$$f:mathbbR^4 to mathbbR^3: (x,y,z,u) mapsto (xz-y^2, yu-z^2,xu-yz)$$
and I want to show that $f^-1(0)setminus0$ is an embedded surface.
If it would be an embedded curve I could verify that $f$ is an submersion to get a 1-dim submanifold. But I don't know how to show that this is an embedded surface.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 18 at 19:50
























asked Jul 18 at 19:33









Andreas K

575




575











  • 1st get $f$'s the derivative
    – janmarqz
    Jul 18 at 19:44






  • 1




    Are you sure this is right? It seems to consist of the $x$-axis, the $u$-axis, and the curve $(t^2,t,1,1/t)$. Moreover, $f$ has rank $3$ along the non-linear curve. I was expecting all the components of $f$ to be homogeneous.
    – Ted Shifrin
    Jul 18 at 19:45











  • sorry there was a mistake on the last component.
    – Andreas K
    Jul 18 at 19:51










  • The derivative is given by: $$Df(x,y,z,u) = beginpmatrix z & -2y & x & 0\ 0 & u & -2z & y\ u & -z & -y & xendpmatrix$$ which has rank 3 for all $(x,y,z,u) in mathbbR^4 setminus 0$ So, $f^-1(0)setminus0$ is not an embedded surface but an 1-dim submanifold of $mathbbR^4$. Is this argumentation right?
    – Andreas K
    Jul 18 at 20:14










  • @AndreasK... but at $(x,0,0,0)$ and $(0,0,0,u)$ has rank two
    – janmarqz
    Jul 18 at 21:03

















  • 1st get $f$'s the derivative
    – janmarqz
    Jul 18 at 19:44






  • 1




    Are you sure this is right? It seems to consist of the $x$-axis, the $u$-axis, and the curve $(t^2,t,1,1/t)$. Moreover, $f$ has rank $3$ along the non-linear curve. I was expecting all the components of $f$ to be homogeneous.
    – Ted Shifrin
    Jul 18 at 19:45











  • sorry there was a mistake on the last component.
    – Andreas K
    Jul 18 at 19:51










  • The derivative is given by: $$Df(x,y,z,u) = beginpmatrix z & -2y & x & 0\ 0 & u & -2z & y\ u & -z & -y & xendpmatrix$$ which has rank 3 for all $(x,y,z,u) in mathbbR^4 setminus 0$ So, $f^-1(0)setminus0$ is not an embedded surface but an 1-dim submanifold of $mathbbR^4$. Is this argumentation right?
    – Andreas K
    Jul 18 at 20:14










  • @AndreasK... but at $(x,0,0,0)$ and $(0,0,0,u)$ has rank two
    – janmarqz
    Jul 18 at 21:03
















1st get $f$'s the derivative
– janmarqz
Jul 18 at 19:44




1st get $f$'s the derivative
– janmarqz
Jul 18 at 19:44




1




1




Are you sure this is right? It seems to consist of the $x$-axis, the $u$-axis, and the curve $(t^2,t,1,1/t)$. Moreover, $f$ has rank $3$ along the non-linear curve. I was expecting all the components of $f$ to be homogeneous.
– Ted Shifrin
Jul 18 at 19:45





Are you sure this is right? It seems to consist of the $x$-axis, the $u$-axis, and the curve $(t^2,t,1,1/t)$. Moreover, $f$ has rank $3$ along the non-linear curve. I was expecting all the components of $f$ to be homogeneous.
– Ted Shifrin
Jul 18 at 19:45













sorry there was a mistake on the last component.
– Andreas K
Jul 18 at 19:51




sorry there was a mistake on the last component.
– Andreas K
Jul 18 at 19:51












The derivative is given by: $$Df(x,y,z,u) = beginpmatrix z & -2y & x & 0\ 0 & u & -2z & y\ u & -z & -y & xendpmatrix$$ which has rank 3 for all $(x,y,z,u) in mathbbR^4 setminus 0$ So, $f^-1(0)setminus0$ is not an embedded surface but an 1-dim submanifold of $mathbbR^4$. Is this argumentation right?
– Andreas K
Jul 18 at 20:14




The derivative is given by: $$Df(x,y,z,u) = beginpmatrix z & -2y & x & 0\ 0 & u & -2z & y\ u & -z & -y & xendpmatrix$$ which has rank 3 for all $(x,y,z,u) in mathbbR^4 setminus 0$ So, $f^-1(0)setminus0$ is not an embedded surface but an 1-dim submanifold of $mathbbR^4$. Is this argumentation right?
– Andreas K
Jul 18 at 20:14












@AndreasK... but at $(x,0,0,0)$ and $(0,0,0,u)$ has rank two
– janmarqz
Jul 18 at 21:03





@AndreasK... but at $(x,0,0,0)$ and $(0,0,0,u)$ has rank two
– janmarqz
Jul 18 at 21:03
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2855921%2fshow-that-preimage-is-an-embedded-surface%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2855921%2fshow-that-preimage-is-an-embedded-surface%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?