Spaces in which all closed sets are regular closed The Next CEO of Stack OverflowA space is regular if each closed set $Z$ is the intersection of all open sets containing $Z$?Examples of topologies in which all open sets are regular?All zero dimensional spaces are completely regular.All finite Baire measures are Closed-regular?On the small first countable regular spacesShow that if $X$ and $Y$ are regular, then so is the product space $Xtimes Y$.Regular spaces and Hausdorff spaceHow to Show that Points and Closed Sets Can be Separated by Closed Sets in a T3 (Regular) SpaceSaturated sets and topological spacesOn regular closed sets which are not open-closed

Is there a way to save my career from absolute disaster?

Easy to read palindrome checker

Purpose of level-shifter with same in and out voltages

IC has pull-down resistors on SMBus lines?

Spaces in which all closed sets are regular closed

What happened in Rome, when the western empire "fell"?

Does higher Oxidation/ reduction potential translate to higher energy storage in battery?

Getting Stale Gas Out of a Gas Tank w/out Dropping the Tank

Traduction de « Life is a roller coaster »

Is there an equivalent of cd - for cp or mv

In the "Harry Potter and the Order of the Phoenix" video game, what potion is used to sabotage Umbridge's speakers?

When "be it" is at the beginning of a sentence, what kind of structure do you call it?

Won the lottery - how do I keep the money?

Lucky Feat: How can "more than one creature spend a luck point to influence the outcome of a roll"?

Physiological effects of huge anime eyes

How do I fit a non linear curve?

Are the names of these months realistic?

what's the use of '% to gdp' type of variables?

Do scriptures give a method to recognize a truly self-realized person/jivanmukta?

How many extra stops do monopods offer for tele photographs?

My ex-girlfriend uses my Apple ID to login to her iPad, do I have to give her my Apple ID password to reset it?

How to find image of a complex function with given constraints?

Why is information "lost" when it got into a black hole?

If Nick Fury and Coulson already knew about aliens (Kree and Skrull) why did they wait until Thor's appearance to start making weapons?



Spaces in which all closed sets are regular closed



The Next CEO of Stack OverflowA space is regular if each closed set $Z$ is the intersection of all open sets containing $Z$?Examples of topologies in which all open sets are regular?All zero dimensional spaces are completely regular.All finite Baire measures are Closed-regular?On the small first countable regular spacesShow that if $X$ and $Y$ are regular, then so is the product space $Xtimes Y$.Regular spaces and Hausdorff spaceHow to Show that Points and Closed Sets Can be Separated by Closed Sets in a T3 (Regular) SpaceSaturated sets and topological spacesOn regular closed sets which are not open-closed










2












$begingroup$


I was reading about the regular closed sets. The definition is




Let $X$ be a topological space and $Asubseteq X$. We say that $A$ is a regular closed if $A=textcl(textint(A))$




Then, one question came to my mind: is there a topological space $X$ such that $X$ isn't a discrete space and for that every closed subset of $X$ is a regular closed set?



Obviusly, if $X$ is discrete then every closed set is a regular closed, but, if $X$ isn't discrete, what happens? That example exists?



Thanks in advance.










share|cite|improve this question











