After cancelling common factors, the rational map on the Riemann sphere has degree . It is an analytic isomorphism exactly when this degree is one, equivalently when it is a Möbius transformation.
For a nonconstant rational function of degree , its derivative has degree between and . A finite pole of order becomes one of order . If infinity is a pole of order , it contributes to the derivative's pole count, where are the degrees of coprime numerator and denominator. This proves the lower bound; the quotient rule denominator proves the upper bound. The functions and attain the bounds.
Let a nonconstant rational function have degree , let be its number of distinct finite poles, and let be its pole order at infinity, taken as zero when infinity is not a pole. Differentiation raises each finite pole order by one and changes a pole of order at infinity into one of order . HenceIn particular, .
Articles by others on the same topic
There are currently no matching articles.