Estoy leyendo Introduction to Smooth Manifolds, 2ª edición, de Lee, y resulta que leo una frase en una demostración de la proposición 5.2 que dice así:
Con esta estructura lisa en $S$ el mapa $F$ es un difeomorfismo sobre su imagen, y ésta es obviamente la única estructura suave con esta propiedad.
Tal vez me haya perdido algo de los capítulos anteriores, pero esto no me resulta evidente a primera vista. Tal vez probaría lo siguiente:
Diga $F:M\to N$ es un homeomorfismo entre dos variedades topológicas. Dotamos $M$ con una sola estructura lisa, y $N$ con dos estructuras lisas $C_1$ y $C_2$ tal que $F$ es un difeomorfismo en ambos casos. Demostraríamos que $C_1=C_2$ . Debido a la base simétrica, basta con demostrar $C_1\subseteq C_2$ .
Observe $id=F\circ F^{-1}:(S,C_1)\to (S,C_2)$ es un difeomorfismo. Para demostrar $C_1\subseteq C_2$ Creo que esto podría afirmarse y demostrarse de forma más general:
Para un difeomorfismo $f:X\to Y$ y cualquier gráfico suave $(U,\varphi)$ en $X$ tenemos que $(f(U),\varphi\circ f^{-1})$ es un gráfico suave en $Y$ .
Ahora dejemos que $(U,\varphi)$ sea un gráfico suave en $X$ y $(V,\psi)$ sea un gráfico suave en $Y$ . Debemos mostrar $\psi\circ f\circ\varphi^{-1}:\varphi\circ f^{-1}(f(U)\cap V)\to\psi(f(U)\cap V)$ y $\varphi\circ f^{-1}\circ\psi^{-1}:\psi(f(U)\cap V)\to\varphi\circ f^{-1}(f(U)\cap V)$ son suaves como mapas entre subconjuntos de $\Bbb R^n,\Bbb R^m$ donde $f(U)\cap V$ es no vacío por no trivialidad.
Para un punto $p\in f^{-1}(f(U)\cap V)$ por suavidad de $f$ Elige un gráfico $(U_p,\varphi_p)$ que contiene $p$ un gráfico $(V_{f(p)},\psi_{f(p)})$ que contiene $f(p)$ tal que $f(U_p)\subseteq V_{f(p)}$ y $\psi_{f(p)}\circ f\circ\varphi_p^{-1}:\varphi_p(U_p)\to\psi_{f(p)}(V_{f(p)})$ es suave. Impongamos también que $U_p\subseteq f^{-1}(f(U)\cap V)$ ; si no, podemos utilizar el gráfico $(U_p\cap f^{-1}(f(U)\cap V),\varphi|_{U_p\cap f^{-1}(f(U)\cap V)})$ en lugar de $(U_p,\varphi_p)$ que sigue cumpliendo las condiciones anteriores.
Obsérvese ahora que la composición de mapas suaves $(\psi\circ\psi_{f(p)}^{-1})\circ(\psi_{f(p)}\circ f\circ\varphi_p^{-1})\circ(\varphi_p\circ\varphi^{-1})$ es suave. La cancelación da que la composición es suave en el dominio de definición. Comprobaremos que el dominio es una vecindad de $\varphi(p)$ .
Para comprobarlo, observe la condición $U_p\subseteq f^{-1}(f(U)\cap V)$ da $U_p\subseteq U$ de modo que el mapa de transición $\varphi_p\circ\varphi^{-1}$ tiene dominio y codominio $\varphi(U_p)$ y $\varphi_p(U_p)$ respectivamente; las condiciones $U_p\subseteq f^{-1}(f(U)\cap V)$ y $f(U_p)\subseteq V_p$ da $f(U_p)\subseteq V_{f(p)}\cap V$ de modo que el mapa $\psi_{f(p)}\circ f\circ\varphi_p^{-1}$ tiene rango siendo un subconjunto de $\psi_{f(p)}(V_{f(p)}\cap V)$ el mapa de transición $\psi\circ\psi_{f(p)}^{-1}$ tiene dominio $\psi_{f(p)}(V_{f(p)}\cap V)$ . Por lo tanto, $(\psi\circ\psi_{f(p)}^{-1})\circ(\psi_{f(p)}\circ f\circ\varphi_p^{-1})\circ(\varphi_p\circ\varphi^{-1})$ se define en toda la vecindad $\varphi(U_p)$ de $\varphi(p)$ . Dado que esta función $\psi\circ f\circ\varphi^{-1}$ es localmente suave alrededor de cada punto $\varphi(p)\in\varphi\circ f^{-1}(f(U)\cap V)$ es suave en todo el conjunto $\varphi\circ f^{-1}(f(U)\cap V)$ .
Suavidad de $\varphi\circ f^{-1}\circ\psi^{-1}$ se demuestra de forma similar: para cada punto $p'\in f(U)\cap V$ , elija un gráfico $(V_{p'},\psi_{p'})$ que contiene $p'$ un gráfico $(U_{f^{-1}(p')},\varphi_{f^{-1}(p')})$ que contiene $f^{-1}(p')$ tal que $f^{-1}(V_{p'})\subseteq U_{f^{-1}(p')}$ y $\varphi_{f^{-1}(p')}\circ f^{-1}\circ\psi_{p'}^{-1}$ es suave. Imponer $V_{p'}\subseteq f(U)\cap V$ . Entonces podemos demostrar $\varphi\circ f^{-1}\circ\psi^{-1}$ es localmente suave alrededor de $\psi(p')$ con los mismos argumentos anteriores.
¿Es correcta la prueba anterior? ¿Existe una prueba más corta para la afirmación anterior? ¿O se ha demostrado esto en el libro pero lo he pasado por alto?
Editar : Incluiré aquí todo el enunciado de la Proposición 5.2.
Supongamos que $M$ es una variedad lisa con o sin límites, $N$ es una variedad lisa, y $F:N\to M$ es una incrustación suave. Sea $S=F(N)$ . Con la topología subespacial, $S$ es una colector topológico, y tiene una única estructura suave que lo convierte en un submanifold incrustado de $M$ con la propiedad de que $F$ es un difeomorfismo sobre su imagen.