Przestrzeń Dowkera – przestrzeń topologiczna, która jest normalna, ale nie jest przeliczalnie parazwarta (przestrzeń topologiczna X jest przeliczalnie parazwarta, gdy w każde jej przeliczalne pokrycie otwarte można wpisać pokrycie lokalnie skończone).

Charakteryzacja przestrzeni Dowkera

Dla przestrzeni normalnej ( jest również przestrzenią T1) następujące warunki są równoważne:

  • jest przestrzenią Dowkera.
  • przestrzeń produktowa nie jest normalna.
  • nie jest przeliczalnie metazwarta.

Dowker postawił hipotezę iż przestrzenie Dowkera nie istnieją. W 1971, Mary Ellen Rudin skonstruowałą jednak przykład przestrzeni Dowkera. Przestrzeń skonstruowana przez Rudin jest mocy Zoltán Balogh podał kolejny przykład przestrzeni Dowkera, tym razem mocy continuum. Używając teorii PCF, M. Kojman i S. Shelach wskazali podprzestrzeń przestrzeni Dowkera skonsturowanej przez Rudin, która sama jest przestrzenią Dowekera i jest mocy

Przypisy

  1. ↑ C.H. Dowker, On countably paracompact spaces, Can. J. Math. 3 (1951), s. 219–224.
  2. ↑ M.E. Rudin, A normal space X for which X × I is not normal. Fundam. Math. 73 (1971), s. 179–186.
  3. ↑ Z. Balogh, A small Dowker space in ZFC, Proc. Amer. Math. Soc. 124 (1996) 2555-2560.
  4. ↑ M. Kojman, S. Szelach, A ZFC Dowker space in an application of PCF theory to topology, Proc. Amer. Math. Soc., 126 (1998), 2459-2465.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.