Gra Telgarskiego a multiplikatywność parazwartości

Prelegent(ci)

Kazimierz Alster

Afiliacja

UKSW

Termin

23 maja 2018 16:15

Pokój

p. 5050

Seminarium

Seminarium „Topologia i teoria mnogości”

---

Ogólnym problemem dotyczącym multiplikatywności parazwartości jest pytanie o charakteryzację klasy P przestrzeni parazwartych, których iloczyn kartezjański z dowolną przestrzenią parazwartą jest parazwarty a także związane z nim problemy:

Czy klasa P jest zamknięta ze względu na domknięte obrazy?

Czy przeliczalna potęga elementu z klasy P jest parazwarta?

W związku z badaniem multiplikatywności parazwartości R.Telgarski zdefiniował grę G(DC,X) w przestrzeni topologicznej X. Gra G(DC,X) w przestrzeni X jest grą, w której bierze udział dwóch graczy, którzy na przemian wybierają podzbiory domknięte F(n) przestrzeni X (gracz pierwszy - indeksowane liczbami naturalnymi nieparzystymi, a gracz drugi - liczbami parzystymi) tak, że spełnione są następujące warunki:

1. zbiory wybierane przez pierwszego gracza są sumą dyskretnej rodziny zbiorów zwartych,

2. zbiory wybierane przez drugiego gracza są rozłączne z sumą zbiorów wybranych przez pierwszego gracza w krokach wcześniejszych,

3. zbiory wybierane przez drugiego gracza tworzą ciąg zbiorów zstępujących,

4. zbiór F(2n+1) jest zawarty w F(2n), dla n=1,2,.. .

Gracz pierwszy jest zwycięzcą gry, jeśli przecięcie zbiorów wybranych przez drugiego gracza jest zbiorem pustym. Sformułowałem następujący problem, który nazwałem hipotezą Telgarskiego (HT):

X należy do klasy P wtedy i tylko wtedy gdy X jest parazwarta i pierwszy gracz gry G(DC,X) ma strategię zwycięską.

Telgarsky pokazał, że jeśli pierwszy gracz gry G(DC,X) ma strategię zwycięską i X jest parazwarta, to X należy do klasy P. Odwrotna implikacja jest problemem otwartym. Przedstawię pewne częściowe wyniki potwierdzające (HT) a także sformułuję pytania wiążące się z (HT).

---