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

• Autores: Francisco Javier Gutierrez García, Tomasz Kubiak, Jorge Picado
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 213, Nº 1, 2009, págs. 98-108
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this paper we 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 insertion statements of the classical theorems of Dowker and Michael regarding, respectively, normal countably paracompact spaces and perfectly normal spaces. In addition, a study of perfect normality for frames is made.