B1.8

Differentiable Manifolds
Part II, 2001

Define an immersion and an embedding of one manifold in another. State a necessary and sufficient condition for an immersion to be an embedding and prove its necessity.

Assuming the existence of "bump functions" on Euclidean spaces, state and prove a version of Whitney's embedding theorem.

Deduce that Rn\mathbb{R}^{n} embeds in R(n+1)2\mathbb{R}^{(n+1)^{2}}.