Wyczerpanie zestawami zwartymi

W matematyce zwłaszcza topologii ogólnej i analizie , wyczerpanie przez zwarte przestrzeni topologicznej zagnieżdżoną sekwencją zwartych ( , tak że zawarty jest K. , 1 { dla każdego ja {\ Displaystyle X = \ bigcup _ {i } Przestrzeń dopuszczająca wyczerpanie przez zbiory zwarte nazywana jest wyczerpywalną przez zbiory zwarte .

Rozważmy na przykład i sekwencję zamkniętych kul

Czasami niektórzy autorzy rezygnują z wymogu, aby znajdował się we wnętrzu { \ , ale wtedy właściwość staje się taka sama jak przestrzeń compact , czyli przeliczalna suma zwartych podzbiorów.

Nieruchomości

Poniższe są równoważne dla przestrzeni topologicznej: :

  1. .
  2. σ-zwarty słabo lokalnie zwarty .
  3. lokalnie zwarty .

(gdzie słabo lokalnie zwarty oznacza lokalnie zwarty w słabym sensie, że każdy punkt ma zwarte sąsiedztwo ).

hemicompact jest pośrednia między wyczerpywalnymi przez zbiory zwarte a σ-zwartymi . Każda przestrzeń wyczerpująca się przez zbiory zwarte jest hemizwarta, a każda przestrzeń hemizwarta jest σ-zwarta, ale implikacje odwrotne nie zachodzą. Na przykład przestrzeń Arensa-Forta i przestrzeń Apperta są półzwarte, ale nie wyczerpują się przez zbiory zwarte (ponieważ nie są słabo zwarte lokalnie), a zbiór liczb wymiernych o zwykłej topologii to σ-zwarty, ale nie półzwarty.

Każda regularna przestrzeń , którą można wyczerpać przez zbiory zwarte, jest parazwarta .

Notatki

Linki zewnętrzne