Second countable profinite topological space any equivalence class is a finite union of basic open sets

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.



$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?



$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?



Ref. Profinite Groups Luis Ribes, Chpt 1







share|cite|improve this question




















  • Define what you mean by an open equivalence relation?
    – Henno Brandsma
    Aug 10 at 6:36










  • @HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
    – user45765
    Aug 10 at 11:32










  • So there are only finitely many distinct classes by compactness.
    – Henno Brandsma
    Aug 10 at 19:52










  • @HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
    – user45765
    Aug 10 at 22:07










  • I don’t understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
    – Henno Brandsma
    Aug 10 at 22:16














up vote
0
down vote

favorite












Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.



$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?



$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?



Ref. Profinite Groups Luis Ribes, Chpt 1







share|cite|improve this question




















  • Define what you mean by an open equivalence relation?
    – Henno Brandsma
    Aug 10 at 6:36










  • @HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
    – user45765
    Aug 10 at 11:32










  • So there are only finitely many distinct classes by compactness.
    – Henno Brandsma
    Aug 10 at 19:52










  • @HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
    – user45765
    Aug 10 at 22:07










  • I don’t understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
    – Henno Brandsma
    Aug 10 at 22:16












up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.



$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?



$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?



Ref. Profinite Groups Luis Ribes, Chpt 1







share|cite|improve this question












Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.



$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?



$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?



Ref. Profinite Groups Luis Ribes, Chpt 1









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 9 at 23:02









user45765

2,2022718




2,2022718











  • Define what you mean by an open equivalence relation?
    – Henno Brandsma
    Aug 10 at 6:36










  • @HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
    – user45765
    Aug 10 at 11:32










  • So there are only finitely many distinct classes by compactness.
    – Henno Brandsma
    Aug 10 at 19:52










  • @HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
    – user45765
    Aug 10 at 22:07










  • I don’t understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
    – Henno Brandsma
    Aug 10 at 22:16
















  • Define what you mean by an open equivalence relation?
    – Henno Brandsma
    Aug 10 at 6:36










  • @HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
    – user45765
    Aug 10 at 11:32










  • So there are only finitely many distinct classes by compactness.
    – Henno Brandsma
    Aug 10 at 19:52










  • @HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
    – user45765
    Aug 10 at 22:07










  • I don’t understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
    – Henno Brandsma
    Aug 10 at 22:16















Define what you mean by an open equivalence relation?
– Henno Brandsma
Aug 10 at 6:36




Define what you mean by an open equivalence relation?
– Henno Brandsma
Aug 10 at 6:36












@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
– user45765
Aug 10 at 11:32




@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
– user45765
Aug 10 at 11:32












So there are only finitely many distinct classes by compactness.
– Henno Brandsma
Aug 10 at 19:52




So there are only finitely many distinct classes by compactness.
– Henno Brandsma
Aug 10 at 19:52












@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
– user45765
Aug 10 at 22:07




@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
– user45765
Aug 10 at 22:07












I don’t understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
– Henno Brandsma
Aug 10 at 22:16




I don’t understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
– Henno Brandsma
Aug 10 at 22:16










1 Answer
1






active

oldest

votes

















up vote
0
down vote













Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.



$X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.






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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2877805%2fsecond-countable-profinite-topological-space-any-equivalence-class-is-a-finite-u%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.



    $X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.






    share|cite|improve this answer
























      up vote
      0
      down vote













      Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.



      $X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.






      share|cite|improve this answer






















        up vote
        0
        down vote










        up vote
        0
        down vote









        Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.



        $X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.






        share|cite|improve this answer












        Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.



        $X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 15 at 22:41









        Paul Frost

        3,836420




        3,836420






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2877805%2fsecond-countable-profinite-topological-space-any-equivalence-class-is-a-finite-u%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

            Why am i infinitely getting the same tweet with the Twitter Search API?

            Carbon dioxide