On the Dini and Stone-Weierstrass properties in pointfree topology. (Q2634698)

The celebrated Stone-Weierstrass Theorem states that each compact Hausdorff space \(X\) has the Stone-Weierstrass property, that is, every point-separating unital \(\mathbb R\)-subalgebra of \(C(X)\) is dense in \(C(X)\) with respect to the topology of uniform convergence. On the other hand, Dini's Theorem states that each compact Hausdorff space \(X\) has the Dini's property, that is, every sequence \((f_n)_n\) in \(C(X)\) which decreases (or increases) pointwisely to some \(f\in C(X)\), converges to \(f\) uniformly. It is the aim of the present paper to investigate Dini- and Stone-Weierstrass-type properties in pointfree topology. Regarding Dini's property (DP), there is nothing in the pointfree literature about it so the authors have to start by defining a suitable pointfree counterpart for pointwise convergence of a net of real continuous functions on a frame \(L\) to a continuous real function on \(L\). They then show that a frame \(L\) satisfies (DP) iff \(L\) is pseudocompact (this is an exact pointfree counterpart of the classical result of Colmez-Glicksberg, proved in full generality by \textit{S. Kundu} and \textit{A. B. Raha} [Houston J. Math. 27, No. 4, 887-895 (2001; Zbl 1032.46042)]) iff \(L\) is countably quasi-compact iff \(L\) is countably quasi-almost-compact. Further, some versions of (DP) are introduced and the corresponding classes of frames that satisfy each one of them are determined. Regarding Stone-Weierstrass property (SWP), there is the well-known pointfree version of Stone-Weierstrass Theorem due to \textit{B. Banaschewski} [The real numbers in pointfree topology. Textos de Matemática. Série B. 12. Coimbra: Universidade de Coimbra, Departamento de Matemática (1997; Zbl 0891.54009)] stating that each compact completely regular frame \(L\) satisfies (SWP), that is, every separating unital \(\mathbb R\)-subalgebra of the ring \(\mathcal R^*L\) of bounded continuous real functions on \(L\) is dense in \(\mathcal R^*L\) with respect to the uniform topology. The present paper provides the following three characterizations of frames \(L\), among completely regular frames, that have (SWP): (1) \(L\) is continuous and every \(f\in\mathcal R^*L\) extends uniquely to the minimal compactification of \(L\). (2) \(\beta_L\) is (up to isomorphism fixing \(L\)) the only compactification of \(L\). (3) \(\mathcal R^*L\) is the only \(l\)-subring of \(\mathcal R^*L\) that is complete with respect to the uniform uniformity, contains the constant functions and is separating.