Continuous function on Hausdorff space

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











up vote
1
down vote

favorite












I'm wondering about how to solve this one:



Let $X$ be a topological Hausdorff space and $A$ a subspace of $X$.



Let $f:X rightarrow A$ continuous such that $f(a) = a hspace5mm forall a in A$.



Show that $A$ is closed.



Any ideas? I think I might get the solution just by adding compactness to hypoteses..










share|cite|improve this question

























    up vote
    1
    down vote

    favorite












    I'm wondering about how to solve this one:



    Let $X$ be a topological Hausdorff space and $A$ a subspace of $X$.



    Let $f:X rightarrow A$ continuous such that $f(a) = a hspace5mm forall a in A$.



    Show that $A$ is closed.



    Any ideas? I think I might get the solution just by adding compactness to hypoteses..










    share|cite|improve this question























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      I'm wondering about how to solve this one:



      Let $X$ be a topological Hausdorff space and $A$ a subspace of $X$.



      Let $f:X rightarrow A$ continuous such that $f(a) = a hspace5mm forall a in A$.



      Show that $A$ is closed.



      Any ideas? I think I might get the solution just by adding compactness to hypoteses..










      share|cite|improve this question













      I'm wondering about how to solve this one:



      Let $X$ be a topological Hausdorff space and $A$ a subspace of $X$.



      Let $f:X rightarrow A$ continuous such that $f(a) = a hspace5mm forall a in A$.



      Show that $A$ is closed.



      Any ideas? I think I might get the solution just by adding compactness to hypoteses..







      general-topology






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 3 hours ago









      James Arten

      538




      538




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          5
          down vote













          Hint: Consider the map $g := (f, operatornameid) : X to X times X$. If $Delta_X$ is the diagonal in $X times X$ (which is closed by the hypothesis that $X$ is Hausdorff) then what can you say about $g^-1(Delta_X)$?






          share|cite|improve this answer




















          • $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
            – James Arten
            3 hours ago










          • Also why diagonal is closed? And how it is defined?
            – James Arten
            3 hours ago










          • Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
            – Daniel Schepler
            3 hours ago










          • @JamesArten Have a look at this
            – Dog_69
            3 hours ago










          • The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
            – Daniel Schepler
            3 hours 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',
          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%2f2986405%2fcontinuous-function-on-hausdorff-space%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
          5
          down vote













          Hint: Consider the map $g := (f, operatornameid) : X to X times X$. If $Delta_X$ is the diagonal in $X times X$ (which is closed by the hypothesis that $X$ is Hausdorff) then what can you say about $g^-1(Delta_X)$?






          share|cite|improve this answer




















          • $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
            – James Arten
            3 hours ago










          • Also why diagonal is closed? And how it is defined?
            – James Arten
            3 hours ago










          • Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
            – Daniel Schepler
            3 hours ago










          • @JamesArten Have a look at this
            – Dog_69
            3 hours ago










          • The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
            – Daniel Schepler
            3 hours ago














          up vote
          5
          down vote













          Hint: Consider the map $g := (f, operatornameid) : X to X times X$. If $Delta_X$ is the diagonal in $X times X$ (which is closed by the hypothesis that $X$ is Hausdorff) then what can you say about $g^-1(Delta_X)$?






          share|cite|improve this answer




















          • $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
            – James Arten
            3 hours ago










          • Also why diagonal is closed? And how it is defined?
            – James Arten
            3 hours ago










          • Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
            – Daniel Schepler
            3 hours ago










          • @JamesArten Have a look at this
            – Dog_69
            3 hours ago










          • The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
            – Daniel Schepler
            3 hours ago












          up vote
          5
          down vote










          up vote
          5
          down vote









          Hint: Consider the map $g := (f, operatornameid) : X to X times X$. If $Delta_X$ is the diagonal in $X times X$ (which is closed by the hypothesis that $X$ is Hausdorff) then what can you say about $g^-1(Delta_X)$?






          share|cite|improve this answer












          Hint: Consider the map $g := (f, operatornameid) : X to X times X$. If $Delta_X$ is the diagonal in $X times X$ (which is closed by the hypothesis that $X$ is Hausdorff) then what can you say about $g^-1(Delta_X)$?







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 3 hours ago









          Daniel Schepler

          7,7111617




          7,7111617











          • $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
            – James Arten
            3 hours ago










          • Also why diagonal is closed? And how it is defined?
            – James Arten
            3 hours ago










          • Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
            – Daniel Schepler
            3 hours ago










          • @JamesArten Have a look at this
            – Dog_69
            3 hours ago










          • The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
            – Daniel Schepler
            3 hours ago
















          • $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
            – James Arten
            3 hours ago










          • Also why diagonal is closed? And how it is defined?
            – James Arten
            3 hours ago










          • Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
            – Daniel Schepler
            3 hours ago










          • @JamesArten Have a look at this
            – Dog_69
            3 hours ago










          • The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
            – Daniel Schepler
            3 hours ago















          $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
          – James Arten
          3 hours ago




          $g^-1(Delta _X)$ is closed because g is continuous.. but could you explain me a little better? What do you mean by $(f,id)$?
          – James Arten
          3 hours ago












          Also why diagonal is closed? And how it is defined?
          – James Arten
          3 hours ago




          Also why diagonal is closed? And how it is defined?
          – James Arten
          3 hours ago












          Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
          – Daniel Schepler
          3 hours ago




          Another way of saying the definition of $g$ would be: $g(x) = (f(x), x)$.
          – Daniel Schepler
          3 hours ago












          @JamesArten Have a look at this
          – Dog_69
          3 hours ago




          @JamesArten Have a look at this
          – Dog_69
          3 hours ago












          The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
          – Daniel Schepler
          3 hours ago




          The diagonal is $ (x,y) in X times X mid x = y $. If $X$ is Hausdorff, and $(x, y) in (Delta_X)^c$, that means that $x ne y$, so then choosing disjoint open neighborhoods $U,V$ of $x,y$, then we will have $(x, y) in U times V$ and $U times V subseteq (Delta_X)^c$.
          – Daniel Schepler
          3 hours ago

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2986405%2fcontinuous-function-on-hausdorff-space%23new-answer', 'question_page');

          );

          Post as a guest













































































          Popular posts from this blog

          How to check contact read email or not when send email to Individual?

          Displaying single band from multi-band raster using QGIS

          How many registers does an x86_64 CPU actually have?