The lens equation, derived in Chap. 4 and discussed in some detail in the previous chapter, defines a surjective mapping
from the lens plane to the source plane. We assume here that it is differentiable as often as is needed. If
is the image of x
(0)) and if the Jacobian D = det A of the
... [Show full abstract] derivative of does not vanish at x(0), there exist neighborhoods of and on which f is bijective, i.e., the lens mapping is locally invertible. For an infinitesimal displacement dy of the source, the corresponding image position in the lens plane changes by