σ-kompakter Raum
Ein topologischer Raum heißt σ-kompakt oder abzählbar im Unendlichen, wenn er sich als abzählbare Vereinigung kompakter Teilräume schreiben lässt. σ-Kompaktheit ist also eine Abschwächung des topologischen Begriffs der Kompaktheit. Der Buchstabe σ in der Bezeichnung rührt daher, dass die Vereinigung von Mengen früher auch als Summe bezeichnet wurde, die Bezeichnung wurde analog zu „σ-finit“ gebildet.
Der Begriff ist wichtig für die abstrakte Integrationstheorie, zusammen mit Lokalkompaktheit und dem Trennungsaxiom T3 garantiert er die Existenz einer kompakten Ausschöpfung.<ref>Heine: Topologie und Funktionalanalysis. 2002, S. 336.</ref>
Eigenschaften
- Ein lokalkompakter Hausdorff-Raum ist abzählbar im Unendlichen genau dann, wenn der bei der Alexandroff-Kompaktifizierung hinzugekommene unendlich ferne Punkt eine abzählbare Umgebungsbasis besitzt.<ref name="books-MDAlBgAAQBAJ-111">Boto von Querenburg: Mengentheoretische Topologie. Springer-Verlag, 2013, ISBN 978-3-642-56860-2, S. 111 ({{#if: MDAlBgAAQBAJ
| {{#if: {{#if: ||1}} {{#if: MDAlBgAAQBAJ ||1}}
| <0|&pg={{#if:|RA{{{Band}}}-}}PA111|&pg=111}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: MDAlBgAAQBAJ |{{#invoke: Vorlage:GoogleBook|fine |id=MDAlBgAAQBAJ |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}}
}}
| Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}
| Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check
|all=
|opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText=
|cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}}
|template= Vorlage:Google Buch
|format=
}}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}|}}}}).</ref>
- Hemikompakte Räume sind σ-kompakt.<ref name=":6">Willard 2004, S. 126</ref>
- Jeder endlichdimensionale normierte Raum ist σ-kompakt.
- Lokalkompakte Räume mit abzählbarem Kern verallgemeinern lokalkompakte σ-kompakte Räume.
Beispiele
- Beispielsweise ist <math>\mathbb{R}</math>, ausgestattet mit der Standardtopologie, ein σ-kompakter topologischer Raum, denn es gilt <math>\mathbb{R} = \bigcup_{n=1}^\infty [-n, n]</math>, so dass sich <math>\mathbb{R}</math> als abzählbare Vereinigung der kompakten topologischen Räume <math>[-n, n]</math> darstellen lässt.
- Der Raum der finiten <math>\mathbb{K}</math>-wertigen Folgen <math>c_{00}</math> (versehen mit der Norm <math>||\cdot ||_\infty</math>) ist <math>\sigma</math>-kompakt, denn es ist <math>c_{00}=\bigcup \limits_{j=1}^{\infty}K_j</math>, wobei <math>K_j\subseteq c_{00}</math> die kompakte Teilmenge der Folgen <math>x=(x_{\ell})_{\ell}\in c_{00}</math> mit <math>||x||_\infty\leq j</math> und <math>x_\ell=0</math> für <math>\ell\geq j</math> sei. <math>c_{00}</math> ist aber nicht lokal kompakt, da <math>\dim c_{00}=\infty</math> gilt.
Literatur
- {{#invoke:Vorlage:Literatur|f}}{{#if:
| {{#if: Vorlage:Cite book/ParamBool | Vorlage:Toter Link/archivebot | Vorlage:Webarchiv/archiv-bot }}
}}{{#invoke:TemplatePar|check
|all = title= |opt = vauthors= author= author-link= authorlink= author1= author-link1= author1-link= first= last= first1= last1= first2= last2= author2= first3= last3= author3= first4= last4= author4= first5= last5= author5= first6= last6= author6= first7= last7= author7= first8= last8= author8= others= coauthors= script-title= trans-title= orig-date= orig-year= chapter= chapter-url= editor= editor-first= editor-last= editor-first1= editor-last1= editor-first2= editor-last2= editor-first3= editor-last3= editor-link= editor-link1= language= format= others= series= issue= number= edition= volume= publisher= location= date= year= isbn= page= at= pages= arxiv= doi= jstor= bibcode= pmc= pmid= lccn= oclc= id= url= url-status= access-date= accessdate= archive-url= archiveurl= archive-date= archivedate= quote= url-access= ref= coauthors= origyear= archivebot= offline= |cat = Wikipedia:Vorlagenfehler/Vorlage:Cite book |errNS = 0 |template = Vorlage:Cite book |format = |preview = 1
}}Vorlage:Cite book/URLVorlage:Cite book/Meldung2{{#if: Vorlage:Cite book/ParamBool | Vorlage:Cite book/Meldung }}{{#if: Vorlage:Cite book/ParamBool
}}{{#if: Vorlage:Cite book/ParamBool
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
}}{{#if: Vorlage:Cite book/ParamBool
}}{{#if: Vorlage:Cite book/ParamBool
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#ifexpr: {{#ifeq:Willard|^^|0|1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}
- Jürgen Elstrodt: Maß- und Integrationstheorie. Springer, Berlin u. a. 1996, ISBN 3-540-15307-1.
- Jürgen Heine: Topologie und Funktionalanalysis. Grundlagen der abstrakten Analysis mit Anwendungen. Oldenbourg, München u. a. 2002, ISBN 3-486-24914-2.
Einzelnachweise
<references/>