Пространство Даукера - Dowker space

в математический поле общая топология, а Пространство Даукера это топологическое пространство то есть Т4 но нет счетно паракомпактный. Они названы в честь Клиффорд Хью Даукер.

Нетривиальная задача предоставить пример пространства Даукера (и, следовательно, также доказать их существование в качестве математических объектов) помогла математикам лучше понять природу и разнообразие топологические пространства. Топологические пространства наборы вместе с некоторыми подмножествами (обозначенными как «открытые множества»), удовлетворяющими определенным свойствам. Топологические пространства возникли как обобщение открытые наборы пространств, изучаемых в элементарной математике, таких как открытые диски в евклидовой плоскости, открытые шары в евклидовом пространстве и открытые интервалы из реальная линия.

Эквивалентности

В 1951 году Даукер показал следующее:

Если Икс это нормальный Т1 Космос (это Т4 Космос ), то эквивалентны следующие:

  • Икс это пространство Даукера
  • Продукт Икс с единичным интервалом это не нормально.[1]
  • Икс не является счетно метакомпактный.

Даукер предположил, что пространств Даукера не существует, и эта гипотеза не была разрешена до тех пор, пока Мэри Эллен Рудин построил в 1971 году.[2] Контрпример Рудина - очень большое пространство ( мощность ). Золтан Балог дал первый ZFC построение малой (мощности континуум ) пример,[3] что было больше хорошо воспитанный чем у Рудина. С помощью Теория ПКФ, М. Койман и С. Шелах построено подпространство пространства Даукера Рудина мощности это тоже Даукер.[4]

Рекомендации

  1. ^ Даукер, К. (1951). «На счетно паракомпактных пространствах» (PDF). Может. J. Math. 3: 219–224. Дои:10.4153 / CJM-1951-026-2. Zbl  0042.41007. Получено 29 марта, 2015.
  2. ^ Рудин, Мэри Эллен (1971). "Нормальное пространство Икс для которого X × I это не нормально " (PDF). Fundam. Математика. Польская академия наук. 73 (2): 179–186. Zbl  0224.54019. Получено 29 марта, 2015.
  3. ^ Балог, Золтан Т. (Август 1996 г.). «Небольшое пространство Даукера в ZFC» (PDF). Proc. Амер. Математика. Soc. 124 (8): 2555–2560. Zbl  0876.54016. Получено 29 марта, 2015.
  4. ^ Койман, Менахем; Шела, Сахарон (1998). "Помещение ZFC Dowker в : приложение теории ПКФ к топологии " (PDF). Proc. Амер. Математика. Soc. Американское математическое общество. 126 (8): 2459–2465. Получено 29 марта, 2015.