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'?$$
general-topology uniform-spaces
add a comment |
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'?$$
general-topology uniform-spaces
add a comment |
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'?$$
general-topology uniform-spaces
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
general-topology uniform-spaces
edited Nov 21 at 6:00
asked Nov 21 at 4:37
Jave
453114
453114
add a comment |
add a comment |
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.
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
|
show 6 more comments
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.
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
|
show 6 more comments
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.
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
|
show 6 more comments
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.
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.
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
|
show 6 more comments
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
|
show 6 more comments
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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