Topologizing Different Classes of Real Functions

Abstract

AbstractThe purpose of this paper is to examine which classesof functions fromcan be topologized in a sense that there exist topologies τ1and τ2onandrespectively, such thatis equal to the class C(τ1, τ2) of all continuous functions. We will show that the Generalized Continuum Hypothesis GCH implies the positive answer for this question for a large number of classes of functionsfor which the sets {x : f(x) = g(x)} are small in some sense for all f, g ∈f ≠ g. The topologies will be Hausdorff and connected. It will be also shown that in some model of set theory ZFC with GCH these topologies could be completely regular and Baire. One of the corollaries of this theorem is that GCH implies the existence of a connected Hausdorff topology T onsuch that the class L of all linear functions g(x) = ax + b coincides with. This gives an affirmative answer to a question of Sam Nadler. The above corollary remains true for the classof all polynomials, the classof all analytic functions and the class of all harmonic functions.We will also prove that several other classes of real functions cannot be topologized. This includes the classes of C∞functions, differentiable functions, Darboux functions and derivatives.