Construction of a function from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ where $Gamma =mathbb R^2/_sim$.
$begingroup$
Let $sim$ an equivalence relation, and denote $Gamma=mathbb R^2/_sim$ the quotient space. We denote $pi:mathbb R^2to Gamma $ the natural projection. And now I want to identify $mathbb R^Gamma $ with $mathbb R^{mathbb R^2}$ in a natural way.
Is there a natural way map from a set $A$ and $mathbb R^A$ so that I can define easily the map $mathbb R^{Gamma }to mathbb R^{mathbb R^2}$ or the map $mathbb R^{mathbb R^2}to mathbb R^Gamma $ ?
general-topology functional-analysis
$endgroup$
add a comment |
$begingroup$
Let $sim$ an equivalence relation, and denote $Gamma=mathbb R^2/_sim$ the quotient space. We denote $pi:mathbb R^2to Gamma $ the natural projection. And now I want to identify $mathbb R^Gamma $ with $mathbb R^{mathbb R^2}$ in a natural way.
Is there a natural way map from a set $A$ and $mathbb R^A$ so that I can define easily the map $mathbb R^{Gamma }to mathbb R^{mathbb R^2}$ or the map $mathbb R^{mathbb R^2}to mathbb R^Gamma $ ?
general-topology functional-analysis
$endgroup$
add a comment |
$begingroup$
Let $sim$ an equivalence relation, and denote $Gamma=mathbb R^2/_sim$ the quotient space. We denote $pi:mathbb R^2to Gamma $ the natural projection. And now I want to identify $mathbb R^Gamma $ with $mathbb R^{mathbb R^2}$ in a natural way.
Is there a natural way map from a set $A$ and $mathbb R^A$ so that I can define easily the map $mathbb R^{Gamma }to mathbb R^{mathbb R^2}$ or the map $mathbb R^{mathbb R^2}to mathbb R^Gamma $ ?
general-topology functional-analysis
$endgroup$
Let $sim$ an equivalence relation, and denote $Gamma=mathbb R^2/_sim$ the quotient space. We denote $pi:mathbb R^2to Gamma $ the natural projection. And now I want to identify $mathbb R^Gamma $ with $mathbb R^{mathbb R^2}$ in a natural way.
Is there a natural way map from a set $A$ and $mathbb R^A$ so that I can define easily the map $mathbb R^{Gamma }to mathbb R^{mathbb R^2}$ or the map $mathbb R^{mathbb R^2}to mathbb R^Gamma $ ?
general-topology functional-analysis
general-topology functional-analysis
asked Jan 18 at 9:00
idmidm
8,61521446
8,61521446
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$$gmapsto gcircpi$$ serves as prescription of a map: $$mathbb R^{Gamma}tomathbb R^{mathbb R^2}$$
$endgroup$
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
add a comment |
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
});
}
});
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%2f3077998%2fconstruction-of-a-function-from-mathbb-r-mathbb-r2-to-mathbb-r-gamma-w%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
$begingroup$
$$gmapsto gcircpi$$ serves as prescription of a map: $$mathbb R^{Gamma}tomathbb R^{mathbb R^2}$$
$endgroup$
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
add a comment |
$begingroup$
$$gmapsto gcircpi$$ serves as prescription of a map: $$mathbb R^{Gamma}tomathbb R^{mathbb R^2}$$
$endgroup$
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
add a comment |
$begingroup$
$$gmapsto gcircpi$$ serves as prescription of a map: $$mathbb R^{Gamma}tomathbb R^{mathbb R^2}$$
$endgroup$
$$gmapsto gcircpi$$ serves as prescription of a map: $$mathbb R^{Gamma}tomathbb R^{mathbb R^2}$$
answered Jan 18 at 9:13
drhabdrhab
104k545136
104k545136
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
add a comment |
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
What do you mean by prescription map ? Surprinsingly, this way doesn't really look natural for me... Normally, I would go from $mathbb R^{mathbb R^2}to mathbb R^Gamma $ (like for the projection...)
$endgroup$
– idm
Jan 18 at 9:15
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
$begingroup$
I do not call it a "prescription map" but just a map. Every map can be described/defined by means of a prescription. The map in my answer sends element $ginmathbb R^{Gamma}$ to element $gcircpiinmathbb R^{mathbb R^2}$. A natural map in other direction is - I think - not possible. You can at most define a natural map $Btomathbb R^{Gamma}$ where $B$ denotes the subset containing functions $f:mathbb R^2tomathbb R$ that respect $sim$ in the sense that $xsim yimplies f(x)=f(y)$. For every such $f$ a unique $g$ exists with $f=gcircpi$.
$endgroup$
– drhab
Jan 18 at 9:23
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%2f3077998%2fconstruction-of-a-function-from-mathbb-r-mathbb-r2-to-mathbb-r-gamma-w%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