On an approximative version of the notion of constructive analytic function
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VII, Tome 60 (1976), pp. 49-58
Citer cet article
Voir la notice du chapitre de livre provenant de la source Math-Net.Ru
A constructive analytic function f is defined as a pair of form $(A,\Omega)$, where $A$ is a fundamental sequence in some constructive metric space and $\Omega$ is a regulator of its convergence into itself. The pointwise-defined function $f$ corresponding to function $f^*$ turns out to be Bishop-differentiable [2], while the domain of $f^*$ is the limit of a growing sequence of compacta. The derivative of a constructive analytic function and the integral along a curve are defined approximatively. It is proved that the fundamental theorems of constructive complex analysis are valid for such functions. Eight items of literature are cited.