How to show that if $f^2(x)$ is uniformly continous function then f is uniformly continous
$begingroup$
$f:Rto [0,infty)$ is function such that $f^2(x)$ is uniformly continuous on R then I have to show that f is uniformly continuous ?
My attempt :
$|f^2(x)-f^2(y)|<epsilon$ for $|x-y|<delta$
then
$|f(x)-f(y)<epsilon/|f(x)+f(y)|$ for $|x-y|<delta$
My problem is that how to control above difference as f may be 0 at both x and y
SO how to show above is uniformly continuous
Any help will be appreciated
real-analysis continuity uniform-continuity
$endgroup$
add a comment |
$begingroup$
$f:Rto [0,infty)$ is function such that $f^2(x)$ is uniformly continuous on R then I have to show that f is uniformly continuous ?
My attempt :
$|f^2(x)-f^2(y)|<epsilon$ for $|x-y|<delta$
then
$|f(x)-f(y)<epsilon/|f(x)+f(y)|$ for $|x-y|<delta$
My problem is that how to control above difference as f may be 0 at both x and y
SO how to show above is uniformly continuous
Any help will be appreciated
real-analysis continuity uniform-continuity
$endgroup$
2
$begingroup$
if $|f(x)+f(y)| = f(x)+f(y)$ is small, then both $f(x)$ and $f(y)$ are small, which gives $|f(x)-f(y)|$ small. If $f(x)+f(y)$ is large, then $frac{epsilon}{|f(x)+f(y)|}$ is small.
$endgroup$
– mathworker21
Dec 1 '18 at 7:02
$begingroup$
It suffices to prove that the square root function is uniformly continuous, see for example math.stackexchange.com/q/569928/42969.
$endgroup$
– Martin R
Dec 1 '18 at 8:27
add a comment |
$begingroup$
$f:Rto [0,infty)$ is function such that $f^2(x)$ is uniformly continuous on R then I have to show that f is uniformly continuous ?
My attempt :
$|f^2(x)-f^2(y)|<epsilon$ for $|x-y|<delta$
then
$|f(x)-f(y)<epsilon/|f(x)+f(y)|$ for $|x-y|<delta$
My problem is that how to control above difference as f may be 0 at both x and y
SO how to show above is uniformly continuous
Any help will be appreciated
real-analysis continuity uniform-continuity
$endgroup$
$f:Rto [0,infty)$ is function such that $f^2(x)$ is uniformly continuous on R then I have to show that f is uniformly continuous ?
My attempt :
$|f^2(x)-f^2(y)|<epsilon$ for $|x-y|<delta$
then
$|f(x)-f(y)<epsilon/|f(x)+f(y)|$ for $|x-y|<delta$
My problem is that how to control above difference as f may be 0 at both x and y
SO how to show above is uniformly continuous
Any help will be appreciated
real-analysis continuity uniform-continuity
real-analysis continuity uniform-continuity
edited Dec 1 '18 at 7:36
twnly
542110
542110
asked Dec 1 '18 at 6:47
MathLoverMathLover
49310
49310
2
$begingroup$
if $|f(x)+f(y)| = f(x)+f(y)$ is small, then both $f(x)$ and $f(y)$ are small, which gives $|f(x)-f(y)|$ small. If $f(x)+f(y)$ is large, then $frac{epsilon}{|f(x)+f(y)|}$ is small.
$endgroup$
– mathworker21
Dec 1 '18 at 7:02
$begingroup$
It suffices to prove that the square root function is uniformly continuous, see for example math.stackexchange.com/q/569928/42969.
$endgroup$
– Martin R
Dec 1 '18 at 8:27
add a comment |
2
$begingroup$
if $|f(x)+f(y)| = f(x)+f(y)$ is small, then both $f(x)$ and $f(y)$ are small, which gives $|f(x)-f(y)|$ small. If $f(x)+f(y)$ is large, then $frac{epsilon}{|f(x)+f(y)|}$ is small.
$endgroup$
– mathworker21
Dec 1 '18 at 7:02
$begingroup$
It suffices to prove that the square root function is uniformly continuous, see for example math.stackexchange.com/q/569928/42969.
$endgroup$
– Martin R
Dec 1 '18 at 8:27
2
2
$begingroup$
if $|f(x)+f(y)| = f(x)+f(y)$ is small, then both $f(x)$ and $f(y)$ are small, which gives $|f(x)-f(y)|$ small. If $f(x)+f(y)$ is large, then $frac{epsilon}{|f(x)+f(y)|}$ is small.
$endgroup$
– mathworker21
Dec 1 '18 at 7:02
$begingroup$
if $|f(x)+f(y)| = f(x)+f(y)$ is small, then both $f(x)$ and $f(y)$ are small, which gives $|f(x)-f(y)|$ small. If $f(x)+f(y)$ is large, then $frac{epsilon}{|f(x)+f(y)|}$ is small.
$endgroup$
– mathworker21
Dec 1 '18 at 7:02
$begingroup$
It suffices to prove that the square root function is uniformly continuous, see for example math.stackexchange.com/q/569928/42969.
$endgroup$
– Martin R
Dec 1 '18 at 8:27
$begingroup$
It suffices to prove that the square root function is uniformly continuous, see for example math.stackexchange.com/q/569928/42969.
$endgroup$
– Martin R
Dec 1 '18 at 8:27
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Building off of Martin R's comment; If you prove that the square root function is uniformly continuous, and that the composition of two uniformly continuous functions is again uniformly continuous, then the result follows by taking $sqrt.$ composed with $f^{2}$.
$sqrt x$ is uniformly continuous
composition of two uniformly continuous functions.
$endgroup$
add a comment |
$begingroup$
To follow up on Martin R's comment:
Theorem: If $h$ is uniformly continuous on an interval $I$, and $g$ is uniformly continuous on $h(I)$, $gcirc h$ is uniformly continuous on $I$.
Proof: Just chain the definitions. For any $epsilon>0$, there is some $delta>0$ such that $|g(y_1)-g(y_2)| < epsilon$ whenever $|y_1 - y_2| < delta$ for $y_1,y_2in h(I)$. Then, for any $delta > 0$, there is some $gamma > 0$ such that $|h(x_1)-h(x_2)| < delta$ whenever $|x_1-x_2| < gamma$ for $x_1,x_2in I$. Take $y_1=h(x_1),y_2=h(x_2)$, and we get that $|g(h(x_1))-g(h(x_2))| <epsilon$ whenever $|x_1-x_2| <gamma$ for $x_1,x_2in I$. That's the definition of uniform continuity, and we're done.
Next, we show that $g(y)=sqrt{y}$ is uniformly continuous on $[0,infty)$. With the slope increasing as we approach zero, the worst cases will be there - so we can write down explicitly that $|sqrt{y_1}-sqrt{y_2}|le sqrt{|y_1-y_2|}$, with equality only if one of the $y_i$ is zero. Invert that to get what we need; if $|y_1-y_2| < epsilon^2$, $|sqrt{y_1}-sqrt{y_2}| <epsilon$.
Finally, the original problem has $f=gcirc h$, where $g$ is the square root function on $[0,infty)$ and $h(x)=f^2(x)$ on $mathbb{R}$. Since $h$ is uniformly continuous on its domain $mathbb{R}$ and $g$ is uniformly continuous on $h(mathbb{R})$, the composition is uniformly continuous on its domain $mathbb{R}$. Do note here that $f$ was chosen to be positive; we need that detail for $f$ to actually be the composite function.
$endgroup$
add a comment |
$begingroup$
I think the result holds for all $fin C(mathbb{R})$. You could use mean value theorem: if $f(x)f(y)<0$ then there is some $z$ between $x$ and $y$ such that $f(z)=0.$ The details is omitted.
$endgroup$
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
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%2f3021073%2fhow-to-show-that-if-f2x-is-uniformly-continous-function-then-f-is-uniformly%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Building off of Martin R's comment; If you prove that the square root function is uniformly continuous, and that the composition of two uniformly continuous functions is again uniformly continuous, then the result follows by taking $sqrt.$ composed with $f^{2}$.
$sqrt x$ is uniformly continuous
composition of two uniformly continuous functions.
$endgroup$
add a comment |
$begingroup$
Building off of Martin R's comment; If you prove that the square root function is uniformly continuous, and that the composition of two uniformly continuous functions is again uniformly continuous, then the result follows by taking $sqrt.$ composed with $f^{2}$.
$sqrt x$ is uniformly continuous
composition of two uniformly continuous functions.
$endgroup$
add a comment |
$begingroup$
Building off of Martin R's comment; If you prove that the square root function is uniformly continuous, and that the composition of two uniformly continuous functions is again uniformly continuous, then the result follows by taking $sqrt.$ composed with $f^{2}$.
$sqrt x$ is uniformly continuous
composition of two uniformly continuous functions.
$endgroup$
Building off of Martin R's comment; If you prove that the square root function is uniformly continuous, and that the composition of two uniformly continuous functions is again uniformly continuous, then the result follows by taking $sqrt.$ composed with $f^{2}$.
$sqrt x$ is uniformly continuous
composition of two uniformly continuous functions.
edited Dec 1 '18 at 8:59
answered Dec 1 '18 at 8:19
simplemathsimplemath
363
363
add a comment |
add a comment |
$begingroup$
To follow up on Martin R's comment:
Theorem: If $h$ is uniformly continuous on an interval $I$, and $g$ is uniformly continuous on $h(I)$, $gcirc h$ is uniformly continuous on $I$.
Proof: Just chain the definitions. For any $epsilon>0$, there is some $delta>0$ such that $|g(y_1)-g(y_2)| < epsilon$ whenever $|y_1 - y_2| < delta$ for $y_1,y_2in h(I)$. Then, for any $delta > 0$, there is some $gamma > 0$ such that $|h(x_1)-h(x_2)| < delta$ whenever $|x_1-x_2| < gamma$ for $x_1,x_2in I$. Take $y_1=h(x_1),y_2=h(x_2)$, and we get that $|g(h(x_1))-g(h(x_2))| <epsilon$ whenever $|x_1-x_2| <gamma$ for $x_1,x_2in I$. That's the definition of uniform continuity, and we're done.
Next, we show that $g(y)=sqrt{y}$ is uniformly continuous on $[0,infty)$. With the slope increasing as we approach zero, the worst cases will be there - so we can write down explicitly that $|sqrt{y_1}-sqrt{y_2}|le sqrt{|y_1-y_2|}$, with equality only if one of the $y_i$ is zero. Invert that to get what we need; if $|y_1-y_2| < epsilon^2$, $|sqrt{y_1}-sqrt{y_2}| <epsilon$.
Finally, the original problem has $f=gcirc h$, where $g$ is the square root function on $[0,infty)$ and $h(x)=f^2(x)$ on $mathbb{R}$. Since $h$ is uniformly continuous on its domain $mathbb{R}$ and $g$ is uniformly continuous on $h(mathbb{R})$, the composition is uniformly continuous on its domain $mathbb{R}$. Do note here that $f$ was chosen to be positive; we need that detail for $f$ to actually be the composite function.
$endgroup$
add a comment |
$begingroup$
To follow up on Martin R's comment:
Theorem: If $h$ is uniformly continuous on an interval $I$, and $g$ is uniformly continuous on $h(I)$, $gcirc h$ is uniformly continuous on $I$.
Proof: Just chain the definitions. For any $epsilon>0$, there is some $delta>0$ such that $|g(y_1)-g(y_2)| < epsilon$ whenever $|y_1 - y_2| < delta$ for $y_1,y_2in h(I)$. Then, for any $delta > 0$, there is some $gamma > 0$ such that $|h(x_1)-h(x_2)| < delta$ whenever $|x_1-x_2| < gamma$ for $x_1,x_2in I$. Take $y_1=h(x_1),y_2=h(x_2)$, and we get that $|g(h(x_1))-g(h(x_2))| <epsilon$ whenever $|x_1-x_2| <gamma$ for $x_1,x_2in I$. That's the definition of uniform continuity, and we're done.
Next, we show that $g(y)=sqrt{y}$ is uniformly continuous on $[0,infty)$. With the slope increasing as we approach zero, the worst cases will be there - so we can write down explicitly that $|sqrt{y_1}-sqrt{y_2}|le sqrt{|y_1-y_2|}$, with equality only if one of the $y_i$ is zero. Invert that to get what we need; if $|y_1-y_2| < epsilon^2$, $|sqrt{y_1}-sqrt{y_2}| <epsilon$.
Finally, the original problem has $f=gcirc h$, where $g$ is the square root function on $[0,infty)$ and $h(x)=f^2(x)$ on $mathbb{R}$. Since $h$ is uniformly continuous on its domain $mathbb{R}$ and $g$ is uniformly continuous on $h(mathbb{R})$, the composition is uniformly continuous on its domain $mathbb{R}$. Do note here that $f$ was chosen to be positive; we need that detail for $f$ to actually be the composite function.
$endgroup$
add a comment |
$begingroup$
To follow up on Martin R's comment:
Theorem: If $h$ is uniformly continuous on an interval $I$, and $g$ is uniformly continuous on $h(I)$, $gcirc h$ is uniformly continuous on $I$.
Proof: Just chain the definitions. For any $epsilon>0$, there is some $delta>0$ such that $|g(y_1)-g(y_2)| < epsilon$ whenever $|y_1 - y_2| < delta$ for $y_1,y_2in h(I)$. Then, for any $delta > 0$, there is some $gamma > 0$ such that $|h(x_1)-h(x_2)| < delta$ whenever $|x_1-x_2| < gamma$ for $x_1,x_2in I$. Take $y_1=h(x_1),y_2=h(x_2)$, and we get that $|g(h(x_1))-g(h(x_2))| <epsilon$ whenever $|x_1-x_2| <gamma$ for $x_1,x_2in I$. That's the definition of uniform continuity, and we're done.
Next, we show that $g(y)=sqrt{y}$ is uniformly continuous on $[0,infty)$. With the slope increasing as we approach zero, the worst cases will be there - so we can write down explicitly that $|sqrt{y_1}-sqrt{y_2}|le sqrt{|y_1-y_2|}$, with equality only if one of the $y_i$ is zero. Invert that to get what we need; if $|y_1-y_2| < epsilon^2$, $|sqrt{y_1}-sqrt{y_2}| <epsilon$.
Finally, the original problem has $f=gcirc h$, where $g$ is the square root function on $[0,infty)$ and $h(x)=f^2(x)$ on $mathbb{R}$. Since $h$ is uniformly continuous on its domain $mathbb{R}$ and $g$ is uniformly continuous on $h(mathbb{R})$, the composition is uniformly continuous on its domain $mathbb{R}$. Do note here that $f$ was chosen to be positive; we need that detail for $f$ to actually be the composite function.
$endgroup$
To follow up on Martin R's comment:
Theorem: If $h$ is uniformly continuous on an interval $I$, and $g$ is uniformly continuous on $h(I)$, $gcirc h$ is uniformly continuous on $I$.
Proof: Just chain the definitions. For any $epsilon>0$, there is some $delta>0$ such that $|g(y_1)-g(y_2)| < epsilon$ whenever $|y_1 - y_2| < delta$ for $y_1,y_2in h(I)$. Then, for any $delta > 0$, there is some $gamma > 0$ such that $|h(x_1)-h(x_2)| < delta$ whenever $|x_1-x_2| < gamma$ for $x_1,x_2in I$. Take $y_1=h(x_1),y_2=h(x_2)$, and we get that $|g(h(x_1))-g(h(x_2))| <epsilon$ whenever $|x_1-x_2| <gamma$ for $x_1,x_2in I$. That's the definition of uniform continuity, and we're done.
Next, we show that $g(y)=sqrt{y}$ is uniformly continuous on $[0,infty)$. With the slope increasing as we approach zero, the worst cases will be there - so we can write down explicitly that $|sqrt{y_1}-sqrt{y_2}|le sqrt{|y_1-y_2|}$, with equality only if one of the $y_i$ is zero. Invert that to get what we need; if $|y_1-y_2| < epsilon^2$, $|sqrt{y_1}-sqrt{y_2}| <epsilon$.
Finally, the original problem has $f=gcirc h$, where $g$ is the square root function on $[0,infty)$ and $h(x)=f^2(x)$ on $mathbb{R}$. Since $h$ is uniformly continuous on its domain $mathbb{R}$ and $g$ is uniformly continuous on $h(mathbb{R})$, the composition is uniformly continuous on its domain $mathbb{R}$. Do note here that $f$ was chosen to be positive; we need that detail for $f$ to actually be the composite function.
answered Dec 1 '18 at 8:55
jmerryjmerry
3,447413
3,447413
add a comment |
add a comment |
$begingroup$
I think the result holds for all $fin C(mathbb{R})$. You could use mean value theorem: if $f(x)f(y)<0$ then there is some $z$ between $x$ and $y$ such that $f(z)=0.$ The details is omitted.
$endgroup$
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
add a comment |
$begingroup$
I think the result holds for all $fin C(mathbb{R})$. You could use mean value theorem: if $f(x)f(y)<0$ then there is some $z$ between $x$ and $y$ such that $f(z)=0.$ The details is omitted.
$endgroup$
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
add a comment |
$begingroup$
I think the result holds for all $fin C(mathbb{R})$. You could use mean value theorem: if $f(x)f(y)<0$ then there is some $z$ between $x$ and $y$ such that $f(z)=0.$ The details is omitted.
$endgroup$
I think the result holds for all $fin C(mathbb{R})$. You could use mean value theorem: if $f(x)f(y)<0$ then there is some $z$ between $x$ and $y$ such that $f(z)=0.$ The details is omitted.
edited Dec 1 '18 at 9:43
answered Dec 1 '18 at 9:31
MiGangMiGang
636
636
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
add a comment |
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
Sorry, I don't get how this is related to the question. $f$ is non-negative, and the question is about uniform continuity, not about zeros.
$endgroup$
– Martin R
Dec 1 '18 at 10:08
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
$begingroup$
@MartinR I mean you can remove the non-negative condition provided f is continuous.
$endgroup$
– MiGang
Dec 1 '18 at 12:05
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%2f3021073%2fhow-to-show-that-if-f2x-is-uniformly-continous-function-then-f-is-uniformly%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
2
$begingroup$
if $|f(x)+f(y)| = f(x)+f(y)$ is small, then both $f(x)$ and $f(y)$ are small, which gives $|f(x)-f(y)|$ small. If $f(x)+f(y)$ is large, then $frac{epsilon}{|f(x)+f(y)|}$ is small.
$endgroup$
– mathworker21
Dec 1 '18 at 7:02
$begingroup$
It suffices to prove that the square root function is uniformly continuous, see for example math.stackexchange.com/q/569928/42969.
$endgroup$
– Martin R
Dec 1 '18 at 8:27