A new look at localic interpolation theorems

• Author(s): Picado, Jorge
• Date: 2006
• Persistent ID: http://hdl.handle.net/10316/4615
• Origin: Estudo Geral - Universidade de Coimbra
• Subject(s): Locales; Normal frames; Frame of reals; Upper (lower) frame of reals; Continuous real functions; Upper (lower) semicontinuous real functions
• Document Type: Article
• Language: English

Description

This paper presents a new treatment of the localic Katetov-Tong interpolation theorem, based on an analysis of special properties of normal frames, which shows that it does not hold in full generality. Besides giving us the conditions under which the localic Katetov-Tong interpolation theorem holds, this approach leads to a especially transparent and succinct proof of it. It is also shown that this pointfree extension of Katetov-Tong theorem still covers the localic versions of Urysohn's Lemma and Tietze's Extension Theorem. http://www.sciencedirect.com/science/article/B6V1K-4GWBDP0-3/1/c51690ad60d2e54badeac9b463852c5e