Przejdź do zawartości

Zbiór gęsty

Z Wikipedii, wolnej encyklopedii

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[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.

Przykłady

[edytuj | edytuj kod]
  • 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ści

[edytuj | edytuj kod]

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

Przypisy

[edytuj | edytuj kod]
  1. Zbiór gęsty, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-09-15].