On simple continuity points (Q803996)

A suitable pointwise definition of the notion of simple continuity is introduced. A function \(f:X\to Y\) (X, Y topological spaces) is said to be simply continuous if for every open set V in Y the set \(f^{-1}(V)\) is a union of an open set in X and a nowhere dense set in X (Biswas). A function \(f:X\to Y\) is simply continuous at a point x if for each open neighbourhood V of f(x) and for each neighborhood U of x the set \(f^{- 1}(V)\setminus Int f^{-1}(V)\) is not dense in U. Denote by \(N_ f\) the set of all points at which f is simply continuous. It is proved that for every \(f:X\to Y\), \(N_ f\) is almost closed and under some assumptions \(Cl N_ f\setminus N_ f\) is of the first category in X. Some sufficient conditions on topological spaces X and Y are given under which for a subset A of X the following are equivalent: (a) there is a function f from X to Y such that \(N_ f=A\), (b) A is almost closed, A contains all isolated points and \(Cl A\setminus A\) is of the first category in X.