Utmattning av kompakta set

Inom matematik , särskilt allmän topologi och analys , är en uttömning av kompakta mängder av ett topologiskt utrymme en kapslad sekvens av kompakta delmängder av (dvs. så att finns i det inre av , dvs för varje och . Ett utrymme som tillåter en utmattning av kompakta uppsättningar kallas uttömmande av kompakta uppsättningar .

Betrakta till exempel och sekvensen av slutna bollar

Ibland släpper vissa författare kravet att är i det inre av men då blir egenskapen densamma som att utrymmet är σ- kompakt , nämligen en räknebar förening av kompakta delmängder.

Egenskaper

Följande är ekvivalenta för ett topologiskt utrymme :

  1. är uttömlig av kompakta uppsättningar.
  2. är σ-kompakt och svagt lokalt kompakt .
  3. är Lindelöf och svagt lokalt kompakt.

(där svagt lokalt kompakt betyder lokalt kompakt i den svaga meningen att varje punkt har en kompakt grannskap ).

Den hemikompakta egenskapen är mellanliggande mellan uttömbar av kompakta uppsättningar och σ-kompakt. Varje utrymme som kan tömmas av kompakta uppsättningar är hemikompakt och varje hemikompakt utrymme är σ-kompakt, men de omvända implikationerna håller inte. Till exempel Arens-Fort-utrymmet och Appert-utrymmet hemikompakta, men inte uttömbara av kompakta mängder (eftersom de inte är svagt lokalt kompakta), och mängden av rationella tal med den vanliga topologin är σ-kompakt, men inte hemikompakt.

Varje vanlig utrymme som kan tömmas av kompakta set är parakompakt .

Anteckningar

externa länkar