3 dense uncountable pairwise disjoint subsets of real line












3












$begingroup$


Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?



I feel like it's not possible.



I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 16:40












  • $begingroup$
    @NotMike can you explain a bit more.. some precise example would be appreciated
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 16:43










  • $begingroup$
    You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
    $endgroup$
    – Asaf Karagila
    Dec 4 '18 at 17:22










  • $begingroup$
    Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
    $endgroup$
    – timtfj
    Dec 4 '18 at 18:07












  • $begingroup$
    @timtfj partition property is not needed as long as it serves the other conditions
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:16
















3












$begingroup$


Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?



I feel like it's not possible.



I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 16:40












  • $begingroup$
    @NotMike can you explain a bit more.. some precise example would be appreciated
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 16:43










  • $begingroup$
    You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
    $endgroup$
    – Asaf Karagila
    Dec 4 '18 at 17:22










  • $begingroup$
    Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
    $endgroup$
    – timtfj
    Dec 4 '18 at 18:07












  • $begingroup$
    @timtfj partition property is not needed as long as it serves the other conditions
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:16














3












3








3


1



$begingroup$


Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?



I feel like it's not possible.



I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.










share|cite|improve this question











$endgroup$




Can we find three dense uncountable pairwise disjoint subsets of $mathbb{R}$? If so, what are these three sets?



I feel like it's not possible.



I was trying to counter it using Baire category and trying to construct such sets using the idea of construction of Cantor set (setting elements in trinary system). But I failed in both ways. I'm not even sure if answer would be affirmative or not.







real-analysis general-topology real-numbers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 4 '18 at 16:36









amWhy

192k28225439




192k28225439










asked Dec 4 '18 at 16:29









ChakSayantanChakSayantan

1426




1426








  • 1




    $begingroup$
    Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 16:40












  • $begingroup$
    @NotMike can you explain a bit more.. some precise example would be appreciated
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 16:43










  • $begingroup$
    You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
    $endgroup$
    – Asaf Karagila
    Dec 4 '18 at 17:22










  • $begingroup$
    Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
    $endgroup$
    – timtfj
    Dec 4 '18 at 18:07












  • $begingroup$
    @timtfj partition property is not needed as long as it serves the other conditions
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:16














  • 1




    $begingroup$
    Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 16:40












  • $begingroup$
    @NotMike can you explain a bit more.. some precise example would be appreciated
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 16:43










  • $begingroup$
    You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
    $endgroup$
    – Asaf Karagila
    Dec 4 '18 at 17:22










  • $begingroup$
    Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
    $endgroup$
    – timtfj
    Dec 4 '18 at 18:07












  • $begingroup$
    @timtfj partition property is not needed as long as it serves the other conditions
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:16








1




1




$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40






$begingroup$
Yes, begin with three arbitrary uncountable disjoint subsets of the irrationals and find three disjoint dense subsets of the rationals. To each of the sets of irrationals adjoin one of the countable dense subsets of the rationals.
$endgroup$
– Not Mike
Dec 4 '18 at 16:40














$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43




$begingroup$
@NotMike can you explain a bit more.. some precise example would be appreciated
$endgroup$
– ChakSayantan
Dec 4 '18 at 16:43












$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila
Dec 4 '18 at 17:22




$begingroup$
You can find $2^{aleph_0}$ pairwise disjoint uncountable subsets of $Bbb R$.
$endgroup$
– Asaf Karagila
Dec 4 '18 at 17:22












$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07






$begingroup$
Do you want to partition $mathbb{R}$ into the three subsetsor just find three pairwise disjoint subsets?
$endgroup$
– timtfj
Dec 4 '18 at 18:07














$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16




$begingroup$
@timtfj partition property is not needed as long as it serves the other conditions
$endgroup$
– ChakSayantan
Dec 4 '18 at 18:16










2 Answers
2






active

oldest

votes


















2












$begingroup$

Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.



Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$



Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 17:13












  • $begingroup$
    You take the union
    $endgroup$
    – Not Mike
    Dec 4 '18 at 17:26










  • $begingroup$
    then is it dence in R? I can't view it properly
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:17












  • $begingroup$
    Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 19:02










  • $begingroup$
    ah! Got it. Thanks.
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 19:05



















1












$begingroup$

Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.



Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.



Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.



Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.






share|cite|improve this answer











