CW-kompleks

Przestrzeń topologiczną nazywa się CW-kompleksem, jeśli można ją przedstawić w postaci sumy rozłącznych zbiorów nazywanych komórkami, gdzie jest numerem komórki, a – jej wymiarem, to znaczy gdzie są zbiorami indeksów, a dla każdej -komórki jest określone odwzorowanie ciągłe (tak zwane odwzorowanie charakterystyczne) pewnej domkniętej kuli -wymiarowej w przestrzeń które ma własności następujące: 1. * Ograniczenie odwzorowania do wnętrza kuli jest homeomorfizmem na komórkę 2. * Ograniczenie komórki czyli gdzie jest domknięciem zbioru w zawiera się w sumie skończonej liczby komórek mniejszego wymiaru. 3. * Zbiór jest zbiorem domkniętym wtedy i tylko wtedy, gdy dla każdej komórki zbiór jest domknięty w