Question on $T_1$-topological spaces with compatible uniformities having countable bases











up vote
1
down vote

favorite












It is known that




A $T_1$-topological space is metrizable $iff$ it has a compatible uniformity with a countable base.




Let $(X,tau')$ be a $T_1$-topological space and $mathcal U'$ be a compatible uniformity on $X$ (i.e. $tau_{mathcal U'}=tau')$ with countable base. Then by the above result $X$ is metrizable.



Now my question is




Is it always possible to find a metric $d$ on $X$ such that $mathcal U'$ is compatible with $d$ i.e. $$mathcal U(d)=mathcal U'?$$











share|cite|improve this question




























    up vote
    1
    down vote

    favorite












    It is known that




    A $T_1$-topological space is metrizable $iff$ it has a compatible uniformity with a countable base.




    Let $(X,tau')$ be a $T_1$-topological space and $mathcal U'$ be a compatible uniformity on $X$ (i.e. $tau_{mathcal U'}=tau')$ with countable base. Then by the above result $X$ is metrizable.



    Now my question is




    Is it always possible to find a metric $d$ on $X$ such that $mathcal U'$ is compatible with $d$ i.e. $$mathcal U(d)=mathcal U'?$$











    share|cite|improve this question


























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      It is known that




      A $T_1$-topological space is metrizable $iff$ it has a compatible uniformity with a countable base.




      Let $(X,tau')$ be a $T_1$-topological space and $mathcal U'$ be a compatible uniformity on $X$ (i.e. $tau_{mathcal U'}=tau')$ with countable base. Then by the above result $X$ is metrizable.



      Now my question is




      Is it always possible to find a metric $d$ on $X$ such that $mathcal U'$ is compatible with $d$ i.e. $$mathcal U(d)=mathcal U'?$$











      share|cite|improve this question















      It is known that




      A $T_1$-topological space is metrizable $iff$ it has a compatible uniformity with a countable base.




      Let $(X,tau')$ be a $T_1$-topological space and $mathcal U'$ be a compatible uniformity on $X$ (i.e. $tau_{mathcal U'}=tau')$ with countable base. Then by the above result $X$ is metrizable.



      Now my question is




      Is it always possible to find a metric $d$ on $X$ such that $mathcal U'$ is compatible with $d$ i.e. $$mathcal U(d)=mathcal U'?$$








      general-topology uniform-spaces






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 21 at 6:00

























      asked Nov 21 at 4:37









      Jave

      453114




      453114






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Once you have $mathcal{U}(d) =mathcal{U}'$, the topology induced by that metric
          is the same as the topology induced by $mathcal{U}'$, so $tau'$.



          This is because the intermediate step is superfluous in :



          $d$ metric induces a uniformity, uniformity induces a topology.



          is the same as metric induces that topology in one go, using the open balls.



          This is clear when you look at the definitions of how we induce these topolgoies resp. uniformities:



          Recall that a base for $mathcal{U}(d)$ (as entourages) is all sets ${(x,y) in X^2: d(x,y) < varepsilon}$ and when we have a base for the entourage uniformity
          $mathcal{U}$ its induced topology on $X$ has as a base all sets $B[x]$ with $B$ in that base and $x in X$, and for the standard $d$-uniformity base these $B[x]$ are just the open balls around $x$ with radius $varepsilon$.



          Also, in the proof of the uniform metrisability theorem (Birkhoff-Kakutani?) we explicitly construct a compatible metric for the uniformity with a countable base, so in any scenario the answer is yes, you can.






          share|cite|improve this answer























          • Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
            – Jave
            Nov 21 at 4:53










          • @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
            – Henno Brandsma
            Nov 21 at 5:54










          • Why the downvote?
            – Henno Brandsma
            Nov 21 at 5:54










          • The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
            – Jave
            Nov 21 at 5:57






          • 1




            @Jave yes, that’s what I wrote in my answer.
            – Henno Brandsma
            Nov 21 at 6:16











          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%2f3007266%2fquestion-on-t-1-topological-spaces-with-compatible-uniformities-having-countab%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote



          accepted










          Once you have $mathcal{U}(d) =mathcal{U}'$, the topology induced by that metric
          is the same as the topology induced by $mathcal{U}'$, so $tau'$.



          This is because the intermediate step is superfluous in :



          $d$ metric induces a uniformity, uniformity induces a topology.



          is the same as metric induces that topology in one go, using the open balls.



          This is clear when you look at the definitions of how we induce these topolgoies resp. uniformities:



          Recall that a base for $mathcal{U}(d)$ (as entourages) is all sets ${(x,y) in X^2: d(x,y) < varepsilon}$ and when we have a base for the entourage uniformity
          $mathcal{U}$ its induced topology on $X$ has as a base all sets $B[x]$ with $B$ in that base and $x in X$, and for the standard $d$-uniformity base these $B[x]$ are just the open balls around $x$ with radius $varepsilon$.



          Also, in the proof of the uniform metrisability theorem (Birkhoff-Kakutani?) we explicitly construct a compatible metric for the uniformity with a countable base, so in any scenario the answer is yes, you can.






          share|cite|improve this answer























          • Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
            – Jave
            Nov 21 at 4:53










          • @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
            – Henno Brandsma
            Nov 21 at 5:54










          • Why the downvote?
            – Henno Brandsma
            Nov 21 at 5:54










          • The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
            – Jave
            Nov 21 at 5:57






          • 1




            @Jave yes, that’s what I wrote in my answer.
            – Henno Brandsma
            Nov 21 at 6:16















          up vote
          1
          down vote



          accepted










          Once you have $mathcal{U}(d) =mathcal{U}'$, the topology induced by that metric
          is the same as the topology induced by $mathcal{U}'$, so $tau'$.



          This is because the intermediate step is superfluous in :



          $d$ metric induces a uniformity, uniformity induces a topology.



          is the same as metric induces that topology in one go, using the open balls.



          This is clear when you look at the definitions of how we induce these topolgoies resp. uniformities:



          Recall that a base for $mathcal{U}(d)$ (as entourages) is all sets ${(x,y) in X^2: d(x,y) < varepsilon}$ and when we have a base for the entourage uniformity
          $mathcal{U}$ its induced topology on $X$ has as a base all sets $B[x]$ with $B$ in that base and $x in X$, and for the standard $d$-uniformity base these $B[x]$ are just the open balls around $x$ with radius $varepsilon$.



          Also, in the proof of the uniform metrisability theorem (Birkhoff-Kakutani?) we explicitly construct a compatible metric for the uniformity with a countable base, so in any scenario the answer is yes, you can.






          share|cite|improve this answer























          • Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
            – Jave
            Nov 21 at 4:53










          • @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
            – Henno Brandsma
            Nov 21 at 5:54










          • Why the downvote?
            – Henno Brandsma
            Nov 21 at 5:54










          • The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
            – Jave
            Nov 21 at 5:57






          • 1




            @Jave yes, that’s what I wrote in my answer.
            – Henno Brandsma
            Nov 21 at 6:16













          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          Once you have $mathcal{U}(d) =mathcal{U}'$, the topology induced by that metric
          is the same as the topology induced by $mathcal{U}'$, so $tau'$.



          This is because the intermediate step is superfluous in :



          $d$ metric induces a uniformity, uniformity induces a topology.



          is the same as metric induces that topology in one go, using the open balls.



          This is clear when you look at the definitions of how we induce these topolgoies resp. uniformities:



          Recall that a base for $mathcal{U}(d)$ (as entourages) is all sets ${(x,y) in X^2: d(x,y) < varepsilon}$ and when we have a base for the entourage uniformity
          $mathcal{U}$ its induced topology on $X$ has as a base all sets $B[x]$ with $B$ in that base and $x in X$, and for the standard $d$-uniformity base these $B[x]$ are just the open balls around $x$ with radius $varepsilon$.



          Also, in the proof of the uniform metrisability theorem (Birkhoff-Kakutani?) we explicitly construct a compatible metric for the uniformity with a countable base, so in any scenario the answer is yes, you can.






          share|cite|improve this answer














          Once you have $mathcal{U}(d) =mathcal{U}'$, the topology induced by that metric
          is the same as the topology induced by $mathcal{U}'$, so $tau'$.



          This is because the intermediate step is superfluous in :



          $d$ metric induces a uniformity, uniformity induces a topology.



          is the same as metric induces that topology in one go, using the open balls.



          This is clear when you look at the definitions of how we induce these topolgoies resp. uniformities:



          Recall that a base for $mathcal{U}(d)$ (as entourages) is all sets ${(x,y) in X^2: d(x,y) < varepsilon}$ and when we have a base for the entourage uniformity
          $mathcal{U}$ its induced topology on $X$ has as a base all sets $B[x]$ with $B$ in that base and $x in X$, and for the standard $d$-uniformity base these $B[x]$ are just the open balls around $x$ with radius $varepsilon$.



          Also, in the proof of the uniform metrisability theorem (Birkhoff-Kakutani?) we explicitly construct a compatible metric for the uniformity with a countable base, so in any scenario the answer is yes, you can.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 21 at 5:51

























          answered Nov 21 at 4:49









          Henno Brandsma

          102k344108




          102k344108












          • Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
            – Jave
            Nov 21 at 4:53










          • @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
            – Henno Brandsma
            Nov 21 at 5:54










          • Why the downvote?
            – Henno Brandsma
            Nov 21 at 5:54










          • The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
            – Jave
            Nov 21 at 5:57






          • 1




            @Jave yes, that’s what I wrote in my answer.
            – Henno Brandsma
            Nov 21 at 6:16


















          • Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
            – Jave
            Nov 21 at 4:53










          • @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
            – Henno Brandsma
            Nov 21 at 5:54










          • Why the downvote?
            – Henno Brandsma
            Nov 21 at 5:54










          • The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
            – Jave
            Nov 21 at 5:57






          • 1




            @Jave yes, that’s what I wrote in my answer.
            – Henno Brandsma
            Nov 21 at 6:16
















          Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
          – Jave
          Nov 21 at 4:53




          Yes I have edited it. But even can we guarantee the metrisability of the uniformity?
          – Jave
          Nov 21 at 4:53












          @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
          – Henno Brandsma
          Nov 21 at 5:54




          @Jave yes, if it has a countable uniform base. That's what the theorem says, right?
          – Henno Brandsma
          Nov 21 at 5:54












          Why the downvote?
          – Henno Brandsma
          Nov 21 at 5:54




          Why the downvote?
          – Henno Brandsma
          Nov 21 at 5:54












          The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
          – Jave
          Nov 21 at 5:57




          The theorem doesn’t say whether the obtained metric will be compatible with the given uniformity
          – Jave
          Nov 21 at 5:57




          1




          1




          @Jave yes, that’s what I wrote in my answer.
          – Henno Brandsma
          Nov 21 at 6:16




          @Jave yes, that’s what I wrote in my answer.
          – Henno Brandsma
          Nov 21 at 6:16


















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007266%2fquestion-on-t-1-topological-spaces-with-compatible-uniformities-having-countab%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

          Wiesbaden

          Marschland

          Dieringhausen