A univalent function has nonzero derivative
ID: a-univalent-function-has-nonzero-derivative
For an injective holomorphic function on an open subset of , is nowhere zero. If with , choose a small circle where both and have no zeros. The argument principle counts zeros of inside that circle for sufficiently small : deforming to zero cannot change the count. All these zeros are simple, since only vanishes at inside the circle and is not a zero when . Injectivity forces , and hence .
New to topics? Read the docs here!