Quotient of $R^2$












1












$begingroup$


Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.



Is it Hausdorff? Connected? Compact?



My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.



The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.



Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.



Thanks in advance for any help.










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.



    Is it Hausdorff? Connected? Compact?



    My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.



    The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.



    Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.



    Thanks in advance for any help.










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.



      Is it Hausdorff? Connected? Compact?



      My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.



      The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.



      Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.



      Thanks in advance for any help.










      share|cite|improve this question









      $endgroup$




      Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.



      Is it Hausdorff? Connected? Compact?



      My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.



      The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.



      Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.



      Thanks in advance for any help.







      general-topology






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Dec 15 '18 at 15:21









      SMCSMC

      6010




      6010






















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.






          share|cite|improve this answer









          $endgroup$





















            1












            $begingroup$

            Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              This is overkill on my opinion.
              $endgroup$
              – Matt Samuel
              Dec 15 '18 at 15:39










            • $begingroup$
              Maybe it is, but it's useful.
              $endgroup$
              – smanti
              Dec 15 '18 at 15:42










            • $begingroup$
              $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
              $endgroup$
              – SMC
              Dec 15 '18 at 16:31













            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%2f3041600%2fquotient-of-r2%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









            1












            $begingroup$

            Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.






            share|cite|improve this answer









            $endgroup$


















              1












              $begingroup$

              Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.






              share|cite|improve this answer









              $endgroup$
















                1












                1








                1





                $begingroup$

                Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.






                share|cite|improve this answer









                $endgroup$



                Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Dec 15 '18 at 15:38









                Matt SamuelMatt Samuel

                38.3k63768




                38.3k63768























                    1












                    $begingroup$

                    Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff






                    share|cite|improve this answer











                    $endgroup$













                    • $begingroup$
                      This is overkill on my opinion.
                      $endgroup$
                      – Matt Samuel
                      Dec 15 '18 at 15:39










                    • $begingroup$
                      Maybe it is, but it's useful.
                      $endgroup$
                      – smanti
                      Dec 15 '18 at 15:42










                    • $begingroup$
                      $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
                      $endgroup$
                      – SMC
                      Dec 15 '18 at 16:31


















                    1












                    $begingroup$

                    Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff






                    share|cite|improve this answer











                    $endgroup$













                    • $begingroup$
                      This is overkill on my opinion.
                      $endgroup$
                      – Matt Samuel
                      Dec 15 '18 at 15:39










                    • $begingroup$
                      Maybe it is, but it's useful.
                      $endgroup$
                      – smanti
                      Dec 15 '18 at 15:42










                    • $begingroup$
                      $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
                      $endgroup$
                      – SMC
                      Dec 15 '18 at 16:31
















                    1












                    1








                    1





                    $begingroup$

                    Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff






                    share|cite|improve this answer











                    $endgroup$



                    Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Dec 15 '18 at 15:39

























                    answered Dec 15 '18 at 15:38









                    smantismanti

                    134




                    134












                    • $begingroup$
                      This is overkill on my opinion.
                      $endgroup$
                      – Matt Samuel
                      Dec 15 '18 at 15:39










                    • $begingroup$
                      Maybe it is, but it's useful.
                      $endgroup$
                      – smanti
                      Dec 15 '18 at 15:42










                    • $begingroup$
                      $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
                      $endgroup$
                      – SMC
                      Dec 15 '18 at 16:31




















                    • $begingroup$
                      This is overkill on my opinion.
                      $endgroup$
                      – Matt Samuel
                      Dec 15 '18 at 15:39










                    • $begingroup$
                      Maybe it is, but it's useful.
                      $endgroup$
                      – smanti
                      Dec 15 '18 at 15:42










                    • $begingroup$
                      $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
                      $endgroup$
                      – SMC
                      Dec 15 '18 at 16:31


















                    $begingroup$
                    This is overkill on my opinion.
                    $endgroup$
                    – Matt Samuel
                    Dec 15 '18 at 15:39




                    $begingroup$
                    This is overkill on my opinion.
                    $endgroup$
                    – Matt Samuel
                    Dec 15 '18 at 15:39












                    $begingroup$
                    Maybe it is, but it's useful.
                    $endgroup$
                    – smanti
                    Dec 15 '18 at 15:42




                    $begingroup$
                    Maybe it is, but it's useful.
                    $endgroup$
                    – smanti
                    Dec 15 '18 at 15:42












                    $begingroup$
                    $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
                    $endgroup$
                    – SMC
                    Dec 15 '18 at 16:31






                    $begingroup$
                    $X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
                    $endgroup$
                    – SMC
                    Dec 15 '18 at 16:31




















                    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%2f3041600%2fquotient-of-r2%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

                    Ellipse (mathématiques)

                    Quarter-circle Tiles

                    Mont Emei