単葉関数
f ( z ) {\displaystyle f(z)} を複素平面のある領域 D で定義された単葉正則関数とすれば、 f ( z ) {\displaystyle f(z)} は単葉正則な逆写像 f − 1 ( ω ) {\displaystyle f^{-1}(\omega )} を持ち、連鎖律から、
d f − 1 ( ω ) d ω = 1 f ′ ( z ) , ω = f ( z ) {\displaystyle {\frac {df^{-1}(\omega )}{d\omega }}={\frac {1}{f'(z)}},\quad \omega =f(z)}
となる。