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.
Articles by others on the same topic
There are currently no matching articles.