Every continuous injective map is a homeomorphism. After normalizing by a rotation, it is homotopic either to the identity or to complex conjugation, and has degree or .
To see this without assuming surjectivity, lift on through the covering map to a path with . Injectivity makes injective on , hence strictly monotone. Its endpoint is an integer. Strict monotonicity excludes ; if , the intermediate value theorem gives an interior integer value, contradicting injectivity of . Thus , and descends to a homotopy from to . If omitted a point, a continuous branch of the complex argument on the punctured circle would make it null-homotopic, contradicting this nonzero degree. Hence it is surjective. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism.
Articles by others on the same topic
There are currently no matching articles.