Injective self-map of a circle
ID: injective-self-map-of-a-circle
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.
New to topics? Read the docs here!