Difference between revisions of "Namioka space"
(Importing text file) |
m (link) |
||
Line 9: | Line 9: | ||
J. Saint-Raymond [[#References|[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|Baire space]]). | J. Saint-Raymond [[#References|[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|Baire space]]). | ||
− | M. Talagrand [[#References|[a12]]] constructed an | + | M. Talagrand [[#References|[a12]]] constructed an [[Alpha-favourable space|$a$-favourable]] (hence, Baire) space that is not Namioka. It has been shown that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130010/n13001022.png" />-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130010/n13001023.png" />-defavourable spaces [[#References|[a11]]] and Baire spaces having dense subsets that are countable unions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130010/n13001024.png" />-analytic subsets [[#References|[a5]]] are Namioka. The Sorgenfrey line is Namioka (cf. also [[Sorgenfrey topology|Sorgenfrey topology]]), although it is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130010/n13001025.png" />-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|Blumberg theorem]]). | 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|Blumberg theorem]]). |
Revision as of 21:11, 2 January 2016
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 $a$-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, "![]() |
[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 |
Namioka space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Namioka_space&oldid=15001