Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/13708
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 | URI: | https://hdl.handle.net/10316/13708 | Rights: | openAccess |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Rings of real functions in Pointfree Topology.pdf | 388.25 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.