# Better proof that vector fields on submanifolds extend globally iff submanifold is closed

I just finished my own proof of one of the problems in Lee's Smooth Manfolds, 2nd ed., but I wonder if anyone knows a better (less messy) solution. It's problem 8-15, the "Extension Lemma for Vector Fields on Submanifolds." Here's the part of the exercise which I had some trouble with:

Let $S$ be an embedded submanifold with or without boundary of a manifold $M$. Every vector field $X \in \mathfrak{X}(S)$ extends to all of $M$ if and only if $S$ is properly embedded.

I proved that if $S$ is properly embedded, then all vector fields extend globally easily. It's the reverse direction I had trouble with. My idea was that if $S$ is not closed in $M$, then take some point $p \in \overline{S} \setminus S$. I showed that one can find a smooth path $\gamma: (-\epsilon, \epsilon) \to M$ such that $\gamma$ is an embedding, $\gamma(0) = p$, $\gamma(-\epsilon, 0) \subset S$, and in some coordinate neighborhood of $p$, $|\gamma'(t)| = 1$. Then I defined the function $f: \gamma(-\epsilon, 0) \to \mathbb{R}$ as $f(x) = -1/\gamma^{-1}(x)$ (the idea is that this is a smooth function which blows up as $x \to p$). Finally I defined the vector field $f(x) \gamma'(\gamma^{-1}(x))$ on $\gamma[-\epsilon/2, 0)$. This is a smooth vector field on a closed subset of $S$, hence by the extension lemma proved earlier in the text, it extends to a smooth vector field on $S$. Clearly it does not extend to a smooth vector field on all of $M$ though, because in the local coordinate chart near $p$, its norm blows up.

The above argument feels very messy to me. I don't like the process I went through to find a smooth function on $S$ which blows up near $p$; surely there's a simpler way to do this?

I know this is an old question but I recently came across this problem. I think this may be a reasonable answer, but I'm really not too sure if it is valid. If $$S$$ is not properly embedded, then by problem 5-18, there is some $$f\in C^{\infty}(S)$$ that does not have a smooth extension to all of $$M$$. Given that $$X$$ is some smooth vector field on $$S$$, since smooth vector fields on $$S$$ form a $$C^{\infty}(S)$$-module, we have that $$fX$$ defined by $$fX(x) = f(x)X_x$$ is a smooth vector field on $$S$$ that does not have a smooth extension to all of $$M$$ since $$f$$ doesn't.
A nice constructive proof that such an $$f$$ exists is given here: Extension of Smooth Functions on Embedded Submanifolds
• We need to be careful about which vector field $X$ we're talking about here. If $X = 0$ everywhere, for instance, then $fX$ does indeed extend to a smooth vector field on $M$ (namely, the zero-everywhere one). However I do think that this is an interesting idea. The key is to find a smooth vector field $X$ on all of $M$ which is nonzero on enough of $S$ that $fX$ is indeed not smooth on $M$. Jun 28, 2021 at 15:09