On the Dedekind completion of function rings. (Q494962): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 05:10, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Dedekind completion of function rings. |
scientific article |
Statements
On the Dedekind completion of function rings. (English)
0 references
8 September 2015
0 references
The frame of reals, \(\mathfrak L(\mathbb R)\), is generated by pairs \((p,q)\) of all rationals subject to certain relations that include the relation (R2) which states that \((p,q)\vee(r,s)=(p,s)\) whenever \(p\leq r<q\leq s\). The \(\ell\)-ring of real continuous functions on a frame \(L\) consists of frame homomorphisms \(\mathfrak L(\mathbb R)\to L\), and is in this paper (and elsewhere) denoted by \(\text C(L)\). The axiom (R2) is, in general, an obstacle to the completeness (as an \(\ell\)-ring) of \(\text C(L)\). Indeed, this \(\ell\)-ring is order complete precisely when \(L\) is extremally disconnected [\textit{B. Banaschewski} and \textit{S. S. Hong}, Commentat. Math. Univ. Carol. 44, No. 2, 245-259 (2003; Zbl 1098.06006)]. In order to obviate the obstacle (R2), the authors of the present paper delete it from the list of relations required for \(\mathfrak L(\mathbb R)\). They thus construct a new device, denoted \(\mathfrak L(\mathbb{IR})\), that they call the frame of partially defined real numbers. It is a frame presented by the same generators as \(\mathfrak L(\mathbb R)\), and by all relations except (R2). They then use this device to construct the order completion of \(\text C(L)\). The construction goes in various steps, each of which involves some heavy nontrivial calculations in the frame \(\mathfrak L(\mathbb{IR})\). The authors also investigate the cases of bounded real functions as well as integer-valued functions. Often pointfree topology techniques enrich classical topology not only by extending its breadth, but also by providing more lucid and transparent reasons for why things happen the way they do. This paper bears further testimony to that. As an application of their tools, the authors give a new construction of the Dedekind completion of the \(\ell\)-ring \(\text C(X)\) that is, to echo their words, ``more direct and natural than the known procedure using Hausdorff continuous functions''.
0 references
frame of reals
0 references
frame of partial reals
0 references
continuous real functions
0 references
partial real functions
0 references
order completions
0 references
Dedekind completion
0 references
completely regular frames
0 references
extremally disconnected frames
0 references
zero-dimensional frames
0 references