Pointfree forms of Dowker's and Michael's insertion theorems (Q952248): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:42, 5 March 2024

scientific article
Language Label Description Also known as
English
Pointfree forms of Dowker's and Michael's insertion theorems
scientific article

    Statements

    Pointfree forms of Dowker's and Michael's insertion theorems (English)
    0 references
    0 references
    0 references
    11 November 2008
    0 references
    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.
    0 references
    perfectly normal
    0 references
    insertion theorem
    0 references
    pointfree topology
    0 references
    frame
    0 references
    semicontinuous
    0 references
    normal
    0 references
    countably paracompact
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references