Timeline for Are $C^1$ immersions dense in $C^1$?
Current License: CC BY-SA 4.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 22, 2018 at 16:59 | comment | added | mme | No, since your topology is stronger than the $C^1$ topology... I assume here $M$ is supposed to be a surface. | |
Sep 22, 2018 at 16:46 | comment | added | TYp | Thanks for the remarks. I try to clarify the question: Let $X := C^1(M,\mathbb{R}^3)\cap W^{2,2}(M,\mathbb{R}^3)$, equipped with the norm $\|x\|_X := \|x\|_{C^1} + \|x\|_{W^{2,2}}$. If this space is too troublesome, consider the slightly bigger Banach space $X = W^{2,p}(M,\mathbb{R}^3))$ for a $p>2$. Q: Is $\{x \in X: x \mbox{ an immersion}\}$ dense in $X$ (w.r.t. to the topology of $X$)? | |
Sep 22, 2018 at 16:31 | comment | added | mme | 1) The problem is your topology. Nash's results guarantee a $C^1$ immersion arbitrarily close to your original immersion in the $C^0$ topology. You won't be able to get convergence in $C^1$. 2) Also, you have to assume you have an immersion to begin with. Your set could be empty unless the dimension of the codomain is sufficiently high. (Nonempty when it's at least 2dim M -1 by Whitney's hard immersion theorem, but you get denseness at 2dim M.) | |
Sep 22, 2018 at 16:20 | comment | added | TYp | I would imagine that this is related to Nash's $C^1$ immersion results... If I throw in a little more regularity by changing $C^1(M,\mathbb{R}^3)$ to $C^1(M,\mathbb{R}^3)\cap W^{2,2}(M,\mathbb{R}^3)$, will the 'no' become a 'yes'? | |
S Sep 21, 2018 at 22:48 | history | suggested | David G. Stork | CC BY-SA 4.0 |
MathJax in title
|
Sep 21, 2018 at 20:56 | review | Suggested edits | |||
S Sep 21, 2018 at 22:48 | |||||
Sep 21, 2018 at 19:10 | comment | added | mme | No. If you take the codomain to have dimension at least 2dim M then yes. You can find proofs in the second chapter of Hirsch's book on differential topology. | |
Sep 21, 2018 at 18:55 | review | First posts | |||
Sep 21, 2018 at 18:56 | |||||
Sep 21, 2018 at 18:50 | history | asked | TYp | CC BY-SA 4.0 |