# Is the restriction of a smooth vector field to a regular submanifold also smooth?

Let $S$ be a regular submanifold of a manifold $M$, meaning a subset of $M$ such that for all $p\in S$ there is a coordinate neighborhood $(U,\phi) = (U,x^{1},...,x^{n})$ of $p$ in the maximal atlas of $N$ such that $U\cap S$ is defined by the vanishing of $n-k$ coordinate functions. Let $i\colon S\to M$ be the inclusion map. Then $i$ is a homeomorphism of $S$ onto its image and the differential $i_*\colon T_pS \to T_pM$ is an injective homomorphism of vector spaces.

If I have a vector field $X$ on $M$, I can "restrict" it to $S$ by defining, for each point $p\in S$, $$X_{p\in S} = i_*^{-1}(X_{p\in M}),$$ where $X_{p\in S}$ is the tangent vector in $T_pS$ corresponding to the tangent vector $X_{p\in M}$ in $T_pM$.

If $X$ is smooth on $M$, that means it is a smooth section of the tangent bundle $TM$, i.e., it is a smooth map from $M$ to $TM$. If this is the case, does it follow that $X$ is smooth on $S$, i.e., that the restriction of $X$ to $S$ is also a smooth map from $S$ to $TS$?

I think this should be true and I should be able to show it taking a series of compositions of smooth functions. For example, is $i_*^{-1}$ smooth? I know that $i$ is continuous since $S$ has the subspace topology from $M$, but is $i$ a diffeomorphism? I'm a bit confused on this.

• a sub differential manifold of some differential manifold. if you define that a smooth vector field becomes locally smooth after applying the charts of (smooth!) diffeomorphism, then obviously yes. – reuns Apr 6 '16 at 19:19
• A vector field on $X$ may not be tangent to $S$. Given a smooth vector field $V$ on $X$, $V\circ i$ will be a smooth section of the bundle $TX|_S$, but it may not be a section of $TS$. – Michael Albanese Apr 6 '16 at 19:20
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9859452247619629, "perplexity": 45.71796418326355}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-30/segments/1563195527828.69/warc/CC-MAIN-20190722072309-20190722094309-00456.warc.gz"}