Zbiór gęsty
pojęcie w topologii i teorii porządku / Z Wikipedii, wolnej encyclopedia
Zbiór gęsty – zbiór, którego domknięcie jest całą przestrzenią. Równoważnie, zbiór jest gęsty, jeżeli ma z każdym niepustym zbiorem otwartym co najmniej jeden punkt wspólny[1]. W przestrzeni metrycznej zbiór nazywamy gęstym jeśli dla każdego i liczby istnieje element taki, że tzn. dowolnie blisko każdego elementu znajduje się jakiś element z
Przestrzeń topologiczną, która zawiera przeliczalny zbiór gęsty nazywa się przestrzenią ośrodkową. W przestrzeni topologicznej jej podzbiór nazywamy zbiorem nigdziegęstym, jeśli nie jest gęsty w żadnym niepustym zbiorze otwartym.