Mixing
do the uniformly continuous functions to the reals determine the uniformity?
$begingroup$
It is well known that the completely regular spaces $X$ are characterized as those topological spaces whose topology is recovered from $C(X)$, the set of continuous functions $Xto mathbb R$. In other words, $C(X)$ determines the topology on $X$. Is there a similar result where $C(X)$ is replaced by $C_U(X)$, the set of uniformly continuous functions? Thus, for which uniform spaces is it true that the set of uniformly continuous functions to the reals determines the uniformity? I'm also interested in the same question for quasi-uniform spaces. References are welcome if this is well-known material.
general-topology uniform-continuity uniform-spaces
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
$endgroup$
add a comment |
$begingroup$
It is well known that the completely regular spaces $X$ are characterized as those topological spaces whose topology is recovered from $C(X)$, the set of continuous functions $Xto mathbb R$. In other words, $C(X)$ determines the topology on $X$. Is there a similar result where $C(X)$ is replaced by $C_U(X)$, the set of uniformly continuous functions? Thus, for which uniform spaces is it true that the set of uniformly continuous functions to the reals determines the uniformity? I'm also interested in the same question for quasi-uniform spaces. References are welcome if this is well-known material.
general-topology uniform-continuity uniform-spaces
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
$endgroup$
$begingroup$
You might want to ask this on mathOverflow. mathoverflow.net
$endgroup$
– 9301293
Nov 5 '15 at 4:36
add a comment |
$begingroup$
It is well known that the completely regular spaces $X$ are characterized as those topological spaces whose topology is recovered from $C(X)$, the set of continuous functions $Xto mathbb R$. In other words, $C(X)$ determines the topology on $X$. Is there a similar result where $C(X)$ is replaced by $C_U(X)$, the set of uniformly continuous functions? Thus, for which uniform spaces is it true that the set of uniformly continuous functions to the reals determines the uniformity? I'm also interested in the same question for quasi-uniform spaces. References are welcome if this is well-known material.
general-topology uniform-continuity uniform-spaces
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
$endgroup$
It is well known that the completely regular spaces $X$ are characterized as those topological spaces whose topology is recovered from $C(X)$, the set of continuous functions $Xto mathbb R$. In other words, $C(X)$ determines the topology on $X$. Is there a similar result where $C(X)$ is replaced by $C_U(X)$, the set of uniformly continuous functions? Thus, for which uniform spaces is it true that the set of uniformly continuous functions to the reals determines the uniformity? I'm also interested in the same question for quasi-uniform spaces. References are welcome if this is well-known material.
general-topology uniform-continuity uniform-spaces
general-topology uniform-continuity uniform-spaces
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
edited Mar 18 '16 at 4:13
Ittay Weiss
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
asked Oct 29 '15 at 0:47
Ittay WeissIttay Weiss
64.3k7102185
64.3k7102185
$begingroup$
You might want to ask this on mathOverflow. mathoverflow.net
$endgroup$
– 9301293
Nov 5 '15 at 4:36
add a comment |
$begingroup$
You might want to ask this on mathOverflow. mathoverflow.net
$endgroup$
– 9301293
Nov 5 '15 at 4:36
$begingroup$
You might want to ask this on mathOverflow. mathoverflow.net
$endgroup$
– 9301293
Nov 5 '15 at 4:36
$begingroup$
You might want to ask this on mathOverflow. mathoverflow.net
$endgroup$
– 9301293
Nov 5 '15 at 4:36
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
It seems the answer is "Yes.", a corollary of a result in Bourbaki (Theorem IX.I.4.I):
Given a uniformity $mathcal{U}$ on a set $X$, there is a family of pseudometrics on $X$ such that the uniformity defined by this family is identical with $mathcal{U}$.
Now pseudometrics aren't quite functions from $X$ to $mathbb{R}$ (they're functions from $Xtimes X$ to $mathbb{R}$), but this can easily be fixed: Let $mathcal{D}$ be a collection of pseudometrics on $X$ that induces $mathcal{U}$. Then,
$$
left{ d_x:din mathcal{D}, xin Xright} ,
$$
where $d_xcolon Xrightarrow mathbb{R}$ is defined by
begin{equation}
d_x(y):=d(x,y),
end{equation}
is a collection of real-valued uniformly-continuous functions on $X$ from which you can recover the uniformity $mathcal{U}$.
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
$endgroup$
add a comment |
$begingroup$
They don't determine the uniformity.
Let $X$ be a uniform space and let $X'$ be $X$ with the weak uniformity coming from the uniformly continuous maps $Xto R.$ I understand the question to be whether the map $Xto X'$ is an isomorphism of uniformly continuous spaces.
One can describe the entourages $V$ of $X'$ as supersets of finite intersections $bigcap_{i=1}^n{(x,y)mid |f_i(x)-f_i(y)|<2}$ for some uniformly continuous $f_1,dots,f_n:Xtomathbb R.$ Equivalently, $Vsupseteq {(x,y)mid |f(x)-f(y)|_infty<2}$ for some uniformly continuous $f:Xtomathbb R^n.$
So $X$ is covered by the countable union $V[f^{-1}(mathbb Z^n)].$ If $X$ is $ell^infty(mathbb N),$ the entourage $V={(x,y)mid |x-y|<1}$ cannot be of this form - you can't cover the space by countably many unit balls. Another counterexample is to take $X$ to be an uncountable set with the discrete uniformity, and take $V$ to be the diagonal - you can't cover $X$ with a countable union of singletons.
(If $X$ is a topological group with its usual uniform structure, and $Xto X'$ is not an isomorphism, we have the same topological group with two different uniformities. This is not a contradiction: the group multiplication in $X'$ must fail to be uniformly continuous.)
If $X$ is furthermore a length space, and $Xto X'$ is an isomorphism, then we get the nice pair of conditions
$$d(f(x),f(y))leq C(d(x,y)-1)$$
$$d(x,y)leq tfrac12(d(f(x),f(y))-1)$$
where $C$ comes from the uniform continuity of $f$ applied to a chain $x=x_1,x_2,dots,x_k=y$ with each $d(x_i,x_{i+1})<1$ and $kleq d(x,y)+1,$ and the $tfrac12$ comes from considering a chain $f(x)=x'_1,x'_2,dots,x'_m=f(y)$ with each $d(x'_i,x'_{i+1})<2$ and $mleq tfrac12 d(f(x),f(y))+1.$
These make $f$ a quasi-isometric embedding. So two-dimensional hyperbolic space is a counterexample. If you are interested in this aspect, a good reference is "Metric Geometry" by Burago, Ivanov, Burago.
answered Jan 28 at 15:49
DapDap
19.3k842
$endgroup$
add a comment |
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',
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
});
}
});
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%2f1502710%2fdo-the-uniformly-continuous-functions-to-the-reals-determine-the-uniformity%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
$begingroup$
It seems the answer is "Yes.", a corollary of a result in Bourbaki (Theorem IX.I.4.I):
Given a uniformity $mathcal{U}$ on a set $X$, there is a family of pseudometrics on $X$ such that the uniformity defined by this family is identical with $mathcal{U}$.
Now pseudometrics aren't quite functions from $X$ to $mathbb{R}$ (they're functions from $Xtimes X$ to $mathbb{R}$), but this can easily be fixed: Let $mathcal{D}$ be a collection of pseudometrics on $X$ that induces $mathcal{U}$. Then,
$$
left{ d_x:din mathcal{D}, xin Xright} ,
$$
where $d_xcolon Xrightarrow mathbb{R}$ is defined by
begin{equation}
d_x(y):=d(x,y),
end{equation}
is a collection of real-valued uniformly-continuous functions on $X$ from which you can recover the uniformity $mathcal{U}$.
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
$endgroup$
add a comment |
$begingroup$
It seems the answer is "Yes.", a corollary of a result in Bourbaki (Theorem IX.I.4.I):
Given a uniformity $mathcal{U}$ on a set $X$, there is a family of pseudometrics on $X$ such that the uniformity defined by this family is identical with $mathcal{U}$.
Now pseudometrics aren't quite functions from $X$ to $mathbb{R}$ (they're functions from $Xtimes X$ to $mathbb{R}$), but this can easily be fixed: Let $mathcal{D}$ be a collection of pseudometrics on $X$ that induces $mathcal{U}$. Then,
$$
left{ d_x:din mathcal{D}, xin Xright} ,
$$
where $d_xcolon Xrightarrow mathbb{R}$ is defined by
begin{equation}
d_x(y):=d(x,y),
end{equation}
is a collection of real-valued uniformly-continuous functions on $X$ from which you can recover the uniformity $mathcal{U}$.
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
$endgroup$
add a comment |
$begingroup$
It seems the answer is "Yes.", a corollary of a result in Bourbaki (Theorem IX.I.4.I):
Given a uniformity $mathcal{U}$ on a set $X$, there is a family of pseudometrics on $X$ such that the uniformity defined by this family is identical with $mathcal{U}$.
Now pseudometrics aren't quite functions from $X$ to $mathbb{R}$ (they're functions from $Xtimes X$ to $mathbb{R}$), but this can easily be fixed: Let $mathcal{D}$ be a collection of pseudometrics on $X$ that induces $mathcal{U}$. Then,
$$
left{ d_x:din mathcal{D}, xin Xright} ,
$$
where $d_xcolon Xrightarrow mathbb{R}$ is defined by
begin{equation}
d_x(y):=d(x,y),
end{equation}
is a collection of real-valued uniformly-continuous functions on $X$ from which you can recover the uniformity $mathcal{U}$.
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
$endgroup$
It seems the answer is "Yes.", a corollary of a result in Bourbaki (Theorem IX.I.4.I):
Given a uniformity $mathcal{U}$ on a set $X$, there is a family of pseudometrics on $X$ such that the uniformity defined by this family is identical with $mathcal{U}$.
Now pseudometrics aren't quite functions from $X$ to $mathbb{R}$ (they're functions from $Xtimes X$ to $mathbb{R}$), but this can easily be fixed: Let $mathcal{D}$ be a collection of pseudometrics on $X$ that induces $mathcal{U}$. Then,
$$
left{ d_x:din mathcal{D}, xin Xright} ,
$$
where $d_xcolon Xrightarrow mathbb{R}$ is defined by
begin{equation}
d_x(y):=d(x,y),
end{equation}
is a collection of real-valued uniformly-continuous functions on $X$ from which you can recover the uniformity $mathcal{U}$.
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
answered Apr 24 '17 at 7:16
Jonathan GleasonJonathan Gleason
4,47422750
4,47422750
add a comment |
add a comment |
$begingroup$
They don't determine the uniformity.
Let $X$ be a uniform space and let $X'$ be $X$ with the weak uniformity coming from the uniformly continuous maps $Xto R.$ I understand the question to be whether the map $Xto X'$ is an isomorphism of uniformly continuous spaces.
One can describe the entourages $V$ of $X'$ as supersets of finite intersections $bigcap_{i=1}^n{(x,y)mid |f_i(x)-f_i(y)|<2}$ for some uniformly continuous $f_1,dots,f_n:Xtomathbb R.$ Equivalently, $Vsupseteq {(x,y)mid |f(x)-f(y)|_infty<2}$ for some uniformly continuous $f:Xtomathbb R^n.$
So $X$ is covered by the countable union $V[f^{-1}(mathbb Z^n)].$ If $X$ is $ell^infty(mathbb N),$ the entourage $V={(x,y)mid |x-y|<1}$ cannot be of this form - you can't cover the space by countably many unit balls. Another counterexample is to take $X$ to be an uncountable set with the discrete uniformity, and take $V$ to be the diagonal - you can't cover $X$ with a countable union of singletons.
(If $X$ is a topological group with its usual uniform structure, and $Xto X'$ is not an isomorphism, we have the same topological group with two different uniformities. This is not a contradiction: the group multiplication in $X'$ must fail to be uniformly continuous.)
If $X$ is furthermore a length space, and $Xto X'$ is an isomorphism, then we get the nice pair of conditions
$$d(f(x),f(y))leq C(d(x,y)-1)$$
$$d(x,y)leq tfrac12(d(f(x),f(y))-1)$$
where $C$ comes from the uniform continuity of $f$ applied to a chain $x=x_1,x_2,dots,x_k=y$ with each $d(x_i,x_{i+1})<1$ and $kleq d(x,y)+1,$ and the $tfrac12$ comes from considering a chain $f(x)=x'_1,x'_2,dots,x'_m=f(y)$ with each $d(x'_i,x'_{i+1})<2$ and $mleq tfrac12 d(f(x),f(y))+1.$
These make $f$ a quasi-isometric embedding. So two-dimensional hyperbolic space is a counterexample. If you are interested in this aspect, a good reference is "Metric Geometry" by Burago, Ivanov, Burago.
answered Jan 28 at 15:49
DapDap
19.3k842
$endgroup$
add a comment |
$begingroup$
They don't determine the uniformity.
Let $X$ be a uniform space and let $X'$ be $X$ with the weak uniformity coming from the uniformly continuous maps $Xto R.$ I understand the question to be whether the map $Xto X'$ is an isomorphism of uniformly continuous spaces.
One can describe the entourages $V$ of $X'$ as supersets of finite intersections $bigcap_{i=1}^n{(x,y)mid |f_i(x)-f_i(y)|<2}$ for some uniformly continuous $f_1,dots,f_n:Xtomathbb R.$ Equivalently, $Vsupseteq {(x,y)mid |f(x)-f(y)|_infty<2}$ for some uniformly continuous $f:Xtomathbb R^n.$
So $X$ is covered by the countable union $V[f^{-1}(mathbb Z^n)].$ If $X$ is $ell^infty(mathbb N),$ the entourage $V={(x,y)mid |x-y|<1}$ cannot be of this form - you can't cover the space by countably many unit balls. Another counterexample is to take $X$ to be an uncountable set with the discrete uniformity, and take $V$ to be the diagonal - you can't cover $X$ with a countable union of singletons.
(If $X$ is a topological group with its usual uniform structure, and $Xto X'$ is not an isomorphism, we have the same topological group with two different uniformities. This is not a contradiction: the group multiplication in $X'$ must fail to be uniformly continuous.)
If $X$ is furthermore a length space, and $Xto X'$ is an isomorphism, then we get the nice pair of conditions
$$d(f(x),f(y))leq C(d(x,y)-1)$$
$$d(x,y)leq tfrac12(d(f(x),f(y))-1)$$
where $C$ comes from the uniform continuity of $f$ applied to a chain $x=x_1,x_2,dots,x_k=y$ with each $d(x_i,x_{i+1})<1$ and $kleq d(x,y)+1,$ and the $tfrac12$ comes from considering a chain $f(x)=x'_1,x'_2,dots,x'_m=f(y)$ with each $d(x'_i,x'_{i+1})<2$ and $mleq tfrac12 d(f(x),f(y))+1.$
These make $f$ a quasi-isometric embedding. So two-dimensional hyperbolic space is a counterexample. If you are interested in this aspect, a good reference is "Metric Geometry" by Burago, Ivanov, Burago.
answered Jan 28 at 15:49
DapDap
19.3k842
$endgroup$
add a comment |
$begingroup$
They don't determine the uniformity.
Let $X$ be a uniform space and let $X'$ be $X$ with the weak uniformity coming from the uniformly continuous maps $Xto R.$ I understand the question to be whether the map $Xto X'$ is an isomorphism of uniformly continuous spaces.
One can describe the entourages $V$ of $X'$ as supersets of finite intersections $bigcap_{i=1}^n{(x,y)mid |f_i(x)-f_i(y)|<2}$ for some uniformly continuous $f_1,dots,f_n:Xtomathbb R.$ Equivalently, $Vsupseteq {(x,y)mid |f(x)-f(y)|_infty<2}$ for some uniformly continuous $f:Xtomathbb R^n.$
So $X$ is covered by the countable union $V[f^{-1}(mathbb Z^n)].$ If $X$ is $ell^infty(mathbb N),$ the entourage $V={(x,y)mid |x-y|<1}$ cannot be of this form - you can't cover the space by countably many unit balls. Another counterexample is to take $X$ to be an uncountable set with the discrete uniformity, and take $V$ to be the diagonal - you can't cover $X$ with a countable union of singletons.
(If $X$ is a topological group with its usual uniform structure, and $Xto X'$ is not an isomorphism, we have the same topological group with two different uniformities. This is not a contradiction: the group multiplication in $X'$ must fail to be uniformly continuous.)
If $X$ is furthermore a length space, and $Xto X'$ is an isomorphism, then we get the nice pair of conditions
$$d(f(x),f(y))leq C(d(x,y)-1)$$
$$d(x,y)leq tfrac12(d(f(x),f(y))-1)$$
where $C$ comes from the uniform continuity of $f$ applied to a chain $x=x_1,x_2,dots,x_k=y$ with each $d(x_i,x_{i+1})<1$ and $kleq d(x,y)+1,$ and the $tfrac12$ comes from considering a chain $f(x)=x'_1,x'_2,dots,x'_m=f(y)$ with each $d(x'_i,x'_{i+1})<2$ and $mleq tfrac12 d(f(x),f(y))+1.$
These make $f$ a quasi-isometric embedding. So two-dimensional hyperbolic space is a counterexample. If you are interested in this aspect, a good reference is "Metric Geometry" by Burago, Ivanov, Burago.
answered Jan 28 at 15:49
DapDap
19.3k842
$endgroup$
They don't determine the uniformity.
Let $X$ be a uniform space and let $X'$ be $X$ with the weak uniformity coming from the uniformly continuous maps $Xto R.$ I understand the question to be whether the map $Xto X'$ is an isomorphism of uniformly continuous spaces.
One can describe the entourages $V$ of $X'$ as supersets of finite intersections $bigcap_{i=1}^n{(x,y)mid |f_i(x)-f_i(y)|<2}$ for some uniformly continuous $f_1,dots,f_n:Xtomathbb R.$ Equivalently, $Vsupseteq {(x,y)mid |f(x)-f(y)|_infty<2}$ for some uniformly continuous $f:Xtomathbb R^n.$
So $X$ is covered by the countable union $V[f^{-1}(mathbb Z^n)].$ If $X$ is $ell^infty(mathbb N),$ the entourage $V={(x,y)mid |x-y|<1}$ cannot be of this form - you can't cover the space by countably many unit balls. Another counterexample is to take $X$ to be an uncountable set with the discrete uniformity, and take $V$ to be the diagonal - you can't cover $X$ with a countable union of singletons.
(If $X$ is a topological group with its usual uniform structure, and $Xto X'$ is not an isomorphism, we have the same topological group with two different uniformities. This is not a contradiction: the group multiplication in $X'$ must fail to be uniformly continuous.)
If $X$ is furthermore a length space, and $Xto X'$ is an isomorphism, then we get the nice pair of conditions
$$d(f(x),f(y))leq C(d(x,y)-1)$$
$$d(x,y)leq tfrac12(d(f(x),f(y))-1)$$
where $C$ comes from the uniform continuity of $f$ applied to a chain $x=x_1,x_2,dots,x_k=y$ with each $d(x_i,x_{i+1})<1$ and $kleq d(x,y)+1,$ and the $tfrac12$ comes from considering a chain $f(x)=x'_1,x'_2,dots,x'_m=f(y)$ with each $d(x'_i,x'_{i+1})<2$ and $mleq tfrac12 d(f(x),f(y))+1.$
These make $f$ a quasi-isometric embedding. So two-dimensional hyperbolic space is a counterexample. If you are interested in this aspect, a good reference is "Metric Geometry" by Burago, Ivanov, Burago.
answered Jan 28 at 15:49
DapDap
19.3k842
edited Jan 29 at 11:30
answered Jan 28 at 15:49
DapDap
19.3k842
answered Jan 28 at 15:49
DapDap
19.3k842
answered Jan 28 at 15:49
DapDap
19.3k842
19.3k842
add a comment |
add a comment |
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.
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%2f1502710%2fdo-the-uniformly-continuous-functions-to-the-reals-determine-the-uniformity%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
$begingroup$
You might want to ask this on mathOverflow. mathoverflow.net
$endgroup$
– 9301293
Nov 5 '15 at 4:36