Insertion of Continuous Real Functions on Spaces, Bispaces, Ordered Spaces and Pointfree Spaces—A Common Root

We characterize normal and extremally disconnected biframes in terms of the insertion of a continuous real function in between given lower and upper semicontinuous real functions and show this to be the common root of several classical and new insertion results concerning topological spaces, bitopological spaces, ordered topological spaces and locales.

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

[2]  Constructive insertion theorems and extension theorems on extremally disconnected frames , 2000 .

[3]  Javier Gutiérrez García,et al.  Completely normal frames and real-valued functions , 2009 .

[4]  B. Banaschewski,et al.  BIFRAMES AND BISPACES , 1983 .

[5]  S. Romaguera,et al.  Pairwise monotonically normal spaces , 1991 .

[6]  M. J. Saegrove.  On bitopological spaces , 1971 .

[7]  L. Nachbin.  Topology and order , 1965 .

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

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

[10]  Javier Gutiérrez García,et al.  Pointfree forms of Dowker’s and Michael’s insertion theorems , 2009 .

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

[12]  D. A. Edwards.  A separation theorem for semicontinuous functions on preordered topological spaces , 2005 .

[13]  Yong-ming Li,et al.  Localic Katÿetov-Tong insertion theorem and localic Tietze extension theorem , 1997 .

[14]  Jorge Picado,et al.  Lower and upper regularizations of frame semicontinuous real functions , 2009 .

[15]  Anneliese Schauerte.  Normality for biframes , 1995, Appl. Categorical Struct..

[16]  Javier Gutiérrez García,et al.  LOCALIC REAL FUNCTIONS: A GENERAL SETTING , 2009 .

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

[18]  W. J. Thron,et al.  Encyclopedia of Mathematics and its Applications. , 1982 .

[19]  Javier Gutiérrez García,et al.  Monotone insertion and monotone extension of frame homomorphisms , 2008 .