$f_n to f$ then $tilde{f_n}to tilde{f}$ where $tilde{f_n}$ and $tilde{f}$ are the lifting of $f_n$ and $f$.
up vote
2
down vote
favorite
Let $p:(mathbb{R}^2,tilde{u})to (mathbb{R}^2setminus{0},u_0) $ be a covering map and let $f_n:(I^2,u)to (mathbb{R}^2setminus{0},u_0)$ be a sequence of function which converges uniformly to $f$ on every compact subset of $I^2=[0,1]times [0,1]$. Let $tilde{f_n}$ and $tilde{f}$ be unique lifting of $f_n$ and $f$. Then is it true that $tilde{f_n}to tilde{f}$ uniformly on each compact subset of $I^2$?
analysis algebraic-topology
add a comment |
up vote
2
down vote
favorite
Let $p:(mathbb{R}^2,tilde{u})to (mathbb{R}^2setminus{0},u_0) $ be a covering map and let $f_n:(I^2,u)to (mathbb{R}^2setminus{0},u_0)$ be a sequence of function which converges uniformly to $f$ on every compact subset of $I^2=[0,1]times [0,1]$. Let $tilde{f_n}$ and $tilde{f}$ be unique lifting of $f_n$ and $f$. Then is it true that $tilde{f_n}to tilde{f}$ uniformly on each compact subset of $I^2$?
analysis algebraic-topology
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Let $p:(mathbb{R}^2,tilde{u})to (mathbb{R}^2setminus{0},u_0) $ be a covering map and let $f_n:(I^2,u)to (mathbb{R}^2setminus{0},u_0)$ be a sequence of function which converges uniformly to $f$ on every compact subset of $I^2=[0,1]times [0,1]$. Let $tilde{f_n}$ and $tilde{f}$ be unique lifting of $f_n$ and $f$. Then is it true that $tilde{f_n}to tilde{f}$ uniformly on each compact subset of $I^2$?
analysis algebraic-topology
Let $p:(mathbb{R}^2,tilde{u})to (mathbb{R}^2setminus{0},u_0) $ be a covering map and let $f_n:(I^2,u)to (mathbb{R}^2setminus{0},u_0)$ be a sequence of function which converges uniformly to $f$ on every compact subset of $I^2=[0,1]times [0,1]$. Let $tilde{f_n}$ and $tilde{f}$ be unique lifting of $f_n$ and $f$. Then is it true that $tilde{f_n}to tilde{f}$ uniformly on each compact subset of $I^2$?
analysis algebraic-topology
analysis algebraic-topology
asked Nov 8 at 14:14
XYZABC
297110
297110
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
2
down vote
First of all, $I^2$ is itself compact, so uniform convergence on compact subsets is just uniform convergence in this case. Otherwise this is true by standard lifting and compactness arguments. By compactness, the image $f(I^2)$ has some positive distance $r>0$ to $0$, so local inverses of $p$ exist in $r$-neighborhoods of every $y in f(I^2)$. Label these local inverses by points $x in I$ such that $p_x^{-1}$ is the local inverse of $p$ in the $r$-neighborhood of $f(x)$ which is encountered by path lifting $f$ along the straight line from $u$ to $x$. (By simple connectedness this is really independent of the path.) This means that $tilde{f}(x) = p_x^{-1} (f(x))$ for all $x in I^2$. We also have that $p_x^{-1} = p_y^{-1}$ if $|x-y|$ is small enough, in the intersection of the $r$-neighborhoods abour $f(x)$ and $f(y)$. And by compactness we can use finitely many of these inverse branches to construct the lifting, which shows that these are uniformly continuous in some neighborhood of $f(I^2)$. Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough and get uniform convergence.
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
First of all, $I^2$ is itself compact, so uniform convergence on compact subsets is just uniform convergence in this case. Otherwise this is true by standard lifting and compactness arguments. By compactness, the image $f(I^2)$ has some positive distance $r>0$ to $0$, so local inverses of $p$ exist in $r$-neighborhoods of every $y in f(I^2)$. Label these local inverses by points $x in I$ such that $p_x^{-1}$ is the local inverse of $p$ in the $r$-neighborhood of $f(x)$ which is encountered by path lifting $f$ along the straight line from $u$ to $x$. (By simple connectedness this is really independent of the path.) This means that $tilde{f}(x) = p_x^{-1} (f(x))$ for all $x in I^2$. We also have that $p_x^{-1} = p_y^{-1}$ if $|x-y|$ is small enough, in the intersection of the $r$-neighborhoods abour $f(x)$ and $f(y)$. And by compactness we can use finitely many of these inverse branches to construct the lifting, which shows that these are uniformly continuous in some neighborhood of $f(I^2)$. Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough and get uniform convergence.
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
add a comment |
up vote
2
down vote
First of all, $I^2$ is itself compact, so uniform convergence on compact subsets is just uniform convergence in this case. Otherwise this is true by standard lifting and compactness arguments. By compactness, the image $f(I^2)$ has some positive distance $r>0$ to $0$, so local inverses of $p$ exist in $r$-neighborhoods of every $y in f(I^2)$. Label these local inverses by points $x in I$ such that $p_x^{-1}$ is the local inverse of $p$ in the $r$-neighborhood of $f(x)$ which is encountered by path lifting $f$ along the straight line from $u$ to $x$. (By simple connectedness this is really independent of the path.) This means that $tilde{f}(x) = p_x^{-1} (f(x))$ for all $x in I^2$. We also have that $p_x^{-1} = p_y^{-1}$ if $|x-y|$ is small enough, in the intersection of the $r$-neighborhoods abour $f(x)$ and $f(y)$. And by compactness we can use finitely many of these inverse branches to construct the lifting, which shows that these are uniformly continuous in some neighborhood of $f(I^2)$. Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough and get uniform convergence.
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
add a comment |
up vote
2
down vote
up vote
2
down vote
First of all, $I^2$ is itself compact, so uniform convergence on compact subsets is just uniform convergence in this case. Otherwise this is true by standard lifting and compactness arguments. By compactness, the image $f(I^2)$ has some positive distance $r>0$ to $0$, so local inverses of $p$ exist in $r$-neighborhoods of every $y in f(I^2)$. Label these local inverses by points $x in I$ such that $p_x^{-1}$ is the local inverse of $p$ in the $r$-neighborhood of $f(x)$ which is encountered by path lifting $f$ along the straight line from $u$ to $x$. (By simple connectedness this is really independent of the path.) This means that $tilde{f}(x) = p_x^{-1} (f(x))$ for all $x in I^2$. We also have that $p_x^{-1} = p_y^{-1}$ if $|x-y|$ is small enough, in the intersection of the $r$-neighborhoods abour $f(x)$ and $f(y)$. And by compactness we can use finitely many of these inverse branches to construct the lifting, which shows that these are uniformly continuous in some neighborhood of $f(I^2)$. Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough and get uniform convergence.
First of all, $I^2$ is itself compact, so uniform convergence on compact subsets is just uniform convergence in this case. Otherwise this is true by standard lifting and compactness arguments. By compactness, the image $f(I^2)$ has some positive distance $r>0$ to $0$, so local inverses of $p$ exist in $r$-neighborhoods of every $y in f(I^2)$. Label these local inverses by points $x in I$ such that $p_x^{-1}$ is the local inverse of $p$ in the $r$-neighborhood of $f(x)$ which is encountered by path lifting $f$ along the straight line from $u$ to $x$. (By simple connectedness this is really independent of the path.) This means that $tilde{f}(x) = p_x^{-1} (f(x))$ for all $x in I^2$. We also have that $p_x^{-1} = p_y^{-1}$ if $|x-y|$ is small enough, in the intersection of the $r$-neighborhoods abour $f(x)$ and $f(y)$. And by compactness we can use finitely many of these inverse branches to construct the lifting, which shows that these are uniformly continuous in some neighborhood of $f(I^2)$. Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough and get uniform convergence.
answered Nov 20 at 21:33
Lukas Geyer
12.9k1454
12.9k1454
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
add a comment |
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
There are certain things that I have not understood here: (1). Why does the local inverse of $p$ exist in $r$ neighbourhood of $y$. (2). "Then you can use these same inverse branches of $p$ to lift $tilde{f_n}$ for $n$ large enough." This is also unclear to me why do all will go in the same branch after a certain $n$.
– XYZABC
Nov 24 at 6:31
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f2990027%2ff-n-to-f-then-tildef-n-to-tildef-where-tildef-n-and-tildef%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