Smooth extension criterion for an immersed submanifold

ID: smooth-extension-criterion-for-an-immersed-submanifold

An injectively immersed submanifold is embedded if every smooth function on extends to a smooth function on . Otherwise a sequence from a different local sheet can converge in to a point while remaining outside a small embedded neighborhood of in ; a bump function supported on that neighborhood cannot have a continuous ambient extension.

New to topics? Read the docs here!