Continuity of a special map between topological sets Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)covering a space with closures of disjoint sets from a basisHow to read a chapter about connectedness for topological spaces as if you only want to know things about metric spaces?Showing that two topologies on the unit circle are the sameUniform continuity of scalar multiplication in topological vector spacesMaps between topological spaces; any rules?$X,Y$ be finite topological spaces such that there exist continuous injections from $X$ to $Y$ and $Y$ to $X$ ; are $X$ and $Y$ homeomorphic?Continuity of inclusion map between subspace and topological spaceHolder continuous map preserves $F_sigma$ setsMetric space vs Uniform space vs Topological SpaceCan the homotopy type change at the limit?
Check which numbers satisfy the condition [A*B*C = A! + B! + C!]
Using et al. for a last / senior author rather than for a first author
What is the musical term for a note that continously plays through a melody?
Should I discuss the type of campaign with my players?
Is the Standard Deduction better than Itemized when both are the same amount?
Disable hyphenation for an entire paragraph
Do I really need recursive chmod to restrict access to a folder?
Output the ŋarâþ crîþ alphabet song without using (m)any letters
How to motivate offshore teams and trust them to deliver?
Can Pao de Queijo, and similar foods, be kosher for Passover?
G-Code for resetting to 100% speed
When is phishing education going too far?
Why did the IBM 650 use bi-quinary?
When -s is used with third person singular. What's its use in this context?
What would be the ideal power source for a cybernetic eye?
How to recreate this effect in Photoshop?
Is there a Spanish version of "dot your i's and cross your t's" that includes the letter 'ñ'?
If a contract sometimes uses the wrong name, is it still valid?
What are the pros and cons of Aerospike nosecones?
Does accepting a pardon have any bearing on trying that person for the same crime in a sovereign jurisdiction?
What is this single-engine low-wing propeller plane?
"Seemed to had" is it correct?
When to stop saving and start investing?
Single word antonym of "flightless"
Continuity of a special map between topological sets
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)covering a space with closures of disjoint sets from a basisHow to read a chapter about connectedness for topological spaces as if you only want to know things about metric spaces?Showing that two topologies on the unit circle are the sameUniform continuity of scalar multiplication in topological vector spacesMaps between topological spaces; any rules?$X,Y$ be finite topological spaces such that there exist continuous injections from $X$ to $Y$ and $Y$ to $X$ ; are $X$ and $Y$ homeomorphic?Continuity of inclusion map between subspace and topological spaceHolder continuous map preserves $F_sigma$ setsMetric space vs Uniform space vs Topological SpaceCan the homotopy type change at the limit?
$begingroup$
Let $B_k subset [0,1]^k+1$ and define the map:
$$
phi_k:B_kmapsto C^k[0,1]:(beta_0,beta_1, ldots,beta_k)mapstosum_i=0^kbeta_i b_i,k,
$$
where $b_i,k(t)=binomkit^i(1-t)^k-1,, tin[0,1], i=0,ldots,k$ denotes the Bernstein Polynomial basis of degree $k$. Denote $P_k:=fin C^k[0,1]: f=phi_k(beta_0, ldots,beta_k), (beta_0, ldots,beta_k)in B_k$. Endow $B_k$ and $P_k$ with the Euclidean and the uniform metrics, respectively, denoted by $d_E$ and $d_infty$. Then, it can be readily seen that the map $phi_k:(B_k,d_E)mapsto (P_k, d_infty)$ is continuous.
Now, let me be not very precise for a moment and define a general map $$phi:cup_k=1^infty B_kmapsto cup_k=1^infty P_k$$
such that, if $boldsymbolbetain B_k$, then $phi(boldsymbolbeta)=phi_k(boldsymbolbeta)$. Which type of (metric) topology shoud I use on the "union spaces" so that the map $phi$ is continuous? Should I consider $phi$ as a map between the co-product topological spaces for both $(B_k,d_E)$'s and $(P_k,d_infty)$? Or it is sufficient to consider the co-product topological space for $(B_k,d_E)$'s
and endow $cup_k=1^infty P_k$ with the uniform metric?
real-analysis general-topology functional-analysis metric-spaces parametric
$endgroup$
add a comment |
$begingroup$
Let $B_k subset [0,1]^k+1$ and define the map:
$$
phi_k:B_kmapsto C^k[0,1]:(beta_0,beta_1, ldots,beta_k)mapstosum_i=0^kbeta_i b_i,k,
$$
where $b_i,k(t)=binomkit^i(1-t)^k-1,, tin[0,1], i=0,ldots,k$ denotes the Bernstein Polynomial basis of degree $k$. Denote $P_k:=fin C^k[0,1]: f=phi_k(beta_0, ldots,beta_k), (beta_0, ldots,beta_k)in B_k$. Endow $B_k$ and $P_k$ with the Euclidean and the uniform metrics, respectively, denoted by $d_E$ and $d_infty$. Then, it can be readily seen that the map $phi_k:(B_k,d_E)mapsto (P_k, d_infty)$ is continuous.
Now, let me be not very precise for a moment and define a general map $$phi:cup_k=1^infty B_kmapsto cup_k=1^infty P_k$$
such that, if $boldsymbolbetain B_k$, then $phi(boldsymbolbeta)=phi_k(boldsymbolbeta)$. Which type of (metric) topology shoud I use on the "union spaces" so that the map $phi$ is continuous? Should I consider $phi$ as a map between the co-product topological spaces for both $(B_k,d_E)$'s and $(P_k,d_infty)$? Or it is sufficient to consider the co-product topological space for $(B_k,d_E)$'s
and endow $cup_k=1^infty P_k$ with the uniform metric?
real-analysis general-topology functional-analysis metric-spaces parametric
$endgroup$
$begingroup$
Give $B_k$ the metrics $tilde d(x,y)=fracd(x,y)1+d(x,y)$ where $d$ is the old metric. This doesn't change the topology and bounds your metric by one. Now if you denote the new metric on $B_k$ by $d_k$, defining $$d(x,y)=begincases d_k(x,y) & x,yin B_k\ 2&textelseendcases$$ gives you a metric on $bigcup B_k$ that respects the topology of the components. Note that $P_ksubset C[0,1]$ and thus you can just give the uniform metric to the union of all $P_k$.
$endgroup$
– s.harp
Mar 26 at 9:51
$begingroup$
The tricky thing here is the following. Let $k'>k$. A polynomial $sum_i=0^kbeta_i b_i,k$ can be rewritten as $sum_i=1^k' beta'_ib_i,k'$, for a suitable choice of $beta_0', ldots, beta_k''$. If I correctly get your proposal, we would have $d(boldsymbolbeta,boldsymbolbeta')=2$ and $d_infty(sum_i=0^kbeta_i b_i,k,, sum_i=1^k' beta'_ib_i,k')=0$.
$endgroup$
– Jack London
Mar 26 at 17:23
$begingroup$
Yes, $bigcup P_k$ is not a disjoint union. The map $phi:bigcup B_kto C[0,1]$ is however still continuous. If you want it to be injective then you have to take a quotient of $bigcup B_k$. This may give you trouble with the metric.
$endgroup$
– s.harp
Mar 26 at 17:44
$begingroup$
A possibly stupid question: then I could also look at $d$ as a metric on $overlineB=cup_k=1^infty ktimes B_k$ and $phi$ as a continuous map from $(overlineB,d)$ to $(cup_k=1^infty P_k,d_infty)$, correct?
$endgroup$
– Jack London
Mar 26 at 18:00
add a comment |
$begingroup$
Let $B_k subset [0,1]^k+1$ and define the map:
$$
phi_k:B_kmapsto C^k[0,1]:(beta_0,beta_1, ldots,beta_k)mapstosum_i=0^kbeta_i b_i,k,
$$
where $b_i,k(t)=binomkit^i(1-t)^k-1,, tin[0,1], i=0,ldots,k$ denotes the Bernstein Polynomial basis of degree $k$. Denote $P_k:=fin C^k[0,1]: f=phi_k(beta_0, ldots,beta_k), (beta_0, ldots,beta_k)in B_k$. Endow $B_k$ and $P_k$ with the Euclidean and the uniform metrics, respectively, denoted by $d_E$ and $d_infty$. Then, it can be readily seen that the map $phi_k:(B_k,d_E)mapsto (P_k, d_infty)$ is continuous.
Now, let me be not very precise for a moment and define a general map $$phi:cup_k=1^infty B_kmapsto cup_k=1^infty P_k$$
such that, if $boldsymbolbetain B_k$, then $phi(boldsymbolbeta)=phi_k(boldsymbolbeta)$. Which type of (metric) topology shoud I use on the "union spaces" so that the map $phi$ is continuous? Should I consider $phi$ as a map between the co-product topological spaces for both $(B_k,d_E)$'s and $(P_k,d_infty)$? Or it is sufficient to consider the co-product topological space for $(B_k,d_E)$'s
and endow $cup_k=1^infty P_k$ with the uniform metric?
real-analysis general-topology functional-analysis metric-spaces parametric
$endgroup$
Let $B_k subset [0,1]^k+1$ and define the map:
$$
phi_k:B_kmapsto C^k[0,1]:(beta_0,beta_1, ldots,beta_k)mapstosum_i=0^kbeta_i b_i,k,
$$
where $b_i,k(t)=binomkit^i(1-t)^k-1,, tin[0,1], i=0,ldots,k$ denotes the Bernstein Polynomial basis of degree $k$. Denote $P_k:=fin C^k[0,1]: f=phi_k(beta_0, ldots,beta_k), (beta_0, ldots,beta_k)in B_k$. Endow $B_k$ and $P_k$ with the Euclidean and the uniform metrics, respectively, denoted by $d_E$ and $d_infty$. Then, it can be readily seen that the map $phi_k:(B_k,d_E)mapsto (P_k, d_infty)$ is continuous.
Now, let me be not very precise for a moment and define a general map $$phi:cup_k=1^infty B_kmapsto cup_k=1^infty P_k$$
such that, if $boldsymbolbetain B_k$, then $phi(boldsymbolbeta)=phi_k(boldsymbolbeta)$. Which type of (metric) topology shoud I use on the "union spaces" so that the map $phi$ is continuous? Should I consider $phi$ as a map between the co-product topological spaces for both $(B_k,d_E)$'s and $(P_k,d_infty)$? Or it is sufficient to consider the co-product topological space for $(B_k,d_E)$'s
and endow $cup_k=1^infty P_k$ with the uniform metric?
real-analysis general-topology functional-analysis metric-spaces parametric
real-analysis general-topology functional-analysis metric-spaces parametric
asked Mar 26 at 9:30
Jack LondonJack London
34218
34218
$begingroup$
Give $B_k$ the metrics $tilde d(x,y)=fracd(x,y)1+d(x,y)$ where $d$ is the old metric. This doesn't change the topology and bounds your metric by one. Now if you denote the new metric on $B_k$ by $d_k$, defining $$d(x,y)=begincases d_k(x,y) & x,yin B_k\ 2&textelseendcases$$ gives you a metric on $bigcup B_k$ that respects the topology of the components. Note that $P_ksubset C[0,1]$ and thus you can just give the uniform metric to the union of all $P_k$.
$endgroup$
– s.harp
Mar 26 at 9:51
$begingroup$
The tricky thing here is the following. Let $k'>k$. A polynomial $sum_i=0^kbeta_i b_i,k$ can be rewritten as $sum_i=1^k' beta'_ib_i,k'$, for a suitable choice of $beta_0', ldots, beta_k''$. If I correctly get your proposal, we would have $d(boldsymbolbeta,boldsymbolbeta')=2$ and $d_infty(sum_i=0^kbeta_i b_i,k,, sum_i=1^k' beta'_ib_i,k')=0$.
$endgroup$
– Jack London
Mar 26 at 17:23
$begingroup$
Yes, $bigcup P_k$ is not a disjoint union. The map $phi:bigcup B_kto C[0,1]$ is however still continuous. If you want it to be injective then you have to take a quotient of $bigcup B_k$. This may give you trouble with the metric.
$endgroup$
– s.harp
Mar 26 at 17:44
$begingroup$
A possibly stupid question: then I could also look at $d$ as a metric on $overlineB=cup_k=1^infty ktimes B_k$ and $phi$ as a continuous map from $(overlineB,d)$ to $(cup_k=1^infty P_k,d_infty)$, correct?
$endgroup$
– Jack London
Mar 26 at 18:00
add a comment |
$begingroup$
Give $B_k$ the metrics $tilde d(x,y)=fracd(x,y)1+d(x,y)$ where $d$ is the old metric. This doesn't change the topology and bounds your metric by one. Now if you denote the new metric on $B_k$ by $d_k$, defining $$d(x,y)=begincases d_k(x,y) & x,yin B_k\ 2&textelseendcases$$ gives you a metric on $bigcup B_k$ that respects the topology of the components. Note that $P_ksubset C[0,1]$ and thus you can just give the uniform metric to the union of all $P_k$.
$endgroup$
– s.harp
Mar 26 at 9:51
$begingroup$
The tricky thing here is the following. Let $k'>k$. A polynomial $sum_i=0^kbeta_i b_i,k$ can be rewritten as $sum_i=1^k' beta'_ib_i,k'$, for a suitable choice of $beta_0', ldots, beta_k''$. If I correctly get your proposal, we would have $d(boldsymbolbeta,boldsymbolbeta')=2$ and $d_infty(sum_i=0^kbeta_i b_i,k,, sum_i=1^k' beta'_ib_i,k')=0$.
$endgroup$
– Jack London
Mar 26 at 17:23
$begingroup$
Yes, $bigcup P_k$ is not a disjoint union. The map $phi:bigcup B_kto C[0,1]$ is however still continuous. If you want it to be injective then you have to take a quotient of $bigcup B_k$. This may give you trouble with the metric.
$endgroup$
– s.harp
Mar 26 at 17:44
$begingroup$
A possibly stupid question: then I could also look at $d$ as a metric on $overlineB=cup_k=1^infty ktimes B_k$ and $phi$ as a continuous map from $(overlineB,d)$ to $(cup_k=1^infty P_k,d_infty)$, correct?
$endgroup$
– Jack London
Mar 26 at 18:00
$begingroup$
Give $B_k$ the metrics $tilde d(x,y)=fracd(x,y)1+d(x,y)$ where $d$ is the old metric. This doesn't change the topology and bounds your metric by one. Now if you denote the new metric on $B_k$ by $d_k$, defining $$d(x,y)=begincases d_k(x,y) & x,yin B_k\ 2&textelseendcases$$ gives you a metric on $bigcup B_k$ that respects the topology of the components. Note that $P_ksubset C[0,1]$ and thus you can just give the uniform metric to the union of all $P_k$.
$endgroup$
– s.harp
Mar 26 at 9:51
$begingroup$
Give $B_k$ the metrics $tilde d(x,y)=fracd(x,y)1+d(x,y)$ where $d$ is the old metric. This doesn't change the topology and bounds your metric by one. Now if you denote the new metric on $B_k$ by $d_k$, defining $$d(x,y)=begincases d_k(x,y) & x,yin B_k\ 2&textelseendcases$$ gives you a metric on $bigcup B_k$ that respects the topology of the components. Note that $P_ksubset C[0,1]$ and thus you can just give the uniform metric to the union of all $P_k$.
$endgroup$
– s.harp
Mar 26 at 9:51
$begingroup$
The tricky thing here is the following. Let $k'>k$. A polynomial $sum_i=0^kbeta_i b_i,k$ can be rewritten as $sum_i=1^k' beta'_ib_i,k'$, for a suitable choice of $beta_0', ldots, beta_k''$. If I correctly get your proposal, we would have $d(boldsymbolbeta,boldsymbolbeta')=2$ and $d_infty(sum_i=0^kbeta_i b_i,k,, sum_i=1^k' beta'_ib_i,k')=0$.
$endgroup$
– Jack London
Mar 26 at 17:23
$begingroup$
The tricky thing here is the following. Let $k'>k$. A polynomial $sum_i=0^kbeta_i b_i,k$ can be rewritten as $sum_i=1^k' beta'_ib_i,k'$, for a suitable choice of $beta_0', ldots, beta_k''$. If I correctly get your proposal, we would have $d(boldsymbolbeta,boldsymbolbeta')=2$ and $d_infty(sum_i=0^kbeta_i b_i,k,, sum_i=1^k' beta'_ib_i,k')=0$.
$endgroup$
– Jack London
Mar 26 at 17:23
$begingroup$
Yes, $bigcup P_k$ is not a disjoint union. The map $phi:bigcup B_kto C[0,1]$ is however still continuous. If you want it to be injective then you have to take a quotient of $bigcup B_k$. This may give you trouble with the metric.
$endgroup$
– s.harp
Mar 26 at 17:44
$begingroup$
Yes, $bigcup P_k$ is not a disjoint union. The map $phi:bigcup B_kto C[0,1]$ is however still continuous. If you want it to be injective then you have to take a quotient of $bigcup B_k$. This may give you trouble with the metric.
$endgroup$
– s.harp
Mar 26 at 17:44
$begingroup$
A possibly stupid question: then I could also look at $d$ as a metric on $overlineB=cup_k=1^infty ktimes B_k$ and $phi$ as a continuous map from $(overlineB,d)$ to $(cup_k=1^infty P_k,d_infty)$, correct?
$endgroup$
– Jack London
Mar 26 at 18:00
$begingroup$
A possibly stupid question: then I could also look at $d$ as a metric on $overlineB=cup_k=1^infty ktimes B_k$ and $phi$ as a continuous map from $(overlineB,d)$ to $(cup_k=1^infty P_k,d_infty)$, correct?
$endgroup$
– Jack London
Mar 26 at 18:00
add a comment |
0
active
oldest
votes
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%2f3162944%2fcontinuity-of-a-special-map-between-topological-sets%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3162944%2fcontinuity-of-a-special-map-between-topological-sets%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$
Give $B_k$ the metrics $tilde d(x,y)=fracd(x,y)1+d(x,y)$ where $d$ is the old metric. This doesn't change the topology and bounds your metric by one. Now if you denote the new metric on $B_k$ by $d_k$, defining $$d(x,y)=begincases d_k(x,y) & x,yin B_k\ 2&textelseendcases$$ gives you a metric on $bigcup B_k$ that respects the topology of the components. Note that $P_ksubset C[0,1]$ and thus you can just give the uniform metric to the union of all $P_k$.
$endgroup$
– s.harp
Mar 26 at 9:51
$begingroup$
The tricky thing here is the following. Let $k'>k$. A polynomial $sum_i=0^kbeta_i b_i,k$ can be rewritten as $sum_i=1^k' beta'_ib_i,k'$, for a suitable choice of $beta_0', ldots, beta_k''$. If I correctly get your proposal, we would have $d(boldsymbolbeta,boldsymbolbeta')=2$ and $d_infty(sum_i=0^kbeta_i b_i,k,, sum_i=1^k' beta'_ib_i,k')=0$.
$endgroup$
– Jack London
Mar 26 at 17:23
$begingroup$
Yes, $bigcup P_k$ is not a disjoint union. The map $phi:bigcup B_kto C[0,1]$ is however still continuous. If you want it to be injective then you have to take a quotient of $bigcup B_k$. This may give you trouble with the metric.
$endgroup$
– s.harp
Mar 26 at 17:44
$begingroup$
A possibly stupid question: then I could also look at $d$ as a metric on $overlineB=cup_k=1^infty ktimes B_k$ and $phi$ as a continuous map from $(overlineB,d)$ to $(cup_k=1^infty P_k,d_infty)$, correct?
$endgroup$
– Jack London
Mar 26 at 18:00