Prove that function is bi-lipshitz given it'a differential is zero
$begingroup$
Let $f$ be a function $f:R^n -> R^n$ which is differentially continuous. Moreover, it is given that in the origin: $D_f(0)=Id$, which is the identity function.
I need to prove that around the origin, there exist $A,B>0$ that satisfy:
$$A||x-y|| le ||f(x)-f(y)|| le B||x-y||$$
I tried to maybe somehow use the Implicit Function Theorem, but no luck yet.
If someone could give me a hint or some direction, it will be very appreciated.
real-analysis calculus multivariable-calculus
$endgroup$
add a comment |
$begingroup$
Let $f$ be a function $f:R^n -> R^n$ which is differentially continuous. Moreover, it is given that in the origin: $D_f(0)=Id$, which is the identity function.
I need to prove that around the origin, there exist $A,B>0$ that satisfy:
$$A||x-y|| le ||f(x)-f(y)|| le B||x-y||$$
I tried to maybe somehow use the Implicit Function Theorem, but no luck yet.
If someone could give me a hint or some direction, it will be very appreciated.
real-analysis calculus multivariable-calculus
$endgroup$
add a comment |
$begingroup$
Let $f$ be a function $f:R^n -> R^n$ which is differentially continuous. Moreover, it is given that in the origin: $D_f(0)=Id$, which is the identity function.
I need to prove that around the origin, there exist $A,B>0$ that satisfy:
$$A||x-y|| le ||f(x)-f(y)|| le B||x-y||$$
I tried to maybe somehow use the Implicit Function Theorem, but no luck yet.
If someone could give me a hint or some direction, it will be very appreciated.
real-analysis calculus multivariable-calculus
$endgroup$
Let $f$ be a function $f:R^n -> R^n$ which is differentially continuous. Moreover, it is given that in the origin: $D_f(0)=Id$, which is the identity function.
I need to prove that around the origin, there exist $A,B>0$ that satisfy:
$$A||x-y|| le ||f(x)-f(y)|| le B||x-y||$$
I tried to maybe somehow use the Implicit Function Theorem, but no luck yet.
If someone could give me a hint or some direction, it will be very appreciated.
real-analysis calculus multivariable-calculus
real-analysis calculus multivariable-calculus
asked Dec 5 '18 at 2:16
Gabi GGabi G
39819
39819
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
By the Inverse Function Theorem, there exists two open sets $U$ and $V$ such that $0in U$, $f(U)=V$ and the restriction $f:U to V$ is a diffeomorphism. Let $varepsilon$ be a positive real number such that the closed ball $overline{B_varepsilon(0)}$ is included in $U$. Recall that the norm of $||cdot||$ of $mathbb{R}^n$ induces a norm on the vector space $mathbb{R}^{ntimes n}$ of real matrices of size $ntimes n$ defined by
$$
||A||=sup{||Ax||:||x||=1},
$$
for every $A$ in $mathbb{R}^{ntimes n}$. The main property of this induced norm is the inequality $||Ax||leq ||A||.||x||$, which holds for every matrix $A$ and every vector $x$. Now, the functions $Phi:xiinoverline{B_varepsilon(0)}mapsto Df(xi)in mathbb{R}^{ntimes n}$ and $Psi:xiin overline{B_varepsilon(0)}mapsto Df^{-1}(f(xi))in mathbb{R}^{ntimes n}$ are continuous and they are defined on a compact space. So there exists positive real numbers $A$ and $C$ such that
$$
||Phi(xi)||=||Df(xi)||leq A quadtext{ and }quad ||Psi(xi)||=||Df^{-1}(f(xi))||leq C,
$$
for every $xi$ in $overline{B_varepsilon(0)}$. Now, let $x$ and $y$ be different points in $B_varepsilon(0)$. By the Mean Value Theorem for Several Variables (if you do not know this version let me know and I will add the details), there exists $xi$ in the segment between $x$ and $y$ such that
$$
f(x)-f(y)=Df(xi).(x-y)
$$
And we know that
$$
||Df(xi).(x-y)||leq ||Df(xi)||.||x-y||leq A||x-y||
$$
and
$$
||x-y||=||Df^{-1}(f(xi)).Df(xi).(x-y)||leq ||Df^{-1}(f(xi))||.||Df(xi).(x-y)||leq C||Df(xi).(x-y)||,
$$
so $frac{1}{C}||x-y||leq ||Df(xi).(x-y)||$. If we set $B=frac{1}{C}$, it follows that
$$
B||x-y||leq ||f(x)-f(y)|| leq A||x-y||,
$$
for every $x$ and $y$ in $B_epsilon(0)$.
Note that we only need $Df(0)$ to be invertible.
$endgroup$
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
add a comment |
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3026508%2fprove-that-function-is-bi-lipshitz-given-ita-differential-is-zero%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
By the Inverse Function Theorem, there exists two open sets $U$ and $V$ such that $0in U$, $f(U)=V$ and the restriction $f:U to V$ is a diffeomorphism. Let $varepsilon$ be a positive real number such that the closed ball $overline{B_varepsilon(0)}$ is included in $U$. Recall that the norm of $||cdot||$ of $mathbb{R}^n$ induces a norm on the vector space $mathbb{R}^{ntimes n}$ of real matrices of size $ntimes n$ defined by
$$
||A||=sup{||Ax||:||x||=1},
$$
for every $A$ in $mathbb{R}^{ntimes n}$. The main property of this induced norm is the inequality $||Ax||leq ||A||.||x||$, which holds for every matrix $A$ and every vector $x$. Now, the functions $Phi:xiinoverline{B_varepsilon(0)}mapsto Df(xi)in mathbb{R}^{ntimes n}$ and $Psi:xiin overline{B_varepsilon(0)}mapsto Df^{-1}(f(xi))in mathbb{R}^{ntimes n}$ are continuous and they are defined on a compact space. So there exists positive real numbers $A$ and $C$ such that
$$
||Phi(xi)||=||Df(xi)||leq A quadtext{ and }quad ||Psi(xi)||=||Df^{-1}(f(xi))||leq C,
$$
for every $xi$ in $overline{B_varepsilon(0)}$. Now, let $x$ and $y$ be different points in $B_varepsilon(0)$. By the Mean Value Theorem for Several Variables (if you do not know this version let me know and I will add the details), there exists $xi$ in the segment between $x$ and $y$ such that
$$
f(x)-f(y)=Df(xi).(x-y)
$$
And we know that
$$
||Df(xi).(x-y)||leq ||Df(xi)||.||x-y||leq A||x-y||
$$
and
$$
||x-y||=||Df^{-1}(f(xi)).Df(xi).(x-y)||leq ||Df^{-1}(f(xi))||.||Df(xi).(x-y)||leq C||Df(xi).(x-y)||,
$$
so $frac{1}{C}||x-y||leq ||Df(xi).(x-y)||$. If we set $B=frac{1}{C}$, it follows that
$$
B||x-y||leq ||f(x)-f(y)|| leq A||x-y||,
$$
for every $x$ and $y$ in $B_epsilon(0)$.
Note that we only need $Df(0)$ to be invertible.
$endgroup$
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
add a comment |
$begingroup$
By the Inverse Function Theorem, there exists two open sets $U$ and $V$ such that $0in U$, $f(U)=V$ and the restriction $f:U to V$ is a diffeomorphism. Let $varepsilon$ be a positive real number such that the closed ball $overline{B_varepsilon(0)}$ is included in $U$. Recall that the norm of $||cdot||$ of $mathbb{R}^n$ induces a norm on the vector space $mathbb{R}^{ntimes n}$ of real matrices of size $ntimes n$ defined by
$$
||A||=sup{||Ax||:||x||=1},
$$
for every $A$ in $mathbb{R}^{ntimes n}$. The main property of this induced norm is the inequality $||Ax||leq ||A||.||x||$, which holds for every matrix $A$ and every vector $x$. Now, the functions $Phi:xiinoverline{B_varepsilon(0)}mapsto Df(xi)in mathbb{R}^{ntimes n}$ and $Psi:xiin overline{B_varepsilon(0)}mapsto Df^{-1}(f(xi))in mathbb{R}^{ntimes n}$ are continuous and they are defined on a compact space. So there exists positive real numbers $A$ and $C$ such that
$$
||Phi(xi)||=||Df(xi)||leq A quadtext{ and }quad ||Psi(xi)||=||Df^{-1}(f(xi))||leq C,
$$
for every $xi$ in $overline{B_varepsilon(0)}$. Now, let $x$ and $y$ be different points in $B_varepsilon(0)$. By the Mean Value Theorem for Several Variables (if you do not know this version let me know and I will add the details), there exists $xi$ in the segment between $x$ and $y$ such that
$$
f(x)-f(y)=Df(xi).(x-y)
$$
And we know that
$$
||Df(xi).(x-y)||leq ||Df(xi)||.||x-y||leq A||x-y||
$$
and
$$
||x-y||=||Df^{-1}(f(xi)).Df(xi).(x-y)||leq ||Df^{-1}(f(xi))||.||Df(xi).(x-y)||leq C||Df(xi).(x-y)||,
$$
so $frac{1}{C}||x-y||leq ||Df(xi).(x-y)||$. If we set $B=frac{1}{C}$, it follows that
$$
B||x-y||leq ||f(x)-f(y)|| leq A||x-y||,
$$
for every $x$ and $y$ in $B_epsilon(0)$.
Note that we only need $Df(0)$ to be invertible.
$endgroup$
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
add a comment |
$begingroup$
By the Inverse Function Theorem, there exists two open sets $U$ and $V$ such that $0in U$, $f(U)=V$ and the restriction $f:U to V$ is a diffeomorphism. Let $varepsilon$ be a positive real number such that the closed ball $overline{B_varepsilon(0)}$ is included in $U$. Recall that the norm of $||cdot||$ of $mathbb{R}^n$ induces a norm on the vector space $mathbb{R}^{ntimes n}$ of real matrices of size $ntimes n$ defined by
$$
||A||=sup{||Ax||:||x||=1},
$$
for every $A$ in $mathbb{R}^{ntimes n}$. The main property of this induced norm is the inequality $||Ax||leq ||A||.||x||$, which holds for every matrix $A$ and every vector $x$. Now, the functions $Phi:xiinoverline{B_varepsilon(0)}mapsto Df(xi)in mathbb{R}^{ntimes n}$ and $Psi:xiin overline{B_varepsilon(0)}mapsto Df^{-1}(f(xi))in mathbb{R}^{ntimes n}$ are continuous and they are defined on a compact space. So there exists positive real numbers $A$ and $C$ such that
$$
||Phi(xi)||=||Df(xi)||leq A quadtext{ and }quad ||Psi(xi)||=||Df^{-1}(f(xi))||leq C,
$$
for every $xi$ in $overline{B_varepsilon(0)}$. Now, let $x$ and $y$ be different points in $B_varepsilon(0)$. By the Mean Value Theorem for Several Variables (if you do not know this version let me know and I will add the details), there exists $xi$ in the segment between $x$ and $y$ such that
$$
f(x)-f(y)=Df(xi).(x-y)
$$
And we know that
$$
||Df(xi).(x-y)||leq ||Df(xi)||.||x-y||leq A||x-y||
$$
and
$$
||x-y||=||Df^{-1}(f(xi)).Df(xi).(x-y)||leq ||Df^{-1}(f(xi))||.||Df(xi).(x-y)||leq C||Df(xi).(x-y)||,
$$
so $frac{1}{C}||x-y||leq ||Df(xi).(x-y)||$. If we set $B=frac{1}{C}$, it follows that
$$
B||x-y||leq ||f(x)-f(y)|| leq A||x-y||,
$$
for every $x$ and $y$ in $B_epsilon(0)$.
Note that we only need $Df(0)$ to be invertible.
$endgroup$
By the Inverse Function Theorem, there exists two open sets $U$ and $V$ such that $0in U$, $f(U)=V$ and the restriction $f:U to V$ is a diffeomorphism. Let $varepsilon$ be a positive real number such that the closed ball $overline{B_varepsilon(0)}$ is included in $U$. Recall that the norm of $||cdot||$ of $mathbb{R}^n$ induces a norm on the vector space $mathbb{R}^{ntimes n}$ of real matrices of size $ntimes n$ defined by
$$
||A||=sup{||Ax||:||x||=1},
$$
for every $A$ in $mathbb{R}^{ntimes n}$. The main property of this induced norm is the inequality $||Ax||leq ||A||.||x||$, which holds for every matrix $A$ and every vector $x$. Now, the functions $Phi:xiinoverline{B_varepsilon(0)}mapsto Df(xi)in mathbb{R}^{ntimes n}$ and $Psi:xiin overline{B_varepsilon(0)}mapsto Df^{-1}(f(xi))in mathbb{R}^{ntimes n}$ are continuous and they are defined on a compact space. So there exists positive real numbers $A$ and $C$ such that
$$
||Phi(xi)||=||Df(xi)||leq A quadtext{ and }quad ||Psi(xi)||=||Df^{-1}(f(xi))||leq C,
$$
for every $xi$ in $overline{B_varepsilon(0)}$. Now, let $x$ and $y$ be different points in $B_varepsilon(0)$. By the Mean Value Theorem for Several Variables (if you do not know this version let me know and I will add the details), there exists $xi$ in the segment between $x$ and $y$ such that
$$
f(x)-f(y)=Df(xi).(x-y)
$$
And we know that
$$
||Df(xi).(x-y)||leq ||Df(xi)||.||x-y||leq A||x-y||
$$
and
$$
||x-y||=||Df^{-1}(f(xi)).Df(xi).(x-y)||leq ||Df^{-1}(f(xi))||.||Df(xi).(x-y)||leq C||Df(xi).(x-y)||,
$$
so $frac{1}{C}||x-y||leq ||Df(xi).(x-y)||$. If we set $B=frac{1}{C}$, it follows that
$$
B||x-y||leq ||f(x)-f(y)|| leq A||x-y||,
$$
for every $x$ and $y$ in $B_epsilon(0)$.
Note that we only need $Df(0)$ to be invertible.
edited Dec 6 '18 at 0:31
answered Dec 5 '18 at 22:48
Dante GrevinoDante Grevino
96319
96319
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
add a comment |
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Nice answer! Makes me wonder why in the question it was given that the differential at zero is the identity function, and not merely invertible.
$endgroup$
– Gabi G
Dec 5 '18 at 23:59
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
$begingroup$
Thanks! Well, you can use the precise value of $||Df(0)||$ and $||Df^{−1}(f(0))||$ to control the constants $A$ and $B$ in the following way: For every $delta >0$ there exists an $varepsilon >0$ such that the constansts $A$ and $B$ in the answer above can be chosen $||Df(0)||leq A<||Df(0)||+δ$ and $1/||Df^{−1}(f(0))||geq C>1/(||Df^{−1}(f(0))||+δ)$.
$endgroup$
– Dante Grevino
Dec 6 '18 at 1:04
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3026508%2fprove-that-function-is-bi-lipshitz-given-ita-differential-is-zero%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown