# Are the two definitions of that a map $F:A\to N$ is smooth on $A$ equivalent?

In the above pictures, we can see two definitions of that a map $$F:A\to N$$ is smooth on $$A$$, are they equivalent?

• @JackLee Please take a look at my question. – Born to be proud Dec 11 '18 at 13:35
• They're not always equivalent in case $N$ has nonempty boundary. Here's a counterexample: Let $M=\mathbb R$, $N = [0,\infty)$, $A = [0,\infty)\subseteq M$, and let $F\colon A\to N$ be the identity map. Then $F$ is not smooth by the definition in the text, because there is no neighborhood of $0$ in $\mathbb R$ on which $F$ has a smooth extension as a map into $N$. But the coordinate representation of $F$ using standard coordinates in domain and codomain (which is essentially the same map) has an extension to an open subset of $\mathbb R$ as a map into $\mathbb R$. – Jack Lee Dec 11 '18 at 23:15
• See also this question. – Jack Lee Dec 11 '18 at 23:17
• @JackLee Thank you very much! – Born to be proud Dec 11 '18 at 23:54