Products of Michael spaces and completely metrizable spaces

Authors:
Dennis K. Burke and Roman Pol

Journal:
Proc. Amer. Math. Soc. **129** (2001), 1535-1544

MSC (1991):
Primary 54E50, 54E52, 54D15

Published electronically:
October 10, 2000

MathSciNet review:
1712941

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: For disjoint subsets of the Michael space has the topology obtained by isolating the points in and letting the points in retain the neighborhoods inherited from . We study normality of the product of Michael spaces with complete metric spaces. There is a ZFC example of a Lindelöf Michael space , of minimal weight , with Lindelöf but with not normal. ( denotes the countable product of a discrete space of cardinality .) If denotes , the normality of implies the normality of for any complete metric space (of arbitrary weight). However, the statement `` normal implies normal'' is axiom sensitive.

**[E]**Ryszard Engelking,*General topology*, 2nd ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann Verlag, Berlin, 1989. Translated from the Polish by the author. MR**1039321****[F1]**William G. Fleissner,*An axiom for nonseparable Borel theory*, Trans. Amer. Math. Soc.**251**(1979), 309–328. MR**531982**, 10.1090/S0002-9947-1979-0531982-9**[F2]**William G. Fleissner,*Separation properties in Moore spaces*, Fund. Math.**98**(1978), no. 3, 279–286. MR**0478111****[Fr1]**D. H. Fremlin,*Consequences of Martin’s axiom*, Cambridge Tracts in Mathematics, vol. 84, Cambridge University Press, Cambridge, 1984. MR**780933****[Fr2]**D. H. Fremlin,*Measure-additive coverings and measurable selectors*, Dissertationes Math. (Rozprawy Mat.)**260**(1987), 116. MR**928693****[H]**W. Hurewicz,*Relativ Perfekte Teile von Punktmengen ung Mengen (A)*, Fund. Math. 12 (1928), 78-109.**[J]**Thomas Jech,*Set theory*, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Pure and Applied Mathematics. MR**506523****[Je]**R. Björn Jensen,*The fine structure of the constructible hierarchy*, Ann. Math. Logic**4**(1972), 229–308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver. MR**0309729****[K]**Alexander S. Kechris,*Classical descriptive set theory*, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR**1321597****[Ko]**George Koumoullis,*Cantor sets in Prohorov spaces*, Fund. Math.**124**(1984), no. 2, 155–161. MR**774507****[Ku]**Kenneth Kunen,*Set theory*, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR**597342****[Kur]**K. Kuratowski,*Topology. Vol. I*, New edition, revised and augmented. Translated from the French by J. Jaworowski, Academic Press, New York-London; Państwowe Wydawnictwo Naukowe, Warsaw, 1966. MR**0217751****[L1]**L. Brian Lawrence,*The influence of a small cardinal on the product of a Lindelöf space and the irrationals*, Proc. Amer. Math. Soc.**110**(1990), no. 2, 535–542. MR**1021211**, 10.1090/S0002-9939-1990-1021211-4**[L2]**L. Brian Lawrence,*A ZFC example (of minimum weight) of a Lindelöf space and a completely metrizable space with a nonnormal product*, Proc. Amer. Math. Soc.**124**(1996), no. 2, 627–632. MR**1273506**, 10.1090/S0002-9939-96-02864-X**[M1]**E. Michael,*The product of a normal space and a metric space need not be normal*, Bull. Amer. Math. Soc.**69**(1963), 375–376. MR**0152985**, 10.1090/S0002-9904-1963-10931-3**[M2]**Ernest A. Michael,*Paracompactness and the Lindelöf property in finite and countable Cartesian products*, Compositio Math.**23**(1971), 199–214. MR**0287502****[M3]**E. Michael,*Correction to: “A note on completely metrizable spaces” [Proc. Amer. Math. Soc. 96 (1986), no. 3, 513–522; MR0822451 (87f:54045)]*, Proc. Amer. Math. Soc.**100**(1987), no. 1, 204. MR**883430**, 10.1090/S0002-9939-1987-0883430-7**[P]**Roman Pol,*Note on decompositions of metrizable spaces. II*, Fund. Math.**100**(1978), no. 2, 129–143. MR**0494011****[RS]**Mary Ellen Rudin and Michael Starbird,*Products with a metric factor*, General Topology and Appl.**5**(1975), no. 3, 235–248. MR**0380709****[S]**A. H. Stone,*On 𝜎-discreteness and Borel isomorphism*, Amer. J. Math.**85**(1963), 655–666. MR**0156789**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (1991):
54E50,
54E52,
54D15

Retrieve articles in all journals with MSC (1991): 54E50, 54E52, 54D15

Additional Information

**Dennis K. Burke**

Affiliation:
Department of Mathematics and Statistics, Miami University, Oxford, Ohio 45056

Email:
dburke@miavx1.muohio.edu

**Roman Pol**

Affiliation:
Department of Mathematics, Warsaw University, Warsaw, Poland

Email:
pol@mimuw.edu.pl

DOI:
https://doi.org/10.1090/S0002-9939-00-05664-1

Keywords:
Michael space,
product spaces,
normal,
completely metrizable,
Baire space,
absolute $G_\delta$

Received by editor(s):
March 8, 1998

Received by editor(s) in revised form:
July 28, 1999

Published electronically:
October 10, 2000

Additional Notes:
The results in this note were obtained while the second author was a Visiting Professor at Miami University. The author would like to express his gratitude to the Department of Mathematics and Statistics of Miami University for their hospitality.

Communicated by:
Alan Dow

Article copyright:
© Copyright 2000
American Mathematical Society