Avaa päävalikko

Lokaalisti kompaktiksi kutsutaan topologiassa topologista avaruutta, jos sen jokaisella alkiolla on ympäristö, jonka sulkeuma on kompakti. Voidaan osoittaa, että jokainen kompakti Hausdorffin avaruus on lokaalisti kompakti. Siispä esimerkiksi Cantorin joukko, suljetut välit ja Hilbertin kuutio ovat lokaalisti kompakteja. On kuitenkin olemassa lokaalisti kompakteja Hausdorffin avaruuksia, jotka eivät ole kompakteja. Esimerkiksi avaruudet ja äärettömät diskreetit avaruudet ovat lokaalisti kompakteja muttei kompakteja.

Esimerkin ei-lokaalikompakteista avaruuksista tarjoaa rationaalilukujen joukko , kun topologia on peräisin sen tavanomaisesta metriikasta eli pisteiden välisestä etäisyydestä.

KirjallisuuttaMuokkaa