Pointfree forms of Dowker's and Michael's insertion theorems (Q952248): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2008.05.010 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2079808228 / rank | |||
Normal rank |
Revision as of 20:41, 19 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
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