Let $M$ be a differentiable (smooth) manifold, and $S$ a closed submanifold. Let $X$ be a vector field on $S$. Prove that $X$ is the restriction of a vector field $Y$ defined on $M$. I tried this way but i'm not completely sure: i choose a covering (maybe finite if with closed we intend compact) of $S$ with $U_j$ open in $M$. Then i consider a partition of unity $w_i$ subordinate to this covering (can I?). Then i have $Z=\sum_i w_iX$ is a vector field extending $X$ in the open covering. Then i use a result that states that i can extend on the whole $M$ a vector field defined in an open set of $M$. Is this correct?
extending a vector field defined on a closed submanifold
8
$\begingroup$
differential-geometry
smooth-manifolds
vector-fields
-
1The support of $w_i$ is going to have more than just points of $S$ so how is $w_i X$ defined on $M$? – 2012-03-12
-
2Simple remark : you can't always extend a vector field defined on an open subset of a manifold. Take $\frac{1}{x}\frac{\partial}{\partial x}$ on $\mathbb{R}^*$ : it can't be extented to $\mathbb{R}$ – 2012-03-12
-
0@ Eric: you're right, this way $w_iX$ is not defined outside S.. – 2012-03-12
-
0@Selim Ghazouani: you're right, the result i cited was about constructing a vector field defined on M which is equal to the given vector field in an open subset on the given set. – 2012-03-12
-
2You mean the second sentence to to say `Let $X$ be a vector field on $S$'? – 2012-03-12
-
0@treble: yes on S – 2012-03-13
-
0i updated the exercise with this last correction – 2012-03-13
1 Answers
9
Take a submanifold chart $x:U\rightarrow x(U) \subseteq \mathbb R^n$ such that $x(S\cap U) = \{x^{k+1}=\dots x^n=0\}$ (edit: and $x(U)$ is a ball)).
Then you can define a vector field $Z$ on $x(U)$, by $$ Z(x_1,\dots,x_n):=x_* (X(x^{-1}(x_1,\dots,x_k,0,\dots,0))) $$
Transport back to $M$ and get $x^{-1}_* Z$ on $U$ and then use a partition of unity argument!
-
0Could you please explain what $x_*$ is? – 2014-06-08
-
0$x_*$ is the map on vector fields induced by the diffeomorphism $x$. – 2015-06-16
-
0Sorry, what is the partition of unity argument? – 2017-11-01
-
0Why do you need $x(U)$ to be a ball? – 2018-10-23