1
$\begingroup$

Let $M$ and $N$ be manifolds and let $q_0$ be a point in $N$. Prove that the inclusion map $i_{q_0} : M \to M×N : p \mapsto (p,q_0)$, is $C^\infty$.

  • 2
    What is C¥? Is it $C^{\infty}$?2012-10-24
  • 0
    Let M and N be manifolds and let q0 be a point in N. Prove that the inclusion map iq0 : M → M×N, iq0 (p) = (p,q0), is c^∞.2012-10-24

1 Answers 1

2

If we assume that $M$ and $N$ are smooth manifolds, try this:

Let $p\in U\subset M$ and let $(\phi,U)$ be a chart on $M$. Also, let $(p,q_0)\in U\times W\subset M\times N$ and let $(\psi,U\times W)$ be a chart on $M\times N$. Then the problem reduces to smoothness of the induced map $\tilde{i_{q_0}}:\phi(U)\rightarrow \psi|_{U\times \{q_0\}}(U)$ where $x\mapsto (x,y_0)$ for a fixed $y_0$, which we know is smooth.

  • 0
    whay Let p∈U⊂M and let (ϕ,U) be a chart on M . Also, let (p,q 0 )∈U×W⊂M×N and let (ψ,U×W) be a chart on M×N . Then the problem reduces to smoothness of the induced map i q 0 ~ :ϕ(U)→ψ| U×{q 0 } (U) where x↦(x,y 0 ) for a fixed y 0 , which we know is smooth.2012-10-29
  • 0
    @hamid Are you a bot or a real person?2012-11-02