Please use this identifier to cite or link to this item:
Title: Rings of real functions in Pointfree Topology
Authors: Gutiérrez García, Javier 
Picado, Jorge 
Keywords: Frame; Locale; Sublocale; Frame of reals; Scale; Frame real function; Continuous real function; Lower semicontinuous; Upper semicontinuous; Lattice-ordered ring; Ring of continuous functions in pointfree topology; Strict insertion
Issue Date: 2010
Publisher: Centro de Matemática da Universidade de Coimbra
Citation: Pré-Publicações DMUC. 10-08 (2010)
Serial title, monograph or event: Pré-Publicações DMUC
Issue: 10-08
Place of publication or event: Coimbra
Abstract: This paper deals with the algebra F(L) of real functions of a frame L and its subclasses LSC(L) and USC(L) of, respectively, lower and upper semicontinuous real functions. It is well-known that F(L) is a lattice-ordered ring; this paper presents explicit formulas for its algebraic operations which allow to conclude about their behaviour in LSC(L) and USC(L). As applications, idempotent functions are characterized and the results of [10] about strict insertion of functions are signi cantly improved: general pointfree formulations that correspond exactly to the classical strict insertion results of Dowker and Michael regarding, respectively, normal countably paracompact spaces and perfectly normal spaces are derived. The paper ends with a brief discussion concerning the frames in which every arbitrary real function on the -dissolution of the frame is continuous
Rights: openAccess
Appears in Collections:FCTUC Matemática - Vários

Files in This Item:
File Description SizeFormat
Rings of real functions in Pointfree Topology.pdf388.25 kBAdobe PDFView/Open
Show full item record

Page view(s) 50

checked on Sep 27, 2022


checked on Sep 27, 2022

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.