Effectively open real functions

Cited 8 time in webofscience Cited 0 time in scopus
  • Hit : 333
  • Download : 0
A function f is continuous iff the pre-image f(-1) vertical bar V vertical bar of any open set V is open again. Dual to this topological property, f is called open iff the image f vertical bar U vertical bar of any open set U is open again. Several classical open mapping theorems in analysis provide a variety of sufficient conditions for openness. 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 (bar right arrow) f(-1) vertical bar V vertical bar being effective: given a list of open rational balls exhausting V, a Turing Machine can generate a corresponding list for f(-1)vertical bar V vertical bar. Analogously, effective openness requires the mapping U (bar right arrow) f vertical bar U vertical bar on open real subsets to be effective. The present work combines real analysis with algebraic topology and Tarski's quantifier elimination to effectivize classical open mapping theorems and to establish several rich classes of real functions as effectively open. (C) 2006 Elsevier Inc. All rights reserved.
Publisher
ACADEMIC PRESS INC ELSEVIER SCIENCE
Issue Date
2006-12
Language
English
Article Type
Article; Proceedings Paper
Citation

JOURNAL OF COMPLEXITY, v.22, no.6, pp.827 - 849

ISSN
0885-064X
DOI
10.1016/j.jco.2006.05.002
URI
http://hdl.handle.net/10203/203399
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 8 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0