Topologizing Different Classes of Real Functions

Ciesielski, Krzysztof

Canadian journal of mathematics, Tome 46 (1994) no. 6, pp. 1188-1207

Résumé

The purpose of this paper is to examine which classes of functions from can be topologized in a sense that there exist topologies τ1 and τ2 on and respectively, such that is 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 functions for 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 on such 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 class of all polynomials, the class of 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.

Détail

DOI : 10.4153/CJM-1994-067-x

Mots-clés : 26A15, 54H10, 03E35, topologies on Rn, linear, analytic and harmonic functions, derivatives

Bibliographie

[1] 1. Bruckner, A. M., Differentiation of Real Functions, Lecture Notes in Math. 659, Springer-Verlag, 1978. Google Scholar

[2] 2. Chazarain, Jacques and Piriou, Alain, Introduction to the Theory of Linear Partial Differential Equations, North-Holland, 1982. Google Scholar

[3] 3. Ciesielski, Krzysztof, Linear subspaces of without dense totally disconnected subset, Fund. Math. 142(1993), 85–88. Google Scholar

[3a] 3a. Ciesielski, Krzysztof and Larson, Lee, Various continuities with the density, I-density and ordinary topologies on R, Real Anal. Exchange 17(1991-92), 183–210. Google Scholar

[5] 5. Ciesielski, Krzysztof and Larson, Lee and Krzysztof Ostaszewski, I-density continuous functions, Mem. Amer. Math. Soc. (515), 107, 1994. Google Scholar

[6] 6. Denjoy, A., Mémoire sur les dérivés des fonctions continues, J. Math. Pures et Appl. 1(1915), 105–240. Google Scholar

[7] 7. Engelking, Ryszard, General Topology, Warszawa, 1977. Google Scholar

[8] 8. Goffman, C. and Neugebauer, C. J. and Nishiura, T., The Density Topology and Approximate Continuity, Duke Math. J. 28(1961), 497–506. Google Scholar

[9] 9. Goffman, Casper and Waterman, Daniel, Approximately Continuous Transformations, Proc. Amer. Math. Soc. 12(1961), 116–121. Google Scholar

[10] 10. Haupt, O. and Pauc, Ch., La topologie de Denjoy envisagée comme vraie topologie, C. R. Acad. Sci. Paris 234(1952), 390–392. Google Scholar

[11] 11. Kunen, K., Set Theory, North-Holland, 1983. Google Scholar

[12] 12. Miller, A. W., The Baire category theorem and cardinals of countable cofinality, J. Symbolic Logic 47(1982), 275–288. Google Scholar

[13] 13. Oxtoby, J. C., Measure and Category, Springer-Verlag, 1971. Google Scholar

[14] 14. Wilczyriski, W., A category analogue of the density topology, approximate continuity, and the approximate derivative, Real Anal. Exchange 10(1984-85), 241–265. Google Scholar

[15] 15. Zahorski, Z., Sur la Premiere Dérivée, Trans. Amer. Math. Soc. 69(1950), 1–54. Google Scholar