$endgroup$













    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%2f3025786%2f3-dense-uncountable-pairwise-disjoint-subsets-of-real-line%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









    2












    $begingroup$

    Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.



    Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$



    Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 17:13












    • $begingroup$
      You take the union
      $endgroup$
      – Not Mike
      Dec 4 '18 at 17:26










    • $begingroup$
      then is it dence in R? I can't view it properly
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 18:17












    • $begingroup$
      Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
      $endgroup$
      – Not Mike
      Dec 4 '18 at 19:02










    • $begingroup$
      ah! Got it. Thanks.
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 19:05
















    2












    $begingroup$

    Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.



    Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$



    Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 17:13












    • $begingroup$
      You take the union
      $endgroup$
      – Not Mike
      Dec 4 '18 at 17:26










    • $begingroup$
      then is it dence in R? I can't view it properly
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 18:17












    • $begingroup$
      Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
      $endgroup$
      – Not Mike
      Dec 4 '18 at 19:02










    • $begingroup$
      ah! Got it. Thanks.
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 19:05














    2












    2








    2





    $begingroup$

    Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.



    Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$



    Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.






    share|cite|improve this answer









    $endgroup$



    Fix three disjoint dense subsets of $mathbb{Q}$, call them $D_0, D_1$ and $D_2$.



    Let $I_0=(0,1)backslash mathbb{Q}$, $I_1=(1,2)backslash mathbb{Q}$, $I_2=(2,3)backslash mathbb{Q}$ and set $J_k = I_k cup D_k.$



    Then, the sets $J_0, J_1$, and $J_2$ are disjoint, uncountable and dense.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Dec 4 '18 at 16:53









    Not MikeNot Mike

    36329




    36329












    • $begingroup$
      So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 17:13












    • $begingroup$
      You take the union
      $endgroup$
      – Not Mike
      Dec 4 '18 at 17:26










    • $begingroup$
      then is it dence in R? I can't view it properly
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 18:17












    • $begingroup$
      Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
      $endgroup$
      – Not Mike
      Dec 4 '18 at 19:02










    • $begingroup$
      ah! Got it. Thanks.
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 19:05


















    • $begingroup$
      So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 17:13












    • $begingroup$
      You take the union
      $endgroup$
      – Not Mike
      Dec 4 '18 at 17:26










    • $begingroup$
      then is it dence in R? I can't view it properly
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 18:17












    • $begingroup$
      Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
      $endgroup$
      – Not Mike
      Dec 4 '18 at 19:02










    • $begingroup$
      ah! Got it. Thanks.
      $endgroup$
      – ChakSayantan
      Dec 4 '18 at 19:05
















    $begingroup$
    So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 17:13






    $begingroup$
    So I have taken Q_p ={i/p^j: i,j integers}Z for three different primes. Now, J_k would be union or plus?
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 17:13














    $begingroup$
    You take the union
    $endgroup$
    – Not Mike
    Dec 4 '18 at 17:26




    $begingroup$
    You take the union
    $endgroup$
    – Not Mike
    Dec 4 '18 at 17:26












    $begingroup$
    then is it dence in R? I can't view it properly
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:17






    $begingroup$
    then is it dence in R? I can't view it properly
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 18:17














    $begingroup$
    Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 19:02




    $begingroup$
    Yes. Let $Usubset mathbb{R}$ be open then $ emptyset neq Ucap D_k subset Ucap J_k$ so we have $Ucap J_kneq emptyset $. Which sense $U$ was arbitrary, entials each $J_k$ is dense.
    $endgroup$
    – Not Mike
    Dec 4 '18 at 19:02












    $begingroup$
    ah! Got it. Thanks.
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 19:05




    $begingroup$
    ah! Got it. Thanks.
    $endgroup$
    – ChakSayantan
    Dec 4 '18 at 19:05











    1












    $begingroup$

    Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.



    Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.



    Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.



    Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.






    share|cite|improve this answer











    $endgroup$


















      1












      $begingroup$

      Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.



      Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.



      Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.



      Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.






      share|cite|improve this answer











      $endgroup$
















        1












        1








        1





        $begingroup$

        Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.



        Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.



        Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.



        Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.






        share|cite|improve this answer











        $endgroup$



        Let $A$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${1,2,3}$.



        Let $B$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${4,5,6}$.



        Let $C$ be the set of all real numbers $x$ such that $|x|$ has a decimal expansion in which all but finitely many digits are in ${7,8,9}$.



        Now $A$, $B$, and $C$ are three disjoint uncountable dense subsets of $mathbb R$, and $D=mathbb Rsetminus(Acup Bcup C)$ is a fourth one.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 4 '18 at 23:15

























        answered Dec 4 '18 at 22:33









        bofbof

        50.7k457120




        50.7k457120






























            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3025786%2f3-dense-uncountable-pairwise-disjoint-subsets-of-real-line%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

            Wiesbaden

            Marschland

            Dieringhausen