Espaces de Baire et espaces de Namioka (Q1068375)

A Hausdorff topological space X is called a Namioka space if for every compact space Y and every separably continuous function f from \(X\times Y\) to [0,1], there is a dense \(G_{\delta}\)-set A of X such that f is continuous at each point of \(A\times Y\). A Namioka space is a Baire space, but we construct a Baire space that is not a Namioka space. If \(Y_ 1,...,Y_ k\) are compact spaces, we also investigate the points of joint continuity on \(X\times Y_ 1\times...\times Y_ k\) of separately continuous functions. Excellent results on these types of questions have subsequently been obtained by G. Debs. (to appear in Proc. Am. Math. Soc.)