Function space topologies between the uniform topology and the Whitney topology (Q2182477)

In this paper the author deals with new function space topologies located between the uniform and the Whitney topologies. Firstly, under the assumption that \(X\) is a Tychonoff space and \((Y, d)\) is a non-discrete metric space, the author explores uniformizable function space topologies on \(C(X, Y)\), the set of all continuous functions from \(X\) to \(Y\), which are located between the uniform and the Whitney topologies. The author investigates two classes of Tychonoff spaces: locally compact ones splittable in two essentially different classes: the class of locally compact spaces (splitted in two subclasses: hemicompact or not) and, the class of spaces densely embedded in a locally compact one. It is proved that, whenever \(X\) is hemicompact, then any weak Whitney topology relative to a \(T_2\)-compactification of \(X\) agrees with the classical one. It is also proved that the weak Whitney topology associated with its one-point compactification reduces to the uniform topology, when \(X\) is locally compact but not hemicompact. Another result obtained in this work is the fact that if \(X\) is locally compact, paracompact but not hemicompact, then between the uniform topology and the Whitney topology there is a great variety of weak Whitney topologies relative to \(T_2\)-compactifications of \(X\). In this work it is also shown that, whenever \(X\) is not locally compact, weak Whitney topologies associated with different \(T_2\) local compactifications of \(X\) are generally different. By weakening the Whitney topology, the author produces different uniformizable topologies on \(C(X, Y)\) related to various significant structures on \(X\). In Section 5 the author deals with the class of \(\omega _\mu\)-metric spaces. He extends the Whitney topology to \(C(X, Y)\), where \(X\) is a Tychonoff space but \(Y\) is replaced with an \(\omega_\mu\)-metric space. The author proves, among other things, in Theorem 5.3 that: Whenever \(X\) is an \(\omega _\mu\)-additive and paracompact space and \((Y, \rho, G)\) is an \(\omega_\mu\)-metric space, then the Whitney topology on \(C(X, Y)\) is independent of the \(\omega_\mu\)-metric \(\rho\).