Namioka space

Let be a regular, strongly countably complete topological space (cf. also Strongly countably complete topological space), let be a locally compact and -compact space, let be a pseudo-metric space, and let be an arbitrary separately continuous function (cf. also Separate and joint continuity).

I. Namioka [a10] proved that

N) there is a dense -set contained in such that is contained in , the set of points of (joint) continuity of (cf. also Set of type ()). This is known as the Namioka theorem.

Following [a3], one says that a (Hausdorff) space is a Namioka space if for any compact space , any metric space and any separately continuous function , assertion N) holds.

J. Saint-Raymond [a11] proved that separable Baire spaces are Namioka and all Tikhonov Namioka spaces are Baire; he also showed that in the class of metric spaces, Namioka and Baire spaces coincide (cf. also Baire space).

M. Talagrand [a12] constructed an -favourable (hence, Baire) space that is not Namioka. It has been shown that --defavourable spaces [a11] and Baire spaces having dense subsets that are countable unions of -analytic subsets [a5] are Namioka. The Sorgenfrey line is Namioka (cf. also Sorgenfrey topology), although it is -favourable.

Many permanence properties of Namioka spaces are known. In view of Saint Raymond's result, the Cartesian product of two (metric) Namioka spaces need not be Namioka. Also, Namioka spaces are not preserved, even in the metric case, by continuous perfect mappings (cf. also Blumberg theorem).

Following G. Debs [a5], one says that a compact space is co-Namioka, or has the Namioka property (or belongs to the class ) if for every Baire space and for every semi-continuous function , the conclusion of Namioka's theorem holds. It was shown that holds for many compact-like spaces appearing in functional analysis; among them are Eberlein compact spaces [a7], Corson compact spaces [a6], Valdivia compact spaces [a4], and, more generally, all compact spaces such that is -fragmentable [a9]. It was shown by R. Deville [a7] that . Recently (1999), A. Bouziad [a1] showed that holds for all scattered compact spaces that are hereditarily submetacompact.

Certain permanence properties of co-Namioka spaces have been studied. For example, it is known that the class is closed under continuous images, arbitrary products [a2] and countable unions [a8].

References

[a1]	A. Bouziad, "A quasi-closure preserving sum theorem about the Namioka property" Topol. Appl. , 81 (1997) pp. 163–170
[a2]	A. Bouziad, "The class of co-Namioka compact spaces is stable under products" Proc. Amer. Math. Soc. , 124 (1996) pp. 983–986
[a3]	J.P.R. Christensen, "Joint continuity of separately continuous functions" Proc. Amer. Math. Soc. , 82 (1981) pp. 455–461
[a4]	R. Deville, G. Godefroy, "Some applications of projective resolutions of identity" Proc. London Math. Soc. , 22 (1990) pp. 261–268
[a5]	G. Debs, "Points de continuité d'une fonction séparément continue" Proc. Amer. Math. Soc. , 97 (1986) pp. 167–176
[a6]	G. Debs, "Pointwise and uniform convergence on a Corson compact space" Topol. Appl. , 23 (1986) pp. 299–303
[a7]	R. Deville, "Convergence ponctuelle et uniforme sur un espace compact" Bull. Acad. Polon. Sci. , 37 (1989) pp. 7–12
[a8]	R. Haydon, "Countable unions of compact spaces with Namioka property" Mathematika , 41 (1994) pp. 141–144
[a9]	J.E. Jayne, I. Namioka, C.A. Rogers, "-fragmentable Banach spaces" Mathematika , 41 (1992) pp. 161–188; 197–215
[a10]	I. Namioka, "Separate and joint continuity" Pacific J. Math. , 51 (1974) pp. 515–531
[a11]	J. Saint-Raymond, "Jeux topologiques et espaces de Namioka" Proc. Amer. Math. Soc. , 87 (1983) pp. 499–504
[a12]	M. Talagrand, "Propriété de Baire et propriété de Namioka" Math. Ann. , 270 (1985) pp. 159–174