An example of a group with a topology












6












$begingroup$


Do you know an example of a group with a topology satisfying both the following two conditions




  1. the product is separately continuous but not jointly continuous

  2. the inversion map is continuous.










share|cite|improve this question











$endgroup$












  • $begingroup$
    One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
    $endgroup$
    – Omnomnomnom
    Sep 16 '18 at 18:20
















6












$begingroup$


Do you know an example of a group with a topology satisfying both the following two conditions




  1. the product is separately continuous but not jointly continuous

  2. the inversion map is continuous.










share|cite|improve this question











$endgroup$












  • $begingroup$
    One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
    $endgroup$
    – Omnomnomnom
    Sep 16 '18 at 18:20














6












6








6


3



$begingroup$


Do you know an example of a group with a topology satisfying both the following two conditions




  1. the product is separately continuous but not jointly continuous

  2. the inversion map is continuous.










share|cite|improve this question











$endgroup$




Do you know an example of a group with a topology satisfying both the following two conditions




  1. the product is separately continuous but not jointly continuous

  2. the inversion map is continuous.







abstract-algebra general-topology examples-counterexamples topological-groups






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 16 '18 at 18:00









José Carlos Santos

175k24134243




175k24134243










asked Sep 16 '18 at 17:48









W4cc0W4cc0

1,90621227




1,90621227












  • $begingroup$
    One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
    $endgroup$
    – Omnomnomnom
    Sep 16 '18 at 18:20


















  • $begingroup$
    One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
    $endgroup$
    – Omnomnomnom
    Sep 16 '18 at 18:20
















$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20




$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20










2 Answers
2






active

oldest

votes


















10












$begingroup$

Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.






share|cite|improve this answer











$endgroup$





















    6












    $begingroup$

    Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)






    share|cite|improve this answer









    $endgroup$














      Your Answer








      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%2f2919210%2fan-example-of-a-group-with-a-topology%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









      10












      $begingroup$

      Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.






      share|cite|improve this answer











      $endgroup$


















        10












        $begingroup$

        Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.






        share|cite|improve this answer











        $endgroup$
















          10












          10








          10





          $begingroup$

          Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.






          share|cite|improve this answer











          $endgroup$



          Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 29 '18 at 11:29

























          answered Sep 16 '18 at 17:56









          José Carlos SantosJosé Carlos Santos

          175k24134243




          175k24134243























              6












              $begingroup$

              Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)






              share|cite|improve this answer









              $endgroup$


















                6












                $begingroup$

                Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)






                share|cite|improve this answer









                $endgroup$
















                  6












                  6








                  6





                  $begingroup$

                  Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)






                  share|cite|improve this answer









                  $endgroup$



                  Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Sep 16 '18 at 17:56









                  Eric WofseyEric Wofsey

                  193k14221352




                  193k14221352






























                      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%2f2919210%2fan-example-of-a-group-with-a-topology%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

                      How to send String Array data to Server using php in android

                      Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

                      Is anime1.com a legal site for watching anime?