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.










share|cite|improve this question
























  • 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















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.










share|cite|improve this question
























  • 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













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.










share|cite|improve this question















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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • 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










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.






share|cite|improve this answer























  • 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




















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.$






share|cite|improve this answer





















    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',
    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
    });


    }
    });














     

    draft saved


    draft discarded


















    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

























    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.






    share|cite|improve this answer























    • 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

















    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.






    share|cite|improve this answer























    • 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















    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.






    share|cite|improve this answer














    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.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    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




















    • 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












    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.$






    share|cite|improve this answer

























      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.$






      share|cite|improve this answer























        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.$






        share|cite|improve this answer












        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.$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 14 at 18:38









        Ahmed

        26819




        26819






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?