Zbiór typu G-delta


Zbiór typu G-delta w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

Spis treści

Definicja | edytuj kod

Podzbiór przestrzeni topologicznej nazywamy zbiorem typu G δ {\displaystyle G_{\delta }} (czyt. „zbiorem typu gie delta”), gdy jest on przekrojem przeliczalnej rodziny zbiorów otwartych.

Według nowszej terminologii (zob. Hierarchia zbiorów borelowskich) zbiory typu G δ {\displaystyle G_{\delta }} to inaczej zbiory klasy Π 2 0 . {\displaystyle \Pi _{2}^{0}.}

Własności | edytuj kod

Jest widoczne wprost z definicji, że przecięcie przeliczalnie wielu zbiorów typu G δ {\displaystyle G_{\delta }} jest też zbiorem tego typu; wykazuje się, że jest nim również suma skończenie wielu takich zbiorów.

Dopełnienie zbioru G δ {\displaystyle G_{\delta }} jest zbiorem Fσ i na odwrót. Każdy zbiór otwarty jest typu G δ , {\displaystyle G_{\delta },} a w przestrzeniach metryzowalnych również zbiory domknięte są tego typu.

Przykłady | edytuj kod

  • Zbiór liczb niewymiernych jest zbiorem typu G δ , {\displaystyle G_{\delta },} można go bowiem zapisać jako przekrój
q Q R { q } . {\displaystyle \bigcap _{q\in \mathbb {Q} }\mathbb {R} \setminus \{q\}.}
  • Zbiór liczb wymiernych nie jest zbiorem typu G δ {\displaystyle G_{\delta }} (ten nietrywialny fakt jest konsekwencją twierdzenia Baire’a).
  • Można wykazać, że zbiór punktów ciągłości dowolnej funkcji f : R R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } jest typu G δ . {\displaystyle G_{\delta }.}

Z powyższych przykładów wynika w szczególności, że nie może istnieć funkcja o dziedzinie R {\displaystyle \mathbb {R} } ciągła we wszystkich punktach wymiernych i tylko w nich. (Da się natomiast udowodnić istnienie funkcji określonej na R , {\displaystyle \mathbb {R} ,} której zbiorem punktów ciągłości jest zbiór liczb niewymiernych).

Zobacz też | edytuj kod

Na podstawie artykułu: "Zbiór typu G-delta" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy