Espai Dowker
En matemàtiques, concretament en el camp de la topologia general, un espai Dowker és un espai topològic que és normal, però no és comptablement paracompacte. Rep el nom de Hugh Dowker, que el va descriure el 1951. La tasca no trivial de proporcionar un exemple d'un espai Dowker (i, per tant, també demostrar la seva existència com a objectes matemàtics) va ajudar els matemàtics a entendre millor la naturalesa i la varietat dels espais topològics.
Equivalències[modifica]
El 1951, Dowker va mostrar que si X és alhora un espai T1 i un espai normal (és a dir, un espai T4), llavors les següents propietats són equivalents:[1]
- X és un espai Dowker.
- El producte de X amb l'interval unitari no és normal.
- X no és comptablement metacompacte.
Dowker conjecturà que no podien existir els espais Dowker.[1] La conjectura no es va resoldre fins que Mary Ellen Rudin en va construir un l'any 1971.[2] El contraexemple de Rudin és un espai molt gran (de cardinalitat ). Zoltán Balogh va obtenir la primera construcció ZFC d'un exemple petit (continu),[3] amb una patologia més estable que el de Rudin. Mitjançant la teoria de possibles cofinalitats, Menachem Kojman i Saharon Shelah van construir un subespai de l'espai Dowker de Rudin de cardinalitat i que també és Dowker.[4]
Referències[modifica]
- ↑ 1,0 1,1 Dowker, C. H. «On countably paracompact spaces» (PDF). Can. J. Math., 3, 1951, pàg. 219-224. DOI: 10.4153/CJM-1951-026-2.
- ↑ Rudin, Mary Ellen «A normal space X for which X × I is not normal» (PDF). Fundam. Math.. Polish Academy of Sciences, 73, 2, 1971, pàg. 179-186. DOI: 10.4064/fm-73-2-179-186.
- ↑ Balogh, Zoltan T. «A small Dowker space in ZFC» (PDF). Proc. Amer. Math. Soc., 124, 8, 1996, pàg. 2555–60. DOI: 10.1090/S0002-9939-96-03610-6.
- ↑ M. Kojman, S. Shelah «A ZFC Dowker space in ℵω+1: An application of PCF theory to topology» (PDF). Proc. Amer. Math. Soc.. American Mathematical Society, 126, 8, 1998, pàg. 2459–2465. DOI: 10.1090/S0002-9939-98-04884-9.