Length of intervals
up vote
0
down vote
favorite
Let $I,J$ be closed bounded intervals, and let $epsilon>0$ such that $l(I)> epsilon l(J)$. Assume that $I cap J neq emptyset,$ show that if $epsilongeq 1/2$, then $J subseteq 5 * I. $ Where $5* I$ denotes the interval with the samecenter as $I$ and five times its length. Is the same true if 0 < epsilon < 1/2?
My attempt:
Let $I=[a,b], J=[a,d]$ with $a,b,c,d$ are real numbers.
For $x in J$, we have $[c,x] subseteq J,$ so $1/2(x-c )leq epsilon (x-c) leq epsilon (d-c)<b-a $, so $x <frac{b+epsilon c}{epsilon}-frac{a}{epsilon}.$ I could not get more steps after this, so I would appreciate any comments or help with that, Thanks.
lebesgue-measure measurable-functions
|
show 3 more comments
up vote
0
down vote
favorite
Let $I,J$ be closed bounded intervals, and let $epsilon>0$ such that $l(I)> epsilon l(J)$. Assume that $I cap J neq emptyset,$ show that if $epsilongeq 1/2$, then $J subseteq 5 * I. $ Where $5* I$ denotes the interval with the samecenter as $I$ and five times its length. Is the same true if 0 < epsilon < 1/2?
My attempt:
Let $I=[a,b], J=[a,d]$ with $a,b,c,d$ are real numbers.
For $x in J$, we have $[c,x] subseteq J,$ so $1/2(x-c )leq epsilon (x-c) leq epsilon (d-c)<b-a $, so $x <frac{b+epsilon c}{epsilon}-frac{a}{epsilon}.$ I could not get more steps after this, so I would appreciate any comments or help with that, Thanks.
lebesgue-measure measurable-functions
As stated, the question is not true. Consider $I = J = [0,1]$. They clearly have non-empty intersection and $l(I) > l(J)/2$, but $5 cdot I = [5,10]$, and this does not contain $J$.
– Sambo
Nov 12 at 1:45
But, $5 * I=[0,10]$, not $[5,10].$
– Ahmed
Nov 12 at 1:54
Whoops, I mistyped. It should be $I = J = [1,2]$
– Sambo
Nov 12 at 3:45
I have this question copied from H.L Royden's book.
– Ahmed
Nov 12 at 4:58
1
You are right, I really apologize.
– Ahmed
Nov 13 at 0:24
|
show 3 more comments
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $I,J$ be closed bounded intervals, and let $epsilon>0$ such that $l(I)> epsilon l(J)$. Assume that $I cap J neq emptyset,$ show that if $epsilongeq 1/2$, then $J subseteq 5 * I. $ Where $5* I$ denotes the interval with the samecenter as $I$ and five times its length. Is the same true if 0 < epsilon < 1/2?
My attempt:
Let $I=[a,b], J=[a,d]$ with $a,b,c,d$ are real numbers.
For $x in J$, we have $[c,x] subseteq J,$ so $1/2(x-c )leq epsilon (x-c) leq epsilon (d-c)<b-a $, so $x <frac{b+epsilon c}{epsilon}-frac{a}{epsilon}.$ I could not get more steps after this, so I would appreciate any comments or help with that, Thanks.
lebesgue-measure measurable-functions
Let $I,J$ be closed bounded intervals, and let $epsilon>0$ such that $l(I)> epsilon l(J)$. Assume that $I cap J neq emptyset,$ show that if $epsilongeq 1/2$, then $J subseteq 5 * I. $ Where $5* I$ denotes the interval with the samecenter as $I$ and five times its length. Is the same true if 0 < epsilon < 1/2?
My attempt:
Let $I=[a,b], J=[a,d]$ with $a,b,c,d$ are real numbers.
For $x in J$, we have $[c,x] subseteq J,$ so $1/2(x-c )leq epsilon (x-c) leq epsilon (d-c)<b-a $, so $x <frac{b+epsilon c}{epsilon}-frac{a}{epsilon}.$ I could not get more steps after this, so I would appreciate any comments or help with that, Thanks.
lebesgue-measure measurable-functions
lebesgue-measure measurable-functions
edited Nov 13 at 0:23
asked Nov 12 at 1:05
Ahmed
26819
26819
As stated, the question is not true. Consider $I = J = [0,1]$. They clearly have non-empty intersection and $l(I) > l(J)/2$, but $5 cdot I = [5,10]$, and this does not contain $J$.
– Sambo
Nov 12 at 1:45
But, $5 * I=[0,10]$, not $[5,10].$
– Ahmed
Nov 12 at 1:54
Whoops, I mistyped. It should be $I = J = [1,2]$
– Sambo
Nov 12 at 3:45
I have this question copied from H.L Royden's book.
– Ahmed
Nov 12 at 4:58
1
You are right, I really apologize.
– Ahmed
Nov 13 at 0:24
|
show 3 more comments
As stated, the question is not true. Consider $I = J = [0,1]$. They clearly have non-empty intersection and $l(I) > l(J)/2$, but $5 cdot I = [5,10]$, and this does not contain $J$.
– Sambo
Nov 12 at 1:45
But, $5 * I=[0,10]$, not $[5,10].$
– Ahmed
Nov 12 at 1:54
Whoops, I mistyped. It should be $I = J = [1,2]$
– Sambo
Nov 12 at 3:45
I have this question copied from H.L Royden's book.
– Ahmed
Nov 12 at 4:58
1
You are right, I really apologize.
– Ahmed
Nov 13 at 0:24
As stated, the question is not true. Consider $I = J = [0,1]$. They clearly have non-empty intersection and $l(I) > l(J)/2$, but $5 cdot I = [5,10]$, and this does not contain $J$.
– Sambo
Nov 12 at 1:45
As stated, the question is not true. Consider $I = J = [0,1]$. They clearly have non-empty intersection and $l(I) > l(J)/2$, but $5 cdot I = [5,10]$, and this does not contain $J$.
– Sambo
Nov 12 at 1:45
But, $5 * I=[0,10]$, not $[5,10].$
– Ahmed
Nov 12 at 1:54
But, $5 * I=[0,10]$, not $[5,10].$
– Ahmed
Nov 12 at 1:54
Whoops, I mistyped. It should be $I = J = [1,2]$
– Sambo
Nov 12 at 3:45
Whoops, I mistyped. It should be $I = J = [1,2]$
– Sambo
Nov 12 at 3:45
I have this question copied from H.L Royden's book.
– Ahmed
Nov 12 at 4:58
I have this question copied from H.L Royden's book.
– Ahmed
Nov 12 at 4:58
1
1
You are right, I really apologize.
– Ahmed
Nov 13 at 0:24
You are right, I really apologize.
– Ahmed
Nov 13 at 0:24
|
show 3 more comments
2 Answers
2
active
oldest
votes
up vote
0
down vote
It's simply not true. Consider $J=[0,2]$, $I=[1,3]$. As $ell(I)=ell(J)$ the condition $ell(I)>epsilon,ell(J)$ is fulfilled with $epsilon={3over4}>{1over2}$. But $J$ is not contained in $5*I=[5,15]$.
I suggest you check your source. Maybe your interpretation of $5*I$ is wrong.
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
add a comment |
up vote
0
down vote
Assume that $I cap J= emptyset$ with $J,I$ are closed and bounded intervals, and let $gamma>0$ such that $l(I)>gamma. l(J)$. Let $y in J$, We have that $5*I=[x-frac{5}{2}l(I),x+frac{5}{2}l(I)]$ where $x$ is the center of $I$. To show that $y in 5 * I$, we will show that $|y-x|leq frac{5}{2} l(I).$ Since there exists $z in I cap J$, then by triangle inequality $$|y-x|leq |y+z|+|z-x|leq l(J)+l(I)<frac{1}{gamma}l(I)+frac{l(I)}{2}leq frac{5}{2}l(I)$$ for any $gamma geq 1/2,$ and we are done.
Now, consider $I=[0,1/2], J=[1/2,5]$. Clearly, $l(I)=1/2> gamma l(J)=gamma (4.5)$ where $gamma=1/10.$ We have that $5*I=[-1,frac{6}{4}]$, and clearly $J nsubseteq 5 *I $ since 4$notin J.$
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
It's simply not true. Consider $J=[0,2]$, $I=[1,3]$. As $ell(I)=ell(J)$ the condition $ell(I)>epsilon,ell(J)$ is fulfilled with $epsilon={3over4}>{1over2}$. But $J$ is not contained in $5*I=[5,15]$.
I suggest you check your source. Maybe your interpretation of $5*I$ is wrong.
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
add a comment |
up vote
0
down vote
It's simply not true. Consider $J=[0,2]$, $I=[1,3]$. As $ell(I)=ell(J)$ the condition $ell(I)>epsilon,ell(J)$ is fulfilled with $epsilon={3over4}>{1over2}$. But $J$ is not contained in $5*I=[5,15]$.
I suggest you check your source. Maybe your interpretation of $5*I$ is wrong.
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
add a comment |
up vote
0
down vote
up vote
0
down vote
It's simply not true. Consider $J=[0,2]$, $I=[1,3]$. As $ell(I)=ell(J)$ the condition $ell(I)>epsilon,ell(J)$ is fulfilled with $epsilon={3over4}>{1over2}$. But $J$ is not contained in $5*I=[5,15]$.
I suggest you check your source. Maybe your interpretation of $5*I$ is wrong.
It's simply not true. Consider $J=[0,2]$, $I=[1,3]$. As $ell(I)=ell(J)$ the condition $ell(I)>epsilon,ell(J)$ is fulfilled with $epsilon={3over4}>{1over2}$. But $J$ is not contained in $5*I=[5,15]$.
I suggest you check your source. Maybe your interpretation of $5*I$ is wrong.
edited Nov 12 at 12:02
answered Nov 12 at 9:12
Christian Blatter
170k7111324
170k7111324
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
add a comment |
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
I checked it, it is the same problem I copy from the book. Please note in your example that $l(I)leq epsilon l(J)$ for $epsilon geq 1$, and we need $l(I)>epsilon l(J)$
– Ahmed
Nov 12 at 11:31
add a comment |
up vote
0
down vote
Assume that $I cap J= emptyset$ with $J,I$ are closed and bounded intervals, and let $gamma>0$ such that $l(I)>gamma. l(J)$. Let $y in J$, We have that $5*I=[x-frac{5}{2}l(I),x+frac{5}{2}l(I)]$ where $x$ is the center of $I$. To show that $y in 5 * I$, we will show that $|y-x|leq frac{5}{2} l(I).$ Since there exists $z in I cap J$, then by triangle inequality $$|y-x|leq |y+z|+|z-x|leq l(J)+l(I)<frac{1}{gamma}l(I)+frac{l(I)}{2}leq frac{5}{2}l(I)$$ for any $gamma geq 1/2,$ and we are done.
Now, consider $I=[0,1/2], J=[1/2,5]$. Clearly, $l(I)=1/2> gamma l(J)=gamma (4.5)$ where $gamma=1/10.$ We have that $5*I=[-1,frac{6}{4}]$, and clearly $J nsubseteq 5 *I $ since 4$notin J.$
add a comment |
up vote
0
down vote
Assume that $I cap J= emptyset$ with $J,I$ are closed and bounded intervals, and let $gamma>0$ such that $l(I)>gamma. l(J)$. Let $y in J$, We have that $5*I=[x-frac{5}{2}l(I),x+frac{5}{2}l(I)]$ where $x$ is the center of $I$. To show that $y in 5 * I$, we will show that $|y-x|leq frac{5}{2} l(I).$ Since there exists $z in I cap J$, then by triangle inequality $$|y-x|leq |y+z|+|z-x|leq l(J)+l(I)<frac{1}{gamma}l(I)+frac{l(I)}{2}leq frac{5}{2}l(I)$$ for any $gamma geq 1/2,$ and we are done.
Now, consider $I=[0,1/2], J=[1/2,5]$. Clearly, $l(I)=1/2> gamma l(J)=gamma (4.5)$ where $gamma=1/10.$ We have that $5*I=[-1,frac{6}{4}]$, and clearly $J nsubseteq 5 *I $ since 4$notin J.$
add a comment |
up vote
0
down vote
up vote
0
down vote
Assume that $I cap J= emptyset$ with $J,I$ are closed and bounded intervals, and let $gamma>0$ such that $l(I)>gamma. l(J)$. Let $y in J$, We have that $5*I=[x-frac{5}{2}l(I),x+frac{5}{2}l(I)]$ where $x$ is the center of $I$. To show that $y in 5 * I$, we will show that $|y-x|leq frac{5}{2} l(I).$ Since there exists $z in I cap J$, then by triangle inequality $$|y-x|leq |y+z|+|z-x|leq l(J)+l(I)<frac{1}{gamma}l(I)+frac{l(I)}{2}leq frac{5}{2}l(I)$$ for any $gamma geq 1/2,$ and we are done.
Now, consider $I=[0,1/2], J=[1/2,5]$. Clearly, $l(I)=1/2> gamma l(J)=gamma (4.5)$ where $gamma=1/10.$ We have that $5*I=[-1,frac{6}{4}]$, and clearly $J nsubseteq 5 *I $ since 4$notin J.$
Assume that $I cap J= emptyset$ with $J,I$ are closed and bounded intervals, and let $gamma>0$ such that $l(I)>gamma. l(J)$. Let $y in J$, We have that $5*I=[x-frac{5}{2}l(I),x+frac{5}{2}l(I)]$ where $x$ is the center of $I$. To show that $y in 5 * I$, we will show that $|y-x|leq frac{5}{2} l(I).$ Since there exists $z in I cap J$, then by triangle inequality $$|y-x|leq |y+z|+|z-x|leq l(J)+l(I)<frac{1}{gamma}l(I)+frac{l(I)}{2}leq frac{5}{2}l(I)$$ for any $gamma geq 1/2,$ and we are done.
Now, consider $I=[0,1/2], J=[1/2,5]$. Clearly, $l(I)=1/2> gamma l(J)=gamma (4.5)$ where $gamma=1/10.$ We have that $5*I=[-1,frac{6}{4}]$, and clearly $J nsubseteq 5 *I $ since 4$notin J.$
answered Nov 14 at 18:38
Ahmed
26819
26819
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2994686%2flength-of-intervals%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
As stated, the question is not true. Consider $I = J = [0,1]$. They clearly have non-empty intersection and $l(I) > l(J)/2$, but $5 cdot I = [5,10]$, and this does not contain $J$.
– Sambo
Nov 12 at 1:45
But, $5 * I=[0,10]$, not $[5,10].$
– Ahmed
Nov 12 at 1:54
Whoops, I mistyped. It should be $I = J = [1,2]$
– Sambo
Nov 12 at 3:45
I have this question copied from H.L Royden's book.
– Ahmed
Nov 12 at 4:58
1
You are right, I really apologize.
– Ahmed
Nov 13 at 0:24