On pseudocontinuous mappings (Q1328248): Difference between revisions

R. A. Johnson and W. Wilczyński introduced various notions of functions which are close to continuous ones, or functions with the Baire property in the sense that the inverse image of an open set after removing or adding to it, is a set from a fixed \(\sigma\)-ideal. In this article the author calls a function \(f: X\to Y\) weakly \(T\)-pseudocontinuous if for any open subset \(V\) of \(Y\), there is an open set \(W\) of \(X\) such that \(f^{-1}(V) \Delta W\in{\mathcal T}\), where \({\mathcal T}\) stands for a \(\kappa\)-ideal of subsets of \(X\). Similarly one defines inner \({\mathcal T}\)- pseudocontinuity and outer \({\mathcal T}\)-pseudocontinuity. The reader easily finds appropriate local versions of the above conditions. Relations between the above 3 types of functions and other known classes of functions are studied. Sample result: Suppose \({\mathcal T}\) does not contain any nonempty open subset of \(X\). If \(f: X\to Y\) is inner \({\mathcal T}\)-pseudocontinuous at \(x_ 0\) and outer \({\mathcal T}\)-pseudocontinuous at \(x_ 0\), then \(f\) is quasicontinuous at \(x_ 0\). At the end some topological invariants of the above three classes are investigated, e.g. weak \(\kappa\)-Lindelöfness is an invariant of all functions which are outer \(\kappa\)-pseudocontinuous at every point of \(X\). The invariance of some other cardinal functions, such as \(pn(X)\), \(wnw(X)\) and \(wpn(X)\) is also studied.