设φ(z)为区域D内不恒等于零的全纯函数,且只有简单零点,七为正整数,再设莎为区域D内的一族亚纯函数,对于中任意的函数f无零点,且极点均为重级;若对内任一组函数,与f与g,f的k阶微分多项式和g的k阶微分多项式D内分担φ(z),则在D内正规。
Letφ(z) be a holomorphic function in a domain D, which is not identical to zero, and all of whose zeros are simple, k be a positive integer, and F- be a family of meromorphic functions in a domain D. If for each f of F,f≠0 and all poles of f are multiple; for each pair of functions f and g in 5r, their differential polynomials share φ( z )in D, then F is normal in D.