Kantapisteavaruus

Olkoon $X$ topologinen avaruus ja $x_{0} \in X$ . Paria $(X, x_{0})$ sanotaan kantapisteavaruudeksi. Siinä on siis yksi piste erityisasemassa. Kantapisteavaruus $(X, x_{0})$ on kutistuva. Kantapisteavaruuksia käytetään homotopiateoriassa.