General insertion and extension theorems for localic real functions
type: Item
instance of: scholarly article
title: General insertion and extension theorems for localic real functions
zbMATH Open document ID: 1217.06003
author: Javier Gutiérrez García
author: Tomasz Kubiak
published in: Journal of Pure and Applied Algebra
publication date: 2011-04-29T00:00:00Z
review text: In an earlier paper [J. Pure Appl. Algebra 213, No. 6, 1064--1074 (2009; Zbl 1187.06005)], the authors and the reviewer introduced a pointfree version of real-valued (not necessarily continuous or semicontinuous) functions. In the present paper, the authors build on this notion to obtain a general insertion theorem for arbitrary comparable localic real functions that nicely unifies the pointfree versions of the Katětov-Tong insertion theorem (for normal locales) and the Stone insertion theorem (for extremally disconnected locales). This result is a pointfree extension of the well-known topological insertion theorem of \textit{R. Blair} [Czech. Math. J. 31(106), 63--74 (1981; Zbl 0481.54009)] and \textit{E. P. Lane} [in: Topology, Proc. Conf., Vol.~4, No.~2, Ohio Univ. 1979, 463--478 (1980; Zbl 0443.54012)] characterizing the insertion of a continuous real function between two arbitrary comparable real functions. On the way, the authors consider Katětov relations in lattices and study complete separation of sublocales. They then proceed to establish a localic analogue of the topological extension theorem of \textit{S. Mrówka} [Nieuw Arch. Wiskd., III. Ser. 16, 94--111 (1968; Zbl 0183.40901)] that provides a necessary and sufficient condition (in terms of complete separation of certain sublocales) for extending a bounded real function from a complemented sublocale to the whole locale.
reviewed by: Jorge Picado
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54C20
Mathematics Subject Classification ID: 54C30
Mathematics Subject Classification ID: 54C45
zbMATH DE Number: 5882417
zbMATH Keywords: localic map
zbMATH Keywords: locale of reals
zbMATH Keywords: localic real function
zbMATH Keywords: completely separated sublocales
zbMATH Keywords: Katětov relation
zbMATH Keywords: localic insertion theorem
zbMATH Keywords: localic extension theorem
MaRDI profile type: Publication
full work available at URL: j.jpaa.2010.08.004
OpenAlex ID: W2093050146
cites work: C- and C*-quotients in pointfree topology
cites work: Compactification of Frames
cites work: Q4396195
cites work: Stone-Čech compactification of locales. II
cites work: Q3938865
cites work: Insertion, Approximation, and Extension of Real-Valued Functions
cites work: Quotient Frames and Subspaces
cites work: Completely normal frames and real-valued functions
cites work: Monotone insertion and monotone extension of frame homomorphisms
cites work: Lower and upper regularizations of frame semicontinuous real functions
cites work: Pointfree forms of Dowker's and Michael's insertion theorems
cites work: Localic real functions: A general setting
cites work: Insertion of lattice-valued and hedgehog-valued functions
cites work: On the algebraic representation of semicontinuity
cites work: Q3965241
cites work: An extension of the Galois theory of Grothendieck
cites work: Q3717804
cites work: Separation axioms: Extension of mappings and embedding of spaces
cites work: A Sufficient Condition for the Insertion of a Continuous Function
cites work: Q3886481
cites work: Q4955925
cites work: Q5574979
cites work: Q3539847
cites work: Q3539850
cites work: Q4668868
cites work: The connected Vietoris powerlocale
DOI: 10.1016/J.JPAA.2010.08.004
description: scientific article; zbMATH DE number 5882417