Man gebe ein Beispiel für differenzierbare eindimensionale Mannigfaltigkeiten M {\displaystyle {}M} und N {\displaystyle {}N} und differenzierbare Abbildungen φ : M → N {\displaystyle {}\varphi \colon M\rightarrow N} und ψ : N → M {\displaystyle {}\psi \colon N\rightarrow M} derart, dass ψ ∘ φ = Id M {\displaystyle {}\psi \circ \varphi =\operatorname {Id} _{M}} und φ ∘ ψ ≠ Id N {\displaystyle {}\varphi \circ \psi \neq \operatorname {Id} _{N}} gilt.
