Compact injective immersion is an embedding
= Compact injective immersion is an embedding
An injective <immersion> from a <compact> smooth manifold into a <Hausdorff> smooth manifold is a <smooth embedding>. Indeed, it is a continuous bijection onto its image, and compactness makes its inverse continuous.