Lower quasicontinuity, joint continuity and related concepts (Q616935)

The main concern of this nice note is the following question: find some general assumptions on the partial mappings \(f_x\), \(f^y(x\in X, y\in Y)\) ensuring the existence of a residual set \(R\subset X\) such that \(f\) is jointly continuous at each point of \(R\times B\), where \(f\) is a mapping of the product \(X\times Y\) of two topological spaces into a metric space \(\mathbb{Z}\), \(\mathbb{B}\) is a countable collection of subsets of \(Y\) and \(B\) is the set of all \(y\in Y\) such that \(\mathbb{B}\) includes a neighborhood base at \(y\) in \(Y\). In a previous paper by J. Calbrix and the second author it was shown that if \(f\) is separately continuous, then such a set \(R\) exists. The main result of this note states that: if, for every \(V\in\mathbb{B}\) , the set-valued mapping \(F^V: X\ni x\to f_x(V)\in 2^Z\) is lower-quasicontinuous then there exists a residual set \(R\subset X\) such that for every \((a, b)\subset R\times Y\), \(f\) is jointly continuous at \((a,b)\) if (and only if) \(f_a: Y\to Z\) is continuous at \(b\). The authors also establish some new results replacing the concept of continuity by that of quasicontinuity or by that of cliquishness and they compare and relate their own results to some well-known ones from the literature.