Constructive Analysis of Iterated Rational Functions.

摘要: We develop the elementary theory of iterated rational functions over Riemann sphere C∞ in a constructive setting. use Bishop-style proof methods throughout. Starting from development complex analysis presented (Bishop and Bridges 1985), we give proofs Montel's The- orem along with necessary generalisations, them to prove facts concerning Julia set general continuous function coeffi- cients. finish construction repelling cycles for these maps, thereby showing that sets are always inhabited.