# The inclusion map from a manifold to a product manifold is $C^{\infty}$

Let $i_{q0} : M\rightarrow M\times N$, $i_{q0}(p) = (p, q0)$ be a mapping between smooth manifolds. I need some hints to show that it is $C^{\infty}$.

I have so far... Let $(U,\phi)$ and $(V,\psi)$ be charts about $p$ and $i_{q0}$, and let $r^{i}$ be the $ith$ coordinate function on Euclidean space. Then we need to show that $\frac{\partial (r^{i}\circ \psi \circ i_{q0} \circ \phi^{-1})}{\partial r^{j}}$ exists and is continuous at $\phi(p)$ and that we can keep taking partial derivatives.

-
The map $i_{q_0}$ of your question is simply the inclusion map $(x^1,\dots,x^n)\to (x^1,\dots,x^n,0,\dots,0)$ in (an appropriate choice of) local coordinates where $M$ is a smooth $n$-manifold and $N$ is a smooth $m$-manifold (where $m$ is the number of zeros in $(x^1,\dots,x^n,0,\dots,0)$). Clearly, this (inclusion) map is smooth. –  Amitesh Datta Feb 16 '12 at 15:06

The smooth structure on $M \times N$ is understood to be the maximal atlas which includes all charts which are products of charts from $M$ and $N$. You do not need to show that the composition of transition maps with your given function are smooth for every choice of charts; you only need to show there is at least one such chart-- this is the point of the axiom which states that overlapping charts are compatible.
Let $(U,\phi)$ be any chart about $p \in M$. Then for any chart $(V,\psi)$ about $q0 \in N$, $(U \times V, \phi \times \psi)$ is a chart about $(p,q0) \in M\times N$. And for $\phi(p) \in R^{m}$, say $\phi(p) = (p^{1},...,p^{m})$, $r^{i}\circ(\phi\times\psi)\circ i_{q0}\circ\phi^{-1}(p^{1},...,p^{m}) = r^{i}\circ((p^{1},...,p^{m}),\psi(q0))$.