Az egypont-kompaktifikáció (más néven Alekszandrov-bővítés vagy Alekszandrov-kompaktifikáció) olyan eljárás a topológiában, amelynek segítségével egy topologikus teretkompakt térré alakíthatunk úgy, hogy az eredeti tér alaphalmazához hozzáveszünk egy újabb pontot, az eredeti topológiához pedig hozzáadunk további nyílt halmazokat. Az eredeti tér nyílt halmazai az új térben is nyíltak lesznek, és az új tér nyílt halmazainak az eredeti térbeli részei az eredeti térben is nyíltak. Az eljárást Pavel Alekszandrov írta le először egy 1923-as cikkében.[1]
Konstrukció
Legyen topologikus tér, és legyen . Definiáljuk az teret úgy, hogy , és az új tér nyílt halmazainak családja pedig álljon az eredeti tér nyílt halmazaiból, valamint azoknak a halmazoknak a komplementeréből, amelyek az eredeti térben zártak és kompaktak. Az így konstruált páros topologikus teret alkot. Az eredeti tér nyílt halmazai a definíció szerint az új térben is nyíltak, az új tér nyílt halmazainak az eredeti térbeli részei pedig az eredeti térben is nyíltak.
Példa
Az egypont-kompaktifikációra szemléletes példát ad a gömbfelület sztereografikus projekciója a síkra. A sztereografikus projekció során a középpontú egységgömböt a pontból az síkra vetítjük, amivel (a szokásos euklideszi topológia mellett) homeomorf leképezést adunk meg a sík és az pontozott gömbfelület között, hiszen a sík nyílt halmazainak az ősképei éppen a pontozott gömbfelület nyílt halmazai lesznek, és viszont. A pontozott gömbfelület kompakttá tételének módja szemléletesen nyilvánvaló: elegendő a hiányzó pontot hozzávenni a halmazhoz (és annak nyílt környezeteit a topológiához), és így a kompakt gömbfelületet kapjuk. Ha most a sztereografikus projekciót kiterjesztjük úgy, hogy a síkhoz hozzáveszünk egy -nek megfelelő pontot, aminek nyílt környezetei nyílt környezeteinek képei lesznek, akkor éppen a sík egypont-kompaktifikációját kapjuk.