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

Multi tool use
Multi tool use

Does the Idaho Potato Commission associate potato skins with healthy eating?

Is it convenient to ask the journal's editor for two additional days to complete a review?

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

Why don't programming languages automatically manage the synchronous/asynchronous problem?

Do I need to write [sic] when including a quotation with a number less than 10 that isn't written out?

How many extra stops do monopods offer for tele photographs?

How did Beeri the Hittite come up with naming his daughter Yehudit?

Is it professional to write unrelated content in an almost-empty email?

TikZ: How to fill area with a special pattern?

From jafe to El-Guest

Defamation due to breach of confidentiality

Is there an equivalent of cd - for cp or mv

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

Film where the government was corrupt with aliens, people sent to kill aliens are given rigged visors not showing the right aliens

Pulling the principal components out of a DimensionReducerFunction?

What was Carter Burkes job for "the company" in "Aliens"?

Towers in the ocean; How deep can they be built?

What day is it again?

Decide between Polyglossia and Babel for LuaLaTeX in 2019

Redefining symbol midway through a document

Can you teleport closer to a creature you are Frightened of?

Spaces in which all closed sets are regular closed

Are the names of these months realistic?

Prepend last line of stdin to entire stdin



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 21 mins ago









      Eric Wofsey

      191k14216349




      191k14216349










      asked 54 mins ago









      Carlos JiménezCarlos Jiménez

      2,4341621




      2,4341621




















          2 Answers
          2






          active

          oldest

          votes


















          2












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




















            2












            $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
              48 mins 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
              45 mins 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









            2












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

















              2












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















                2












                2








                2





                $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 28 mins ago









                Eric WofseyEric Wofsey

                191k14216349




                191k14216349





















                    2












                    $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
                      48 mins 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
                      45 mins ago
















                    2












                    $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
                      48 mins 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
                      45 mins ago














                    2












                    2








                    2





                    $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 50 mins 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
                      48 mins 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
                      45 mins ago

















                    • $begingroup$
                      Is there a non trivial example? I don't mind the separation axiom.
                      $endgroup$
                      – Carlos Jiménez
                      48 mins 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
                      45 mins ago
















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




                    $begingroup$
                    Is there a non trivial example? I don't mind the separation axiom.
                    $endgroup$
                    – Carlos Jiménez
                    48 mins 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
                    45 mins 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
                    45 mins 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







                    Q,X9Uv70iU98rAj7qK
                    gaGdH V nDqmYhl8v4Kin8h

                    Popular posts from this blog

                    What is the result of assigning to std::vector::begin()? The Next CEO of Stack OverflowWhat are the differences between a pointer variable and a reference variable in C++?What does the explicit keyword mean?Concatenating two std::vectorsHow to find out if an item is present in a std::vector?Why is “using namespace std” considered bad practice?What is the “-->” operator in C++?What is the easiest way to initialize a std::vector with hardcoded elements?What is The Rule of Three?What are the basic rules and idioms for operator overloading?Why are std::begin and std::end “not memory safe”?

                    Creating centerline of river in QGIS? The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Finding centrelines from polygons in QGIS?Splitting line into two lines with GRASS GIS?Centroid of the equator and a pointpostgis: problems creating flow direction polyline; not all needed connections are drawnhow to make decent sense from scattered river depth measurementsQGIS Interpolation on Curved Grid (River DEMs)How to create automatic parking baysShortest path creation between two linesclipping layer using query builder in QGISFinding which side of closest polyline point lies on in QGIS?Create centerline from multi-digitized roadway lines Qgis 2.18Getting bathymetric contours confined only within river banks using QGIS?