Strona 1 z 1

Liczba topologii na zbiorze nieskończonym

: 4 cze 2018, o 23:56
autor: matmatmm
Mam za zadanie pokazać, że na zbiorze nieskończonym \(\displaystyle{ X}\) istnieje \(\displaystyle{ 2^{2^{|X|}}}\) różnych (niehomeomorficznych) topologii, które są normalne.

Ponoć można to wywnioskować z twierdzenia Hewitta-Marczewskiego-Pondiczery'ego, a dokładniej z następującego wniosku: Dla dowolnej nieskończonej liczby kardynalnej \(\displaystyle{ \mathfrak{m}}\) w zbiorze \(\displaystyle{ 2^{2^{\mathfrak{m}}}\) istnieje zbiór gęsty mocy \(\displaystyle{ \mathfrak{m}}\).

To twierdzenie oraz wniosek są dla mnie jasne, ale nie wiem co dalej. Mam w notatkach z wykładu coś takiego:

\(\displaystyle{ Y\subseteq 2^{2^{\mathfrak{m}}}\), \(\displaystyle{ Y}\)-gęsty.
\(\displaystyle{ Y_x:= Y\cup\{x\}}\)
Każdy zbiór otwarty jest pusty lub do niego należy \(\displaystyle{ x}\).

Nie wiem o co tutaj dokładnie chodzi (bierzemy topologię dziedziczoną z produktu, a potem dodajemy \(\displaystyle{ x}\) i zmieniamy jakoś topologię??).