3
$\begingroup$

There's a naive exercise that I'm having trouble to finish.

Suppose $M$ is a smooth manifold and $f:$ $M$ $\rightarrow$ $\mathbb{R}^{k}$ is a smooth function. Show that: $f\circ\varphi^{-1}:\varphi(U)\rightarrow\mathbb{R}^{k}$ is smooth for every smooth chart $(U,\varphi)$ for $M$.

Well, by definition of smooth function, for every point $p$ in M there is a smooth chart $(U,\varphi)$ such that the function above is smooth.

My idea is to take, for every $p$ $\in$ $M$, such a chart. Sounds like a good start, but I couldn't find an argument to finish the problem, even because there are charts $(U',\psi)$ such that $p$ $\in$ $U$ $\subset$ $U'$ that I haven't considered in the beginning.

If $U'$ $\subset$ $U$, we just have to restrict the domain, but in the first case I couldn't go on. What am I missing?

  • 0
    Thanks, Matt. I corrected it.2012-09-18

1 Answers 1

3

Let ($U,\phi)$ be a smooth chart and let $x\in \phi(U)\subseteq \mathbb R^m$. We have to show that $f\circ\phi^{-1}$ is smooth at $x$. Let $p=\phi^{-1}(x)$. Since $f\colon M\to \mathbb R^k$ is smooth, there exists a smooth map $(V,\psi)$, $p\in V$, such that $f\circ\psi^{-1}$ is smooth. Smooth charts are compatible, that is the map $\psi\circ\phi^{-1}\colon\phi(U\cap V)\to\psi(U\cap V)$ is smooth. Then on $\phi(U\cap V)$ we have $f\circ\phi^{-1}=(f\circ\psi^{-1})\circ(\psi\circ\phi^{-1})$ is ths composition of smooth maps, and since $p\in U\cap V$, we see that $f\circ\phi^{-1}$ is smooth at $x=\phi(p)$.