• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Topologia porządkowa

    Przeczytaj także...
    Miara Dieudonnégo – przykład miary zewnętrznie regularnej, określonej na σ-ciele zbiorów borelowskich przestrzeni ω1, tj. przestrzeni wszystkich przeliczalnych liczb porządkowych z topologią porządkową. Nazwa tej miary została wprowadzona dla uhonorowania francuskiego matematyka Jeana Dieudonnégo.Przestrzeń topologiczna – podstawowe pojęcie topologii; zbiór wyposażony w strukturę (tzw. topologię) wyróżniającą pewną rodzinę jego podzbiorów (tzw. zbiory otwarte), co umożliwia określenie czy dany punkt leży „blisko”, czy „daleko” od danego podzbioru (w jego domknięciu lub poza nim) mimo braku pojęcia odległości (metryki).
    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.

    Topologia porządkowa - topologia wyznaczona przez porządek liniowy w pewnym zbiorze. Naturalnym przykładem topologii porządkowej jest prosta rzeczywista z topologią generowaną przez przedziały otwarte.

    Konstrukcja[]

    Niech będzie zbiorem co najmniej dwuelementowym liniowo uporządkowanym. Dla określamy zbiory

    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.Przestrzeń T 1 {displaystyle T_{1}} – termin topologiczny odnoszący się do jednego ze słabszych aksjomatów oddzielania. Dawniej przestrzenie spełniające ten warunek były nazywane też przestrzeniami Frécheta, ale wydaje się, że dzisiaj ta druga nazwa jest używana głównie w innym znaczeniu.
  • ,
  • ,
  • ,
  • które będziemy nazywać przedziałami. Rodzina wszystkich zbiorów tej postaci, spełnia warunki B1-B2, a więc wyznacza bazę pewnej topologii. Topologię tę nazywa się topologią przedziałową bądź topologią wyznaczoną przez rodzinę przedziałó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.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. W przestrzeni metrycznej ( X , d ) {displaystyle (X,d)} zbiór D ⊂ X {displaystyle Dsubset X} nazywamy gęstym jeśli dla każdego x ∈ X {displaystyle xin X} i liczby ε > 0 {displaystyle varepsilon >0} istnieje element q ∈ D {displaystyle qin D} taki, że d ( x , q ) < ε {displaystyle d(x,q)<varepsilon } , tzn. dowolnie blisko każdego elementu x ∈ X {displaystyle xin X} znajduje się jakiś element z D {displaystyle D} .

    Topologie porządkowe dolne i górne[]

    Oczywiście rodziny , również spełniają warunki B1-B2, ale wyznaczają inne topologie. Topologie te nazywamy topologiami porządkowymi, odpowiednio, dolną i górną.

    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.Porządek liniowy – częściowy porządek będący zarazem łańcuchem, czyli taki, w którym każde dwa elementy rozpatrywanego zbioru są porównywalne.

    Własności[]

  • Jeżeli zbiór liniowo uporządkowany w sposób gęsty zawiera przeliczalny podzbiór gęsty oraz wprowadzimy w tym zbiorze topologię porządkową, to ma ona ciężar przeliczalny. Istotnie, poniższa rodzina przedziałów jest przeliczalną bazą tej topologii:
  • .
  • Każda przestrzeń topologiczna z topologią porządkową jest przestrzenią typu T1.
  • Zobacz też[]

  • Miara Dieudonnégo



  • w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Reklama

    Czas generowania strony: 0.041 sek.