Generating and inserting continuous functions with values in bounded complete domains and hedgehog-l

The paper deals with functions on a topological space having values in a bounded complete domain. Our purpose is two-fold. We first develop a theory of generating such functions from certain scales or prescales of subsets. We then study lower and upper limits of functions having bounded complete domain as a range space. We characterize those limit functions in terms of the (pre)scales generating the original ones. Part of these developments is then used to prove an insertion-type theorem for continuous functions from a topological space to an appropriately based bounded complete domain with its Lawson topology. Examples of those domains include, among others, hedgehogs with countably many spines, their products as well as various ?mutants? of the hedgehog

[1]  M. Stone,et al.  Boundedness Properties in Function-Lattices , 1949, Canadian Journal of Mathematics.

[2]  M. Katětov.  On Real-Valued Functions in Topological Spaces , 1951 .

[3]  Hing Tong,et al.  Some characterizations of normal and perfectly normal spaces , 1952 .

[4]  Indefinite Cut Sets for Real Functions , 1971 .

[5]  E. Lane.  Insertion of a continuous function , 1976 .

[6]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[7]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[8]  Frans Gool,et al.  Lower semicontinuous functions with values in a continuous lattice , 1992 .

[9]  Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure , 1992 .

[10]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[11]  Metrizable completely distributive lattices , 1997 .

[12]  HEREDITARY NORMALITY PLUS EXTREMAL DISCONNECTEDNESS AND INSERTION OF A CONTINUOUS FUNCTION , 1997 .

[13]  P. Simon.  A hedgehog in the product , 1998 .

[14]  Extensions of functions on product spaces , 1998 .

[15]  Tomasz Kubiak,et al.  Separation Axioms: Extension of Mappings And Embedding of Spaces , 1999 .

[16]  C. Good,et al.  Monotone insertion of continuous functions , 2000 .

[17]  A cardinal generalization of C∗ -embedding and its applications , 2000 .

[18]  Michael W. Mislove,et al.  A foundation for computation , 2000 .

[19]  Foundations of Functional Analysis , 2002 .

[20]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[21]  Tomasz Kubiak,et al.  An insertion theorem for continuous -valued functions and its consequences , 2004, Fuzzy Sets Syst..

[22]  Ziqiu Yun,et al.  Hereditarily normal extensions , 2004 .

[23]  J. Picado.  A new look at localic interpolation theorems , 2006 .

[24]  Tomasz Kubiak,et al.  Insertion of lattice-valued and hedgehog-valued functions☆ , 2006 .

[25]  Tomasz Kubiak,et al.  Many Valued Topologies and Lower Semicontinuity , 2007 .

[26]  Jorge Picado,et al.  On the algebraic representation of semicontinuity , 2007 .