Controlling Tietze-Urysohn extensions
type: Item
instance of: scholarly article
title: Controlling Tietze-Urysohn extensions
zbMATH Open document ID: 0843.54024
author: Marc Frantz
published in: Pacific Journal of Mathematics
publication date: 1995-11-14T00:00:00Z
review text: Let \(A\) be a closed subset of the normal Hausdorff space \(X\), and let \(f\) be a continuous real-valued function with domain \(A\) (denoted \(f\in C(A)\)). The author investigates when \(f\) can be extended to an \(f^*\in C(X)\) that satisfies various sorts of pre-assigned conditions. The following results are representative but not exhaustive: Theorem. If \(f\in C(A)\) such that \(f[A]= [c,d ]\), if \(f^\leftarrow (c)\neq \emptyset \neq f^\leftarrow (d)\), and if \(H\) and \(K\) are disjoint closed \(G_\delta\)-sets of \(X\) for which \(H\cap A= f^\leftarrow (c)\) and \(K\cap A= f^\leftarrow (d)\), then there exists \(f^*\in C(X)\) for which \(f^*|A=f\), \((f^*)^\leftarrow (c)= H\), and \((f^*)^\leftarrow (d)= K\). Theorem. Let \(A\) be closed in the compact metric space \(X\), let \(f,g\in C(A)\), and let \(h\in C(X)\) with \(fg= h|A\). If \(g\geq 0\) and \(g^\leftarrow (0) \subseteq f^\leftarrow (0)\), then there exist \(f^*, g^*\in C(X)\) with \(f^*|A=f\), \(g^*|A=g\) and \(f^* g^* =h\).
Mathematics Subject Classification ID: 54C20
zbMATH DE Number: 815788
zbMATH Keywords: continuous extensions
zbMATH Keywords: normal spaces
zbMATH Keywords: normal Hausdorff space
reviewed by: R. G. Woods
MaRDI profile type: Publication
full work available at URL: pjm.1995.169.53
OpenAlex ID: W2061908108
DOI: 10.2140/PJM.1995.169.53
description: scientific article; zbMATH DE number 815788