Effectively Open Real Functions

A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U is open again. Several classical open mapping theorems in analysis provide a variety of sufficient conditions for openness.9 By the main theorem of recursive analysis, computable real functions are necessarily continuous. In fact they admit a well-known characterization in terms of the mapping V → f −1[V ] being effective:11 given a list of open rational balls exhausting V, a Turing Machine can generate a corresponding list for f −1[V ]. Analogously, effective openness requires the mapping U → f [U] on open real subsets to be13 effective. The present work combines real analysis with algebraic topology and Tarski’s quantifier elimination15 to effectivize classical open mapping theorems and to establish several rich classes of real functions as effectively open.17 © 2006 Elsevier Inc. All rights re...

• Type: Conference
• Year: 2005
• Where: CCA
• Authors: Martin Ziegler
• Keywords: CCA 2005, Classical Open Mapping, Open Mapping Theorems, Open Real Subsets