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.

Viitteet

Jussi Väisälä, Topologia 2, 1. painos, sivu 142.