Consider the function $$ g(t) = \frac{1+it}{1-it} = \frac{1-t^2}{1+t^2} + i \frac{2t}{1+t^2}. $$ (The second equality holds except when $t=i$.)
It seems to be widely known that this function is the only linear fractional transformation having these properties:
- $g$ maps $\mathbb R\cup\{\infty\}$ to $\{z\in\mathbb C : |z|=1\}$;
- $g(0)=1$, $g(1)=i$, $g(-1)=-i$, $g(\infty)=-1$;
- If $g(t)=x+iy$ and $x,y\in\mathbb R$ then \begin{align} g(-t) & = x-iy, \\ g(1/t) & = -x+iy. \end{align}
That's more than enough conditions to narrow it down to just one function.
(I can't resist mentioning that there's also a nice identity for $g(t_1\cdots t_n)$, but it would require me to talk about real and imaginary parts, and I don't think it's widely known.)
I'm wondering what simple sets of conditions are enough to completely characterize this function if one drops the condition that it be a linear fractional transformation? (A somewhat open-ended question.) (An answer dealing only with functions from $\mathbb R\cup\{\infty\}$ to the circle, rather than from $\mathbb C\cup\{\infty\}$ into itself, might be acceptable.)