Cosmicity of cometrizable spaces
HTML articles powered by AMS MathViewer
- by Gary Gruenhage PDF
- Trans. Amer. Math. Soc. 313 (1989), 301-315 Request permission
Abstract:
A space $X$ is cometrizable if $X$ has a coarser metric topology such that each point of $X$ has a neighborhood base of metric closed sets. Most examples in the literature of spaces obtained by modifying the topology of the plane or some other metric space are cometrizable. Assuming the Proper Forcing Axiom (PFA) we show that the following statements are equivalent for a cometrizable space $X$ : (a) $X$ is the continuous image of a separable metric space; (b) ${X^\omega }$ is hereditarily separable and hereditarily Lindelöf, (c) ${X^2}$ has no uncountable discrete subspaces; (d) $X$ is a Lindelöf semimetric space; (e) $X$ has the pointed ${\text {ccc}}$. This result is a corollary to our main result which states that, under PFA, if $X$ is a cometrizable space with no uncountable discrete subspaces, then either $X$ is the continuous image of a separable metric space or $X$ contains a copy of an uncountable subspace of the Sorgenfrey line.References
- A. V. Arhangel′skiĭ, The structure and classification of topological spaces and cardinal invariants, Uspekhi Mat. Nauk 33 (1978), no. 6(204), 29–84, 272 (Russian). MR 526012
- Uri Abraham, Matatyahu Rubin, and Saharon Shelah, On the consistency of some partition theorems for continuous colorings, and the structure of $\aleph _1$-dense real order types, Ann. Pure Appl. Logic 29 (1985), no. 2, 123–206. MR 801036, DOI 10.1016/0168-0072(84)90024-1
- Uri Avraham and Saharon Shelah, Martin’s axiom does not imply that every two $\aleph _{1}$-dense sets of reals are isomorphic, Israel J. Math. 38 (1981), no. 1-2, 161–176. MR 599485, DOI 10.1007/BF02761858
- James E. Baumgartner, Applications of the proper forcing axiom, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 913–959. MR 776640
- James E. Baumgartner, All $\aleph _{1}$-dense sets of reals can be isomorphic, Fund. Math. 79 (1973), no. 2, 101–106. MR 317934, DOI 10.4064/fm-79-2-101-106
- E. S. Berney, A regular Lindelöf semimetric space which has no countable network, Proc. Amer. Math. Soc. 26 (1970), 361–364. MR 270336, DOI 10.1090/S0002-9939-1970-0270336-7
- Amer Bešlagić, Embedding cosmic spaces in Lusin spaces, Proc. Amer. Math. Soc. 89 (1983), no. 3, 515–518. MR 715877, DOI 10.1090/S0002-9939-1983-0715877-X
- Dennis K. Burke and Eric K. van Douwen, No dense metrizable $G_{\delta }$-subspaces in butterfly semimetrizable Baire spaces, Topology Appl. 11 (1980), no. 1, 31–36. MR 550870, DOI 10.1016/0166-8641(80)90014-0
- Krzysztof Ciesielski, Martin’s axiom and a regular topological space with uncountable net weight whose countable product is hereditarily separable and hereditarily Lindelöf, J. Symbolic Logic 52 (1987), no. 2, 396–399. MR 890447, DOI 10.2307/2274389
- Eric K. van Douwen and Kenneth Kunen, $L$-spaces and $S$-spaces in ${\cal P}(w)$, Topology Appl. 14 (1982), no. 2, 143–149. MR 667660, DOI 10.1016/0166-8641(82)90064-5 D. H. Fremlin, Consequences of Martin’s Axiom, Cambridge Univ. Press, 1984. —, Notes on Martin’s maximum, unpublished notes.
- G. Gruenhage, On the existence of metrizable or Sorgenfrey subspaces, General topology and its relations to modern analysis and algebra, VI (Prague, 1986) Res. Exp. Math., vol. 16, Heldermann, Berlin, 1988, pp. 223–230. MR 952608 R. W. Heath, On certain first-countable spaces, Topology Seminar (Wis., 1965), Ann. of Math. Studies, no 60, Princeton Univ. Press, Princeton, N.J., 1966, pp. 103-113. I. Juhasz, SETOP Conference notes, Toronto, Canada, 1980.
- I. Juhász, K. Kunen, and M. E. Rudin, Two more hereditarily separable non-Lindelöf spaces, Canadian J. Math. 28 (1976), no. 5, 998–1005. MR 428245, DOI 10.4153/CJM-1976-098-8
- Ernest A. Michael, Paracompactness and the Lindelöf property in finite and countable Cartesian products, Compositio Math. 23 (1971), 199–214. MR 287502
- Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955
- Z. Szentmiklóssy, $S$-spaces and $L$-spaces under Martin’s axiom, Topology, Vol. II (Proc. Fourth Colloq., Budapest, 1978) Colloq. Math. Soc. János Bolyai, vol. 23, North-Holland, Amsterdam-New York, 1980, pp. 1139–1145. MR 588860
- Franklin D. Tall, The density topology, Pacific J. Math. 62 (1976), no. 1, 275–284. MR 419709
- M. G. Tkačenko, Chains and cardinals, Dokl. Akad. Nauk SSSR 239 (1978), no. 3, 546–549 (Russian). MR 0500798
- Stevo Todorčević, Forcing positive partition relations, Trans. Amer. Math. Soc. 280 (1983), no. 2, 703–720. MR 716846, DOI 10.1090/S0002-9947-1983-0716846-0
- Stevo Todorčević, Remarks on cellularity in products, Compositio Math. 57 (1986), no. 3, 357–372. MR 829326 —, A class of spaces associated with gaps, unpublished manuscript.
- N. V. Veličko, Symmetrizable spaces, Mat. Zametki 12 (1972), 577–582 (Russian). MR 326678
Additional Information
- © Copyright 1989 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 313 (1989), 301-315
- MSC: Primary 54E20; Secondary 54A35
- DOI: https://doi.org/10.1090/S0002-9947-1989-0992600-5
- MathSciNet review: 992600