Approaches to Effective Semi-continuity of Real Functions
By means of different effectivities of the epigraphs and hypographs of real functions we introduce several effectivizations of the semi-continuous real functions. We call a real function f lower semi-computable of type one if its hypograph hypo(f): = (x, y): f(x) > y & x ∈ dom(f) is recursively enumerably open in dom(f) × IR; f is lower semi-computable of type two if its closed epigraph Epi(f): = (x, y): f(x) ≤ y & x ∈ dom(f) is recursively enumerably closed in dom(f) × IR and f is lower semi-computable of type three if Epi(f) is recursively closed in dom(f) × IR. These semi-computabilities and computability of real functions are compared. We show that, type one and type two semi-computability are independent and that type three semicomputability plus effectively uniform continuity implies computability which is false for type one and type two instead of type three. We show also that the integral of a type three semi-computable real function on a computable interval is not necessarily computable.
Unable to display preview. Download preview PDF.
- 1.V. Brattka Computable Invariance. COCOON’97, Shanghai, China, August 1997.Google Scholar
- 3.X. Ge Private Communication, 1997.Google Scholar
- 6.J. Ian Richards & Q. Zhou Computability of closed and open sets in Euclidean space, Preprint, 1992.Google Scholar
- 8.K. Weihrauch Computability. EATCS Monographs on Theoretical Computer Secience Vol. 9, Springer-Verlag, Berlin, Heidelberg, 1987.Google Scholar
- 9.K. Weihrauch A foundation for computable analysis. in Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steves Reeves and Ian H. Witten (editors), Combinatorics, Complexity, Logic, Proceedings of DMTCS’96, pp 66–89, Springer-Verlag, Sigapore, 1997.Google Scholar
- 10.K. Weihrauch & V. Brattka Computable Subsets of Euclidean Space. to appear in Theoret. Comput. Sci..Google Scholar
- 11.K. Weihrauch & X. Zheng Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions, to appear in Theoret. Comput. Sci. 211 (1998). (Extended abstract in Proc. of COCOON’97 Shanghai, China, August 1997, 166–175).Google Scholar
- 12.K. Weihrauch & X. Zheng Effectivity of the Global Modulus of Continuity on Metric Spaces, CTCS’97, Santa Margherita Ligure, Italy, September 1997, 210–219.Google Scholar
- 13.K. Weihrauch & X. Zheng A Finite Hierarchy of Recursively enumerable real numbers, submitted.Google Scholar