3
$\begingroup$

If $M$ and $N$ are smooth manifolds, then any continuous map $f:M\rightarrow N$ is homotopic to a smooth map $g:M\rightarrow N$. If $f$ is smooth on a closed set $K\subseteq M$, the homotopy can be taken relative to $K$. (This is in proven in e.g. Lee).
Now assume that we have a metric $\rho$ on $N$. I was wondering if, additionally, $g$ can be taken to be a $\delta$-approximation of $f$ where $\delta:M\rightarrow (0,\infty)$ is a continuous map (i.e. $\rho(f(x),g(x))\leq \delta(x)$ for all $x\in M$).
There is a theorem in Metric Structures in Differential Geometry by Walschap (Theorem 1.2) that states something similar, but $N$ is assumed to be compact. Is this necessary?

$\endgroup$
  • 1
    $\begingroup$ If you have acess to Kosinski's differnetial manifolds book, then theorem 2.5 (page 8) is close to what you want. The only differences are that his $\delta$ is constant, and the codomain is $\mathbb{R}^n$. $\endgroup$ – Jason DeVito Mar 1 '16 at 15:57
  • 1
    $\begingroup$ Even better: page 47, again Theorem 2.5 (b)is exactly what you want. $\endgroup$ – Jason DeVito Mar 1 '16 at 16:15
  • $\begingroup$ You are right, thanks a lot! $\endgroup$ – Pete Mar 1 '16 at 16:36
  • $\begingroup$ You might want to post an answer to the question, to get the question off the unanswered list. $\endgroup$ – Jason DeVito Mar 1 '16 at 18:47
0
$\begingroup$

As it was pointed out to me, this (almost exact) statement is proven in Differential Manifolds by Kosinski (Chapter III, Theorem 2.5).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.