Is any map $f:M\to N$ smooth?

84 Views Asked by At

Let $M$ be a 0-dimensional smooth manifold and $N$ a smooth manifold with or without boundary, is any map $f:M\to N$ smooth?

2

There are 2 best solutions below

2
On

This is basically asking if every point of $N$ has a smooth coordinate neighborhood, which is true since $N$ is smooth.

0
On

Yes. A map $f:M\to N$ is smooth if and only if for all $p\in M$ there are smooth charts $(U,\varphi)$ containing $p$ and $(V,\psi)$ containing $f(p)$ such that $f(U)\subseteq V$ and the composition $\psi\circ f\circ\varphi^{-1}:\varphi(U)\to\psi(V)$ is smooth. In case $M$ is $0$-dimensional and $N$ is $n$-dimensional, we can take $U=\{p\}$, $\varphi:\{p\}\to \{0\}=\mathbb{R}^0:p\mapsto 0$, and any chart $(V,\psi)$ containing $f(p)$. This satisfies the requirement since the map $\psi\circ f\circ\varphi^{-1}:\{0\}=\mathbb{R}^0\to\psi(V)\subseteq\mathbb{R}^n$ is constant and hence smooth.