Preserving Bijectivity under pointwise limit
$begingroup$
The following question I have tried to solve and have also tried to find reference for. A reference would be appreciated.
Suppose that $f_i, g_i :mathbb{R^n} to mathbb{R^n}$ are continuous functions such that $f_i circ g_i =g_i circ f_i = text{id}_mathbb{R^n}$ for each $i in mathbb{N}$. Let $Omega_{{f_i}}$ be the set of points for which ${f_i}_i$ converges pointwise to some function, say $f$. Similarly, let $Omega_{{g_i}}$ be the set of points for which ${g_i}_i$ converges pointwise to some function, say $g$. Then show that $$f circ g = text{id}_{Omega_{{g_i}}}$$ and $$g circ f = text{id}_{Omega_{{f_i}}}$$ specifically that such compositions make sense (i.e. that $Omega_{{f_i}} subseteq g(Omega_{{g_i}})$ and $Omega_{{g_i}} subseteq f(Omega_{{f_i}})$.
real-analysis convergence pointwise-convergence
$endgroup$
add a comment |
$begingroup$
The following question I have tried to solve and have also tried to find reference for. A reference would be appreciated.
Suppose that $f_i, g_i :mathbb{R^n} to mathbb{R^n}$ are continuous functions such that $f_i circ g_i =g_i circ f_i = text{id}_mathbb{R^n}$ for each $i in mathbb{N}$. Let $Omega_{{f_i}}$ be the set of points for which ${f_i}_i$ converges pointwise to some function, say $f$. Similarly, let $Omega_{{g_i}}$ be the set of points for which ${g_i}_i$ converges pointwise to some function, say $g$. Then show that $$f circ g = text{id}_{Omega_{{g_i}}}$$ and $$g circ f = text{id}_{Omega_{{f_i}}}$$ specifically that such compositions make sense (i.e. that $Omega_{{f_i}} subseteq g(Omega_{{g_i}})$ and $Omega_{{g_i}} subseteq f(Omega_{{f_i}})$.
real-analysis convergence pointwise-convergence
$endgroup$
add a comment |
$begingroup$
The following question I have tried to solve and have also tried to find reference for. A reference would be appreciated.
Suppose that $f_i, g_i :mathbb{R^n} to mathbb{R^n}$ are continuous functions such that $f_i circ g_i =g_i circ f_i = text{id}_mathbb{R^n}$ for each $i in mathbb{N}$. Let $Omega_{{f_i}}$ be the set of points for which ${f_i}_i$ converges pointwise to some function, say $f$. Similarly, let $Omega_{{g_i}}$ be the set of points for which ${g_i}_i$ converges pointwise to some function, say $g$. Then show that $$f circ g = text{id}_{Omega_{{g_i}}}$$ and $$g circ f = text{id}_{Omega_{{f_i}}}$$ specifically that such compositions make sense (i.e. that $Omega_{{f_i}} subseteq g(Omega_{{g_i}})$ and $Omega_{{g_i}} subseteq f(Omega_{{f_i}})$.
real-analysis convergence pointwise-convergence
$endgroup$
The following question I have tried to solve and have also tried to find reference for. A reference would be appreciated.
Suppose that $f_i, g_i :mathbb{R^n} to mathbb{R^n}$ are continuous functions such that $f_i circ g_i =g_i circ f_i = text{id}_mathbb{R^n}$ for each $i in mathbb{N}$. Let $Omega_{{f_i}}$ be the set of points for which ${f_i}_i$ converges pointwise to some function, say $f$. Similarly, let $Omega_{{g_i}}$ be the set of points for which ${g_i}_i$ converges pointwise to some function, say $g$. Then show that $$f circ g = text{id}_{Omega_{{g_i}}}$$ and $$g circ f = text{id}_{Omega_{{f_i}}}$$ specifically that such compositions make sense (i.e. that $Omega_{{f_i}} subseteq g(Omega_{{g_i}})$ and $Omega_{{g_i}} subseteq f(Omega_{{f_i}})$.
real-analysis convergence pointwise-convergence
real-analysis convergence pointwise-convergence
asked Nov 8 '18 at 4:07
Better2BLuckyBetter2BLucky
586
586
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Counterexample on $mathbb R^1:$ For $m=1,2,dots,$ define
$$f_m(x)= begin{cases}x,& xle 0\x^m,& 0<x<1\ x,& xge 1\end{cases}$$
Then each $f_m$ is a homeomorphism of $mathbb R$ onto $mathbb R.$ Set $g_m= (f_m)^{-1},$ i.e.,
$$g_m(x)= begin{cases}x,& xle 0\x^{1/m},& 0<x<1\ x,& xge 1\end{cases}$$
Check that $f_m$ converges pointwise everywhere to the function $f$ that is $0$ on $(0,1)$ and is the identity elsewhere. Similarly, $g_m$ converges pointwise everywhere to the function $g$ that is $1$ on $(0,1)$ and is the identity elsewhere. We have $fcirc g=1$ on $(0,1),$ and $gcirc f=0$ on $(0,1),$ showing the desired conclusion does not hold.
$endgroup$
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
add a comment |
$begingroup$
It is not true.
Let us first consider the following sequence of piecewise linear homeomorphisms on the unit interval $I = [0,1]$:
$$h_i(t) =
begin{cases}
frac{t}{i} & t le frac{1}{2} \
frac{1}{2i}+2(1-frac{1}{2i})(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The inverse homeomorphisms are given by
$$h_i^{-1} =
begin{cases}
ti & t le frac{1}{2i} \
frac{1}{2}+frac{1}{2(1-frac{1}{2i})}(t-frac{1}{2i}) & t ge frac{1}{2i}
end{cases}
$$
Obviosuly $(h_i)$ converges (even uniformly) to the continuous surjection
$$h : I to I, h(t) =
begin{cases}
0 & t le frac{1}{2} \
2(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The sequence $(h_i^{-1})$ also converges pointwise on $I$. Its limit is
$$h^- : I to I, h^-(t) =
begin{cases}
0 & t = 0 \
frac{1}{2}+frac{1}{2}t & t > 0
end{cases}
$$
This is a non-continuous injection. We have $h circ h^- = id$, but $h^- circ h ne id$.
To get examples on $mathbb{R}^n$, define
$$f_i(x) =
begin{cases}
x & lVert x rVert ge 1 \
h_i(lVert x rVert)x & lVert x rVert le 1
end{cases}
$$
$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%2f2989503%2fpreserving-bijectivity-under-pointwise-limit%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$
Counterexample on $mathbb R^1:$ For $m=1,2,dots,$ define
$$f_m(x)= begin{cases}x,& xle 0\x^m,& 0<x<1\ x,& xge 1\end{cases}$$
Then each $f_m$ is a homeomorphism of $mathbb R$ onto $mathbb R.$ Set $g_m= (f_m)^{-1},$ i.e.,
$$g_m(x)= begin{cases}x,& xle 0\x^{1/m},& 0<x<1\ x,& xge 1\end{cases}$$
Check that $f_m$ converges pointwise everywhere to the function $f$ that is $0$ on $(0,1)$ and is the identity elsewhere. Similarly, $g_m$ converges pointwise everywhere to the function $g$ that is $1$ on $(0,1)$ and is the identity elsewhere. We have $fcirc g=1$ on $(0,1),$ and $gcirc f=0$ on $(0,1),$ showing the desired conclusion does not hold.
$endgroup$
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
add a comment |
$begingroup$
Counterexample on $mathbb R^1:$ For $m=1,2,dots,$ define
$$f_m(x)= begin{cases}x,& xle 0\x^m,& 0<x<1\ x,& xge 1\end{cases}$$
Then each $f_m$ is a homeomorphism of $mathbb R$ onto $mathbb R.$ Set $g_m= (f_m)^{-1},$ i.e.,
$$g_m(x)= begin{cases}x,& xle 0\x^{1/m},& 0<x<1\ x,& xge 1\end{cases}$$
Check that $f_m$ converges pointwise everywhere to the function $f$ that is $0$ on $(0,1)$ and is the identity elsewhere. Similarly, $g_m$ converges pointwise everywhere to the function $g$ that is $1$ on $(0,1)$ and is the identity elsewhere. We have $fcirc g=1$ on $(0,1),$ and $gcirc f=0$ on $(0,1),$ showing the desired conclusion does not hold.
$endgroup$
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
add a comment |
$begingroup$
Counterexample on $mathbb R^1:$ For $m=1,2,dots,$ define
$$f_m(x)= begin{cases}x,& xle 0\x^m,& 0<x<1\ x,& xge 1\end{cases}$$
Then each $f_m$ is a homeomorphism of $mathbb R$ onto $mathbb R.$ Set $g_m= (f_m)^{-1},$ i.e.,
$$g_m(x)= begin{cases}x,& xle 0\x^{1/m},& 0<x<1\ x,& xge 1\end{cases}$$
Check that $f_m$ converges pointwise everywhere to the function $f$ that is $0$ on $(0,1)$ and is the identity elsewhere. Similarly, $g_m$ converges pointwise everywhere to the function $g$ that is $1$ on $(0,1)$ and is the identity elsewhere. We have $fcirc g=1$ on $(0,1),$ and $gcirc f=0$ on $(0,1),$ showing the desired conclusion does not hold.
$endgroup$
Counterexample on $mathbb R^1:$ For $m=1,2,dots,$ define
$$f_m(x)= begin{cases}x,& xle 0\x^m,& 0<x<1\ x,& xge 1\end{cases}$$
Then each $f_m$ is a homeomorphism of $mathbb R$ onto $mathbb R.$ Set $g_m= (f_m)^{-1},$ i.e.,
$$g_m(x)= begin{cases}x,& xle 0\x^{1/m},& 0<x<1\ x,& xge 1\end{cases}$$
Check that $f_m$ converges pointwise everywhere to the function $f$ that is $0$ on $(0,1)$ and is the identity elsewhere. Similarly, $g_m$ converges pointwise everywhere to the function $g$ that is $1$ on $(0,1)$ and is the identity elsewhere. We have $fcirc g=1$ on $(0,1),$ and $gcirc f=0$ on $(0,1),$ showing the desired conclusion does not hold.
edited Dec 2 '18 at 19:21
answered Dec 1 '18 at 18:57
zhw.zhw.
71.8k43075
71.8k43075
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
add a comment |
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
Typo: $g circ f = 0$ on $(0,1)$.
$endgroup$
– Paul Frost
Dec 2 '18 at 9:31
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
$begingroup$
@PaulFrost Indeed. Thanks. Corrected.
$endgroup$
– zhw.
Dec 2 '18 at 16:57
add a comment |
$begingroup$
It is not true.
Let us first consider the following sequence of piecewise linear homeomorphisms on the unit interval $I = [0,1]$:
$$h_i(t) =
begin{cases}
frac{t}{i} & t le frac{1}{2} \
frac{1}{2i}+2(1-frac{1}{2i})(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The inverse homeomorphisms are given by
$$h_i^{-1} =
begin{cases}
ti & t le frac{1}{2i} \
frac{1}{2}+frac{1}{2(1-frac{1}{2i})}(t-frac{1}{2i}) & t ge frac{1}{2i}
end{cases}
$$
Obviosuly $(h_i)$ converges (even uniformly) to the continuous surjection
$$h : I to I, h(t) =
begin{cases}
0 & t le frac{1}{2} \
2(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The sequence $(h_i^{-1})$ also converges pointwise on $I$. Its limit is
$$h^- : I to I, h^-(t) =
begin{cases}
0 & t = 0 \
frac{1}{2}+frac{1}{2}t & t > 0
end{cases}
$$
This is a non-continuous injection. We have $h circ h^- = id$, but $h^- circ h ne id$.
To get examples on $mathbb{R}^n$, define
$$f_i(x) =
begin{cases}
x & lVert x rVert ge 1 \
h_i(lVert x rVert)x & lVert x rVert le 1
end{cases}
$$
$endgroup$
add a comment |
$begingroup$
It is not true.
Let us first consider the following sequence of piecewise linear homeomorphisms on the unit interval $I = [0,1]$:
$$h_i(t) =
begin{cases}
frac{t}{i} & t le frac{1}{2} \
frac{1}{2i}+2(1-frac{1}{2i})(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The inverse homeomorphisms are given by
$$h_i^{-1} =
begin{cases}
ti & t le frac{1}{2i} \
frac{1}{2}+frac{1}{2(1-frac{1}{2i})}(t-frac{1}{2i}) & t ge frac{1}{2i}
end{cases}
$$
Obviosuly $(h_i)$ converges (even uniformly) to the continuous surjection
$$h : I to I, h(t) =
begin{cases}
0 & t le frac{1}{2} \
2(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The sequence $(h_i^{-1})$ also converges pointwise on $I$. Its limit is
$$h^- : I to I, h^-(t) =
begin{cases}
0 & t = 0 \
frac{1}{2}+frac{1}{2}t & t > 0
end{cases}
$$
This is a non-continuous injection. We have $h circ h^- = id$, but $h^- circ h ne id$.
To get examples on $mathbb{R}^n$, define
$$f_i(x) =
begin{cases}
x & lVert x rVert ge 1 \
h_i(lVert x rVert)x & lVert x rVert le 1
end{cases}
$$
$endgroup$
add a comment |
$begingroup$
It is not true.
Let us first consider the following sequence of piecewise linear homeomorphisms on the unit interval $I = [0,1]$:
$$h_i(t) =
begin{cases}
frac{t}{i} & t le frac{1}{2} \
frac{1}{2i}+2(1-frac{1}{2i})(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The inverse homeomorphisms are given by
$$h_i^{-1} =
begin{cases}
ti & t le frac{1}{2i} \
frac{1}{2}+frac{1}{2(1-frac{1}{2i})}(t-frac{1}{2i}) & t ge frac{1}{2i}
end{cases}
$$
Obviosuly $(h_i)$ converges (even uniformly) to the continuous surjection
$$h : I to I, h(t) =
begin{cases}
0 & t le frac{1}{2} \
2(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The sequence $(h_i^{-1})$ also converges pointwise on $I$. Its limit is
$$h^- : I to I, h^-(t) =
begin{cases}
0 & t = 0 \
frac{1}{2}+frac{1}{2}t & t > 0
end{cases}
$$
This is a non-continuous injection. We have $h circ h^- = id$, but $h^- circ h ne id$.
To get examples on $mathbb{R}^n$, define
$$f_i(x) =
begin{cases}
x & lVert x rVert ge 1 \
h_i(lVert x rVert)x & lVert x rVert le 1
end{cases}
$$
$endgroup$
It is not true.
Let us first consider the following sequence of piecewise linear homeomorphisms on the unit interval $I = [0,1]$:
$$h_i(t) =
begin{cases}
frac{t}{i} & t le frac{1}{2} \
frac{1}{2i}+2(1-frac{1}{2i})(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The inverse homeomorphisms are given by
$$h_i^{-1} =
begin{cases}
ti & t le frac{1}{2i} \
frac{1}{2}+frac{1}{2(1-frac{1}{2i})}(t-frac{1}{2i}) & t ge frac{1}{2i}
end{cases}
$$
Obviosuly $(h_i)$ converges (even uniformly) to the continuous surjection
$$h : I to I, h(t) =
begin{cases}
0 & t le frac{1}{2} \
2(t-frac{1}{2}) & t ge frac{1}{2}
end{cases}
$$
The sequence $(h_i^{-1})$ also converges pointwise on $I$. Its limit is
$$h^- : I to I, h^-(t) =
begin{cases}
0 & t = 0 \
frac{1}{2}+frac{1}{2}t & t > 0
end{cases}
$$
This is a non-continuous injection. We have $h circ h^- = id$, but $h^- circ h ne id$.
To get examples on $mathbb{R}^n$, define
$$f_i(x) =
begin{cases}
x & lVert x rVert ge 1 \
h_i(lVert x rVert)x & lVert x rVert le 1
end{cases}
$$
answered Dec 1 '18 at 16:29
Paul FrostPaul Frost
9,8453732
9,8453732
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%2f2989503%2fpreserving-bijectivity-under-pointwise-limit%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