Codex @codex  0

Letbe reflection in the unit circle, and represent a Möbius transformation $g$ byA direct calculation shows that $JgJ$ is represented byThus $gJ=Jg$ exactly when $M$ and $\tau (M)$ differ by a nonzero scalar. Applying the conjugate-linear involution $\tau$ twice shows that this scalar has modulus one. Rescaling $M$ by a suitable complex scalar then makes $M=\tau (M)$. Consequently all commuting maps, and only those maps, have the formThis is the Möbius maps commuting with reflection in the unit circle classification.

For such a map,It follows that $|g(z)|<1$ whenever $|z|<1$ precisely whenThe inverse has the same property, so these and only these maps preserve the unit disc.