Bloch's Principle states that every proposition involving actual infinity can be considered a consequence of a proposition stated in finite terms. It was originally applied to the theory of functions of a complex variable, where theorems about analytic functions on infinite domains corresponded to theorems about analytic functions on finite domains. Based on this principle, Bloch was able to predict several important mathematical results. More recently, rigorous theorems have been proved that formalize the spirit of Bloch's Principle.
Bloch's Principle states that every proposition involving actual infinity can be considered a consequence of a proposition stated in finite terms. It was originally applied to the theory of functions of a complex variable, where theorems about analytic functions on infinite domains corresponded to theorems about analytic functions on finite domains. Based on this principle, Bloch was able to predict several important mathematical results. More recently, rigorous theorems have been proved that formalize the spirit of Bloch's Principle.
Bloch's Principle states that every proposition involving actual infinity can be considered a consequence of a proposition stated in finite terms. It was originally applied to the theory of functions of a complex variable, where theorems about analytic functions on infinite domains corresponded to theorems about analytic functions on finite domains. Based on this principle, Bloch was able to predict several important mathematical results. More recently, rigorous theorems have been proved that formalize the spirit of Bloch's Principle.
Bloch's Principle is a philosophical principle in mathematics stated by Andr Bloch. [1]
Bloch states the principle in Latin as: Nihil est in infinito quod non prius fuerit in finito, and explains this as follows: Every proposition in whose statement the actual infinity occurs can be always considered a consequence, almost immediate, of a proposition where it does not occur, a proposition in finite terms. Bloch mainly applied this principle to the theory of functions of a complex variable. Thus, for example, according to this principle, Picard's theorem corresponds to Schottky's theorem, and Valiron's theorem corresponds to Bloch's theorem. Based on his Principle, Bloch was able to predict or conjecture several important results such as the Ahlfors's Five Islands theorem, Cartan's theorem on holomorphic curves omitting hyperplanes, [2] Hayman's result that an exceptional set of radii is unavoidable in Nevanlinna theory. In the more recent times several general theorems were proved which can be regarded as rigorous statements in the spirit of the Bloch Principle. Zalcman's lemma[edit] Let be a sequence of meromorphic functions in a region D, which is not a normal family. Then there exist a sequence of points in D and positive numbers with such that
where f is a non-constant meromorphic function in the complex plane. [3]