If A is compact then is f(A) closed?

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











up vote
1
down vote

favorite












I have the following question:



Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.

For the following statement, either give a proof or a counterexample.



  • If $A$ is compact then $f(A)$ is closed.

I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).



Any help/suggestions would be appreciated.

Thank you.







share|cite|improve this question
















  • 1




    @ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
    – Matt
    Aug 9 at 15:09











  • @ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
    – Nick
    Aug 9 at 15:12










  • Right. I should read the questions more carefully. @Matt
    – Arnaud Mortier
    Aug 9 at 15:13















up vote
1
down vote

favorite












I have the following question:



Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.

For the following statement, either give a proof or a counterexample.



  • If $A$ is compact then $f(A)$ is closed.

I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).



Any help/suggestions would be appreciated.

Thank you.







share|cite|improve this question
















  • 1




    @ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
    – Matt
    Aug 9 at 15:09











  • @ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
    – Nick
    Aug 9 at 15:12










  • Right. I should read the questions more carefully. @Matt
    – Arnaud Mortier
    Aug 9 at 15:13













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I have the following question:



Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.

For the following statement, either give a proof or a counterexample.



  • If $A$ is compact then $f(A)$ is closed.

I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).



Any help/suggestions would be appreciated.

Thank you.







share|cite|improve this question












I have the following question:



Let $f: X rightarrow Y$ be a continuous map between topological spaces and let $A$ be a subset of $X$.

For the following statement, either give a proof or a counterexample.



  • If $A$ is compact then $f(A)$ is closed.

I cannot think of a proof that starting from compact set will end up in a closed set so I think the statement is false. I understand the concept of compactness but I cannot think of an counterexample (e.g if I had an open set I would pick something like $(0,1)$ for an open set or similar but I'm a bit confused with what to pick for a compact set).



Any help/suggestions would be appreciated.

Thank you.









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 9 at 15:05









Nick

444




444







  • 1




    @ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
    – Matt
    Aug 9 at 15:09











  • @ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
    – Nick
    Aug 9 at 15:12










  • Right. I should read the questions more carefully. @Matt
    – Arnaud Mortier
    Aug 9 at 15:13













  • 1




    @ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
    – Matt
    Aug 9 at 15:09











  • @ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
    – Nick
    Aug 9 at 15:12










  • Right. I should read the questions more carefully. @Matt
    – Arnaud Mortier
    Aug 9 at 15:13








1




1




@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
– Matt
Aug 9 at 15:09





@ArnaudMortier A compact set is closed in a Hausdorff space, I think, but is a compact set necessarily closed in a general topological space?
– Matt
Aug 9 at 15:09













@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
– Nick
Aug 9 at 15:12




@ArnaudMortier Correct me if I'm wrong but for $f(A)$ to be closed if its compact then I think it needs to be a subset of Hausdorff space.
– Nick
Aug 9 at 15:12












Right. I should read the questions more carefully. @Matt
– Arnaud Mortier
Aug 9 at 15:13





Right. I should read the questions more carefully. @Matt
– Arnaud Mortier
Aug 9 at 15:13











2 Answers
2






active

oldest

votes

















up vote
3
down vote



accepted










Here is a kind of trivial (i.e. boring) counterexample:



Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.



As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.






share|cite|improve this answer



























    up vote
    2
    down vote













    Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.



    This is continuous trivially, and $f(A)$ is not closed in $Y$.






    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%2f2877294%2fif-a-is-compact-then-is-fa-closed%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      3
      down vote



      accepted










      Here is a kind of trivial (i.e. boring) counterexample:



      Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.



      As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.






      share|cite|improve this answer
























        up vote
        3
        down vote



        accepted










        Here is a kind of trivial (i.e. boring) counterexample:



        Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.



        As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.






        share|cite|improve this answer






















          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          Here is a kind of trivial (i.e. boring) counterexample:



          Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.



          As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.






          share|cite|improve this answer












          Here is a kind of trivial (i.e. boring) counterexample:



          Let $X=mathbb R$ with the standard (metric) topology, $Y=mathbb R$ with the trivial topology (i.e. only $varnothing$ and $mathbb R$ are open) and define $f:Xto Y$ by $f(x)=0$ for all $xin X$. This is continuous, and the image of any compact set is $0$, which is not closed.



          As pointed out in the comments, the target space $Y$ needs to fail the Hausdorff condition in order for a counterexample to occur.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 9 at 15:11









          Aweygan

          11.9k21437




          11.9k21437




















              up vote
              2
              down vote













              Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.



              This is continuous trivially, and $f(A)$ is not closed in $Y$.






              share|cite|improve this answer
























                up vote
                2
                down vote













                Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.



                This is continuous trivially, and $f(A)$ is not closed in $Y$.






                share|cite|improve this answer






















                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.



                  This is continuous trivially, and $f(A)$ is not closed in $Y$.






                  share|cite|improve this answer












                  Let $X$ be $mathbbR$ together with the usual euclidean topology, and $Y$ be $mathbbR$ together with the trivial topology. Let $A := [0,1]$. This is clearly compact. Let $f:X rightarrow Y$ be such that $f(x) = x$.



                  This is continuous trivially, and $f(A)$ is not closed in $Y$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 9 at 15:12









                  Matt

                  1,972617




                  1,972617






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2877294%2fif-a-is-compact-then-is-fa-closed%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      tkz-euclide: tkzDrawCircle[R] not working

                      How to combine Bézier curves to a surface?

                      1st Magritte Awards