Prove $A_m$ is closed in $C[0,1]$
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$
Prove $A_m$ is closed in $C[0,1]$
My idea is:
Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.
This implies $A_m$ is closed set.
But i don't know how to prove this, can someone help me?
general-topology
add a comment |Â
up vote
0
down vote
favorite
Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$
Prove $A_m$ is closed in $C[0,1]$
My idea is:
Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.
This implies $A_m$ is closed set.
But i don't know how to prove this, can someone help me?
general-topology
Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21
Yes @Adayah is that
– Bvss12
Jul 15 at 22:24
Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$
Prove $A_m$ is closed in $C[0,1]$
My idea is:
Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.
This implies $A_m$ is closed set.
But i don't know how to prove this, can someone help me?
general-topology
Let $minmathbbN$ arbitrary and $A_m subset C[0,1]$, the subset of all function $f$ verify: Exists $x_0in[0,1-frac1m]$ such that: $fracf(x_0+h-f(x_0)hleq m forall hin(0,frac1m$
Prove $A_m$ is closed in $C[0,1]$
My idea is:
Prove $A_m$ is bounded uniformly and equicontinuous then by Ascoli theorem $A_m$ be compact.
This implies $A_m$ is closed set.
But i don't know how to prove this, can someone help me?
general-topology
asked Jul 15 at 20:51


Bvss12
1,609516
1,609516
Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21
Yes @Adayah is that
– Bvss12
Jul 15 at 22:24
Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08
add a comment |Â
Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21
Yes @Adayah is that
– Bvss12
Jul 15 at 22:24
Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08
Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21
Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21
Yes @Adayah is that
– Bvss12
Jul 15 at 22:24
Yes @Adayah is that
– Bvss12
Jul 15 at 22:24
Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08
Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.
add a comment |Â
up vote
1
down vote
Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.
add a comment |Â
up vote
1
down vote
up vote
1
down vote
Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.
Fix $h$. $fto inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h $ is a continuous function on $C[0,1]$. This is a fairly strightforward verification. [Let me know if you need help with this]. Hence ${fin C[0,1]:inf_xin [0,1-frac 1 m] frac f(x+h)-f(x) h leq m$ is a closed set. Take intersection over $h$ to see that $A_m$ is closed.
answered Jul 15 at 23:40


Kavi Rama Murthy
21k2830
21k2830
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852838%2fprove-a-m-is-closed-in-c0-1%23new-answer', 'question_page');
);
Post as a guest
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
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
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
Do you mean that $A_m$ is the set of all functions in $mathcalC[0, 1]$ which satisfy the condition "exists $x_0 in [0, 1-frac1m]$ such that..." ?
– Adayah
Jul 15 at 22:21
Yes @Adayah is that
– Bvss12
Jul 15 at 22:24
Given the attempt you used on this question, one remark I think relevant is: the set $A_m$ is not uniformly bounded. To see this, for each $fin A_m$, and each $cinmathbbR$, $f+cin A_m$. Thus, $A_m$ is not uniformly bounded (nor is it compact, either). Moreover, I'd believe its rather extraordinary to find a family of functions in $C[0,1]$ that is equicontinuous and uniformly bounded. So, more often than not, I'd asume this is not the case.
– Nate River
Jul 16 at 13:08