Talk:Preimage Theorem

As stated, the theorem is nonsense, since a submersion can only have regular values. I suggest the following wording: "Let $\varphi \colon M \to N$ be a smooth map between the smooth manifolds $M,N$ and let $y \in N$ be a regular value of $\varphi$. Then the preimage $\varphi^{-1}(y)$ together with the natural inclusion $\iota:\varphi^{-1}(y) \to M$ is an embedded smooth submanifold of $M$ of dimension $\dim M - \dim N$." --Geometry dude (talk) 00:08, 6 September 2014 (UTC)


 * This theorem appeared unbacked up by sources some years back in the early days of this site when people were just banging up any old stuff they felt like, before we started structuring it. As such, definitions may not be completely consistent.


 * Surely though, if a submersion can have only regular values, the theorem is not "nonsense" but tautologous.


 * Can you find a source for this theorem in the literature? (Not online because the latter may not necessarily be trustworthy.) --prime mover (talk) 00:28, 6 September 2014 (UTC)