Category theorems concerning Z-density continuous functions

The ℑ-density topology ${\displaystyle T_{\Im }}$ on ℝ is a refinement of the natural topology. It is a category analogue of the density topology [9, 10]. This paper is concerned with ℑ-density continuous functions, i.e., the real functions that are continuous when the ℑ-density} topology is used on the domain and the range. It is shown that the family ${\displaystyle C_{\Im }}$ of ordinary continuous functions f: [0,1]→ℝ which have at least one point of ℑ-density continuity is a first category subset of C([0,1])= {f: [0,1]→ℝ: f is continuous} equipped with the uniform norm. It is also proved that the class ${\displaystyle C_{\Im }\Im }$ of ℑ-density continuous functions, equipped with the topology of uniform convergence, is of first category in itself. These results remain true when the ℑ-density topology is replaced by the deep ℑ-density topology.