Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4596995 | Journal of Pure and Applied Algebra | 2012 | 18 Pages |
Abstract
In pointfree topology, a continuous real function on a frame L is a map L(R)→L from the frame of reals into L. The discussion of continuous real functions with possibly infinite values can be easily brought to pointfree topology by replacing the frame L(R) with the frame of extended reals (i.e. the pointfree counterpart of the extended real line ). One can even deal with arbitrary (not necessarily continuous) extended real functions. The main purpose of this paper is to investigate the algebra of extended real functions on a frame. Our results make it possible to study the class of almost real functions. In particular, we show that for extremally disconnected L, becomes an order-complete archimedean f-ring with unit.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory