Podbaza przestrzeni topologicznej

Z Wikipedii, wolnej encyklopedii
(Przekierowano z Podbaza)
Przejdź do nawigacji Przejdź do wyszukiwania

Podbaza przestrzeni topologicznejrodzina zbiorów otwartych przestrzeni topologicznej mająca tę własność, że rodzina wszystkich części wspólnych skończonej liczby zbiorów podbazy jest bazą przestrzeni.

Płaszczyzna – jedno z podstawowych pojęć pierwotnych geometrii Euklidesa i geometrii absolutnej. W niektórych innych aksjomatyzacjach geometrii, na przykład w geometrii analitycznej, płaszczyzna nie jest pojęciem pierwotnym, lecz zbiorem punktów.Przedział – zbiór elementów danego zbioru częściowo uporządkowanego, zawartych między dwoma ustalonymi elementami tego zbioru, nazywanymi początkiem i końcem przedziału.

Ściśle biorąc, podane pojęcie podbazy definiuje podbazę otwartą, lecz zwykle o takich właśnie bazach się mówi. Pojęcie podbazy domkniętej podane jest niżej.

Przykłady[ | edytuj kod]

  • rodzina wszystkich przedziałów postaci (a, +∞) lub (-∞, a) na osi liczbowej jest podbazą zbioru R liczb rzeczywistych
  • rodzina wszystkich półpłaszczyzn otwartych jest podbazą naturalnej (metrycznej) topologii płaszczyzny euklidesowej
  • Baza przestrzeni topologicznej – dla danej przestrzeni topologicznej X, rodzina otwartych podzbiorów przestrzeni X o tej własności, że każdy zbiór otwarty w X można przedstawić w postaci sumy pewnej podrodziny zawartej w bazie. Każda przestrzeń topologiczna ma bazę – jeżeli τ jest topologią w zbiorze X, to jest ona również (trywialnie) jej bazą. Obrazowo, baza przestrzeni topologicznej to taka rodzina zbiorów otwartych, że każdy niepusty i otwarty podzbiór tej przestrzeni można wysumować przy pomocy pewnych (być może nieskończenie wielu) elementów bazy. W praktyce matematycznej związanej z badaniem własności konkretnych przestrzeni topologicznych, istotnym zagadnieniem jest pytanie o minimalną moc bazy przestrzeni (zob. ciężar przestrzeni poniżej). Tak zdefiniowane pojęcie nosi też czasem nazwę bazy otwartej (zob. też baza domknięta poniżej). Pojęcia pokrewne pojęciu bazy przestrzeni topologicznej to, na przykład, π-baza, podbaza czy pseudobaza.Zbiór pusty - zbiór, który nie zawiera żadnych elementów. W teorii mnogości ZF, będącej najpopularniejszą aksjomatyką współczesnej matematyki, istnienie zbioru pustego postuluje aksjomat zbioru pustego, natomiast aksjomat ekstensjonalności gwarantuje jego jedyność. Zbiór pusty oznaczany jest zwykle symbolami ∅ {displaystyle varnothing } , ∅ {displaystyle emptyset } , ∅ bądź {}.


    Podstrony: 1 [2] [3]




    Warto wiedzieć że... beta

    Część wspólna zbiorów A i B (przekrój, iloczyn mnogościowy, przecięcie zbiorów) – zbiór, który zawiera te i tylko te elementy, które należą jednocześnie do zbioru A i do zbioru B. Część wspólną definiuje się także dla dowolnych niepustych rodzin zbiorów.

    Reklama