Otwórz menu główne

Zbiór gęstyzbió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. 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.

PrzykładyEdytuj

  • Zbiór funkcji nieróżniczkowalnych w żadnym punkcie (takich jak Funkcja Weierstrassa) jest gęstym podzbiorem zbioru funkcji ciągłych określonych na zbiorze zwartym z metryką supremum.
  • Zbiór wielomianów trygonometrycznych jest gęsty w zbiorze funkcji ciągłych i okresowych o okresie   z metryką supremum, co może posłużyć do konstrukcji podzbioru gęstego w zbiorze funkcji ciągłych okresowych o dowolnym danym okresie.
  • Dopełnienia zbiorów pierwszej kategorii w przestrzeniach Baire’a są zbiorami gęstymi.
  • Zbiory pełnej miary Lebesgue’a na prostej są zbiorami gęstymi.
  • Przecięcie dwóch zbiorów gęstych może być zbiorem pustym, np. zbiory liczb wymiernych i niewymiernych są gęste na prostej, ale ich część wspólna jest zbiorem pustym. Istnieją przestrzenie topologiczne, które nie zawierają więcej niż dwóch rozłącznych podzbiorów gęstych, tzw. irresolvable spaces.

Teoria mnogościEdytuj

Zbiór gęsty (w sobie) – w teorii mnogości podzbiór   częściowego porządku   taki, że