Show $sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$ for any $f$ with $f(0)=0$ and $int^1_0 f(t)dt=0$. [closed]
$begingroup$
Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.
I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$
I'm not sure how to approach this problem. Any tips are greatly appreciated!
real-analysis inequality
$endgroup$
closed as off-topic by greedoid, Alexander Gruber♦ Dec 4 '18 at 4:26
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber
If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
$begingroup$
Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.
I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$
I'm not sure how to approach this problem. Any tips are greatly appreciated!
real-analysis inequality
$endgroup$
closed as off-topic by greedoid, Alexander Gruber♦ Dec 4 '18 at 4:26
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber
If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
$begingroup$
Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.
I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$
I'm not sure how to approach this problem. Any tips are greatly appreciated!
real-analysis inequality
$endgroup$
Let $f:[0,1]to mathbb R$ be a continuous function with $f(0)=0$ and $int^1_0 f(t)dt=0$.
I need to show that $$sup_{xin[0,1]} | x -f(x)|geq frac{1}{2}$$
I'm not sure how to approach this problem. Any tips are greatly appreciated!
real-analysis inequality
real-analysis inequality
edited Dec 3 '18 at 18:18
José Carlos Santos
155k22124227
155k22124227
asked Dec 3 '18 at 18:12
user3342072user3342072
395213
395213
closed as off-topic by greedoid, Alexander Gruber♦ Dec 4 '18 at 4:26
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber
If this question can be reworded to fit the rules in the help center, please edit the question.
closed as off-topic by greedoid, Alexander Gruber♦ Dec 4 '18 at 4:26
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – greedoid, Alexander Gruber
If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$
$endgroup$
add a comment |
$begingroup$
Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.
Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.
$endgroup$
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$
$endgroup$
add a comment |
$begingroup$
Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$
$endgroup$
add a comment |
$begingroup$
Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$
$endgroup$
Hint: $displaystyleint_0^1x-f(x),mathrm dx=frac12$
answered Dec 3 '18 at 18:16
José Carlos SantosJosé Carlos Santos
155k22124227
155k22124227
add a comment |
add a comment |
$begingroup$
Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.
Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.
$endgroup$
add a comment |
$begingroup$
Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.
Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.
$endgroup$
add a comment |
$begingroup$
Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.
Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.
$endgroup$
Suppose instead that $lvert x - f(x) rvert < 1/2$ for all $x in [0,1]$. Then we see that $$frac 1 2 = left lvert int^1_0 (x-f(x)) dxright rvert le int^1_0 lvert x - f(x)rvert dx < int^1_0 frac 1 2 dx = frac 1 2,$$ a contradiction. Thus we must have $lvert x - f(x) rvert ge 1/2$ for some $x in [0,1]$ and the conclusion follows.
Unless I've made a mistake, it seems the assumption that $f(0) = 0$ is unnecessary.
answered Dec 3 '18 at 18:16
User8128User8128
10.7k1522
10.7k1522
add a comment |
add a comment |