Inversive Geometry - Anticonformal Mapping Property

Anticonformal Mapping Property

The circle inversion map is anticonformal, which means that at every point it preserves angles and reverses orientation (a map is called conformal if it preserves oriented angles) . Algebraically, a map is anticonformal if at every point the Jacobian is a scalar times an orthogonal matrix with negative determinant: in two dimensions the Jacobian must be a scalar times a reflection at every point. This means that if J is the Jacobian, then and Computing the Jacobian in the case z_i = x_i/||x||2, where ||x||2 = x₁2 + ... + x_n2 gives JJT = kI, with k = 1/||x||4, and additionally det(J) is negative; hence the inversive map is anticonformal.

In the complex plane, the most obvious circle inversion map (i.e., using the unit circle centered at the origin) is the complex conjugate of the complex inverse map taking z to 1/z. The complex analytic inverse map is conformal and its conjugate, circle inversion, is anticonformal.