Correction to: ``On the isolation of zeroes of an analytic function''.
暂无分享,去创建一个
The purpose of this paper is to describe extensions of the work of Errett Bishop on the location of zeroes of complex-valued analytic functions. The main result deals with the number of zeroes of an analytic function / near the boundary of a closed disc well contained in the domain of /. A particular consequence of this result is the following theorem. Let / be analytic and not identically zero on a connected open subset U of C, K a compact set well contained in U, and ε>0. Then either inf {[f(z)\: z eK}>0 or there exist finitely many points z lf — -,z n of U and an analytic function g on U such that The paper is written entirely within the framework of Bishop's constructive mathematics.
[1] V. Orevkov. New proof of the uniqueness theorem for constructive differentiable functions of a complex variable , 1977 .
[2] E. C. Titchmarsh,et al. The theory of functions , 1933 .
[3] Douglas S. Bridges,et al. A Criterion for Compactness in Metric Spaces? , 1979, Math. Log. Q..
[4] E. Phillips. Some topics in complex analysis , 1966 .