Quasicontinuous and separately continuous functions with values in Maslyuchenko spaces (Q2405085): Difference between revisions

The paper generalizes some classical results about quasicontinuous and separately continuous functions with values in metrizable spaces to functions in certain generalized metric spaces. A function \(f:X\times Y\) is called a \(KC\)-function (\(QC\)-function) if it is quasicontinuous (lower quasicontinuous) with respect to the first variable and continuous with respect to the second variable. A topological space \(Z\) is called \(KC\)-Maslyuchenko (\(QC\)-Maslyuchenko) if for each \(KC\)-function (\(QC\)-function) \(f:X\times Y\to Z\) defined on the product of a topological space \(X\) and a second-countable space \(Y\) the set \(D(f)\) of discontinuity points of \(f\) has meager projection on \(X\). A topological space \(Z\) is called \(CC\)-Maslyuchenko if for each separately continuous function \(f:X\times Y\to Z\) defined on the product of separable metrizable spaces \(X\) and \(Y\) the set \(D(f)\) has meager projection on \(X\). In the paper, the classes of \(KC\)-Maslyuchenko, \(QC\)-Maslyuchenko and \(CC\)-Maslyuchenko spaces are studied. Among many other things, it is shown that the class of \(QC\)-Maslyuchenko spaces is closed under taking countable Tychonoff products (under taking fibered preimages, under strong \(\bar{\sigma}\)-sums, under \(\bar{G}_\delta\)-retral unions, under taking Michael modifications, under taking sequentially admissible function spaces).