$endgroup$
















    2












    $begingroup$


    I was reading about the regular closed sets. The definition is




    Let $X$ be a topological space and $Asubseteq X$. We say that $A$ is a regular closed if $A=textcl(textint(A))$




    Then, one question came to my mind: is there a topological space $X$ such that $X$ isn't a discrete space and for that every closed subset of $X$ is a regular closed set?



    Obviusly, if $X$ is discrete then every closed set is a regular closed, but, if $X$ isn't discrete, what happens? That example exists?



    Thanks in advance.










    share|cite|improve this question











    $endgroup$














      2












      2








      2





      $begingroup$


      I was reading about the regular closed sets. The definition is




      Let $X$ be a topological space and $Asubseteq X$. We say that $A$ is a regular closed if $A=textcl(textint(A))$




      Then, one question came to my mind: is there a topological space $X$ such that $X$ isn't a discrete space and for that every closed subset of $X$ is a regular closed set?



      Obviusly, if $X$ is discrete then every closed set is a regular closed, but, if $X$ isn't discrete, what happens? That example exists?



      Thanks in advance.










      share|cite|improve this question











      $endgroup$




      I was reading about the regular closed sets. The definition is




      Let $X$ be a topological space and $Asubseteq X$. We say that $A$ is a regular closed if $A=textcl(textint(A))$




      Then, one question came to my mind: is there a topological space $X$ such that $X$ isn't a discrete space and for that every closed subset of $X$ is a regular closed set?



      Obviusly, if $X$ is discrete then every closed set is a regular closed, but, if $X$ isn't discrete, what happens? That example exists?



      Thanks in advance.







      general-topology examples-counterexamples






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 48 mins ago









      Eric Wofsey

      191k14216349




      191k14216349










      asked 1 hour ago









      Carlos JiménezCarlos Jiménez

      2,4341621




      2,4341621




















          2 Answers
          2






          active

          oldest

          votes


















          3












          $begingroup$

          Given a partition $P$ on a set $X$, we can define a topology whose open sets are unions of elements of $P$. In this topology, open sets and closed sets are the same, so all closed sets are regular closed. (If $P$ is the finest partition this is the discrete topology; if $P$ is the coarsest topology it is the indiscrete topology. Such topologies can also be characterized as the topologies in which closed sets and open sets coincide, or topologies whose $T_0$ quotient is discrete.)



          I claim, though, that these are the only examples. Indeed, suppose $X$ is a topological space in which all closed sets are regular closed. Suppose $x,yin X$ are such that $yinoverlinex$. Since $overliney$ is regular closed, it is the closure of its interior $U$ which is in particular nonempty, and we must have $yin U$ since $y$ is dense in $overliney$. Since $yinoverlinex$, we have $Usubseteq overlinex$ as well and so $xin U$. Thus $xin overlineU=overliney$ and so $overlinex=overliney$. We see then that $U$ is the interior of $overlinex$ and every element of $overlinex$ is in $U$ (since $yin U$ and $y$ was originally an arbitrary element of $overlinex$). Thus $U=overlinex$, so $overlinex$ is open.



          So, we have shown that the closure of each singleton in $X$ is a clopen set and is equal to the closure of any of its elements. It follows easily that the collection of closures of singletons is a partition of $X$, and a subset of $X$ is open iff it is a union of elements of this partition.






          share|cite|improve this answer









          $endgroup$




















            3












            $begingroup$

            You can take any set $X$ with trivial topology. Then every closed subset in $X$ is trivially regular.



            But if $X$ is $T_1$ and every closed subset is regular then $X$ is discrete.






            share|cite|improve this answer









            $endgroup$












            • $begingroup$
              Is there a non trivial example? I don't mind the separation axiom.
              $endgroup$
              – Carlos Jiménez
              1 hour ago










            • $begingroup$
              @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
              $endgroup$
              – Moishe Kohan
              1 hour ago












            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%2f3169975%2fspaces-in-which-all-closed-sets-are-regular-closed%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









            3












            $begingroup$

            Given a partition $P$ on a set $X$, we can define a topology whose open sets are unions of elements of $P$. In this topology, open sets and closed sets are the same, so all closed sets are regular closed. (If $P$ is the finest partition this is the discrete topology; if $P$ is the coarsest topology it is the indiscrete topology. Such topologies can also be characterized as the topologies in which closed sets and open sets coincide, or topologies whose $T_0$ quotient is discrete.)



            I claim, though, that these are the only examples. Indeed, suppose $X$ is a topological space in which all closed sets are regular closed. Suppose $x,yin X$ are such that $yinoverlinex$. Since $overliney$ is regular closed, it is the closure of its interior $U$ which is in particular nonempty, and we must have $yin U$ since $y$ is dense in $overliney$. Since $yinoverlinex$, we have $Usubseteq overlinex$ as well and so $xin U$. Thus $xin overlineU=overliney$ and so $overlinex=overliney$. We see then that $U$ is the interior of $overlinex$ and every element of $overlinex$ is in $U$ (since $yin U$ and $y$ was originally an arbitrary element of $overlinex$). Thus $U=overlinex$, so $overlinex$ is open.



            So, we have shown that the closure of each singleton in $X$ is a clopen set and is equal to the closure of any of its elements. It follows easily that the collection of closures of singletons is a partition of $X$, and a subset of $X$ is open iff it is a union of elements of this partition.






            share|cite|improve this answer









            $endgroup$

















              3












              $begingroup$

              Given a partition $P$ on a set $X$, we can define a topology whose open sets are unions of elements of $P$. In this topology, open sets and closed sets are the same, so all closed sets are regular closed. (If $P$ is the finest partition this is the discrete topology; if $P$ is the coarsest topology it is the indiscrete topology. Such topologies can also be characterized as the topologies in which closed sets and open sets coincide, or topologies whose $T_0$ quotient is discrete.)



              I claim, though, that these are the only examples. Indeed, suppose $X$ is a topological space in which all closed sets are regular closed. Suppose $x,yin X$ are such that $yinoverlinex$. Since $overliney$ is regular closed, it is the closure of its interior $U$ which is in particular nonempty, and we must have $yin U$ since $y$ is dense in $overliney$. Since $yinoverlinex$, we have $Usubseteq overlinex$ as well and so $xin U$. Thus $xin overlineU=overliney$ and so $overlinex=overliney$. We see then that $U$ is the interior of $overlinex$ and every element of $overlinex$ is in $U$ (since $yin U$ and $y$ was originally an arbitrary element of $overlinex$). Thus $U=overlinex$, so $overlinex$ is open.



              So, we have shown that the closure of each singleton in $X$ is a clopen set and is equal to the closure of any of its elements. It follows easily that the collection of closures of singletons is a partition of $X$, and a subset of $X$ is open iff it is a union of elements of this partition.






              share|cite|improve this answer









              $endgroup$















                3












                3








                3





                $begingroup$

                Given a partition $P$ on a set $X$, we can define a topology whose open sets are unions of elements of $P$. In this topology, open sets and closed sets are the same, so all closed sets are regular closed. (If $P$ is the finest partition this is the discrete topology; if $P$ is the coarsest topology it is the indiscrete topology. Such topologies can also be characterized as the topologies in which closed sets and open sets coincide, or topologies whose $T_0$ quotient is discrete.)



                I claim, though, that these are the only examples. Indeed, suppose $X$ is a topological space in which all closed sets are regular closed. Suppose $x,yin X$ are such that $yinoverlinex$. Since $overliney$ is regular closed, it is the closure of its interior $U$ which is in particular nonempty, and we must have $yin U$ since $y$ is dense in $overliney$. Since $yinoverlinex$, we have $Usubseteq overlinex$ as well and so $xin U$. Thus $xin overlineU=overliney$ and so $overlinex=overliney$. We see then that $U$ is the interior of $overlinex$ and every element of $overlinex$ is in $U$ (since $yin U$ and $y$ was originally an arbitrary element of $overlinex$). Thus $U=overlinex$, so $overlinex$ is open.



                So, we have shown that the closure of each singleton in $X$ is a clopen set and is equal to the closure of any of its elements. It follows easily that the collection of closures of singletons is a partition of $X$, and a subset of $X$ is open iff it is a union of elements of this partition.






                share|cite|improve this answer









                $endgroup$



                Given a partition $P$ on a set $X$, we can define a topology whose open sets are unions of elements of $P$. In this topology, open sets and closed sets are the same, so all closed sets are regular closed. (If $P$ is the finest partition this is the discrete topology; if $P$ is the coarsest topology it is the indiscrete topology. Such topologies can also be characterized as the topologies in which closed sets and open sets coincide, or topologies whose $T_0$ quotient is discrete.)



                I claim, though, that these are the only examples. Indeed, suppose $X$ is a topological space in which all closed sets are regular closed. Suppose $x,yin X$ are such that $yinoverlinex$. Since $overliney$ is regular closed, it is the closure of its interior $U$ which is in particular nonempty, and we must have $yin U$ since $y$ is dense in $overliney$. Since $yinoverlinex$, we have $Usubseteq overlinex$ as well and so $xin U$. Thus $xin overlineU=overliney$ and so $overlinex=overliney$. We see then that $U$ is the interior of $overlinex$ and every element of $overlinex$ is in $U$ (since $yin U$ and $y$ was originally an arbitrary element of $overlinex$). Thus $U=overlinex$, so $overlinex$ is open.



                So, we have shown that the closure of each singleton in $X$ is a clopen set and is equal to the closure of any of its elements. It follows easily that the collection of closures of singletons is a partition of $X$, and a subset of $X$ is open iff it is a union of elements of this partition.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 55 mins ago









                Eric WofseyEric Wofsey

                191k14216349




                191k14216349





















                    3












                    $begingroup$

                    You can take any set $X$ with trivial topology. Then every closed subset in $X$ is trivially regular.



                    But if $X$ is $T_1$ and every closed subset is regular then $X$ is discrete.






                    share|cite|improve this answer









                    $endgroup$












                    • $begingroup$
                      Is there a non trivial example? I don't mind the separation axiom.
                      $endgroup$
                      – Carlos Jiménez
                      1 hour ago










                    • $begingroup$
                      @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
                      $endgroup$
                      – Moishe Kohan
                      1 hour ago
















                    3












                    $begingroup$

                    You can take any set $X$ with trivial topology. Then every closed subset in $X$ is trivially regular.



                    But if $X$ is $T_1$ and every closed subset is regular then $X$ is discrete.






                    share|cite|improve this answer









                    $endgroup$












                    • $begingroup$
                      Is there a non trivial example? I don't mind the separation axiom.
                      $endgroup$
                      – Carlos Jiménez
                      1 hour ago










                    • $begingroup$
                      @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
                      $endgroup$
                      – Moishe Kohan
                      1 hour ago














                    3












                    3








                    3





                    $begingroup$

                    You can take any set $X$ with trivial topology. Then every closed subset in $X$ is trivially regular.



                    But if $X$ is $T_1$ and every closed subset is regular then $X$ is discrete.






                    share|cite|improve this answer









                    $endgroup$



                    You can take any set $X$ with trivial topology. Then every closed subset in $X$ is trivially regular.



                    But if $X$ is $T_1$ and every closed subset is regular then $X$ is discrete.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 1 hour ago









                    Moishe KohanMoishe Kohan

                    48.4k344110




                    48.4k344110











                    • $begingroup$
                      Is there a non trivial example? I don't mind the separation axiom.
                      $endgroup$
                      – Carlos Jiménez
                      1 hour ago










                    • $begingroup$
                      @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
                      $endgroup$
                      – Moishe Kohan
                      1 hour ago

















                    • $begingroup$
                      Is there a non trivial example? I don't mind the separation axiom.
                      $endgroup$
                      – Carlos Jiménez
                      1 hour ago










                    • $begingroup$
                      @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
                      $endgroup$
                      – Moishe Kohan
                      1 hour ago
















                    $begingroup$
                    Is there a non trivial example? I don't mind the separation axiom.
                    $endgroup$
                    – Carlos Jiménez
                    1 hour ago




                    $begingroup$
                    Is there a non trivial example? I don't mind the separation axiom.
                    $endgroup$
                    – Carlos Jiménez
                    1 hour ago












                    $begingroup$
                    @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
                    $endgroup$
                    – Moishe Kohan
                    1 hour ago





                    $begingroup$
                    @CarlosJiménez: A less trivial example would be a space $X=X_1sqcup X_2$ where both $X_1, X_2$ are open and have trivial topology. As I said, $T_1$ implies discreteness in your setting.
                    $endgroup$
                    – Moishe Kohan
                    1 hour ago


















                    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%2f3169975%2fspaces-in-which-all-closed-sets-are-regular-closed%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

                    瀋陽號驅逐艦 目录 接收與服役 配置反潛直升機 武進三型性能升級 歷史 除役 參考資料 外部連結 导航菜单Taiwan Air Power海疆老兵-陽字號驅逐艦沿革World Navies Today: Taiwan (Republic of China)DD-839 USS POWER

                    波兰旗帜列表 目录 国旗 军旗 其他制服部门旗帜 特别国家机构船只 参考文献 外部链接 导航菜单Polskie flagi, chorągwie, bandery... [波兰旗帜、条幅、船旗等]原始内容Ustawa z dnia 31 stycznia 1980 r. o godle, barwach i hymnie Rzeczypospolitej Polskiej oraz o pieczęciach państwowychZarządzenie Ministra Obrony Narodowej z dnia 14 grudnia 2005 r. zmieniające zarządzenie w sprawie szczegółowych zasad używania znaków Sił Zbrojnych Rzeczypospolitej Polskiej oraz ustalenia innych znaków używanych w Siłach Zbrojnych Rzeczypospolitej PolskiejZarządzenie Ministra Obrony Narodowej z dnia 29 stycznia 1996 r. w sprawie szczegółowych zasad używania znaków Sił Zbrojnych Rzeczypospolitej Polskiej oraz ustalenia innych znaków używanych w Siłach Zbrojnych Rzeczypospolitej PolskiejUstawa z dnia 19 lutego 1993 r. o znakach Sił Zbrojnych Rzeczypospolitej PolskiejHistoria Marynarki Wojennej RP [波兰海军史]Rozporządzenie Ministra Spraw Wewnętrznych i Administracji z dnia 12 kwietnia 2002 r. w sprawie wzoru flagi oraz oznakowania jednostek pływających i statków powietrznych Straży GranicznejRozporządzenie Ministra Spraw Wewnętrznych i Administracji z dnia 18 kwietnia 2005 r. w sprawie wzoru flagi oraz oznakowania jednostek pływających i statków powietrznych PolicjiRozporządzenie Ministra Infrastruktury z dnia 21 października 2005 r. w sprawie wzorów flag dla statków morskich na oznaczenie pełnionej specjalnej służby państwowej oraz okoliczności i warunków ich podnoszenia波兰旗帜波兰

                    Indenting and Dedenting ASP code with Python