Outer Measure of the complement of a Vitali Set in [0,1] equal to 1












6














I am trying to prove the first part of exercise 33, ch. 1 in Stein and Shakarchi (Real Analysis). I am running into some difficulties following the hint though. Here is the problem (note, $N$ is a Vitali set constructed in $[0,1]$):



Show that the set $[0,1]-N$ has outer measure $m_*(N^c)=1$. [Hint: argue by contradiction, and pick a measurable set such that $N^c subset U subset [0,1]$ and $m_*(U) le 1-epsilon$.



I know that both $N$ and its complement are not measurable, so neither are countable. I know that measurable subsets of non-measurable sets have measure 0. I am not sure how to proceed given the proof though. A point to note: the book does not work with the inner measure at all, and even though I have used the inner measure in a previous course, I do not think I am allowed to for this proof.










share|cite|improve this question
















bumped to the homepage by Community 2 days ago


This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.











  • 2




    You wrote something false. Take a Vitali set in $[0,frac12]$, union the interval $[frac12,1]$. This set is certainly non-measurable, but it has a measurable subset of measure $frac12$. It is true, however, that the Vitali set has inner measure zero.
    – Asaf Karagila
    Sep 30 '12 at 22:30












  • One way to see that Vitali set have inner measure zero is Lemma 2 in here
    – leo
    Oct 1 '12 at 22:56
















6














I am trying to prove the first part of exercise 33, ch. 1 in Stein and Shakarchi (Real Analysis). I am running into some difficulties following the hint though. Here is the problem (note, $N$ is a Vitali set constructed in $[0,1]$):



Show that the set $[0,1]-N$ has outer measure $m_*(N^c)=1$. [Hint: argue by contradiction, and pick a measurable set such that $N^c subset U subset [0,1]$ and $m_*(U) le 1-epsilon$.



I know that both $N$ and its complement are not measurable, so neither are countable. I know that measurable subsets of non-measurable sets have measure 0. I am not sure how to proceed given the proof though. A point to note: the book does not work with the inner measure at all, and even though I have used the inner measure in a previous course, I do not think I am allowed to for this proof.










share|cite|improve this question
















bumped to the homepage by Community 2 days ago


This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.











  • 2




    You wrote something false. Take a Vitali set in $[0,frac12]$, union the interval $[frac12,1]$. This set is certainly non-measurable, but it has a measurable subset of measure $frac12$. It is true, however, that the Vitali set has inner measure zero.
    – Asaf Karagila
    Sep 30 '12 at 22:30












  • One way to see that Vitali set have inner measure zero is Lemma 2 in here
    – leo
    Oct 1 '12 at 22:56














6












6








6


3





I am trying to prove the first part of exercise 33, ch. 1 in Stein and Shakarchi (Real Analysis). I am running into some difficulties following the hint though. Here is the problem (note, $N$ is a Vitali set constructed in $[0,1]$):



Show that the set $[0,1]-N$ has outer measure $m_*(N^c)=1$. [Hint: argue by contradiction, and pick a measurable set such that $N^c subset U subset [0,1]$ and $m_*(U) le 1-epsilon$.



I know that both $N$ and its complement are not measurable, so neither are countable. I know that measurable subsets of non-measurable sets have measure 0. I am not sure how to proceed given the proof though. A point to note: the book does not work with the inner measure at all, and even though I have used the inner measure in a previous course, I do not think I am allowed to for this proof.










share|cite|improve this question















I am trying to prove the first part of exercise 33, ch. 1 in Stein and Shakarchi (Real Analysis). I am running into some difficulties following the hint though. Here is the problem (note, $N$ is a Vitali set constructed in $[0,1]$):



Show that the set $[0,1]-N$ has outer measure $m_*(N^c)=1$. [Hint: argue by contradiction, and pick a measurable set such that $N^c subset U subset [0,1]$ and $m_*(U) le 1-epsilon$.



I know that both $N$ and its complement are not measurable, so neither are countable. I know that measurable subsets of non-measurable sets have measure 0. I am not sure how to proceed given the proof though. A point to note: the book does not work with the inner measure at all, and even though I have used the inner measure in a previous course, I do not think I am allowed to for this proof.







real-analysis measure-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 30 '12 at 23:08







user940

















asked Sep 30 '12 at 22:16









joe

312




312





bumped to the homepage by Community 2 days ago


This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.







bumped to the homepage by Community 2 days ago


This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.










  • 2




    You wrote something false. Take a Vitali set in $[0,frac12]$, union the interval $[frac12,1]$. This set is certainly non-measurable, but it has a measurable subset of measure $frac12$. It is true, however, that the Vitali set has inner measure zero.
    – Asaf Karagila
    Sep 30 '12 at 22:30












  • One way to see that Vitali set have inner measure zero is Lemma 2 in here
    – leo
    Oct 1 '12 at 22:56














  • 2




    You wrote something false. Take a Vitali set in $[0,frac12]$, union the interval $[frac12,1]$. This set is certainly non-measurable, but it has a measurable subset of measure $frac12$. It is true, however, that the Vitali set has inner measure zero.
    – Asaf Karagila
    Sep 30 '12 at 22:30












  • One way to see that Vitali set have inner measure zero is Lemma 2 in here
    – leo
    Oct 1 '12 at 22:56








2




2




You wrote something false. Take a Vitali set in $[0,frac12]$, union the interval $[frac12,1]$. This set is certainly non-measurable, but it has a measurable subset of measure $frac12$. It is true, however, that the Vitali set has inner measure zero.
– Asaf Karagila
Sep 30 '12 at 22:30






You wrote something false. Take a Vitali set in $[0,frac12]$, union the interval $[frac12,1]$. This set is certainly non-measurable, but it has a measurable subset of measure $frac12$. It is true, however, that the Vitali set has inner measure zero.
– Asaf Karagila
Sep 30 '12 at 22:30














One way to see that Vitali set have inner measure zero is Lemma 2 in here
– leo
Oct 1 '12 at 22:56




One way to see that Vitali set have inner measure zero is Lemma 2 in here
– leo
Oct 1 '12 at 22:56










1 Answer
1






active

oldest

votes


















0














Hint: By Theorem 3.2, $m_*(I)=m_*(U)+m_*(U^c).$






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


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f205076%2fouter-measure-of-the-complement-of-a-vitali-set-in-0-1-equal-to-1%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    0














    Hint: By Theorem 3.2, $m_*(I)=m_*(U)+m_*(U^c).$






    share|cite|improve this answer


























      0














      Hint: By Theorem 3.2, $m_*(I)=m_*(U)+m_*(U^c).$






      share|cite|improve this answer
























        0












        0








        0






        Hint: By Theorem 3.2, $m_*(I)=m_*(U)+m_*(U^c).$






        share|cite|improve this answer












        Hint: By Theorem 3.2, $m_*(I)=m_*(U)+m_*(U^c).$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 30 '12 at 23:11







        user940





































            draft saved

            draft discarded




















































            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


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


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f205076%2fouter-measure-of-the-complement-of-a-vitali-set-in-0-1-equal-to-1%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

            Probability when a professor distributes a quiz and homework assignment to a class of n students.

            Aardman Animations

            Are they similar matrix