Pointfree forms of Dowker's and Michael's insertion theorems

DOI10.1016/J.JPAA.2008.05.010MaRDI QIDQ952248zbMATH OpenOpenAlexFDO

Authors Jorge Picado, Javier Gutiérrez García, Tomasz Kubiak

Publication date 11 November 2008

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2008.05.010

countably paracompact frame insertion theorem normal perfectly normal pointfree topology semicontinuous

Frames, locales (06D22) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Real-valued functions in general topology (54C30) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Review text

The authors prove two strict insertion theorems for frame homomorphisms. When applied to the frame of all open subsets of a topological space, they are equivalent to the following insertion theorems of Dowker and Michael regarding, respectively, normal countably paracompact spaces and perfectly normal spaces. (Dowker) A topological space \(X\) is normal and countably paracompact if and only if, given \(h,g:X\rightarrow {\mathbb R}\) such that \(h<g, h\) is upper semicontinuous and \(g\) is lower semicontinuous, there is a continuous \(f:X\rightarrow {\mathbb R}\) such that \(h<f<g.\) (Michael) A topological space \(X\) is perfectly normal if and only if, given \(h,g:X\rightarrow {\mathbb R}\) such that \(h\leq g, h\) is upper semicontinuous and \(g\) is lower semicontinuous, there is a continuous \(f:X\rightarrow {\mathbb R}\) such that \(h\leq f\leq g\) and \(h(x)<f(x)<g(x)\) whenever \(h(x)<g(x).\) The authors state that, however, in the pointfree context they have been unable to provide pointfree assertions corresponding exactly to these two classical insertion results. Furthermore, they present a study of the concept of perfect normality for frames.

Recommendations

Cites work

Cited in

(31)

This page was built for publication: Pointfree forms of Dowker's and Michael's insertion theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q952248)